[PATCH] D65262: [SCEV] simplify more icmps with pred sle/ule to pred slt/ult

ChenZheng via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 23 00:36:44 PST 2019


shchenz abandoned this revision.
shchenz added a comment.

Right solution should be https://reviews.llvm.org/D71690. We can convert `sle` to `slt` if `get(Signed|Unsigned)RangeMin(LHS)` is not min value. In https://reviews.llvm.org/D71690, we can get a more accurate min value for AddRec with flag nsw|nuw.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65262/new/

https://reviews.llvm.org/D65262





More information about the llvm-commits mailing list