[llvm] [Associativity]: Make FMul associative operator (PR #113269)

Hassnaa Hamdi via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 21 23:54:31 PDT 2024


================
@@ -562,12 +562,13 @@ loop:
 define void @fmul_noassoc(float %c1, float %c2) {
----------------
hassnaaHamdi wrote:

`; Don't hoist if both reassoc and nsz aren't present on both instructions.`
About that comment, I think maybe there is a bug in the LICM pass specifically in the hoistMulAddAssociation(..) or hoistBOAssociation(..), because that verification should not be related to the associativity of FMul ?

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


More information about the llvm-commits mailing list