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