blob: 42944720c9e84975c00c2d27fdad3e24686a53b4 [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//
10// This file implements the LiveInterval analysis pass. Given some
11// numbering of each the machine instructions (in this implemention
Alkis Evlogimenos08cec002004-01-31 19:59:32 +000012// depth-first order) an interval [i, j) is said to be a live interval
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000013// for register v if there is no instruction with number j' > j such
14// that v is live at j' abd there is no instruction with number i' < i
15// such that v is live at i'. In this implementation intervals can
Alkis Evlogimenos08cec002004-01-31 19:59:32 +000016// have holes, i.e. an interval might look like [1,20), [50,65),
17// [1000,1001)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000018//
19//===----------------------------------------------------------------------===//
20
21#ifndef LLVM_CODEGEN_LIVEINTERVALS_H
22#define LLVM_CODEGEN_LIVEINTERVALS_H
23
24#include "llvm/CodeGen/MachineFunctionPass.h"
Alkis Evlogimenosf5f16892004-01-16 16:06:59 +000025#include <list>
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000026
27namespace llvm {
28
29 class LiveVariables;
30 class MRegisterInfo;
Alkis Evlogimenos5f375022004-03-01 20:05:10 +000031 class VirtRegMap;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000032
Chris Lattner418da552004-06-21 13:10:56 +000033 struct LiveInterval {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000034 typedef std::pair<unsigned, unsigned> Range;
35 typedef std::vector<Range> Ranges;
36 unsigned reg; // the register of this interval
37 float weight; // weight of this interval:
38 // (number of uses *10^loopDepth)
39 Ranges ranges; // the ranges in which this register is live
40
Chris Lattner418da552004-06-21 13:10:56 +000041 explicit LiveInterval(unsigned r);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000042
43 bool empty() const { return ranges.empty(); }
44
45 bool spilled() const;
46
47 unsigned start() const {
48 assert(!empty() && "empty interval for register");
49 return ranges.front().first;
50 }
51
52 unsigned end() const {
53 assert(!empty() && "empty interval for register");
54 return ranges.back().second;
55 }
56
57 bool expiredAt(unsigned index) const {
58 return end() <= (index + 1);
59 }
60
61 bool liveAt(unsigned index) const;
62
Chris Lattner418da552004-06-21 13:10:56 +000063 bool overlaps(const LiveInterval& other) const;
Alkis Evlogimenos69240632004-05-30 07:46:27 +000064
65 void addRange(unsigned start, unsigned end);
66
Chris Lattner418da552004-06-21 13:10:56 +000067 void join(const LiveInterval& other);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000068
Chris Lattner418da552004-06-21 13:10:56 +000069 bool operator<(const LiveInterval& other) const {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000070 return start() < other.start();
71 }
72
Chris Lattner418da552004-06-21 13:10:56 +000073 bool operator==(const LiveInterval& other) const {
Alkis Evlogimenos69240632004-05-30 07:46:27 +000074 return reg == other.reg;
75 }
76
77 private:
78 Ranges::iterator mergeRangesForward(Ranges::iterator it);
79 Ranges::iterator mergeRangesBackward(Ranges::iterator it);
80 };
81
Chris Lattner418da552004-06-21 13:10:56 +000082 std::ostream& operator<<(std::ostream& os, const LiveInterval& li);
Alkis Evlogimenos69240632004-05-30 07:46:27 +000083
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000084 class LiveIntervals : public MachineFunctionPass
85 {
86 public:
Chris Lattner418da552004-06-21 13:10:56 +000087 typedef std::list<LiveInterval> Intervals;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000088
89 private:
90 MachineFunction* mf_;
91 const TargetMachine* tm_;
92 const MRegisterInfo* mri_;
93 MachineBasicBlock* currentMbb_;
94 MachineBasicBlock::iterator currentInstr_;
95 LiveVariables* lv_;
96
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000097 typedef std::map<unsigned, MachineBasicBlock*> MbbIndex2MbbMap;
98 MbbIndex2MbbMap mbbi2mbbMap_;
99
100 typedef std::map<MachineInstr*, unsigned> Mi2IndexMap;
101 Mi2IndexMap mi2iMap_;
102
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000103 typedef std::vector<MachineInstr*> Index2MiMap;
104 Index2MiMap i2miMap_;
105
Alkis Evlogimenosf5f16892004-01-16 16:06:59 +0000106 typedef std::map<unsigned, Intervals::iterator> Reg2IntervalMap;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000107 Reg2IntervalMap r2iMap_;
108
Alkis Evlogimenos52f8f562004-02-18 23:14:52 +0000109 typedef std::map<unsigned, unsigned> Reg2RegMap;
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000110 Reg2RegMap r2rMap_;
111
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000112 Intervals intervals_;
113
114 public:
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000115 struct InstrSlots
116 {
117 enum {
118 LOAD = 0,
119 USE = 1,
120 DEF = 2,
121 STORE = 3,
122 NUM = 4,
123 };
124 };
125
126 static unsigned getBaseIndex(unsigned index) {
Alkis Evlogimenos7200c6b2004-02-22 04:05:13 +0000127 return index - (index % InstrSlots::NUM);
128 }
129 static unsigned getBoundaryIndex(unsigned index) {
130 return getBaseIndex(index + InstrSlots::NUM - 1);
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000131 }
132 static unsigned getLoadIndex(unsigned index) {
133 return getBaseIndex(index) + InstrSlots::LOAD;
134 }
135 static unsigned getUseIndex(unsigned index) {
136 return getBaseIndex(index) + InstrSlots::USE;
137 }
138 static unsigned getDefIndex(unsigned index) {
139 return getBaseIndex(index) + InstrSlots::DEF;
140 }
141 static unsigned getStoreIndex(unsigned index) {
142 return getBaseIndex(index) + InstrSlots::STORE;
143 }
144
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000145 virtual void getAnalysisUsage(AnalysisUsage &AU) const;
Alkis Evlogimenos08cec002004-01-31 19:59:32 +0000146 virtual void releaseMemory();
147
148 /// runOnMachineFunction - pass entry point
149 virtual bool runOnMachineFunction(MachineFunction&);
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000150
Chris Lattner418da552004-06-21 13:10:56 +0000151 LiveInterval& getInterval(unsigned reg) {
Alkis Evlogimenos52f8f562004-02-18 23:14:52 +0000152 assert(r2iMap_.count(reg)&& "Interval does not exist for register");
153 return *r2iMap_.find(reg)->second;
154 }
155
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000156 /// getInstructionIndex - returns the base index of instr
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000157 unsigned getInstructionIndex(MachineInstr* instr) const;
158
Alkis Evlogimenos39a0d5c2004-02-20 06:15:40 +0000159 /// getInstructionFromIndex - given an index in any slot of an
160 /// instruction return a pointer the instruction
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000161 MachineInstr* getInstructionFromIndex(unsigned index) const;
162
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000163 Intervals& getIntervals() { return intervals_; }
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000164
Chris Lattner418da552004-06-21 13:10:56 +0000165 std::vector<LiveInterval*> addIntervalsForSpills(const LiveInterval& i,
166 VirtRegMap& vrm,
167 int slot);
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000168
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000169 private:
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000170 /// computeIntervals - compute live intervals
171 void computeIntervals();
172
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000173 /// joinIntervals - join compatible live intervals
174 void joinIntervals();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000175
176 /// handleRegisterDef - update intervals for a register def
177 /// (calls handlePhysicalRegisterDef and
178 /// handleVirtualRegisterDef)
179 void handleRegisterDef(MachineBasicBlock* mbb,
180 MachineBasicBlock::iterator mi,
181 unsigned reg);
182
183 /// handleVirtualRegisterDef - update intervals for a virtual
184 /// register def
185 void handleVirtualRegisterDef(MachineBasicBlock* mbb,
186 MachineBasicBlock::iterator mi,
Chris Lattner418da552004-06-21 13:10:56 +0000187 LiveInterval& interval);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000188
189 /// handlePhysicalRegisterDef - update intervals for a
190 /// physical register def
191 void handlePhysicalRegisterDef(MachineBasicBlock* mbb,
192 MachineBasicBlock::iterator mi,
Chris Lattner418da552004-06-21 13:10:56 +0000193 LiveInterval& interval);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000194
Chris Lattner418da552004-06-21 13:10:56 +0000195 bool overlapsAliases(const LiveInterval& lhs,
196 const LiveInterval& rhs) const;
Alkis Evlogimenos79b0c3f2004-01-23 13:37:51 +0000197
Alkis Evlogimenos9a8b4902004-04-09 18:07:57 +0000198
Chris Lattner418da552004-06-21 13:10:56 +0000199 LiveInterval& getOrCreateInterval(unsigned reg);
Alkis Evlogimenos9a8b4902004-04-09 18:07:57 +0000200
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000201 /// rep - returns the representative of this register
202 unsigned rep(unsigned reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000203
204 void printRegName(unsigned reg) const;
205 };
206
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000207} // End llvm namespace
208
209#endif