| Benjamin Kramer | d96205c | 2011-05-14 15:57:25 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -simplifycfg < %s | FileCheck %s |
| 2 | |
| 3 | define i32 @test1(i32 %x) nounwind { |
| 4 | %i = shl i32 %x, 1 |
| 5 | switch i32 %i, label %a [ |
| 6 | i32 21, label %b |
| 7 | i32 24, label %c |
| 8 | ] |
| 9 | |
| 10 | a: |
| 11 | ret i32 0 |
| 12 | b: |
| 13 | ret i32 3 |
| 14 | c: |
| 15 | ret i32 5 |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 16 | ; CHECK-LABEL: @test1( |
| Benjamin Kramer | d96205c | 2011-05-14 15:57:25 +0000 | [diff] [blame] | 17 | ; CHECK: %cond = icmp eq i32 %i, 24 |
| Dan Gohman | 5ab9c0a | 2012-01-05 23:58:56 +0000 | [diff] [blame] | 18 | ; CHECK: %. = select i1 %cond, i32 5, i32 0 |
| 19 | ; CHECK: ret i32 %. |
| Benjamin Kramer | d96205c | 2011-05-14 15:57:25 +0000 | [diff] [blame] | 20 | } |
| 21 | |
| 22 | |
| 23 | define i32 @test2(i32 %x) nounwind { |
| 24 | %i = shl i32 %x, 1 |
| 25 | switch i32 %i, label %a [ |
| 26 | i32 21, label %b |
| 27 | i32 23, label %c |
| 28 | ] |
| 29 | |
| 30 | a: |
| 31 | ret i32 0 |
| 32 | b: |
| 33 | ret i32 3 |
| 34 | c: |
| 35 | ret i32 5 |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 36 | ; CHECK-LABEL: @test2( |
| Benjamin Kramer | d96205c | 2011-05-14 15:57:25 +0000 | [diff] [blame] | 37 | ; CHECK: ret i32 0 |
| 38 | } |