[PATCH] D109957: [SCEV] Support negative values in signed/unsigned predicate reasoning

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

It would be really good to implement this same logic in Utils/SimplifyIndVars.cpp where we canonicalize comparisons to unsigned for the known-non-negative case.  @mkazantsev Can I ask you to implement that as a follow up please?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109957