1 ; RUN: opt -S -ipsccp < %s | FileCheck %s 2 3 declare void @foo() 4 declare void @goo() 5 declare void @patatino() 6 7 define void @test1(i32 %t) { 8 %choice = icmp eq i32 undef, -1 9 switch i1 %choice, label %first [i1 0, label %second 10 i1 1, label %third] 11 first: 12 call void @foo() 13 ret void 14 second: 15 call void @goo() 16 ret void 17 third: 18 call void @patatino() 19 ret void 20 } 21 22 ; CHECK: define void @test1(i32 %t) { 23 ; CHECK-NEXT: br label %second 24 ; CHECK: second: 25 ; CHECK-NEXT: call void @goo() 26 ; CHECK-NEXT: ret void 27 ; CHECK-NEXT: } 28
