1; RUN: opt -debug-only=branch-prob -jump-threading -S %s 2>&1 | FileCheck %s
2; REQUIRES: asserts
3
4; Make sure that we set the branch probability for the newly created
5; basic block.
6
7define void @foo(i1 %cond1, i1 %cond2) !prof !0 !PGOFuncName !1 {
8entry:
9  br i1 %cond1, label %bb.f1, label %bb.f2, !prof !2
10
11bb.f1:
12  call void @f1()
13  br label %bb.cond2
14
15bb.f2:
16  call void @f2()
17  br label %bb.cond2
18
19bb.cond2:
20  br i1 %cond2, label %exit, label %bb.cond1again, !prof !3
21; CHECK: set edge bb.cond2.thread -> 0 successor probability to 0x79b9d244 / 0x80000000
22; CHECK: set edge bb.cond2.thread -> 1 successor probability to 0x06462dbc / 0x80000000 = 4.90
23
24bb.cond1again:
25  br i1 %cond1, label %bb.f3, label %bb.f4, !prof !4
26
27bb.f3:
28  call void @f3()
29  br label %exit
30
31bb.f4:
32  call void @f4()
33  br label %exit
34
35exit:
36  ret void
37}
38
39declare void @f1()
40
41declare void @f2()
42
43declare void @f3()
44
45declare void @f4()
46
47!0 = !{!"function_entry_count", i64 15985}
48!1 = !{!"foo.cpp:foo"}
49!2 = !{!"branch_weights", i32 0, i32 36865}
50!3 = !{!"branch_weights", i32 35058, i32 1807}
51!4 = !{!"branch_weights", i32 1807, i32 35058}
52