blob: e59539123d6ea38efe6dfe8a1d03c58f91403311 [file] [log] [blame]
; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s
; REQUIRES: asserts
; Make sure that we set the branch probability for the newly created
; basic block.
define void @foo(i1 %cond1, i1 %cond2) !prof !0 !PGOFuncName !1 {
entry:
br i1 %cond1, label %bb.f1, label %bb.f2, !prof !2
bb.f1:
call void @f1()
br label %bb.cond2
bb.f2:
call void @f2()
br label %bb.cond2
bb.cond2:
br i1 %cond2, label %exit, label %bb.cond1again, !prof !3
; CHECK: set edge bb.cond2.thread -> 0 successor probability to 0x79b9d244 / 0x80000000
; CHECK: set edge bb.cond2.thread -> 1 successor probability to 0x06462dbc / 0x80000000 = 4.90
bb.cond1again:
br i1 %cond1, label %bb.f3, label %bb.f4, !prof !4
bb.f3:
call void @f3()
br label %exit
bb.f4:
call void @f4()
br label %exit
exit:
ret void
}
declare void @f1()
declare void @f2()
declare void @f3()
declare void @f4()
!0 = !{!"function_entry_count", i64 15985}
!1 = !{!"foo.cpp:foo"}
!2 = !{!"branch_weights", i32 0, i32 36865}
!3 = !{!"branch_weights", i32 35058, i32 1807}
!4 = !{!"branch_weights", i32 1807, i32 35058}