https://github.com/kuhar commented: I wonder if this is the best place for this code -- we have similar patterns already in arith transforms. What made you decide to make it a new conversion pass? https://github.com/llvm/llvm-project/pull/196321