[PATCH] D20058: [SCEV] No-wrap flags are not propagated when folding "{S, +, X}+T ==> {S+T, +, X}"

Oleg Ranevskyy via llvm-commits llvm-commits at lists.llvm.org
Mon May 23 17:05:11 PDT 2016


iid_iunknown updated this revision to Diff 58171.
iid_iunknown added a comment.

Addressing the review comments from Sanjoy.

The test case was reduced and changed to check that the `sext` instructions don't get mapped to `sext` SCEV expressions.


Repository:
  rL LLVM

http://reviews.llvm.org/D20058

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
  test/Analysis/LoopAccessAnalysis/reverse-memcheck-bounds.ll
  test/Analysis/ScalarEvolution/flags-from-poison.ll
  test/Analysis/ScalarEvolution/nsw-offset-assume.ll
  test/Analysis/ScalarEvolution/nsw-offset.ll
  test/Analysis/ScalarEvolution/nsw.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20058.58171.patch
Type: text/x-patch
Size: 9382 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160524/bcf1ae8a/attachment.bin>


More information about the llvm-commits mailing list