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

[Alexandre Isoard via Phabricator via llvm-commits]

alexandre.isoard added a comment.

That might be related, for instance, such expressions:

  ((zext i3 {0,+,1}<%bb> to i64) + (8 * ({0,+,1}<nuw><nsw><%bb> /u 8)) + %a)

get simplified into:

  {%a,+,1}<nw><%bb>


https://reviews.llvm.org/D48338