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

[Jay Foad via llvm-commits]

jayfoad wrote:

Is it OK to reassociate `(A +ninf,reassoc B) +ninf,reassoc C` to `A +ninf,reassoc (B +ninf,reassoc C)`? The reassociation might introduce an infinity in the intermediate result B+C where there was none before, which the ninf will turn into poison.

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