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() !prof !0 {
10; CHECK-LABEL: @foo
11bb1:
12  br i1 true, label %bb2, label %bb3
13
14bb2:
15  ret i32 3
16
17bb3:
18; CHECK-NOT: bb3:
19  ret i32 7
20}
21
22!0 = !{!"function_entry_count", i64 0}
23