1 //===-- HexagonRegisterInfo.cpp - Hexagon Register Information ------------===//
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 contains the Hexagon implementation of the TargetRegisterInfo
13 //===----------------------------------------------------------------------===//
15 #include "HexagonRegisterInfo.h"
17 #include "HexagonMachineFunctionInfo.h"
18 #include "HexagonSubtarget.h"
19 #include "HexagonTargetMachine.h"
20 #include "llvm/ADT/BitVector.h"
21 #include "llvm/ADT/STLExtras.h"
22 #include "llvm/CodeGen/MachineFrameInfo.h"
23 #include "llvm/CodeGen/MachineFunction.h"
24 #include "llvm/CodeGen/MachineFunctionPass.h"
25 #include "llvm/CodeGen/MachineInstrBuilder.h"
26 #include "llvm/CodeGen/MachineRegisterInfo.h"
27 #include "llvm/CodeGen/PseudoSourceValue.h"
28 #include "llvm/CodeGen/RegisterScavenging.h"
29 #include "llvm/IR/Function.h"
30 #include "llvm/IR/Type.h"
31 #include "llvm/MC/MachineLocation.h"
32 #include "llvm/Support/CommandLine.h"
33 #include "llvm/Support/ErrorHandling.h"
34 #include "llvm/Target/TargetInstrInfo.h"
35 #include "llvm/Target/TargetMachine.h"
36 #include "llvm/Target/TargetOptions.h"
41 HexagonRegisterInfo::HexagonRegisterInfo(HexagonSubtarget &st)
42 : HexagonGenRegisterInfo(Hexagon::R31),
47 HexagonRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const {
48 static const MCPhysReg CalleeSavedRegsV2[] = {
49 Hexagon::R24, Hexagon::R25, Hexagon::R26, Hexagon::R27, 0
51 static const MCPhysReg CalleeSavedRegsV3[] = {
52 Hexagon::R16, Hexagon::R17, Hexagon::R18, Hexagon::R19,
53 Hexagon::R20, Hexagon::R21, Hexagon::R22, Hexagon::R23,
54 Hexagon::R24, Hexagon::R25, Hexagon::R26, Hexagon::R27, 0
57 switch(Subtarget.getHexagonArchVersion()) {
58 case HexagonSubtarget::V1:
60 case HexagonSubtarget::V2:
61 return CalleeSavedRegsV2;
62 case HexagonSubtarget::V3:
63 case HexagonSubtarget::V4:
64 case HexagonSubtarget::V5:
65 return CalleeSavedRegsV3;
67 llvm_unreachable("Callee saved registers requested for unknown architecture "
71 BitVector HexagonRegisterInfo::getReservedRegs(const MachineFunction &MF)
73 BitVector Reserved(getNumRegs());
74 Reserved.set(HEXAGON_RESERVED_REG_1);
75 Reserved.set(HEXAGON_RESERVED_REG_2);
76 Reserved.set(Hexagon::R29);
77 Reserved.set(Hexagon::R30);
78 Reserved.set(Hexagon::R31);
79 Reserved.set(Hexagon::D14);
80 Reserved.set(Hexagon::D15);
81 Reserved.set(Hexagon::LC0);
82 Reserved.set(Hexagon::LC1);
83 Reserved.set(Hexagon::SA0);
84 Reserved.set(Hexagon::SA1);
89 const TargetRegisterClass* const*
90 HexagonRegisterInfo::getCalleeSavedRegClasses(const MachineFunction *MF) const {
91 static const TargetRegisterClass * const CalleeSavedRegClassesV2[] = {
92 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
93 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
95 static const TargetRegisterClass * const CalleeSavedRegClassesV3[] = {
96 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
97 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
98 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
99 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
100 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
101 &Hexagon::IntRegsRegClass, &Hexagon::IntRegsRegClass,
104 switch(Subtarget.getHexagonArchVersion()) {
105 case HexagonSubtarget::V1:
107 case HexagonSubtarget::V2:
108 return CalleeSavedRegClassesV2;
109 case HexagonSubtarget::V3:
110 case HexagonSubtarget::V4:
111 case HexagonSubtarget::V5:
112 return CalleeSavedRegClassesV3;
114 llvm_unreachable("Callee saved register classes requested for unknown "
115 "architecture version");
118 void HexagonRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
119 int SPAdj, unsigned FIOperandNum,
120 RegScavenger *RS) const {
122 // Hexagon_TODO: Do we need to enforce this for Hexagon?
123 assert(SPAdj == 0 && "Unexpected");
125 MachineInstr &MI = *II;
126 int FrameIndex = MI.getOperand(FIOperandNum).getIndex();
128 // Addressable stack objects are accessed using neg. offsets from %fp.
129 MachineFunction &MF = *MI.getParent()->getParent();
130 const HexagonInstrInfo &TII =
131 *static_cast<const HexagonInstrInfo *>(MF.getSubtarget().getInstrInfo());
132 int Offset = MF.getFrameInfo()->getObjectOffset(FrameIndex);
133 MachineFrameInfo &MFI = *MF.getFrameInfo();
135 unsigned FrameReg = getFrameRegister(MF);
136 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
137 if (!TFI->hasFP(MF)) {
138 // We will not reserve space on the stack for the lr and fp registers.
139 Offset -= 2 * Hexagon_WordSize;
142 const unsigned FrameSize = MFI.getStackSize();
144 if (!MFI.hasVarSizedObjects() &&
145 TII.isValidOffset(MI.getOpcode(), (FrameSize+Offset)) &&
146 !TII.isSpillPredRegOp(&MI)) {
147 // Replace frame index with a stack pointer reference.
148 MI.getOperand(FIOperandNum).ChangeToRegister(getStackRegister(), false,
150 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(FrameSize+Offset);
152 // Replace frame index with a frame pointer reference.
153 if (!TII.isValidOffset(MI.getOpcode(), Offset)) {
155 // If the offset overflows, then correct it.
157 // For loads, we do not need a reserved register
158 // r0 = memw(r30 + #10000) to:
160 // r0 = add(r30, #10000)
162 if ( (MI.getOpcode() == Hexagon::L2_loadri_io) ||
163 (MI.getOpcode() == Hexagon::L2_loadrd_io) ||
164 (MI.getOpcode() == Hexagon::L2_loadrh_io) ||
165 (MI.getOpcode() == Hexagon::L2_loadruh_io) ||
166 (MI.getOpcode() == Hexagon::L2_loadrb_io) ||
167 (MI.getOpcode() == Hexagon::L2_loadrub_io)) {
168 unsigned dstReg = (MI.getOpcode() == Hexagon::L2_loadrd_io) ?
169 getSubReg(MI.getOperand(0).getReg(), Hexagon::subreg_loreg) :
170 MI.getOperand(0).getReg();
172 // Check if offset can fit in addi.
173 if (!TII.isValidOffset(Hexagon::A2_addi, Offset)) {
174 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
175 TII.get(Hexagon::CONST32_Int_Real), dstReg).addImm(Offset);
176 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
177 TII.get(Hexagon::A2_add),
178 dstReg).addReg(FrameReg).addReg(dstReg);
180 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
181 TII.get(Hexagon::A2_addi),
182 dstReg).addReg(FrameReg).addImm(Offset);
185 MI.getOperand(FIOperandNum).ChangeToRegister(dstReg, false, false,true);
186 MI.getOperand(FIOperandNum+1).ChangeToImmediate(0);
187 } else if ((MI.getOpcode() == Hexagon::S2_storeri_io) ||
188 (MI.getOpcode() == Hexagon::S2_storerd_io) ||
189 (MI.getOpcode() == Hexagon::S2_storerh_io) ||
190 (MI.getOpcode() == Hexagon::S2_storerb_io)) {
191 // For stores, we need a reserved register. Change
192 // memw(r30 + #10000) = r0 to:
194 // rs = add(r30, #10000);
196 unsigned resReg = HEXAGON_RESERVED_REG_1;
198 // Check if offset can fit in addi.
199 if (!TII.isValidOffset(Hexagon::A2_addi, Offset)) {
200 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
201 TII.get(Hexagon::CONST32_Int_Real), resReg).addImm(Offset);
202 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
203 TII.get(Hexagon::A2_add),
204 resReg).addReg(FrameReg).addReg(resReg);
206 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
207 TII.get(Hexagon::A2_addi),
208 resReg).addReg(FrameReg).addImm(Offset);
210 MI.getOperand(FIOperandNum).ChangeToRegister(resReg, false, false,true);
211 MI.getOperand(FIOperandNum+1).ChangeToImmediate(0);
212 } else if (TII.isMemOp(&MI)) {
213 // use the constant extender if the instruction provides it
214 // and we are V4TOps.
215 if (Subtarget.hasV4TOps()) {
216 if (TII.isConstExtended(&MI)) {
217 MI.getOperand(FIOperandNum).ChangeToRegister(FrameReg, false);
218 MI.getOperand(FIOperandNum+1).ChangeToImmediate(Offset);
219 TII.immediateExtend(&MI);
221 llvm_unreachable("Need to implement for memops");
224 // Only V3 and older instructions here.
225 unsigned ResReg = HEXAGON_RESERVED_REG_1;
226 if (!MFI.hasVarSizedObjects() &&
227 TII.isValidOffset(MI.getOpcode(), (FrameSize+Offset))) {
228 MI.getOperand(FIOperandNum).ChangeToRegister(getStackRegister(),
229 false, false, false);
230 MI.getOperand(FIOperandNum+1).ChangeToImmediate(FrameSize+Offset);
231 } else if (!TII.isValidOffset(Hexagon::A2_addi, Offset)) {
232 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
233 TII.get(Hexagon::CONST32_Int_Real), ResReg).addImm(Offset);
234 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
235 TII.get(Hexagon::A2_add), ResReg).addReg(FrameReg).
237 MI.getOperand(FIOperandNum).ChangeToRegister(ResReg, false, false,
239 MI.getOperand(FIOperandNum+1).ChangeToImmediate(0);
241 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
242 TII.get(Hexagon::A2_addi), ResReg).addReg(FrameReg).
244 MI.getOperand(FIOperandNum).ChangeToRegister(ResReg, false, false,
246 MI.getOperand(FIOperandNum+1).ChangeToImmediate(0);
250 unsigned dstReg = MI.getOperand(0).getReg();
251 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
252 TII.get(Hexagon::CONST32_Int_Real), dstReg).addImm(Offset);
253 BuildMI(*MI.getParent(), II, MI.getDebugLoc(),
254 TII.get(Hexagon::A2_add),
255 dstReg).addReg(FrameReg).addReg(dstReg);
256 // Can we delete MI??? r2 = add (r2, #0).
257 MI.getOperand(FIOperandNum).ChangeToRegister(dstReg, false, false,true);
258 MI.getOperand(FIOperandNum+1).ChangeToImmediate(0);
261 // If the offset is small enough to fit in the immediate field, directly
263 MI.getOperand(FIOperandNum).ChangeToRegister(FrameReg, false);
264 MI.getOperand(FIOperandNum+1).ChangeToImmediate(Offset);
270 unsigned HexagonRegisterInfo::getRARegister() const {
274 unsigned HexagonRegisterInfo::getFrameRegister(const MachineFunction
276 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
277 if (TFI->hasFP(MF)) {
284 unsigned HexagonRegisterInfo::getFrameRegister() const {
288 unsigned HexagonRegisterInfo::getStackRegister() const {
292 #define GET_REGINFO_TARGET_DESC
293 #include "HexagonGenRegisterInfo.inc"