1*e2fc11cfSKazu Hirata; RUN: opt -debug-only=branch-prob -jump-threading -S %s 2>&1 | FileCheck %s
2*e2fc11cfSKazu Hirata; REQUIRES: asserts
3*e2fc11cfSKazu Hirata
4*e2fc11cfSKazu Hirata; Make sure that we clear edge probabilities for bb1 as we fold
5*e2fc11cfSKazu Hirata; the conditional branch in it.
6*e2fc11cfSKazu Hirata
7*e2fc11cfSKazu Hirata; CHECK: eraseBlock bb1
8*e2fc11cfSKazu Hirata
9*e2fc11cfSKazu Hiratadefine i32 @foo(i32 %arg) !prof !0 {
10*e2fc11cfSKazu Hirata; CHECK-LABEL: @foo
11*e2fc11cfSKazu Hirata  %cond1 = icmp eq i32 %arg, 42
12*e2fc11cfSKazu Hirata  br i1 %cond1, label %bb1, label %bb2
13*e2fc11cfSKazu Hirata
14*e2fc11cfSKazu Hiratabb2:
15*e2fc11cfSKazu Hirata  ret i32 2
16*e2fc11cfSKazu Hirata
17*e2fc11cfSKazu Hiratabb1:
18*e2fc11cfSKazu Hirata  %cond2 = icmp eq i32 %arg, 42
19*e2fc11cfSKazu Hirata  br i1 %cond2, label %bb3, label %bb4
20*e2fc11cfSKazu Hirata
21*e2fc11cfSKazu Hiratabb3:
22*e2fc11cfSKazu Hirata  ret i32 3
23*e2fc11cfSKazu Hirata
24*e2fc11cfSKazu Hiratabb4:
25*e2fc11cfSKazu Hirata; CHECK-NOT: bb4:
26*e2fc11cfSKazu Hirata  ret i32 4
27*e2fc11cfSKazu Hirata}
28*e2fc11cfSKazu Hirata
29*e2fc11cfSKazu Hirata!0 = !{!"function_entry_count", i64 0}
30