https://github.com/nikic requested changes to this pull request. This is incorrect, fmul is only associative with the reassoc flag. And this is already handled in the member isAssociative() function (rather than the one taking an Opcode). https://github.com/llvm/llvm-project/pull/113269