davemgreen wrote: > Maybe, conservative canonical representation? Yeah it would be a much bigger change. Our costs are a bit odd I think (fmul is more expensive than fmuladd). I'll look into that, but this patch sounds sensible to me. https://github.com/llvm/llvm-project/pull/149102