[PATCH] D133198: [SCCP] convert signed div/rem to unsigned for non-negative operands

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D133198#3768623 <https://reviews.llvm.org/D133198#3768623>, @spatel wrote:

> define i16 @srem_cmp_constants() {
>
>   %r = srem i16 12704, 0
>   ret i16 %r
>
> }
>
>   So we are doing the RAUW, but the solver is not re-run on those uses to get the subsequent constant-folding?

Ah - just noticed that it all folds away except in this case with 0 divisor. That's treated as a special-case because it is immediate UB?


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

https://reviews.llvm.org/D133198