blob: 93eeb9cba457462d882ff315cd09fc5d788e9903 [file] [log] [blame]
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +00001//===-- RegAllocBase.cpp - Register Allocator Base Class ------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Manman Ren28671402014-02-22 19:31:28 +000010// This file defines the RegAllocBase class which provides common functionality
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000011// for LiveIntervalUnion-based register allocators.
12//
13//===----------------------------------------------------------------------===//
14
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000015#include "RegAllocBase.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000016#include "Spiller.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000017#include "llvm/ADT/Statistic.h"
18#include "llvm/CodeGen/LiveIntervalAnalysis.h"
Pete Cooper3ca96f92012-04-02 22:44:18 +000019#include "llvm/CodeGen/LiveRangeEdit.h"
Jakob Stoklund Olesen26c9d702012-11-28 19:13:06 +000020#include "llvm/CodeGen/LiveRegMatrix.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000021#include "llvm/CodeGen/MachineInstr.h"
22#include "llvm/CodeGen/MachineRegisterInfo.h"
Jakob Stoklund Olesen26c9d702012-11-28 19:13:06 +000023#include "llvm/CodeGen/VirtRegMap.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000024#include "llvm/Target/TargetRegisterInfo.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000025#include "llvm/Support/CommandLine.h"
26#include "llvm/Support/Debug.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000027#include "llvm/Support/raw_ostream.h"
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000028#include "llvm/Support/ErrorHandling.h"
29#include "llvm/Support/raw_ostream.h"
30#include "llvm/Support/Timer.h"
31
32using namespace llvm;
33
Chandler Carruth1b9dde02014-04-22 02:02:50 +000034#define DEBUG_TYPE "regalloc"
35
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000036STATISTIC(NumNewQueued , "Number of new live ranges queued");
37
38// Temporary verification option until we can put verification inside
39// MachineVerifier.
40static cl::opt<bool, true>
41VerifyRegAlloc("verify-regalloc", cl::location(RegAllocBase::VerifyEnabled),
42 cl::desc("Verify during register allocation"));
43
Craig Topper9fdc70e2013-07-17 03:11:32 +000044const char RegAllocBase::TimerGroupName[] = "Register Allocation";
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000045bool RegAllocBase::VerifyEnabled = false;
46
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000047//===----------------------------------------------------------------------===//
48// RegAllocBase Implementation
49//===----------------------------------------------------------------------===//
50
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000051// Pin the vtable to this file.
52void RegAllocBase::anchor() {}
53
Jakob Stoklund Olesen2d2dec92012-06-20 22:52:29 +000054void RegAllocBase::init(VirtRegMap &vrm,
55 LiveIntervals &lis,
56 LiveRegMatrix &mat) {
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000057 TRI = &vrm.getTargetRegInfo();
58 MRI = &vrm.getRegInfo();
59 VRM = &vrm;
60 LIS = &lis;
Jakob Stoklund Olesen2d2dec92012-06-20 22:52:29 +000061 Matrix = &mat;
Chad Rosiered119d52012-11-28 00:21:29 +000062 MRI->freezeReservedRegs(vrm.getMachineFunction());
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000063 RegClassInfo.runOnMachineFunction(vrm.getMachineFunction());
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000064}
65
66// Visit all the live registers. If they are already assigned to a physical
67// register, unify them with the corresponding LiveIntervalUnion, otherwise push
68// them on the priority queue for later assignment.
69void RegAllocBase::seedLiveRegs() {
70 NamedRegionTimer T("Seed Live Regs", TimerGroupName, TimePassesIsEnabled);
Jakob Stoklund Olesena1f43dc2012-06-20 21:25:05 +000071 for (unsigned i = 0, e = MRI->getNumVirtRegs(); i != e; ++i) {
72 unsigned Reg = TargetRegisterInfo::index2VirtReg(i);
73 if (MRI->reg_nodbg_empty(Reg))
74 continue;
75 enqueue(&LIS->getInterval(Reg));
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000076 }
77}
78
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000079// Top-level driver to manage the queue of unassigned VirtRegs and call the
80// selectOrSplit implementation.
81void RegAllocBase::allocatePhysRegs() {
82 seedLiveRegs();
83
84 // Continue assigning vregs one at a time to available physical registers.
85 while (LiveInterval *VirtReg = dequeue()) {
86 assert(!VRM->hasPhys(VirtReg->reg) && "Register already assigned");
87
88 // Unused registers can appear when the spiller coalesces snippets.
89 if (MRI->reg_nodbg_empty(VirtReg->reg)) {
90 DEBUG(dbgs() << "Dropping unused " << *VirtReg << '\n');
Quentin Colombeta799e2e2015-01-08 01:16:39 +000091 aboutToRemoveInterval(*VirtReg);
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000092 LIS->removeInterval(VirtReg->reg);
93 continue;
94 }
95
96 // Invalidate all interference queries, live ranges could have changed.
Jakob Stoklund Olesen2d2dec92012-06-20 22:52:29 +000097 Matrix->invalidateVirtRegs();
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +000098
99 // selectOrSplit requests the allocator to return an available physical
100 // register if possible and populate a list of new live intervals that
101 // result from splitting.
102 DEBUG(dbgs() << "\nselectOrSplit "
Craig Toppercf0444b2014-11-17 05:50:14 +0000103 << TRI->getRegClassName(MRI->getRegClass(VirtReg->reg))
Andrew Trick059e8002013-11-22 19:07:42 +0000104 << ':' << *VirtReg << " w=" << VirtReg->weight << '\n');
Mark Laceyf9ea8852013-08-14 23:50:04 +0000105 typedef SmallVector<unsigned, 4> VirtRegVec;
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000106 VirtRegVec SplitVRegs;
107 unsigned AvailablePhysReg = selectOrSplit(*VirtReg, SplitVRegs);
108
109 if (AvailablePhysReg == ~0u) {
110 // selectOrSplit failed to find a register!
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000111 // Probably caused by an inline asm.
Craig Topperc0196b12014-04-14 00:51:57 +0000112 MachineInstr *MI = nullptr;
Owen Andersonabb90c92014-03-13 06:02:25 +0000113 for (MachineRegisterInfo::reg_instr_iterator
114 I = MRI->reg_instr_begin(VirtReg->reg), E = MRI->reg_instr_end();
115 I != E; ) {
116 MachineInstr *TmpMI = &*(I++);
117 if (TmpMI->isInlineAsm()) {
118 MI = TmpMI;
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000119 break;
Owen Andersonabb90c92014-03-13 06:02:25 +0000120 }
121 }
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000122 if (MI)
Benjamin Kramer7200a462013-10-05 19:33:37 +0000123 MI->emitError("inline assembly requires more registers than available");
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000124 else
Benjamin Kramer7200a462013-10-05 19:33:37 +0000125 report_fatal_error("ran out of registers during register allocation");
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000126 // Keep going after reporting the error.
127 VRM->assignVirt2Phys(VirtReg->reg,
128 RegClassInfo.getOrder(MRI->getRegClass(VirtReg->reg)).front());
129 continue;
130 }
131
132 if (AvailablePhysReg)
Jakob Stoklund Olesen2d2dec92012-06-20 22:52:29 +0000133 Matrix->assign(*VirtReg, AvailablePhysReg);
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000134
135 for (VirtRegVec::iterator I = SplitVRegs.begin(), E = SplitVRegs.end();
136 I != E; ++I) {
Mark Laceyf9ea8852013-08-14 23:50:04 +0000137 LiveInterval *SplitVirtReg = &LIS->getInterval(*I);
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000138 assert(!VRM->hasPhys(SplitVirtReg->reg) && "Register already assigned");
139 if (MRI->reg_nodbg_empty(SplitVirtReg->reg)) {
140 DEBUG(dbgs() << "not queueing unused " << *SplitVirtReg << '\n');
Quentin Colombeta799e2e2015-01-08 01:16:39 +0000141 aboutToRemoveInterval(*SplitVirtReg);
Jakob Stoklund Olesena818d802012-01-11 22:28:30 +0000142 LIS->removeInterval(SplitVirtReg->reg);
143 continue;
144 }
145 DEBUG(dbgs() << "queuing new interval: " << *SplitVirtReg << "\n");
146 assert(TargetRegisterInfo::isVirtualRegister(SplitVirtReg->reg) &&
147 "expect split value in virtual register");
148 enqueue(SplitVirtReg);
149 ++NumNewQueued;
150 }
151 }
152}
Wei Mi9a16d652016-04-13 03:08:27 +0000153
154void RegAllocBase::postOptimization() {
155 spiller().postOptimization();
156 for (auto DeadInst : DeadRemats) {
157 LIS->RemoveMachineInstrFromMaps(*DeadInst);
158 DeadInst->eraseFromParent();
159 }
160 DeadRemats.clear();
161}