[PATCH] D48853: [SCEV] Add zext(C + x + ...) -> D + zext(C-D + x + ...)<nuw> transform

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: test/Analysis/ScalarEvolution/no-wrap-add-exprs.ll:150
+; CHECK:  %p1.zext = zext i8 %p1 to i16
+; CHECK-NEXT:  -->  (zext i8 (8 + (4 * %x)) to i16) U: [0,253) S: [0,256)
+
----------------
Its weird. Why signed and unsigned ranges are different?


Repository:
  rL LLVM

https://reviews.llvm.org/D48853