Internal performance refinements

Improvements to internal analysis and data handling to reduce overhead.

Author: jaladreips

IGC/AdaptorCommon/LivenessUtils/AllocationLivenessAnalyzer.cpp

@@ -33,7 +33,7 @@ using namespace llvm;
 using namespace IGC;
 
 AllocationLivenessAnalyzer::LivenessData
-AllocationLivenessAnalyzer::ProcessInstruction(Instruction *I, DominatorTree &DT, LoopInfo &LI) {
+AllocationLivenessAnalyzer::ProcessInstruction(Instruction *I, DominatorTree &DT, LoopInfo &LI, bool includeOrigin) {
   // static allocas are usually going to be in the entry block
   // that's a practice, but we only care about the last block that dominates all uses
   BasicBlock *commonDominator = nullptr;
@@ -73,6 +73,10 @@ AllocationLivenessAnalyzer::ProcessInstruction(Instruction *I, DominatorTree &DT
 
     switch (II->getOpcode()) {
     case Instruction::PHI:
+
+      for (auto *bb : cast<PHINode>(II)->blocks())
+        commonDominator = DT.findNearestCommonDominator(commonDominator, bb);
+      [[fallthrough]];
     case Instruction::GetElementPtr:
     case Instruction::BitCast:
     case Instruction::Select:
@@ -93,14 +97,9 @@ AllocationLivenessAnalyzer::ProcessInstruction(Instruction *I, DominatorTree &DT
         }
       }
     } break;
-    case Instruction::Call: {
-      auto *callI = cast<CallInst>(II);
-      if (!callI->doesNotCapture(use->getOperandNo()))
-        lifetimeLeakingUsers.insert(II);
-
-      if (II->getType()->isPointerTy())
-        addUsesFn(II->uses());
-    } break;
+    case Instruction::Call:
+      implementCallSpecificBehavior(cast<CallInst>(II), use, worklist, allUsers, lifetimeLeakingUsers);
+      break;
     case Instruction::Load:
       if (II->getType()->isPointerTy())
         addUsesFn(II->uses());
@@ -111,6 +110,9 @@ AllocationLivenessAnalyzer::ProcessInstruction(Instruction *I, DominatorTree &DT
     }
   }
 
+  if (includeOrigin)
+    allUsers.insert(I);
+
   return LivenessData(I, std::move(allUsers), LI, DT, commonDominator, std::move(lifetimeLeakingUsers));
 }
 
@@ -120,6 +122,20 @@ void AllocationLivenessAnalyzer::getAnalysisUsage(llvm::AnalysisUsage &AU) const
   getAdditionalAnalysisUsage(AU);
 }
 
+void AllocationLivenessAnalyzer::implementCallSpecificBehavior(CallInst *callI, Use* use, SmallVector<Use *> &worklist,
+                                                               SetVector<Instruction *> &allUsers,
+                                                               SetVector<Instruction *> &lifetimeLeakingUsers) {
+
+  if (!callI->doesNotCapture(use->getOperandNo()))
+    lifetimeLeakingUsers.insert(callI);
+
+  if (callI->getType()->isPointerTy()) {
+
+    for (auto &use : callI->uses())
+      worklist.push_back(&use);
+  }
+}
+
 template <typename range>
 static inline void doWorkLoop(SmallVector<BasicBlock *> &worklist, DenseSet<BasicBlock *> &bbSet1,
                               DenseSet<BasicBlock *> &bbSet2, std::function<range(BasicBlock *)> iterate,

IGC/AdaptorCommon/LivenessUtils/AllocationLivenessAnalyzer.h

@@ -15,9 +15,11 @@ SPDX-License-Identifier: MIT
 
 namespace llvm {
 class BasicBlock;
+class CallInst;
 class DominatorTree;
 class Instruction;
 class LoopInfo;
+class Use;
 } // namespace llvm
 
 namespace IGC {
@@ -52,10 +54,15 @@ class AllocationLivenessAnalyzer : public llvm::FunctionPass {
   AllocationLivenessAnalyzer(char &pid) : llvm::FunctionPass(pid) {}
 
 protected:
-  LivenessData ProcessInstruction(llvm::Instruction *I, llvm::DominatorTree &DT, llvm::LoopInfo &LI);
+  LivenessData ProcessInstruction(llvm::Instruction *I, llvm::DominatorTree &DT, llvm::LoopInfo &LI,
+                                  bool includeOrigin = false);
 
   void getAnalysisUsage(llvm::AnalysisUsage &AU) const override;
   virtual void getAdditionalAnalysisUsage(llvm::AnalysisUsage &AU) const = 0;
+  virtual void implementCallSpecificBehavior(llvm::CallInst *I, llvm::Use *use,
+                                             llvm::SmallVector<llvm::Use *> &worklist,
+                                             llvm::SetVector<llvm::Instruction *> &allUsers,
+                                             llvm::SetVector<llvm::Instruction *> &lifetimeLeakingUsers);
 };
 
 namespace Provenance {