jayfoad wrote: This expansion should also work for negative power-of-two divisors like -4.0. This expansion should also work for fractional power-of-two divisors like +/ 0.25, unless there is some concern about the division overflowing? https://github.com/llvm/llvm-project/pull/91148