1*147ccc84SKazu Hirata; RUN: opt -debug-only=branch-prob -jump-threading -S %s 2>&1 | FileCheck %s
2*147ccc84SKazu Hirata; REQUIRES: asserts
3*147ccc84SKazu Hirata
4*147ccc84SKazu Hirata; Make sure that we clear edge probabilities for bb.cond as we fold
5*147ccc84SKazu Hirata; the conditional branch in it.
6*147ccc84SKazu Hirata
7*147ccc84SKazu Hirata; CHECK: eraseBlock bb.cond
8*147ccc84SKazu Hirata
9*147ccc84SKazu Hiratadefine i32 @foo(i1 %cond) !prof !0 {
10*147ccc84SKazu Hirata; CHECK-LABEL: @foo
11*147ccc84SKazu Hirata; CHECK: bb.entry:
12*147ccc84SKazu Hirata; CHECK-NEXT: br i1 %cond, label %bb.31, label %bb.12
13*147ccc84SKazu Hirata; CHECK-NOT: bb.cond:
14*147ccc84SKazu Hiratabb.entry:
15*147ccc84SKazu Hirata  br i1 %cond, label %bb.31, label %bb.cond
16*147ccc84SKazu Hirata
17*147ccc84SKazu Hiratabb.cond:
18*147ccc84SKazu Hirata  br i1 %cond, label %bb.31, label %bb.12
19*147ccc84SKazu Hirata
20*147ccc84SKazu Hiratabb.31:
21*147ccc84SKazu Hirata  ret i32 31
22*147ccc84SKazu Hirata
23*147ccc84SKazu Hiratabb.12:
24*147ccc84SKazu Hirata  ret i32 12
25*147ccc84SKazu Hirata}
26*147ccc84SKazu Hirata
27*147ccc84SKazu Hirata!0 = !{!"function_entry_count", i64 0}
28