test/Transforms/JumpThreading/bb-unreachable-from-entry.ll

   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 }