Fix a stunning oversight in the inline cost analysis. It was never
authorChandler Carruth <chandlerc@gmail.com>
Fri, 28 Dec 2012 14:43:42 +0000 (14:43 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Fri, 28 Dec 2012 14:43:42 +0000 (14:43 +0000)
commit73527d30cddd9b542a01a33c333bc707504fd05f
tree6515b9226b2ee54fd18d1b872d46abc429b899ee
parentba94204e94ba88f7c897a5a59d1c770b7dc3d04e
Fix a stunning oversight in the inline cost analysis. It was never
propagating one of the values it simplified to a constant across
a myriad of instructions. Notably, ptrtoint instructions when we had
a constant pointer (say, 0) didn't propagate that, blocking a massive
number of down-stream optimizations.

This was uncovered when investigating why we fail to inline and delete
the boilerplate in:

  void f() {
    std::vector<int> v;
    v.push_back(1);
  }

It turns out most of the efforts I've made thus far to improve the
analysis weren't making it far purely because of this. After this is
fixed, the store-to-load forwarding patch enables LLVM to optimize the
above to an empty function. We still can't nuke a second push_back, but
for different reasons.

There is a very real chance this will cause somewhat noticable changes
in inlining behavior, so please let me know if you see regressions (or
improvements!) because of this patch.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171196 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InlineCost.cpp
test/Transforms/Inline/inline_constprop.ll