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 i32 @foo(i32 %arg) !prof !0 {
10; CHECK-LABEL: @foo
11  %cond1 = icmp eq i32 %arg, 42
12  br i1 %cond1, label %bb1, label %bb2
13
14bb2:
15  ret i32 2
16
17bb1:
18  %cond2 = icmp eq i32 %arg, 42
19  br i1 %cond2, label %bb3, label %bb4
20
21bb3:
22  ret i32 3
23
24bb4:
25; CHECK-NOT: bb4:
26  ret i32 4
27}
28
29!0 = !{!"function_entry_count", i64 0}
30