123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341 |
- //===-- RegAllocBasic.cpp - Basic Register Allocator ----------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file defines the RABasic function pass, which provides a minimal
- // implementation of the basic register allocator.
- //
- //===----------------------------------------------------------------------===//
- #include "AllocationOrder.h"
- #include "LiveDebugVariables.h"
- #include "RegAllocBase.h"
- #include "llvm/Analysis/AliasAnalysis.h"
- #include "llvm/CodeGen/CalcSpillWeights.h"
- #include "llvm/CodeGen/LiveIntervals.h"
- #include "llvm/CodeGen/LiveRangeEdit.h"
- #include "llvm/CodeGen/LiveRegMatrix.h"
- #include "llvm/CodeGen/LiveStacks.h"
- #include "llvm/CodeGen/MachineBlockFrequencyInfo.h"
- #include "llvm/CodeGen/MachineFunctionPass.h"
- #include "llvm/CodeGen/MachineInstr.h"
- #include "llvm/CodeGen/MachineLoopInfo.h"
- #include "llvm/CodeGen/MachineRegisterInfo.h"
- #include "llvm/CodeGen/Passes.h"
- #include "llvm/CodeGen/RegAllocRegistry.h"
- #include "llvm/CodeGen/Spiller.h"
- #include "llvm/CodeGen/TargetRegisterInfo.h"
- #include "llvm/CodeGen/VirtRegMap.h"
- #include "llvm/Pass.h"
- #include "llvm/Support/Debug.h"
- #include "llvm/Support/raw_ostream.h"
- #include <cstdlib>
- #include <queue>
- using namespace llvm;
- #define DEBUG_TYPE "regalloc"
- static RegisterRegAlloc basicRegAlloc("basic", "basic register allocator",
- createBasicRegisterAllocator);
- namespace {
- struct CompSpillWeight {
- bool operator()(LiveInterval *A, LiveInterval *B) const {
- return A->weight() < B->weight();
- }
- };
- }
- namespace {
- /// RABasic provides a minimal implementation of the basic register allocation
- /// algorithm. It prioritizes live virtual registers by spill weight and spills
- /// whenever a register is unavailable. This is not practical in production but
- /// provides a useful baseline both for measuring other allocators and comparing
- /// the speed of the basic algorithm against other styles of allocators.
- class RABasic : public MachineFunctionPass,
- public RegAllocBase,
- private LiveRangeEdit::Delegate {
- // context
- MachineFunction *MF;
- // state
- std::unique_ptr<Spiller> SpillerInstance;
- std::priority_queue<LiveInterval*, std::vector<LiveInterval*>,
- CompSpillWeight> Queue;
- // Scratch space. Allocated here to avoid repeated malloc calls in
- // selectOrSplit().
- BitVector UsableRegs;
- bool LRE_CanEraseVirtReg(Register) override;
- void LRE_WillShrinkVirtReg(Register) override;
- public:
- RABasic(const RegClassFilterFunc F = allocateAllRegClasses);
- /// Return the pass name.
- StringRef getPassName() const override { return "Basic Register Allocator"; }
- /// RABasic analysis usage.
- void getAnalysisUsage(AnalysisUsage &AU) const override;
- void releaseMemory() override;
- Spiller &spiller() override { return *SpillerInstance; }
- void enqueueImpl(LiveInterval *LI) override {
- Queue.push(LI);
- }
- LiveInterval *dequeue() override {
- if (Queue.empty())
- return nullptr;
- LiveInterval *LI = Queue.top();
- Queue.pop();
- return LI;
- }
- MCRegister selectOrSplit(LiveInterval &VirtReg,
- SmallVectorImpl<Register> &SplitVRegs) override;
- /// Perform register allocation.
- bool runOnMachineFunction(MachineFunction &mf) override;
- MachineFunctionProperties getRequiredProperties() const override {
- return MachineFunctionProperties().set(
- MachineFunctionProperties::Property::NoPHIs);
- }
- MachineFunctionProperties getClearedProperties() const override {
- return MachineFunctionProperties().set(
- MachineFunctionProperties::Property::IsSSA);
- }
- // Helper for spilling all live virtual registers currently unified under preg
- // that interfere with the most recently queried lvr. Return true if spilling
- // was successful, and append any new spilled/split intervals to splitLVRs.
- bool spillInterferences(LiveInterval &VirtReg, MCRegister PhysReg,
- SmallVectorImpl<Register> &SplitVRegs);
- static char ID;
- };
- char RABasic::ID = 0;
- } // end anonymous namespace
- char &llvm::RABasicID = RABasic::ID;
- INITIALIZE_PASS_BEGIN(RABasic, "regallocbasic", "Basic Register Allocator",
- false, false)
- INITIALIZE_PASS_DEPENDENCY(LiveDebugVariables)
- INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
- INITIALIZE_PASS_DEPENDENCY(LiveIntervals)
- INITIALIZE_PASS_DEPENDENCY(RegisterCoalescer)
- INITIALIZE_PASS_DEPENDENCY(MachineScheduler)
- INITIALIZE_PASS_DEPENDENCY(LiveStacks)
- INITIALIZE_PASS_DEPENDENCY(MachineDominatorTree)
- INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo)
- INITIALIZE_PASS_DEPENDENCY(VirtRegMap)
- INITIALIZE_PASS_DEPENDENCY(LiveRegMatrix)
- INITIALIZE_PASS_END(RABasic, "regallocbasic", "Basic Register Allocator", false,
- false)
- bool RABasic::LRE_CanEraseVirtReg(Register VirtReg) {
- LiveInterval &LI = LIS->getInterval(VirtReg);
- if (VRM->hasPhys(VirtReg)) {
- Matrix->unassign(LI);
- aboutToRemoveInterval(LI);
- return true;
- }
- // Unassigned virtreg is probably in the priority queue.
- // RegAllocBase will erase it after dequeueing.
- // Nonetheless, clear the live-range so that the debug
- // dump will show the right state for that VirtReg.
- LI.clear();
- return false;
- }
- void RABasic::LRE_WillShrinkVirtReg(Register VirtReg) {
- if (!VRM->hasPhys(VirtReg))
- return;
- // Register is assigned, put it back on the queue for reassignment.
- LiveInterval &LI = LIS->getInterval(VirtReg);
- Matrix->unassign(LI);
- enqueue(&LI);
- }
- RABasic::RABasic(RegClassFilterFunc F):
- MachineFunctionPass(ID),
- RegAllocBase(F) {
- }
- void RABasic::getAnalysisUsage(AnalysisUsage &AU) const {
- AU.setPreservesCFG();
- AU.addRequired<AAResultsWrapperPass>();
- AU.addPreserved<AAResultsWrapperPass>();
- AU.addRequired<LiveIntervals>();
- AU.addPreserved<LiveIntervals>();
- AU.addPreserved<SlotIndexes>();
- AU.addRequired<LiveDebugVariables>();
- AU.addPreserved<LiveDebugVariables>();
- AU.addRequired<LiveStacks>();
- AU.addPreserved<LiveStacks>();
- AU.addRequired<MachineBlockFrequencyInfo>();
- AU.addPreserved<MachineBlockFrequencyInfo>();
- AU.addRequiredID(MachineDominatorsID);
- AU.addPreservedID(MachineDominatorsID);
- AU.addRequired<MachineLoopInfo>();
- AU.addPreserved<MachineLoopInfo>();
- AU.addRequired<VirtRegMap>();
- AU.addPreserved<VirtRegMap>();
- AU.addRequired<LiveRegMatrix>();
- AU.addPreserved<LiveRegMatrix>();
- MachineFunctionPass::getAnalysisUsage(AU);
- }
- void RABasic::releaseMemory() {
- SpillerInstance.reset();
- }
- // Spill or split all live virtual registers currently unified under PhysReg
- // that interfere with VirtReg. The newly spilled or split live intervals are
- // returned by appending them to SplitVRegs.
- bool RABasic::spillInterferences(LiveInterval &VirtReg, MCRegister PhysReg,
- SmallVectorImpl<Register> &SplitVRegs) {
- // Record each interference and determine if all are spillable before mutating
- // either the union or live intervals.
- SmallVector<LiveInterval*, 8> Intfs;
- // Collect interferences assigned to any alias of the physical register.
- for (MCRegUnitIterator Units(PhysReg, TRI); Units.isValid(); ++Units) {
- LiveIntervalUnion::Query &Q = Matrix->query(VirtReg, *Units);
- for (auto *Intf : reverse(Q.interferingVRegs())) {
- if (!Intf->isSpillable() || Intf->weight() > VirtReg.weight())
- return false;
- Intfs.push_back(Intf);
- }
- }
- LLVM_DEBUG(dbgs() << "spilling " << printReg(PhysReg, TRI)
- << " interferences with " << VirtReg << "\n");
- assert(!Intfs.empty() && "expected interference");
- // Spill each interfering vreg allocated to PhysReg or an alias.
- for (unsigned i = 0, e = Intfs.size(); i != e; ++i) {
- LiveInterval &Spill = *Intfs[i];
- // Skip duplicates.
- if (!VRM->hasPhys(Spill.reg()))
- continue;
- // Deallocate the interfering vreg by removing it from the union.
- // A LiveInterval instance may not be in a union during modification!
- Matrix->unassign(Spill);
- // Spill the extracted interval.
- LiveRangeEdit LRE(&Spill, SplitVRegs, *MF, *LIS, VRM, this, &DeadRemats);
- spiller().spill(LRE);
- }
- return true;
- }
- // Driver for the register assignment and splitting heuristics.
- // Manages iteration over the LiveIntervalUnions.
- //
- // This is a minimal implementation of register assignment and splitting that
- // spills whenever we run out of registers.
- //
- // selectOrSplit can only be called once per live virtual register. We then do a
- // single interference test for each register the correct class until we find an
- // available register. So, the number of interference tests in the worst case is
- // |vregs| * |machineregs|. And since the number of interference tests is
- // minimal, there is no value in caching them outside the scope of
- // selectOrSplit().
- MCRegister RABasic::selectOrSplit(LiveInterval &VirtReg,
- SmallVectorImpl<Register> &SplitVRegs) {
- // Populate a list of physical register spill candidates.
- SmallVector<MCRegister, 8> PhysRegSpillCands;
- // Check for an available register in this class.
- auto Order =
- AllocationOrder::create(VirtReg.reg(), *VRM, RegClassInfo, Matrix);
- for (MCRegister PhysReg : Order) {
- assert(PhysReg.isValid());
- // Check for interference in PhysReg
- switch (Matrix->checkInterference(VirtReg, PhysReg)) {
- case LiveRegMatrix::IK_Free:
- // PhysReg is available, allocate it.
- return PhysReg;
- case LiveRegMatrix::IK_VirtReg:
- // Only virtual registers in the way, we may be able to spill them.
- PhysRegSpillCands.push_back(PhysReg);
- continue;
- default:
- // RegMask or RegUnit interference.
- continue;
- }
- }
- // Try to spill another interfering reg with less spill weight.
- for (MCRegister &PhysReg : PhysRegSpillCands) {
- if (!spillInterferences(VirtReg, PhysReg, SplitVRegs))
- continue;
- assert(!Matrix->checkInterference(VirtReg, PhysReg) &&
- "Interference after spill.");
- // Tell the caller to allocate to this newly freed physical register.
- return PhysReg;
- }
- // No other spill candidates were found, so spill the current VirtReg.
- LLVM_DEBUG(dbgs() << "spilling: " << VirtReg << '\n');
- if (!VirtReg.isSpillable())
- return ~0u;
- LiveRangeEdit LRE(&VirtReg, SplitVRegs, *MF, *LIS, VRM, this, &DeadRemats);
- spiller().spill(LRE);
- // The live virtual register requesting allocation was spilled, so tell
- // the caller not to allocate anything during this round.
- return 0;
- }
- bool RABasic::runOnMachineFunction(MachineFunction &mf) {
- LLVM_DEBUG(dbgs() << "********** BASIC REGISTER ALLOCATION **********\n"
- << "********** Function: " << mf.getName() << '\n');
- MF = &mf;
- RegAllocBase::init(getAnalysis<VirtRegMap>(),
- getAnalysis<LiveIntervals>(),
- getAnalysis<LiveRegMatrix>());
- VirtRegAuxInfo VRAI(*MF, *LIS, *VRM, getAnalysis<MachineLoopInfo>(),
- getAnalysis<MachineBlockFrequencyInfo>());
- VRAI.calculateSpillWeightsAndHints();
- SpillerInstance.reset(createInlineSpiller(*this, *MF, *VRM, VRAI));
- allocatePhysRegs();
- postOptimization();
- // Diagnostic output before rewriting
- LLVM_DEBUG(dbgs() << "Post alloc VirtRegMap:\n" << *VRM << "\n");
- releaseMemory();
- return true;
- }
- FunctionPass* llvm::createBasicRegisterAllocator() {
- return new RABasic();
- }
- FunctionPass* llvm::createBasicRegisterAllocator(RegClassFilterFunc F) {
- return new RABasic(F);
- }
|