[llvm] [llvm][LICM] Add flag to control re-association (PR #149829)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 22 04:31:31 PDT 2025


================
@@ -2850,7 +2855,7 @@ static bool hoistBOAssociation(Instruction &I, Loop &L,
   bool LVInRHS = L.isLoopInvariant(BO->getOperand(0));
   auto *BO0 = dyn_cast<BinaryOperator>(BO->getOperand(LVInRHS));
   if (!BO0 || BO0->getOpcode() != Opcode || !BO0->isAssociative() ||
-      BO0->hasNUsesOrMore(3))
+      BO0->hasNUsesOrMore(BOAssociationUserLimit + 1))
----------------
fhahn wrote:

Is LICM the correct place to fix this though? LICM is some form of canonicalization, w/o any consideration for register pressure. Is there any reason the backend cannot sink the instructions back if beneficial?

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


More information about the llvm-commits mailing list