test/Transforms/Util/PredicateInfo/unreachable.ll

   1 ; RUN: opt -print-predicateinfo < %s 2>&1 | FileCheck %s
   2
   3 declare void @foo()
   4 declare void @llvm.assume(i1)
   5
   6 define void @bar(i32* %p) {
   7 entry:
   8 ; CHECK-LABEL: @bar
   9   br label %end
  10
  11 unreachable1:
  12   %v1 = load i32, i32* %p, align 4
  13   %c1 = icmp eq i32 %v1, 0
  14   call void @llvm.assume(i1 %c1)
  15   br label %unreachable2
  16
  17 unreachable2:
  18   %v2 = load i32, i32* %p, align 4
  19   %c2 = icmp eq i32 %v2, 0
  20   call void @llvm.assume(i1 %c2)
  21   br label %end
  22
  23 end:
  24   ret void
  25 }