================ ---------------- rengolin wrote: Why restrict to multiplication? Any associative op would work. Also, this is only valid for floating points with `fast-math` flags, otherwise reordering is forbidden. https://github.com/llvm/llvm-project/pull/209697