[PATCH] D48338: [SCEV] Improve zext(A /u B) and zext(A % B)

[Alexandre Isoard via Phabricator via llvm-commits]

alexandre.isoard added a comment.

In https://reviews.llvm.org/D48338#1137930, @alexandre.isoard wrote:

> It transforms: `(sext i57 (199 * (trunc i64 (-1 + (2780916192016515319 * %n)) to i57)) to i64)` into `(sext i57 (-199 + (trunc i64 %n to i57)) to i64)` (not sure if that is correct).


Actually that is incorrect but that's not a *classic* SCEV (it is an "Exits" value) and the loop trip count estimation changed, so the value changed...


https://reviews.llvm.org/D48338