jayfoad wrote: > This is essentially a revert of #76285. I wouldn't go that far. It fixes a code quality regression caused by that patch in the specific case of the divisor $C0$ being $2^{32}$. https://github.com/llvm/llvm-project/pull/119218