wzssyqa wrote: > Attributes should only relax semantics, not introduce new restrictions on operations Can we add an Attributes to `fma` to relax it to fmul + fmadd? https://github.com/llvm/llvm-project/pull/121027