[Mlir-commits] [mlir] [MLIR] Unconditionally take min of max lhs/rhs value in inferRemU (PR #110169)

[Krzysztof Drewniak]

https://github.com/krzysz00 approved this pull request.

Overall, given that we're `alive2`'d that the update here is mathematically sound, I think we can land this one.

https://github.com/llvm/llvm-project/pull/110169