Plug TTI into the speculation logic, giving it a real cost interface
authorChandler Carruth <chandlerc@gmail.com>
Thu, 24 Jan 2013 12:39:29 +0000 (12:39 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Thu, 24 Jan 2013 12:39:29 +0000 (12:39 +0000)
commit1f255419d424c85bc5dbb77f530561d46e5197cc
treed7759f9090d2814e677436289785ef1d6fe1879c
parent47d8f6dca5a64f642a82d24b9e3cf882b56c5c3e
Plug TTI into the speculation logic, giving it a real cost interface
that can be specialized by targets.

The goal here is not to be more aggressive, but to just be more accurate
with very obvious cases. There are instructions which are known to be
truly free and which were not being modeled as such in this code -- see
the regression test which is distilled from an inner loop of zlib.

Everywhere the TTI cost model is insufficiently conservative I've added
explicit checks with FIXME comments to go add proper modelling of these
cost factors.

If this causes regressions, the likely solution is to make TTI even more
conservative in its cost estimates, but test cases will help here.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@173342 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/SimplifyCFG.cpp
test/Transforms/SimplifyCFG/SpeculativeExec.ll