OSDN Git Service

Reapply chandlerc's r173342 now that the miscompile it was triggering is fixed.
authorBenjamin Kramer <benny.kra@googlemail.com>
Thu, 24 Jan 2013 16:44:25 +0000 (16:44 +0000)
committerBenjamin Kramer <benny.kra@googlemail.com>
Thu, 24 Jan 2013 16:44:25 +0000 (16:44 +0000)
commitd5a80c7358d01cde9e166bebc8a3ffa0eca3aa54
treefde4f0b687e2076d5ee05d4d07cfa623388ec7e0
parente5742464895b7f1fcc6a5b968b72f6ec66a1fd44
Reapply chandlerc's r173342 now that the miscompile it was triggering is fixed.

Original commit message:
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@173357 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/SimplifyCFG.cpp
test/Transforms/SimplifyCFG/SpeculativeExec.ll