test/Transforms/SCCP/switch-multiple-undef.ll

   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: }