1; RUN: opt -print-predicateinfo < %s 2>&1 | FileCheck %s
2
3declare void @foo()
4declare void @llvm.assume(i1)
5
6define void @bar(i32* %p) {
7entry:
8; CHECK-LABEL: @bar
9  br label %end
10
11unreachable1:
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
17unreachable2:
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
23end:
24  ret void
25}
26