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

Hassnaa Hamdi via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 22 00:39:59 PDT 2024


================
@@ -17,8 +17,7 @@ define float @fold(float %a) {
 ; fixed FP mode.
 define float @notfold(float %a) {
 ; CHECK-LABEL: @notfold(
-; CHECK-NEXT:    [[MUL:%.*]] = fmul fast float [[A:%.*]], 0x3FF3333340000000
-; CHECK-NEXT:    [[MUL1:%.*]] = fmul float [[MUL]], 0x4002666660000000
+; CHECK-NEXT:    [[MUL1:%.*]] = fmul float [[A:%.*]], 0x4006147AE0000000
 ; CHECK-NEXT:    ret float [[MUL1]]
----------------
hassnaaHamdi wrote:

I think this should not be folded but I think the problem here is not related to the associativity, but related to the handling of fast flags ?

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


More information about the llvm-commits mailing list