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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S < %s -jump-threading | FileCheck %s
   3
   4 define void @foo() {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK-NEXT:  exit2:
   7 ; CHECK-NEXT:    ret void
   8 ;
   9 entry:
  10   br label %bb1
  11
  12 entry2:
  13   br label %bb1
  14
  15 bb1:
  16   %a0 = phi i32 [ undef, %entry2 ], [ 0, %entry ]
  17   %b = icmp ne i32 %a0, 0
  18   br i1 %b, label %bb2, label %exit2
  19
  20 bb2:
  21   br label %exit1
  22
  23 exit1:
  24   %a1 = phi i32 [ %a0, %bb2 ]
  25   ret void
  26
  27 exit2:
  28   ret void
  29 }