Home | History | Annotate | Download | only in JumpThreading 
      1 ; RUN: opt -S < %s -jump-threading | FileCheck %s
      2 ; CHECK-LABEL: @foo
      3 ; CHECK-NEXT: exit2:
      4 ; CHECK-NEXT: ret void
      5 define void @foo() {
      6 entry:
      7   br label %bb1
      8 
      9 entry2:
     10   br label %bb1
     11 
     12 bb1:
     13   %a0 = phi i32 [ undef, %entry2 ], [ 0, %entry ]
     14   %b = icmp ne i32 %a0, 0
     15   br i1 %b, label %bb2, label %exit2
     16 
     17 bb2:
     18   br label %exit1
     19 
     20 exit1:
     21   %a1 = phi i32 [ %a0, %bb2 ]
     22   ret void
     23 
     24 exit2:
     25   ret void
     26 }
     27