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