diff options
| author | Devang Patel <dpatel@apple.com> | 2008-11-10 19:48:34 +0000 |
|---|---|---|
| committer | Devang Patel <dpatel@apple.com> | 2008-11-10 19:48:34 +0000 |
| commit | 66d9c1d94240ca1b604924c1c7614979accd8d74 (patch) | |
| tree | 25498a043153f3741229dd1e7b490b64d3011898 /lib/Transforms/Scalar/LoopIndexSplit.cpp | |
| parent | 781c1022125e777ed05420efad4fd997ecedcd9a (diff) | |
| download | external_llvm-66d9c1d94240ca1b604924c1c7614979accd8d74.zip external_llvm-66d9c1d94240ca1b604924c1c7614979accd8d74.tar.gz external_llvm-66d9c1d94240ca1b604924c1c7614979accd8d74.tar.bz2 | |
If the sign of exit condition and split condition does not match
then do not split loop index.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@58995 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Scalar/LoopIndexSplit.cpp')
| -rw-r--r-- | lib/Transforms/Scalar/LoopIndexSplit.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/LoopIndexSplit.cpp b/lib/Transforms/Scalar/LoopIndexSplit.cpp index 9a5920c..8c54ce3 100644 --- a/lib/Transforms/Scalar/LoopIndexSplit.cpp +++ b/lib/Transforms/Scalar/LoopIndexSplit.cpp @@ -1437,7 +1437,12 @@ bool LoopIndexSplit::splitLoop(SplitInfo &SD) { if (ICMP->getPredicate() == ICmpInst::ICMP_EQ) return false; } - + + // If the predicate sign does not match then skip. + ICmpInst *CI = dyn_cast<ICmpInst>(SD.SplitCondition); + if (CI && (ExitCondition->isSignedPredicate() != CI->isSignedPredicate())) + return false; + BasicBlock *SplitCondBlock = SD.SplitCondition->getParent(); // Unable to handle triangle loops at the moment. |