]> granicus.if.org Git - llvm/commit
[inliner] Fix the early-exit of the inline cost analysis to correctly
authorChandler Carruth <chandlerc@gmail.com>
Wed, 27 May 2015 02:49:05 +0000 (02:49 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Wed, 27 May 2015 02:49:05 +0000 (02:49 +0000)
commit34afa06cf2778e85815fe55ab54aa0aab9b34974
treea936c6f43953334dbe9352b3383368161cf3f033
parent7306f3b6f50cd3fe71f7e133f922cd53284d232b
[inliner] Fix the early-exit of the inline cost analysis to correctly
model the dense vector instruction bonuses.

Previously, this code really didn't effectively compute the density of
inlined vector instructions and apply the intended inliner bonus. It
would try to compute it repeatedly while analyzing the function and
didn't handle the case where future vector instructions would tip the
scales back towards the bonus.

Instead, speculatively apply all possible bonuses to the threshold
initially. Once we *know* that a certain bonus can not be applied,
subtract it. This should delay early bailout enough to get much more
consistent results without actually causing us to analyze huge swaths of
code. I expect some (hopefully mild) compile time hit here, and some
swings in performance, but this was definitely the intended behavior of
these bonuses.

This also dramatically simplifies the computation of the bonuses to not
interact with each other in confusing ways. The previous code didn't do
a good job of this and the values for bonuses may be surprising but are
at least now clearly written in the code.

Finally, fix code to be in line with comments and use zero as the
bailout condition.

Patch by Easwaran Raman, with some comment tweaks by me to try and
further clarify what is going on with this code.

http://reviews.llvm.org/D8267

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@238276 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/IPA/InlineCost.cpp
test/Transforms/Inline/vector-bonus.ll [new file with mode: 0644]