[PATCH] D54713: [SCEV] Guard movement of insertion point for loop-invariants

[Warren Ristow via Phabricator via llvm-commits]

wristow created this revision.
wristow added reviewers: sanjoy, skatkov.
Herald added subscribers: javed.absar, hiraditya.

r320789 suppressed moving the insertion point of SCEV expressions with dev/rem operations to the loop header in non-loop-invariant situations.  The hoisitng is also unsafe in the loop-invariant case, since there may be a guard against a zero denominator.  This is an adjustment to the fix of r320789 to suppress the movement even in the loop-invariant case.

This fixes PR30806.


https://reviews.llvm.org/D54713

Files:
  llvm/lib/Analysis/ScalarEvolutionExpander.cpp
  llvm/test/Transforms/LoopVectorize/pr30806.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D54713.174644.patch
Type: text/x-patch
Size: 5501 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181119/188e3357/attachment.bin>