llvm/test/Transforms/LoopSimplify, branch release_27http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/LoopSimplify?h=release_272009-11-20T20:51:18ZMake 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
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the2009-09-11T18:01:28ZDan Gohmangohman@apple.com2009-09-11T18:01:28Zurn:sha1:f2f6ce65b79df6ec4ee427d51a18355a170f199b
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
Convert a few more opt | llvm-dis to opt -S.2009-09-08T22:41:33ZDan Gohmangohman@apple.com2009-09-08T22:41:33Zurn:sha1:7c1a96c7a7740eaba015b7ed9c4308ef7a3c128b
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81261 91177308-0d34-0410-b5e6-96231b3b80d8
Use opt -S instead of piping bitcode output through llvm-dis.2009-09-08T22:34:10ZDan Gohmangohman@apple.com2009-09-08T22:34:10Zurn:sha1:3e054fe9efc64596534bbae0d1634ed15181d642
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81257 91177308-0d34-0410-b5e6-96231b3b80d8
Change these tests to feed the assembly files to opt directly, instead2009-09-08T16:50:01ZDan Gohmangohman@apple.com2009-09-08T16:50:01Zurn:sha1:b1e1e82c54c060ea5dae09dae043234826ca2539
of using llvm-as, now that opt supports this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81226 91177308-0d34-0410-b5e6-96231b3b80d8
Teach LoopSimplify how to merge multiple loop exits into a single exit,2009-06-27T21:30:38ZDan Gohmangohman@apple.com2009-06-27T21:30:38Zurn:sha1:4b35f83b91a1a313f0730c600e5178aaf7df98d6
when one of them can be converted to a trivial icmp and conditional
branch.
This addresses what is essentially a phase ordering problem.
SimplifyCFG knows how to do this transformation, but it doesn't do so
if the primary block has any instructions in it other than an icmp and
a branch. In the given testcase, the block contains other instructions,
however they are loop-invariant and can be hoisted. SimplifyCFG doesn't
have LoopInfo though, so it can't hoist them. And, it's important that
the blocks be merged before LoopRotation, as it doesn't support
multiple-exit loops.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74396 91177308-0d34-0410-b5e6-96231b3b80d8