当在基本块中使用phi节点时,如果前任是某个块的概率更高,是否有建议的顺序应该放置标签?以下面列出的简单阶乘函数为例:
define private i64 @fact(i64 %start) {
entry:
%0 = icmp sle i64 1, %start
br i1 %0, label %loop, label %endcond
loop: ; preds = %loop, %entry
%1 = phi i64 [ %res, %loop ], [ 1, %entry ] ; if %start > 2 predecessor
%2 = phi i64 [ %3, %loop ], [ %start, %entry ] ; is likely %loop
%res = mul i64 %1, %2
%3 = sub i64 %2, 1
%cond = icmp sle i64 1, %3
br i1 %cond, label %loop, label %endcond
endcond: ; preds = %loop, %entry
%fin = phi i64 [ %res, %loop ], [ 1, %entry ] ; highly unlikely
ret i64 %fin ; predecessor is %entry
}
虽然用户可能会输入@fact(1)
,但这是不太可能的,所以我预计在大多数情况下,endcond
中phi节点的前身块是post.loop
。所以我的假设是在这个例子中
%fin = phi i64 [ %res, %post.loop ], [ 1, %entry ]
优于
%fin = phi i64 [ 1, %entry ], [ %res, %post.loop ]
正确吗?如果是,为什么或为什么不是?
没什么区别。LLVM将对你的代码进行分析,以估计分支概率,并使用它来排序生成的块。
您可以通过使用分支权重元数据来影响这一点:http://llvm.org/docs/BlockFrequencyTerminology.html