https://github.com/krzysz00 approved this pull request. I think, given how LICM works / that we can't plumb in an IntRangeAnalysis (which is something that'd make sense) this makes sense, though I wonder if we should maybe do this for signed divisions. https://github.com/llvm/llvm-project/pull/102494