[llvm] [AArch64] Add flag to control unrolling for small multi-exit loops (PR #131998)

[David Sherwood via llvm-commits]

================
@@ -4375,6 +4380,87 @@ getFalkorUnrollingPreferences(Loop *L, ScalarEvolution &SE,
   }
 }
 
+static bool shouldUnrollLoopWithInstruction(Instruction &I,
+                                            AArch64TTIImpl &TTI) {
+  // Don't unroll vectorised loop.
+  if (I.getType()->isVectorTy())
+    return false;
+
+  if (isa<CallBase>(I)) {
+    if (isa<CallInst>(I) || isa<InvokeInst>(I))
+      if (const Function *F = cast<CallBase>(I).getCalledFunction())
+        if (!TTI.isLoweredToCall(F))
+          return true;
+    return false;
+  }
+
+  return true;
+}
+
+static unsigned getLoopSize(Loop *L, AArch64TTIImpl &TTI,
+                            InstructionCost Budget) {
+  // Estimate the size of the loop.
+  InstructionCost LoopCost = 0;
+
+  if (findStringMetadataForLoop(L, "llvm.loop.isvectorized"))
+    return 0;
+
+  for (auto *BB : L->getBlocks()) {
+    for (auto &I : *BB) {
+      if (!shouldUnrollLoopWithInstruction(I, TTI))
+        return 0;
+
+      SmallVector<const Value *, 4> Operands(I.operand_values());
+      InstructionCost Cost =
+          TTI.getInstructionCost(&I, Operands, TTI::TCK_CodeSize);
+      // This can happen with intrinsics that don't currently have a cost model
+      // or for some operations that require SVE.
+      if (!Cost.isValid())
+        return 0;
+
+      LoopCost += Cost;
+      if (LoopCost > Budget)
----------------
david-arm wrote:

Well, I may need to return the total size anyway which is why I wrote the code this way. If I decrement the budget and check against 0, then I still also need to increment the LoopCost so I figured perhaps better to leave as is?

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