[llvm] LICM: hoist BO assoc for FAdd and FMul (PR #108415)

[Nikita Popov via llvm-commits]

https://github.com/nikic approved this pull request.

LGTM

I think we have a lot of precedent for preserving the flag intersection for this kind of reassociation, so I don't think it would make sense to make a different decision here. See e.g. https://llvm.godbolt.org/z/T3KKPK8vP for InstCombine butchering the simplest possible variant of this pattern.

https://github.com/llvm/llvm-project/pull/108415