52 lines · plain
1; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s2; REQUIRES: asserts3 4; Make sure that we set the branch probability for the newly created5; 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 !210 11bb.f1:12 call void @f1()13 br label %bb.cond214 15bb.f2:16 call void @f2()17 br label %bb.cond218 19bb.cond2:20 br i1 %cond2, label %exit, label %bb.cond1again, !prof !321; CHECK: set edge bb.cond2.thread -> 0 successor probability to 0x79b9d244 / 0x8000000022; CHECK: set edge bb.cond2.thread -> 1 successor probability to 0x06462dbc / 0x80000000 = 4.9023 24bb.cond1again:25 br i1 %cond1, label %bb.f3, label %bb.f4, !prof !426 27bb.f3:28 call void @f3()29 br label %exit30 31bb.f4:32 call void @f4()33 br label %exit34 35exit:36 ret void37}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