1; RUN: opt -debug-only=branch-prob -passes="require<branch-prob>,jump-threading" -S %s 2>&1 | FileCheck %s 2; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOBPI 3; REQUIRES: asserts 4 5; Make sure that we clear edge probabilities for bb1 as we fold 6; the conditional branch in it. 7 8; CHECK: eraseBlock bb1 9; CHECK-NOBPI-NOT: eraseBlock bb1 10 11define void @foo(i32 %i, i32 %len) !prof !0 { 12; CHECK-LABEL: @foo 13 %i.inc = add nuw i32 %i, 1 14 %c0 = icmp ult i32 %i.inc, %len 15 br i1 %c0, label %bb1, label %bb2 16 17bb1: 18; CHECK: bb1: 19 %c1 = icmp ult i32 %i, %len 20 br i1 %c1, label %bb2, label %bb3 21 22bb2: 23 ret void 24 25bb3: 26; CHECK-NOT: bb3: 27 ret void 28} 29 30!0 = !{!"function_entry_count", i64 0} 31