1 //=- llvm/CodeGen/AggressiveAntiDepBreaker.h - Anti-Dep Support -*- C++ -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements the AggressiveAntiDepBreaker class, which
11 // implements register anti-dependence breaking during post-RA
12 // scheduling. It attempts to break all anti-dependencies within a
15 //===----------------------------------------------------------------------===//
17 #ifndef LLVM_CODEGEN_AGGRESSIVEANTIDEPBREAKER_H
18 #define LLVM_CODEGEN_AGGRESSIVEANTIDEPBREAKER_H
20 #include "AntiDepBreaker.h"
21 #include "llvm/ADT/BitVector.h"
22 #include "llvm/ADT/SmallSet.h"
23 #include "llvm/CodeGen/MachineBasicBlock.h"
24 #include "llvm/CodeGen/MachineFrameInfo.h"
25 #include "llvm/CodeGen/MachineFunction.h"
26 #include "llvm/CodeGen/MachineRegisterInfo.h"
27 #include "llvm/CodeGen/ScheduleDAG.h"
28 #include "llvm/Target/TargetRegisterInfo.h"
29 #include "llvm/Target/TargetSubtargetInfo.h"
33 class RegisterClassInfo;
35 /// Class AggressiveAntiDepState
36 /// Contains all the state necessary for anti-dep breaking.
37 class AggressiveAntiDepState {
39 /// RegisterReference - Information about a register reference
40 /// within a liverange
42 /// Operand - The registers operand
43 MachineOperand *Operand;
44 /// RC - The register class
45 const TargetRegisterClass *RC;
49 /// NumTargetRegs - Number of non-virtual target registers
50 /// (i.e. TRI->getNumRegs()).
51 const unsigned NumTargetRegs;
53 /// GroupNodes - Implements a disjoint-union data structure to
54 /// form register groups. A node is represented by an index into
55 /// the vector. A node can "point to" itself to indicate that it
56 /// is the parent of a group, or point to another node to indicate
57 /// that it is a member of the same group as that node.
58 std::vector<unsigned> GroupNodes;
60 /// GroupNodeIndices - For each register, the index of the GroupNode
61 /// currently representing the group that the register belongs to.
62 /// Register 0 is always represented by the 0 group, a group
63 /// composed of registers that are not eligible for anti-aliasing.
64 std::vector<unsigned> GroupNodeIndices;
66 /// RegRefs - Map registers to all their references within a live range.
67 std::multimap<unsigned, RegisterReference> RegRefs;
69 /// KillIndices - The index of the most recent kill (proceding bottom-up),
70 /// or ~0u if the register is not live.
71 std::vector<unsigned> KillIndices;
73 /// DefIndices - The index of the most recent complete def (proceding bottom
74 /// up), or ~0u if the register is live.
75 std::vector<unsigned> DefIndices;
78 AggressiveAntiDepState(const unsigned TargetRegs, MachineBasicBlock *BB);
80 /// GetKillIndices - Return the kill indices.
81 std::vector<unsigned> &GetKillIndices() { return KillIndices; }
83 /// GetDefIndices - Return the define indices.
84 std::vector<unsigned> &GetDefIndices() { return DefIndices; }
86 /// GetRegRefs - Return the RegRefs map.
87 std::multimap<unsigned, RegisterReference>& GetRegRefs() { return RegRefs; }
89 // GetGroup - Get the group for a register. The returned value is
90 // the index of the GroupNode representing the group.
91 unsigned GetGroup(unsigned Reg);
93 // GetGroupRegs - Return a vector of the registers belonging to a
94 // group. If RegRefs is non-NULL then only included referenced registers.
97 std::vector<unsigned> &Regs,
98 std::multimap<unsigned,
99 AggressiveAntiDepState::RegisterReference> *RegRefs);
101 // UnionGroups - Union Reg1's and Reg2's groups to form a new
102 // group. Return the index of the GroupNode representing the
104 unsigned UnionGroups(unsigned Reg1, unsigned Reg2);
106 // LeaveGroup - Remove a register from its current group and place
107 // it alone in its own group. Return the index of the GroupNode
108 // representing the registers new group.
109 unsigned LeaveGroup(unsigned Reg);
111 /// IsLive - Return true if Reg is live
112 bool IsLive(unsigned Reg);
116 /// Class AggressiveAntiDepBreaker
117 class AggressiveAntiDepBreaker : public AntiDepBreaker {
119 MachineRegisterInfo &MRI;
120 const TargetInstrInfo *TII;
121 const TargetRegisterInfo *TRI;
122 const RegisterClassInfo &RegClassInfo;
124 /// CriticalPathSet - The set of registers that should only be
125 /// renamed if they are on the critical path.
126 BitVector CriticalPathSet;
128 /// State - The state used to identify and rename anti-dependence
130 AggressiveAntiDepState *State;
133 AggressiveAntiDepBreaker(MachineFunction& MFi,
134 const RegisterClassInfo &RCI,
135 TargetSubtargetInfo::RegClassVector& CriticalPathRCs);
136 ~AggressiveAntiDepBreaker();
138 /// Start - Initialize anti-dep breaking for a new basic block.
139 void StartBlock(MachineBasicBlock *BB);
141 /// BreakAntiDependencies - Identifiy anti-dependencies along the critical
143 /// of the ScheduleDAG and break them by renaming registers.
145 unsigned BreakAntiDependencies(const std::vector<SUnit>& SUnits,
146 MachineBasicBlock::iterator Begin,
147 MachineBasicBlock::iterator End,
148 unsigned InsertPosIndex,
149 DbgValueVector &DbgValues);
151 /// Observe - Update liveness information to account for the current
152 /// instruction, which will not be scheduled.
154 void Observe(MachineInstr *MI, unsigned Count, unsigned InsertPosIndex);
156 /// Finish - Finish anti-dep breaking for a basic block.
160 /// Keep track of a position in the allocation order for each regclass.
161 typedef std::map<const TargetRegisterClass *, unsigned> RenameOrderType;
163 /// IsImplicitDefUse - Return true if MO represents a register
164 /// that is both implicitly used and defined in MI
165 bool IsImplicitDefUse(MachineInstr *MI, MachineOperand& MO);
167 /// GetPassthruRegs - If MI implicitly def/uses a register, then
168 /// return that register and all subregisters.
169 void GetPassthruRegs(MachineInstr *MI, std::set<unsigned>& PassthruRegs);
171 void HandleLastUse(unsigned Reg, unsigned KillIdx, const char *tag,
172 const char *header =NULL, const char *footer =NULL);
174 void PrescanInstruction(MachineInstr *MI, unsigned Count,
175 std::set<unsigned>& PassthruRegs);
176 void ScanInstruction(MachineInstr *MI, unsigned Count);
177 BitVector GetRenameRegisters(unsigned Reg);
178 bool FindSuitableFreeRegisters(unsigned AntiDepGroupIndex,
179 RenameOrderType& RenameOrder,
180 std::map<unsigned, unsigned> &RenameMap);