llvm/lib/Analysis, branch release_31http://llvm.orghttps://git.amat.us/llvm/atom/lib/Analysis?h=release_312012-04-30T17:09:46ZMerging r155818:2012-04-30T17:09:46ZBill Wendlingisanbard@gmail.com2012-04-30T17:09:46Zurn:sha1:55f951325943a719478d625eb4271adb817fde7d
------------------------------------------------------------------------
r155818 | baldrick | 2012-04-30 04:56:58 -0700 (Mon, 30 Apr 2012) | 3 lines
Just mark the sign bit as known zero, rather than any other irrelevant bits
known zero in the LHS. Fixes PR12541.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_31@155827 91177308-0d34-0410-b5e6-96231b3b80d8
Merging r155466:2012-04-24T23:40:05ZBill Wendlingisanbard@gmail.com2012-04-24T23:40:05Zurn:sha1:e4f573fff8dd184bd525b80723747493178e608a
------------------------------------------------------------------------
r155466 | chandlerc | 2012-04-24 11:42:47 -0700 (Tue, 24 Apr 2012) | 17 lines
Fix a crash on valid (if UB) bitcode that is produced for some global
constants in C++11 mode. I have no idea why it required such particular
circumstances to get here, the code seems clearly to rely upon unchecked
assumptions.
Specifically, when we decide to form an index into a struct type, we may
have gone through (at least one) zero-length array indexing round, which
would have left the offset un-adjusted, and thus not necessarily valid
for use when indexing the struct type.
This is just an canonicalization step, so the correct thing is to refuse
to canonicalize nonsensical GEPs of this form. Implemented, and test
case added.
Fixes PR12642. Pair debugged and coded with Richard Smith. =] I credit
him with most of the debugging, and preventing me from writing the wrong
code.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_31@155506 91177308-0d34-0410-b5e6-96231b3b80d8
Revert "SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW."2012-04-17T06:33:57ZBenjamin Kramerbenny.kra@googlemail.com2012-04-17T06:33:57Zurn:sha1:86df062791d50b35ae274bbeb8fe2f37944e284a
This isn't right either, reverting for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154910 91177308-0d34-0410-b5e6-96231b3b80d8
Add two statistics to help track how we are computing the inline cost.2012-04-11T10:15:10ZChandler Carruthchandlerc@gmail.com2012-04-11T10:15:10Zurn:sha1:d6fc26217e194372cabe4ef9e2514beac511a943
Yea, 'NumCallerCallersAnalyzed' isn't a great name, suggestions welcome.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154492 91177308-0d34-0410-b5e6-96231b3b80d8
Fix 12513: Loop unrolling breaks with indirect branches.2012-04-10T05:14:42ZAndrew Trickatrick@apple.com2012-04-10T05:14:42Zurn:sha1:d9fc1ce8096f7138c60edc3a6655583bf209780e
Take this opportunity to generalize the indirectbr bailout logic for
loop transformations. CFG transformations will never get indirectbr
right, and there's no point trying.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154386 91177308-0d34-0410-b5e6-96231b3b80d8
Fix ValueTracking to conclude that debug intrinsics are safe to2012-04-07T19:22:18ZChandler Carruthchandlerc@gmail.com2012-04-07T19:22:18Zurn:sha1:c0d18b669674d3b173e6a3eca6ada98871bb808f
speculate. Without this, loop rotate (among many other places) would
suddenly stop working in the presence of debug info. I found this
looking at loop rotate, and have augmented its tests with a reduction
out of a very hot loop in yacr2 where failing to do this rotation costs
sometimes more than 10% in runtime performance, perturbing numerous
downstream optimizations.
This should have no impact on performance without debug info, but the
change in performance when debug info is enabled can be extreme. As
a consequence (and this how I got to this yak) any profiling of
performance problems should be treated with deep suspicion -- they may
have been wildly innacurate of debug info was enabled for profiling. =/
Just a heads up.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154263 91177308-0d34-0410-b5e6-96231b3b80d8
SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW.2012-04-07T17:19:26ZBenjamin Kramerbenny.kra@googlemail.com2012-04-07T17:19:26Zurn:sha1:c77764591b06655bca4313ccfb5b1b773849387e
Found by inspection.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154262 91177308-0d34-0410-b5e6-96231b3b80d8
Reintroduce InlineCostAnalyzer::getInlineCost() variant with explicit callee2012-04-06T17:27:41ZDavid Chisnallcsdavec@swan.ac.uk2012-04-06T17:27:41Zurn:sha1:b381578fcb5fea988f661dbbee9747b8fd55c5fb
parameter until we have a more sensible API for doing the same thing.
Reviewed by Chandler.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154180 91177308-0d34-0410-b5e6-96231b3b80d8
Always compute all the bits in ComputeMaskedBits.2012-04-04T12:51:34ZRafael Espindolarafael.espindola@gmail.com2012-04-04T12:51:34Zurn:sha1:26c8dcc692fb2addd475446cfff24d6a4e958bca
This allows us to keep passing reduced masks to SimplifyDemandedBits, but
know about all the bits if SimplifyDemandedBits fails. This allows instcombine
to simplify cases like the one in the included testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154011 91177308-0d34-0410-b5e6-96231b3b80d8
Add a line number for the scope of the function (starting at the first2012-04-03T00:43:49ZEric Christopherechristo@apple.com2012-04-03T00:43:49Zurn:sha1:6126a1e1894f346fae02a514a20aa56b879aeb99
brace) so that we get more accurate line number information about the
declaration of a given function and the line where the function
first starts.
Part of rdar://11026482
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153916 91177308-0d34-0410-b5e6-96231b3b80d8