[llvm] LICM: use PatternMatch, IRBuilder in hoist BO assoc (PR #106978)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

The change to use IRBuilder looks good to me, but the rest seems like it will make generalization harder, not easier. You dropped some important checks that are only relevant for generalization, such as the need to check that both binops are associative (this is not implied by having the same opcode) or that the nuw transfer logic is only correct for adds.

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