[PATCH] D48338: [SCEV] Improve zext(A /u B) and zext(A % B)

[Tim Shen via Phabricator via llvm-commits]

timshen created this revision.
timshen added a reviewer: sanjoy.
Herald added subscribers: bixia, hiraditya, jlebar.

Try to match udiv and urem patterns, and sink zext down to the leaves.

I'm not entirely sure why some unrelated tests change, but the added <nsw>s seem right.


https://reviews.llvm.org/D48338

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
  llvm/test/Analysis/ScalarEvolution/strip-injective-zext.ll
  llvm/test/Analysis/ScalarEvolution/trip-count14.ll
  llvm/test/Analysis/ScalarEvolution/zext-divrem.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48338.151987.patch
Type: text/x-patch
Size: 8807 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180619/e8fba262/attachment.bin>