llvm-project/llvm/test/Transforms/LoopVersioning
Keno Fischer 92f377bd74 [LAA] Prevent invalid IR for loop-invariant bound in loop body
Summary:
If LAA expands a bound that is loop invariant, but not hoisted out
of the loop body, it used to use that value anyway, causing a
non-domination error, because the memcheck block is of course not
dominated by the scalar loop body. Detect this situation and expand
the SCEV expression instead.

Fixes PR31251

Reviewers: anemet
Subscribers: mzolotukhin, llvm-commits

Differential Revision: https://reviews.llvm.org/D27397

llvm-svn: 288705
2016-12-05 21:25:03 +00:00
..
basic.ll
incorrect-phi.ll [LoopVer] Update all existing PHIs in the exit block 2016-06-14 09:38:54 +00:00
lcssa.ll [LoopVersioning] Relax an assert for LCSSA PHIs 2016-03-22 18:38:15 +00:00
loop-invariant-bound.ll [LAA] Prevent invalid IR for loop-invariant bound in loop body 2016-12-05 21:25:03 +00:00
noalias-version-twice.ll
noalias.ll [LVers] Change CHECK_LABEL to CHECK-LABEL (underscore->dash) 2016-03-28 21:04:13 +00:00