elhewaty wrote: > As far as I can tell, this transform doesn't actually require a power of two? We only need to be careful about the sign. https://alive2.llvm.org/ce/z/AJq3Ch Can you explain further please, I think I don't understand the code very well. https://github.com/llvm/llvm-project/pull/72504