diff options
| author | Devang Patel <dpatel@apple.com> | 2007-09-10 23:34:06 +0000 |
|---|---|---|
| committer | Devang Patel <dpatel@apple.com> | 2007-09-10 23:34:06 +0000 |
| commit | 7ea9ad2effa3ba29bcb7f53217043f6df013fc07 (patch) | |
| tree | e3e158048a04647bde88d2d89de4edc2b01f6391 | |
| parent | 5eefce3656c8e65eb2e20af0ea53af7d704cf191 (diff) | |
| download | external_llvm-7ea9ad2effa3ba29bcb7f53217043f6df013fc07.zip external_llvm-7ea9ad2effa3ba29bcb7f53217043f6df013fc07.tar.gz external_llvm-7ea9ad2effa3ba29bcb7f53217043f6df013fc07.tar.bz2 | |
Swap exit condition operands if it works.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41817 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/LoopIndexSplit.cpp | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/lib/Transforms/Scalar/LoopIndexSplit.cpp b/lib/Transforms/Scalar/LoopIndexSplit.cpp index 3a04665..0f55a91 100644 --- a/lib/Transforms/Scalar/LoopIndexSplit.cpp +++ b/lib/Transforms/Scalar/LoopIndexSplit.cpp @@ -328,14 +328,24 @@ void LoopIndexSplit::findLoopConditionals() { if (!CI) return; - // FIXME + // FIXME + if (CI->getPredicate() == ICmpInst::ICMP_EQ + || CI->getPredicate() == ICmpInst::ICMP_NE) + return; + if (CI->getPredicate() == ICmpInst::ICMP_SGT || CI->getPredicate() == ICmpInst::ICMP_UGT || CI->getPredicate() == ICmpInst::ICMP_SGE - || CI->getPredicate() == ICmpInst::ICMP_UGE - || CI->getPredicate() == ICmpInst::ICMP_EQ - || CI->getPredicate() == ICmpInst::ICMP_NE) - return; + || CI->getPredicate() == ICmpInst::ICMP_UGE) { + + BasicBlock *FirstSuccessor = BR->getSuccessor(0); + // splitLoop() is expecting LT/LE as exit condition predicate. + // Swap operands here if possible to meet this requirement. + if (!L->contains(FirstSuccessor)) + CI->swapOperands(); + else + return; + } ExitCondition = CI; |