26 lines · plain
1; RUN: opt -passes=print-predicateinfo < %s 2>&1 | FileCheck %s2 3declare void @foo()4declare void @llvm.assume(i1)5 6define void @bar(ptr %p) {7entry:8; CHECK-LABEL: @bar9 br label %end10 11unreachable1:12 %v1 = load i32, ptr %p, align 413 %c1 = icmp eq i32 %v1, 014 call void @llvm.assume(i1 %c1)15 br label %unreachable216 17unreachable2:18 %v2 = load i32, ptr %p, align 419 %c2 = icmp eq i32 %v2, 020 call void @llvm.assume(i1 %c2)21 br label %end22 23end:24 ret void25}26