30 lines · plain
1; RUN: opt -debug-only=branch-prob -passes="require<branch-prob>,jump-threading" -S %s 2>&1 | FileCheck %s2; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOBPI3; REQUIRES: asserts4 5; Make sure that we clear edge probabilities for bb.cond as we fold6; the conditional branch in it.7 8; CHECK: eraseBlock bb.cond9; CHECK-NOBPI-NOT: eraseBlock bb.cond10 11define i32 @foo(i1 %cond) !prof !0 {12; CHECK-LABEL: @foo13; CHECK: bb.entry:14; CHECK-NEXT: br i1 %cond, label %bb.31, label %bb.1215; CHECK-NOT: bb.cond:16bb.entry:17 br i1 %cond, label %bb.31, label %bb.cond18 19bb.cond:20 br i1 %cond, label %bb.31, label %bb.1221 22bb.31:23 ret i32 3124 25bb.12:26 ret i32 1227}28 29!0 = !{!"function_entry_count", i64 0}30