[PATCH] D125792: [SCEV] Use nowrap flags to infer that start > start - stride in howManyLessThans

[Bradley Smith via Phabricator via llvm-commits]

bsmith added a comment.

It should be noted that I'm not 100% certain this patch is sound so would very much like some guidance here, I'm looking to address the discussion from here as we have hit this case: https://reviews.llvm.org/D105942#inline-1007492. It's not clear to me whether more needs to be done to cope with the fact that we are dealing with a poison value here.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125792