[LoopVersioning] Don't assert when there are no memchecks
authorSilviu Baranga <silviu.baranga@arm.com>
Mon, 8 Feb 2016 11:15:29 +0000 (11:15 +0000)
committerSilviu Baranga <silviu.baranga@arm.com>
Mon, 8 Feb 2016 11:15:29 +0000 (11:15 +0000)
commit70a98bb9e85fbc2d654c4c9cc360d277b8891db6
treef93b0d24632ad4ccc406e3407c7c9a411b9116e8
parenta35fadc7c49fa6949342739f2e75c833a5966fdd
[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
llvm/lib/Transforms/Utils/LoopVersioning.cpp
llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll