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 16 ; CHECK-LABEL: @test1( 17 ; CHECK: %cond = icmp eq i32 %i, 24 18 ; CHECK: %. = select i1 %cond, i32 5, i32 0 19 ; CHECK: ret i32 %. 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 36 ; CHECK-LABEL: @test2( 37 ; CHECK: ret i32 0 38 } 39