diff options
| author | Silviu Baranga <silviu.baranga@arm.com> | 2016-02-08 11:15:29 +0000 |
|---|---|---|
| committer | Silviu Baranga <silviu.baranga@arm.com> | 2016-02-08 11:15:29 +0000 |
| commit | 70a98bb9e85fbc2d654c4c9cc360d277b8891db6 (patch) | |
| tree | f93b0d24632ad4ccc406e3407c7c9a411b9116e8 /llvm/lib/Transforms/Utils/LoopVersioning.cpp | |
| parent | a35fadc7c49fa6949342739f2e75c833a5966fdd (diff) | |
| download | llvm-70a98bb9e85fbc2d654c4c9cc360d277b8891db6.zip llvm-70a98bb9e85fbc2d654c4c9cc360d277b8891db6.tar.gz llvm-70a98bb9e85fbc2d654c4c9cc360d277b8891db6.tar.bz2 | |
[LoopVersioning] Don't assert when there are no memchecks
We shouldn't assert when there are no memchecks, since we
can have SCEV checks. There is already an assert covering
the case where there are no SCEV checks or memchecks.
This also changes the LAA pointer wrapping versioning test
to use the loop versioning pass (this was how I managed to
trigger the assert in the loop versioning pass).
llvm-svn: 260086
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopVersioning.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/LoopVersioning.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Utils/LoopVersioning.cpp b/llvm/lib/Transforms/Utils/LoopVersioning.cpp index 1aeffb7..9303dee 100644 --- a/llvm/lib/Transforms/Utils/LoopVersioning.cpp +++ b/llvm/lib/Transforms/Utils/LoopVersioning.cpp @@ -56,7 +56,6 @@ void LoopVersioning::versionLoop( BasicBlock *RuntimeCheckBB = VersionedLoop->getLoopPreheader(); std::tie(FirstCheckInst, MemRuntimeCheck) = LAI.addRuntimeChecks(RuntimeCheckBB->getTerminator(), AliasChecks); - assert(MemRuntimeCheck && "called even though needsAnyChecking = false"); const SCEVUnionPredicate &Pred = LAI.PSE.getUnionPredicate(); SCEVExpander Exp(*SE, RuntimeCheckBB->getModule()->getDataLayout(), |