================ ---------------- jacobly0 wrote: Yeah I just thought of that and was add it. Note that the only negative constant divisor that survives other folding is smin. https://github.com/llvm/llvm-project/pull/122520