xref: /freebsd/contrib/llvm-project/llvm/lib/MCA/HardwareUnits/LSUnit.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
10b57cec5SDimitry Andric //===----------------------- LSUnit.cpp --------------------------*- C++-*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric /// \file
90b57cec5SDimitry Andric ///
100b57cec5SDimitry Andric /// A Load-Store Unit for the llvm-mca tool.
110b57cec5SDimitry Andric ///
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #include "llvm/MCA/HardwareUnits/LSUnit.h"
150b57cec5SDimitry Andric #include "llvm/MCA/Instruction.h"
160b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
170b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
180b57cec5SDimitry Andric 
190b57cec5SDimitry Andric #define DEBUG_TYPE "llvm-mca"
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric namespace llvm {
220b57cec5SDimitry Andric namespace mca {
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric LSUnitBase::LSUnitBase(const MCSchedModel &SM, unsigned LQ, unsigned SQ,
250b57cec5SDimitry Andric                        bool AssumeNoAlias)
260b57cec5SDimitry Andric     : LQSize(LQ), SQSize(SQ), UsedLQEntries(0), UsedSQEntries(0),
270b57cec5SDimitry Andric       NoAlias(AssumeNoAlias), NextGroupID(1) {
280b57cec5SDimitry Andric   if (SM.hasExtraProcessorInfo()) {
290b57cec5SDimitry Andric     const MCExtraProcessorInfo &EPI = SM.getExtraProcessorInfo();
300b57cec5SDimitry Andric     if (!LQSize && EPI.LoadQueueID) {
310b57cec5SDimitry Andric       const MCProcResourceDesc &LdQDesc = *SM.getProcResource(EPI.LoadQueueID);
328bcb0991SDimitry Andric       LQSize = std::max(0, LdQDesc.BufferSize);
330b57cec5SDimitry Andric     }
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric     if (!SQSize && EPI.StoreQueueID) {
360b57cec5SDimitry Andric       const MCProcResourceDesc &StQDesc = *SM.getProcResource(EPI.StoreQueueID);
378bcb0991SDimitry Andric       SQSize = std::max(0, StQDesc.BufferSize);
380b57cec5SDimitry Andric     }
390b57cec5SDimitry Andric   }
400b57cec5SDimitry Andric }
410b57cec5SDimitry Andric 
420b57cec5SDimitry Andric LSUnitBase::~LSUnitBase() {}
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric void LSUnitBase::cycleEvent() {
450b57cec5SDimitry Andric   for (const std::pair<unsigned, std::unique_ptr<MemoryGroup>> &G : Groups)
460b57cec5SDimitry Andric     G.second->cycleEvent();
470b57cec5SDimitry Andric }
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric #ifndef NDEBUG
500b57cec5SDimitry Andric void LSUnitBase::dump() const {
510b57cec5SDimitry Andric   dbgs() << "[LSUnit] LQ_Size = " << getLoadQueueSize() << '\n';
520b57cec5SDimitry Andric   dbgs() << "[LSUnit] SQ_Size = " << getStoreQueueSize() << '\n';
530b57cec5SDimitry Andric   dbgs() << "[LSUnit] NextLQSlotIdx = " << getUsedLQEntries() << '\n';
540b57cec5SDimitry Andric   dbgs() << "[LSUnit] NextSQSlotIdx = " << getUsedSQEntries() << '\n';
550b57cec5SDimitry Andric   dbgs() << "\n";
560b57cec5SDimitry Andric   for (const auto &GroupIt : Groups) {
570b57cec5SDimitry Andric     const MemoryGroup &Group = *GroupIt.second;
580b57cec5SDimitry Andric     dbgs() << "[LSUnit] Group (" << GroupIt.first << "): "
590b57cec5SDimitry Andric            << "[ #Preds = " << Group.getNumPredecessors()
600b57cec5SDimitry Andric            << ", #GIssued = " << Group.getNumExecutingPredecessors()
610b57cec5SDimitry Andric            << ", #GExecuted = " << Group.getNumExecutedPredecessors()
620b57cec5SDimitry Andric            << ", #Inst = " << Group.getNumInstructions()
630b57cec5SDimitry Andric            << ", #IIssued = " << Group.getNumExecuting()
640b57cec5SDimitry Andric            << ", #IExecuted = " << Group.getNumExecuted() << '\n';
650b57cec5SDimitry Andric   }
660b57cec5SDimitry Andric }
670b57cec5SDimitry Andric #endif
680b57cec5SDimitry Andric 
690b57cec5SDimitry Andric unsigned LSUnit::dispatch(const InstRef &IR) {
700b57cec5SDimitry Andric   const InstrDesc &Desc = IR.getInstruction()->getDesc();
710b57cec5SDimitry Andric   unsigned IsMemBarrier = Desc.HasSideEffects;
720b57cec5SDimitry Andric   assert((Desc.MayLoad || Desc.MayStore) && "Not a memory operation!");
730b57cec5SDimitry Andric 
740b57cec5SDimitry Andric   if (Desc.MayLoad)
758bcb0991SDimitry Andric     acquireLQSlot();
760b57cec5SDimitry Andric   if (Desc.MayStore)
778bcb0991SDimitry Andric     acquireSQSlot();
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric   if (Desc.MayStore) {
800b57cec5SDimitry Andric     unsigned NewGID = createMemoryGroup();
810b57cec5SDimitry Andric     MemoryGroup &NewGroup = getGroup(NewGID);
820b57cec5SDimitry Andric     NewGroup.addInstruction();
830b57cec5SDimitry Andric 
840b57cec5SDimitry Andric     // A store may not pass a previous load or load barrier.
850b57cec5SDimitry Andric     unsigned ImmediateLoadDominator =
860b57cec5SDimitry Andric         std::max(CurrentLoadGroupID, CurrentLoadBarrierGroupID);
870b57cec5SDimitry Andric     if (ImmediateLoadDominator) {
880b57cec5SDimitry Andric       MemoryGroup &IDom = getGroup(ImmediateLoadDominator);
890b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: (" << ImmediateLoadDominator
900b57cec5SDimitry Andric                         << ") --> (" << NewGID << ")\n");
91*5ffd83dbSDimitry Andric       IDom.addSuccessor(&NewGroup, !assumeNoAlias());
920b57cec5SDimitry Andric     }
93*5ffd83dbSDimitry Andric 
94*5ffd83dbSDimitry Andric     // A store may not pass a previous store barrier.
95*5ffd83dbSDimitry Andric     if (CurrentStoreBarrierGroupID) {
96*5ffd83dbSDimitry Andric       MemoryGroup &StoreGroup = getGroup(CurrentStoreBarrierGroupID);
97*5ffd83dbSDimitry Andric       LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: ("
98*5ffd83dbSDimitry Andric                         << CurrentStoreBarrierGroupID
99*5ffd83dbSDimitry Andric                         << ") --> (" << NewGID << ")\n");
100*5ffd83dbSDimitry Andric       StoreGroup.addSuccessor(&NewGroup, true);
101*5ffd83dbSDimitry Andric     }
102*5ffd83dbSDimitry Andric 
103*5ffd83dbSDimitry Andric     // A store may not pass a previous store.
104*5ffd83dbSDimitry Andric     if (CurrentStoreGroupID &&
105*5ffd83dbSDimitry Andric         (CurrentStoreGroupID != CurrentStoreBarrierGroupID)) {
1060b57cec5SDimitry Andric       MemoryGroup &StoreGroup = getGroup(CurrentStoreGroupID);
1070b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: (" << CurrentStoreGroupID
1080b57cec5SDimitry Andric                         << ") --> (" << NewGID << ")\n");
109*5ffd83dbSDimitry Andric       StoreGroup.addSuccessor(&NewGroup, !assumeNoAlias());
1100b57cec5SDimitry Andric     }
1110b57cec5SDimitry Andric 
112*5ffd83dbSDimitry Andric 
1130b57cec5SDimitry Andric     CurrentStoreGroupID = NewGID;
114*5ffd83dbSDimitry Andric     if (IsMemBarrier)
115*5ffd83dbSDimitry Andric       CurrentStoreBarrierGroupID = NewGID;
116*5ffd83dbSDimitry Andric 
1170b57cec5SDimitry Andric     if (Desc.MayLoad) {
1180b57cec5SDimitry Andric       CurrentLoadGroupID = NewGID;
1190b57cec5SDimitry Andric       if (IsMemBarrier)
1200b57cec5SDimitry Andric         CurrentLoadBarrierGroupID = NewGID;
1210b57cec5SDimitry Andric     }
1220b57cec5SDimitry Andric 
1230b57cec5SDimitry Andric     return NewGID;
1240b57cec5SDimitry Andric   }
1250b57cec5SDimitry Andric 
1260b57cec5SDimitry Andric   assert(Desc.MayLoad && "Expected a load!");
1270b57cec5SDimitry Andric 
128*5ffd83dbSDimitry Andric   unsigned ImmediateLoadDominator =
129*5ffd83dbSDimitry Andric       std::max(CurrentLoadGroupID, CurrentLoadBarrierGroupID);
1300b57cec5SDimitry Andric 
131*5ffd83dbSDimitry Andric   // A new load group is created if we are in one of the following situations:
132*5ffd83dbSDimitry Andric   // 1) This is a load barrier (by construction, a load barrier is always
133*5ffd83dbSDimitry Andric   //    assigned to a different memory group).
134*5ffd83dbSDimitry Andric   // 2) There is no load in flight (by construction we always keep loads and
135*5ffd83dbSDimitry Andric   //    stores into separate memory groups).
136*5ffd83dbSDimitry Andric   // 3) There is a load barrier in flight. This load depends on it.
137*5ffd83dbSDimitry Andric   // 4) There is an intervening store between the last load dispatched to the
138*5ffd83dbSDimitry Andric   //    LSU and this load. We always create a new group even if this load
139*5ffd83dbSDimitry Andric   //    does not alias the last dispatched store.
140*5ffd83dbSDimitry Andric   // 5) There is no intervening store and there is an active load group.
141*5ffd83dbSDimitry Andric   //    However that group has already started execution, so we cannot add
142*5ffd83dbSDimitry Andric   //    this load to it.
143*5ffd83dbSDimitry Andric   bool ShouldCreateANewGroup =
144*5ffd83dbSDimitry Andric       IsMemBarrier || !ImmediateLoadDominator ||
145*5ffd83dbSDimitry Andric       CurrentLoadBarrierGroupID == ImmediateLoadDominator ||
146*5ffd83dbSDimitry Andric       ImmediateLoadDominator <= CurrentStoreGroupID ||
147*5ffd83dbSDimitry Andric       getGroup(ImmediateLoadDominator).isExecuting();
148*5ffd83dbSDimitry Andric 
1490b57cec5SDimitry Andric   if (ShouldCreateANewGroup) {
1500b57cec5SDimitry Andric     unsigned NewGID = createMemoryGroup();
1510b57cec5SDimitry Andric     MemoryGroup &NewGroup = getGroup(NewGID);
1520b57cec5SDimitry Andric     NewGroup.addInstruction();
1530b57cec5SDimitry Andric 
154*5ffd83dbSDimitry Andric     // A load may not pass a previous store or store barrier
155*5ffd83dbSDimitry Andric     // unless flag 'NoAlias' is set.
1560b57cec5SDimitry Andric     if (!assumeNoAlias() && CurrentStoreGroupID) {
157*5ffd83dbSDimitry Andric       MemoryGroup &StoreGroup = getGroup(CurrentStoreGroupID);
1580b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: (" << CurrentStoreGroupID
1590b57cec5SDimitry Andric                         << ") --> (" << NewGID << ")\n");
160*5ffd83dbSDimitry Andric       StoreGroup.addSuccessor(&NewGroup, true);
1610b57cec5SDimitry Andric     }
162*5ffd83dbSDimitry Andric 
163*5ffd83dbSDimitry Andric     // A load barrier may not pass a previous load or load barrier.
164*5ffd83dbSDimitry Andric     if (IsMemBarrier) {
165*5ffd83dbSDimitry Andric       if (ImmediateLoadDominator) {
166*5ffd83dbSDimitry Andric         MemoryGroup &LoadGroup = getGroup(ImmediateLoadDominator);
167*5ffd83dbSDimitry Andric         LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: ("
168*5ffd83dbSDimitry Andric                           << ImmediateLoadDominator
1690b57cec5SDimitry Andric                           << ") --> (" << NewGID << ")\n");
170*5ffd83dbSDimitry Andric         LoadGroup.addSuccessor(&NewGroup, true);
171*5ffd83dbSDimitry Andric       }
172*5ffd83dbSDimitry Andric     } else {
173*5ffd83dbSDimitry Andric       // A younger load cannot pass a older load barrier.
174*5ffd83dbSDimitry Andric       if (CurrentLoadBarrierGroupID) {
175*5ffd83dbSDimitry Andric         MemoryGroup &LoadGroup = getGroup(CurrentLoadBarrierGroupID);
176*5ffd83dbSDimitry Andric         LLVM_DEBUG(dbgs() << "[LSUnit]: GROUP DEP: ("
177*5ffd83dbSDimitry Andric                           << CurrentLoadBarrierGroupID
178*5ffd83dbSDimitry Andric                           << ") --> (" << NewGID << ")\n");
179*5ffd83dbSDimitry Andric         LoadGroup.addSuccessor(&NewGroup, true);
180*5ffd83dbSDimitry Andric       }
1810b57cec5SDimitry Andric     }
1820b57cec5SDimitry Andric 
1830b57cec5SDimitry Andric     CurrentLoadGroupID = NewGID;
1840b57cec5SDimitry Andric     if (IsMemBarrier)
1850b57cec5SDimitry Andric       CurrentLoadBarrierGroupID = NewGID;
1860b57cec5SDimitry Andric     return NewGID;
1870b57cec5SDimitry Andric   }
1880b57cec5SDimitry Andric 
189*5ffd83dbSDimitry Andric   // A load may pass a previous load.
1900b57cec5SDimitry Andric   MemoryGroup &Group = getGroup(CurrentLoadGroupID);
1910b57cec5SDimitry Andric   Group.addInstruction();
1920b57cec5SDimitry Andric   return CurrentLoadGroupID;
1930b57cec5SDimitry Andric }
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric LSUnit::Status LSUnit::isAvailable(const InstRef &IR) const {
1960b57cec5SDimitry Andric   const InstrDesc &Desc = IR.getInstruction()->getDesc();
1970b57cec5SDimitry Andric   if (Desc.MayLoad && isLQFull())
1980b57cec5SDimitry Andric     return LSUnit::LSU_LQUEUE_FULL;
1990b57cec5SDimitry Andric   if (Desc.MayStore && isSQFull())
2000b57cec5SDimitry Andric     return LSUnit::LSU_SQUEUE_FULL;
2010b57cec5SDimitry Andric   return LSUnit::LSU_AVAILABLE;
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric void LSUnitBase::onInstructionExecuted(const InstRef &IR) {
2058bcb0991SDimitry Andric   unsigned GroupID = IR.getInstruction()->getLSUTokenID();
2068bcb0991SDimitry Andric   auto It = Groups.find(GroupID);
2078bcb0991SDimitry Andric   assert(It != Groups.end() && "Instruction not dispatched to the LS unit");
2088bcb0991SDimitry Andric   It->second->onInstructionExecuted();
2098bcb0991SDimitry Andric   if (It->second->isExecuted())
2108bcb0991SDimitry Andric     Groups.erase(It);
2118bcb0991SDimitry Andric }
2128bcb0991SDimitry Andric 
2138bcb0991SDimitry Andric void LSUnitBase::onInstructionRetired(const InstRef &IR) {
2140b57cec5SDimitry Andric   const InstrDesc &Desc = IR.getInstruction()->getDesc();
2150b57cec5SDimitry Andric   bool IsALoad = Desc.MayLoad;
2160b57cec5SDimitry Andric   bool IsAStore = Desc.MayStore;
2170b57cec5SDimitry Andric   assert((IsALoad || IsAStore) && "Expected a memory operation!");
2180b57cec5SDimitry Andric 
2190b57cec5SDimitry Andric   if (IsALoad) {
2208bcb0991SDimitry Andric     releaseLQSlot();
2210b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "[LSUnit]: Instruction idx=" << IR.getSourceIndex()
2220b57cec5SDimitry Andric                       << " has been removed from the load queue.\n");
2230b57cec5SDimitry Andric   }
2240b57cec5SDimitry Andric 
2250b57cec5SDimitry Andric   if (IsAStore) {
2268bcb0991SDimitry Andric     releaseSQSlot();
2270b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "[LSUnit]: Instruction idx=" << IR.getSourceIndex()
2280b57cec5SDimitry Andric                       << " has been removed from the store queue.\n");
2290b57cec5SDimitry Andric   }
2300b57cec5SDimitry Andric }
2310b57cec5SDimitry Andric 
2320b57cec5SDimitry Andric void LSUnit::onInstructionExecuted(const InstRef &IR) {
2330b57cec5SDimitry Andric   const Instruction &IS = *IR.getInstruction();
2340b57cec5SDimitry Andric   if (!IS.isMemOp())
2350b57cec5SDimitry Andric     return;
2360b57cec5SDimitry Andric 
2370b57cec5SDimitry Andric   LSUnitBase::onInstructionExecuted(IR);
2380b57cec5SDimitry Andric   unsigned GroupID = IS.getLSUTokenID();
2390b57cec5SDimitry Andric   if (!isValidGroupID(GroupID)) {
2400b57cec5SDimitry Andric     if (GroupID == CurrentLoadGroupID)
2410b57cec5SDimitry Andric       CurrentLoadGroupID = 0;
2420b57cec5SDimitry Andric     if (GroupID == CurrentStoreGroupID)
2430b57cec5SDimitry Andric       CurrentStoreGroupID = 0;
2440b57cec5SDimitry Andric     if (GroupID == CurrentLoadBarrierGroupID)
2450b57cec5SDimitry Andric       CurrentLoadBarrierGroupID = 0;
2460b57cec5SDimitry Andric   }
2470b57cec5SDimitry Andric }
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric } // namespace mca
2500b57cec5SDimitry Andric } // namespace llvm
251