1; RUN: opt -S -ipsccp < %s | FileCheck %s 2 3declare void @foo() 4declare void @goo() 5declare void @patatino() 6 7define 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] 11first: 12 call void @foo() 13 ret void 14second: 15 call void @goo() 16 ret void 17third: 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