[PATCH] D48853: [SCEV] Add [zs]ext{C, +, x} -> (D + [zs]ext{C-D, +, x})<nuw><nsw> transform

[Roman Tereshin via Phabricator via llvm-commits]

rtereshin updated this revision to Diff 156635.
rtereshin added a comment.

Removed an out of place comment (the example comparing `ConstantRange` and `KnownBits`)


Repository:
  rL LLVM

https://reviews.llvm.org/D48853

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/no-wrap-add-exprs.ll
  test/Transforms/IndVarSimplify/shrunk-constant.ll
  test/Transforms/LoadStoreVectorizer/X86/codegenprepare-produced-address-math.ll
  test/Transforms/SLPVectorizer/X86/consecutive-access.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48853.156635.patch
Type: text/x-patch
Size: 23822 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180720/e2eeaf3f/attachment.bin>