llvm/test/Transforms/LoopSimplify, branch release_29http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/LoopSimplify?h=release_292011-02-10T23:38:10ZRename 'loopsimplify' to 'loop-simplify'.2011-02-10T23:38:10ZCameron Zwarichzwarich@apple.com2011-02-10T23:38:10Zurn:sha1:4a60b932a279b3f5934a274f7fe4535026c5aed1
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125317 91177308-0d34-0410-b5e6-96231b3b80d8
Fix PR8702 by not having LoopSimplify claim to preserve LCSSA form. As described2011-01-02T13:38:21ZDuncan Sandsbaldrick@free.fr2011-01-02T13:38:21Zurn:sha1:67fb341f8b0a72ca0da8ce53baa3f335c1310a85
in the PR, the pass could break LCSSA form when inserting preheaders. It probably
would be easy enough to fix this, but since currently we always go into LCSSA form
after running this pass, doing so is not urgent.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122695 91177308-0d34-0410-b5e6-96231b3b80d8
Fix LoopSimplify to notify ScalarEvolution when splitting a loop backedge2010-09-04T02:42:48ZDan Gohmangohman@apple.com2010-09-04T02:42:48Zurn:sha1:ffa75cdcf82ef2034249a313b9276eaa1bee6c43
into an inner loop, as the new loop iteration may differ substantially.
This fixes PR8078.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113057 91177308-0d34-0410-b5e6-96231b3b80d8
LoopSimplify shouldn't split loop backedges that use indirectbr. PR7867.2010-08-14T00:43:09ZDan Gohmangohman@apple.com2010-08-14T00:43:09Zurn:sha1:c2f40066bbceb15e73e5c4df97d2d115f8a36e58
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111061 91177308-0d34-0410-b5e6-96231b3b80d8
LoopSimplify does not update domfrontier correctly.2010-07-16T05:59:45ZTobias Grossergrosser@fim.uni-passau.de2010-07-16T05:59:45Zurn:sha1:74c740052a143027bbc2d14594d6188e2e597fa1
This fixes PR7649.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@108513 91177308-0d34-0410-b5e6-96231b3b80d8
Make Loop::getLoopLatch() work on loops which don't have preheaders, as2009-11-20T20:51:18ZDan Gohmangohman@apple.com2009-11-20T20:51:18Zurn:sha1:a58a04921deba911d6ead8d24f495cec234681c1
it may be used in contexts where preheader insertion may have failed due
to an indirectbr.
Make LoopSimplify's LoopSimplify::SeparateNestedLoop properly fail in
the case that it would require splitting an indirectbr edge.
These fix PR5502.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89484 91177308-0d34-0410-b5e6-96231b3b80d8
The introduction of indirectbr meant the introduction of2009-11-05T21:14:46ZDan Gohmangohman@apple.com2009-11-05T21:14:46Zurn:sha1:f4e82d1f2e25f7cf8b7e9c3bd42b0e384139e07e
unsplittable critical edges, which means the introduction of
loops which cannot be transformed to LoopSimplify form. Fix
LoopSimplify to avoid transforming such loops into invalid
code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86176 91177308-0d34-0410-b5e6-96231b3b80d8
Make these tests more interesting by using2009-10-24T23:23:04ZDan Gohmangohman@apple.com2009-10-24T23:23:04Zurn:sha1:2b110caabfa00a048fceba7e5a0df04cf4c6f691
-verify-dom-info and -verify-loop-info, which enable additional
(expensive) consistency checks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85017 91177308-0d34-0410-b5e6-96231b3b80d8
Fix SplitBlockPredecessors' LoopInfo updating code to handle the case2009-10-19T16:04:50ZDan Gohmangohman@apple.com2009-10-19T16:04:50Zurn:sha1:841a14753175bb9a02a8f5286ffe03d050b0da26
where a loop's header is being split and it has predecessors which are not
contained by the most-nested loop which contains the loop.
This fixes PR5235.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84505 91177308-0d34-0410-b5e6-96231b3b80d8
Move the dominator verification code out of special code embedded within2009-09-28T00:27:48ZDan Gohmangohman@apple.com2009-09-28T00:27:48Zurn:sha1:9450b0e1a6154192ca597ad27f8eb6e6e807f7a4
the PassManager code into a regular verifyAnalysis method.
Also, reorganize loop verification. Make the LoopPass infrastructure
call verifyLoop as needed instead of having LoopInfo::verifyAnalysis
check every loop in the function after each looop pass. Add a new
command-line argument, -verify-loop-info, to enable the expensive
full checking.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82952 91177308-0d34-0410-b5e6-96231b3b80d8