arsenm wrote: > Can we add an Attributes to `fma` to relax it to fmul + fmadd? The semantics shouldn't be turn it into a different operation. It's really a different operation, not a modifier on FMA https://github.com/llvm/llvm-project/pull/121027