blob: bb3c171af53b84fe70266cbbb42cca0cef4c70b3 [file] [log] [blame]
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001//===-- llvm/CodeGen/LiveInterval.h - Live Interval Analysis ----*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner6b929062004-07-19 02:13:59 +000010// This file implements the LiveInterval analysis pass. Given some numbering of
11// each the machine instructions (in this implemention depth-first order) an
12// interval [i, j) is said to be a live interval for register v if there is no
13// instruction with number j' > j such that v is live at j' abd there is no
14// instruction with number i' < i such that v is live at i'. In this
15// implementation intervals can have holes, i.e. an interval might look like
16// [1,20), [50,65), [1000,1001).
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000017//
18//===----------------------------------------------------------------------===//
19
20#ifndef LLVM_CODEGEN_LIVEINTERVALS_H
21#define LLVM_CODEGEN_LIVEINTERVALS_H
22
23#include "llvm/CodeGen/MachineFunctionPass.h"
Alkis Evlogimenosf5f16892004-01-16 16:06:59 +000024#include <list>
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000025
26namespace llvm {
27
28 class LiveVariables;
29 class MRegisterInfo;
Alkis Evlogimenos5f375022004-03-01 20:05:10 +000030 class VirtRegMap;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000031
Chris Lattner418da552004-06-21 13:10:56 +000032 struct LiveInterval {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000033 typedef std::pair<unsigned, unsigned> Range;
34 typedef std::vector<Range> Ranges;
35 unsigned reg; // the register of this interval
36 float weight; // weight of this interval:
37 // (number of uses *10^loopDepth)
38 Ranges ranges; // the ranges in which this register is live
39
Chris Lattner418da552004-06-21 13:10:56 +000040 explicit LiveInterval(unsigned r);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000041
42 bool empty() const { return ranges.empty(); }
43
44 bool spilled() const;
45
46 unsigned start() const {
47 assert(!empty() && "empty interval for register");
48 return ranges.front().first;
49 }
50
51 unsigned end() const {
52 assert(!empty() && "empty interval for register");
53 return ranges.back().second;
54 }
55
56 bool expiredAt(unsigned index) const {
57 return end() <= (index + 1);
58 }
59
60 bool liveAt(unsigned index) const;
61
Chris Lattner418da552004-06-21 13:10:56 +000062 bool overlaps(const LiveInterval& other) const;
Alkis Evlogimenos69240632004-05-30 07:46:27 +000063
64 void addRange(unsigned start, unsigned end);
65
Chris Lattner418da552004-06-21 13:10:56 +000066 void join(const LiveInterval& other);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000067
Chris Lattner418da552004-06-21 13:10:56 +000068 bool operator<(const LiveInterval& other) const {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000069 return start() < other.start();
70 }
71
Chris Lattner418da552004-06-21 13:10:56 +000072 bool operator==(const LiveInterval& other) const {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000073 return reg == other.reg;
74 }
75
76 private:
77 Ranges::iterator mergeRangesForward(Ranges::iterator it);
78 Ranges::iterator mergeRangesBackward(Ranges::iterator it);
79 };
80
Chris Lattner418da552004-06-21 13:10:56 +000081 std::ostream& operator<<(std::ostream& os, const LiveInterval& li);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000082
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000083 class LiveIntervals : public MachineFunctionPass
84 {
85 public:
Chris Lattner418da552004-06-21 13:10:56 +000086 typedef std::list<LiveInterval> Intervals;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000087
88 private:
89 MachineFunction* mf_;
90 const TargetMachine* tm_;
91 const MRegisterInfo* mri_;
92 MachineBasicBlock* currentMbb_;
93 MachineBasicBlock::iterator currentInstr_;
94 LiveVariables* lv_;
95
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000096 typedef std::map<MachineInstr*, unsigned> Mi2IndexMap;
97 Mi2IndexMap mi2iMap_;
98
Alkis Evlogimenos843b1602004-02-15 10:24:21 +000099 typedef std::vector<MachineInstr*> Index2MiMap;
100 Index2MiMap i2miMap_;
101
Alkis Evlogimenosf5f16892004-01-16 16:06:59 +0000102 typedef std::map<unsigned, Intervals::iterator> Reg2IntervalMap;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000103 Reg2IntervalMap r2iMap_;
104
Alkis Evlogimenos52f8f562004-02-18 23:14:52 +0000105 typedef std::map<unsigned, unsigned> Reg2RegMap;
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000106 Reg2RegMap r2rMap_;
107
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000108 Intervals intervals_;
109
110 public:
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000111 struct InstrSlots
112 {
113 enum {
114 LOAD = 0,
115 USE = 1,
116 DEF = 2,
117 STORE = 3,
118 NUM = 4,
119 };
120 };
121
122 static unsigned getBaseIndex(unsigned index) {
Alkis Evlogimenos7200c6b2004-02-22 04:05:13 +0000123 return index - (index % InstrSlots::NUM);
124 }
125 static unsigned getBoundaryIndex(unsigned index) {
126 return getBaseIndex(index + InstrSlots::NUM - 1);
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000127 }
128 static unsigned getLoadIndex(unsigned index) {
129 return getBaseIndex(index) + InstrSlots::LOAD;
130 }
131 static unsigned getUseIndex(unsigned index) {
132 return getBaseIndex(index) + InstrSlots::USE;
133 }
134 static unsigned getDefIndex(unsigned index) {
135 return getBaseIndex(index) + InstrSlots::DEF;
136 }
137 static unsigned getStoreIndex(unsigned index) {
138 return getBaseIndex(index) + InstrSlots::STORE;
139 }
140
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000141 virtual void getAnalysisUsage(AnalysisUsage &AU) const;
Alkis Evlogimenos08cec002004-01-31 19:59:32 +0000142 virtual void releaseMemory();
143
144 /// runOnMachineFunction - pass entry point
145 virtual bool runOnMachineFunction(MachineFunction&);
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000146
Chris Lattner418da552004-06-21 13:10:56 +0000147 LiveInterval& getInterval(unsigned reg) {
Alkis Evlogimenos52f8f562004-02-18 23:14:52 +0000148 assert(r2iMap_.count(reg)&& "Interval does not exist for register");
149 return *r2iMap_.find(reg)->second;
150 }
151
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000152 /// getInstructionIndex - returns the base index of instr
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000153 unsigned getInstructionIndex(MachineInstr* instr) const;
154
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000155 /// getInstructionFromIndex - given an index in any slot of an
156 /// instruction return a pointer the instruction
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000157 MachineInstr* getInstructionFromIndex(unsigned index) const;
158
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000159 Intervals& getIntervals() { return intervals_; }
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000160
Chris Lattner418da552004-06-21 13:10:56 +0000161 std::vector<LiveInterval*> addIntervalsForSpills(const LiveInterval& i,
162 VirtRegMap& vrm,
163 int slot);
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000164
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000165 private:
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000166 /// computeIntervals - compute live intervals
167 void computeIntervals();
168
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000169 /// joinIntervals - join compatible live intervals
170 void joinIntervals();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000171
172 /// handleRegisterDef - update intervals for a register def
173 /// (calls handlePhysicalRegisterDef and
174 /// handleVirtualRegisterDef)
175 void handleRegisterDef(MachineBasicBlock* mbb,
176 MachineBasicBlock::iterator mi,
177 unsigned reg);
178
179 /// handleVirtualRegisterDef - update intervals for a virtual
180 /// register def
181 void handleVirtualRegisterDef(MachineBasicBlock* mbb,
182 MachineBasicBlock::iterator mi,
Chris Lattner418da552004-06-21 13:10:56 +0000183 LiveInterval& interval);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000184
185 /// handlePhysicalRegisterDef - update intervals for a
186 /// physical register def
187 void handlePhysicalRegisterDef(MachineBasicBlock* mbb,
188 MachineBasicBlock::iterator mi,
Chris Lattner418da552004-06-21 13:10:56 +0000189 LiveInterval& interval);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000190
Chris Lattner418da552004-06-21 13:10:56 +0000191 bool overlapsAliases(const LiveInterval& lhs,
192 const LiveInterval& rhs) const;
Alkis Evlogimenos79b0c3f2004-01-23 13:37:51 +0000193
Alkis Evlogimenos9a8b4902004-04-09 18:07:57 +0000194
Chris Lattner418da552004-06-21 13:10:56 +0000195 LiveInterval& getOrCreateInterval(unsigned reg);
Alkis Evlogimenos9a8b4902004-04-09 18:07:57 +0000196
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000197 /// rep - returns the representative of this register
198 unsigned rep(unsigned reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000199
200 void printRegName(unsigned reg) const;
201 };
202
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000203} // End llvm namespace
204
205#endif