LLVM 24.0.0git
MipsSubtarget.h
Go to the documentation of this file.
1//===-- MipsSubtarget.h - Define Subtarget for the Mips ---------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file declares the Mips specific subclass of TargetSubtargetInfo.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_LIB_TARGET_MIPS_MIPSSUBTARGET_H
14#define LLVM_LIB_TARGET_MIPS_MIPSSUBTARGET_H
15
17#include "MipsFrameLowering.h"
18#include "MipsISelLowering.h"
19#include "MipsInstrInfo.h"
25#include "llvm/IR/DataLayout.h"
27#include <bitset>
28
29#define GET_SUBTARGETINFO_HEADER
30#include "MipsGenSubtargetInfo.inc"
31
32namespace llvm {
33class StringRef;
34
36 CB_Never, ///< The policy 'never' may in some circumstances or for some
37 ///< ISAs not be absolutely adhered to.
38 CB_Optimal, ///< Optimal is the default and will produce compact branches
39 ///< when appropriate.
40 CB_Always ///< 'always' may in some circumstances may not be
41 ///< absolutely adhered to, there may not be a corresponding
42 ///< compact form of a branch.
43};
44
45class MipsTargetMachine;
46
48 virtual void anchor();
49
50 enum MipsArchEnum {
51 MipsDefault,
52 Mips1, Mips2, Mips32, Mips32r2, Mips32r3, Mips32r5, Mips32r6, Mips32Max,
53 Mips3, Mips4, Mips5, Mips64, Mips64r2, Mips64r3, Mips64r5, Mips64r6
54 };
55
56 enum class CPU { Others, P5600, I6400, I6500 };
57
58 // Used to avoid printing dsp warnings multiple times.
59 static bool DspWarningPrinted;
60
61 // Used to avoid printing msa warnings multiple times.
62 static bool MSAWarningPrinted;
63
64 // Used to avoid printing crc warnings multiple times.
65 static bool CRCWarningPrinted;
66
67 // Used to avoid printing ginv warnings multiple times.
68 static bool GINVWarningPrinted;
69
70 // Used to avoid printing Mips1 warnings multiple times.
71 static bool MIPS1WarningPrinted;
72
73 // Used to avoid printing virt warnings multiple times.
74 static bool VirtWarningPrinted;
75
76 // Mips architecture version
77 MipsArchEnum MipsArchVersion;
78
79 // Processor implementation
80 CPU ProcImpl = CPU::Others;
81
82 // IsLittle - The target is Little Endian
83 bool IsLittle;
84
85 // IsSoftFloat - The target does not support any floating point instructions.
86 bool IsSoftFloat;
87
88 // IsSingleFloat - The target only supports single precision float
89 // point operations. This enable the target to use all 32 32-bit
90 // floating point registers instead of only using even ones.
91 bool IsSingleFloat;
92
93 // IsFPXX - MIPS O32 modeless ABI.
94 bool IsFPXX;
95
96 // NoABICalls - Disable SVR4-style position-independent code.
97 bool NoABICalls;
98
99 // Abs2008 - Use IEEE 754-2008 abs.fmt instruction.
100 bool Abs2008;
101
102 // IsFP64bit - The target processor has 64-bit floating point registers.
103 bool IsFP64bit;
104
105 /// Are odd single-precision registers permitted?
106 /// This corresponds to -modd-spreg and -mno-odd-spreg
107 bool UseOddSPReg;
108
109 // IsNan2008 - IEEE 754-2008 NaN encoding.
110 bool IsNaN2008bit;
111
112 // IsGP64bit - General-purpose registers are 64 bits wide
113 bool IsGP64bit;
114
115 // MIPS GPRs explicitly reserved through -ffixed-REG.
116 std::bitset<32> UserReservedGPR;
117
118 // IsPTR64bit - Pointers are 64 bit wide
119 bool IsPTR64bit;
120
121 // HasVFPU - Processor has a vector floating point unit.
122 bool HasVFPU;
123
124 // CPU supports cnMIPS (Cavium Networks Octeon CPU).
125 bool HasCnMips;
126
127 // CPU supports cnMIPSP (Cavium Networks Octeon+ CPU).
128 bool HasCnMipsP;
129
130 // IsR5900 - CPU is R5900 (PlayStation 2 Emotion Engine).
131 bool IsR5900;
132
133 // FixR5900 - Enable R5900 short loop erratum fix.
134 bool FixR5900;
135
136 // UseSmallSection - Small section is used.
137 bool UseSmallSection;
138
139 /// Features related to the presence of specific instructions.
140
141 // HasMips3_32 - The subset of MIPS-III instructions added to MIPS32
142 bool HasMips3_32;
143
144 // HasMips3_32r2 - The subset of MIPS-III instructions added to MIPS32r2
145 bool HasMips3_32r2;
146
147 // HasMips4_32 - Has the subset of MIPS-IV present in MIPS32
148 bool HasMips4_32;
149
150 // HasMips4_32r2 - Has the subset of MIPS-IV present in MIPS32r2
151 bool HasMips4_32r2;
152
153 // HasMips5_32r2 - Has the subset of MIPS-V present in MIPS32r2
154 bool HasMips5_32r2;
155
156 // InMips16 -- can process Mips16 instructions
157 bool InMips16Mode;
158
159 // Mips16 hard float
160 bool InMips16HardFloat;
161
162 // InMicroMips -- can process MicroMips instructions
163 bool InMicroMipsMode;
164
165 // HasDSP, HasDSPR2, HasDSPR3 -- supports DSP ASE.
166 bool HasDSP, HasDSPR2, HasDSPR3;
167
168 // Has3D -- Supports Mips3D ASE.
169 bool Has3D;
170
171 // HasMSA -- supports MSA ASE.
172 bool HasMSA;
173
174 // UseTCCInDIV -- Enables the use of trapping in the assembler.
175 bool UseTCCInDIV;
176
177 // Sym32 -- On Mips64 symbols are 32 bits.
178 bool HasSym32;
179
180 // HasEVA -- supports EVA ASE.
181 bool HasEVA;
182
183 // nomadd4 - disables generation of 4-operand madd.s, madd.d and
184 // related instructions.
185 bool DisableMadd4;
186
187 // HasMT -- support MT ASE.
188 bool HasMT;
189
190 // HasCRC -- supports R6 CRC ASE
191 bool HasCRC;
192
193 // HasVirt -- supports Virtualization ASE
194 bool HasVirt;
195
196 // HasGINV -- supports R6 Global INValidate ASE
197 bool HasGINV;
198
199 // Use hazard variants of the jump register instructions for indirect
200 // function calls and jump tables.
201 bool UseIndirectJumpsHazard;
202
203 // Disable use of the `jal` instruction.
204 bool UseLongCalls = false;
205
206 // Assume 32-bit GOT.
207 bool UseXGOT = false;
208
209 // Disable unaligned load store for r6.
210 bool StrictAlign;
211
212 // Use compact branch instructions for R6.
213 bool UseCompactBranches = true;
214
215 /// The minimum alignment known to hold of the stack frame on
216 /// entry to the function and which must be maintained by every function.
217 Align stackAlignment;
218
219 /// The overridden stack alignment.
220 MaybeAlign StackAlignOverride;
221
222 const MipsTargetMachine &TM;
223
224 Triple TargetTriple;
225
226 std::unique_ptr<const SelectionDAGTargetInfo> TSInfo;
227 std::unique_ptr<const MipsInstrInfo> InstrInfo;
228 std::unique_ptr<const MipsFrameLowering> FrameLowering;
229 std::unique_ptr<const MipsTargetLowering> TLInfo;
230
231public:
232 bool isPositionIndependent() const;
233 /// This overrides the PostRAScheduler bit in the SchedModel for each CPU.
234 bool enablePostRAScheduler() const override;
235 void getCriticalPathRCs(RegClassVector &CriticalPathRCs) const override;
237
238 bool isABI_N64() const;
239 bool isABI_N32() const;
240 bool isABI_O32() const;
241 const MipsABIInfo &getABI() const;
242 bool isABI_FPXX() const { return isABI_O32() && IsFPXX; }
243
244 bool isGPRReservedByUser(unsigned GPR) const {
245 assert(GPR < UserReservedGPR.size() && "GPR number out of range");
246 return UserReservedGPR[GPR];
247 }
248
249 /// This constructor initializes the data members to match that
250 /// of the specified triple.
251 MipsSubtarget(const Triple &TT, StringRef CPU, StringRef FS, bool little,
252 const MipsTargetMachine &TM, MaybeAlign StackAlignOverride);
253
254 ~MipsSubtarget() override;
255
256 /// ParseSubtargetFeatures - Parses features string setting specified
257 /// subtarget options. Definition of function is auto generated by tblgen.
259
260 static const RTLIB::LibcallImpl HardFloatLibCalls[34];
261
262 bool hasMips1() const { return MipsArchVersion >= Mips1; }
263 bool hasMips2() const { return MipsArchVersion >= Mips2; }
264 bool hasMips3() const { return MipsArchVersion >= Mips3; }
265 bool hasMips4() const { return MipsArchVersion >= Mips4; }
266 bool hasMips5() const { return MipsArchVersion >= Mips5; }
267 bool hasMips4_32() const { return HasMips4_32; }
268 bool hasMips4_32r2() const { return HasMips4_32r2; }
269 bool hasMips32() const {
270 return (MipsArchVersion >= Mips32 && MipsArchVersion < Mips32Max) ||
271 hasMips64();
272 }
273 bool hasMips32r2() const {
274 return (MipsArchVersion >= Mips32r2 && MipsArchVersion < Mips32Max) ||
275 hasMips64r2();
276 }
277 bool hasMips32r3() const {
278 return (MipsArchVersion >= Mips32r3 && MipsArchVersion < Mips32Max) ||
279 hasMips64r2();
280 }
281 bool hasMips32r5() const {
282 return (MipsArchVersion >= Mips32r5 && MipsArchVersion < Mips32Max) ||
283 hasMips64r5();
284 }
285 bool hasMips32r6() const {
286 return (MipsArchVersion >= Mips32r6 && MipsArchVersion < Mips32Max) ||
287 hasMips64r6();
288 }
289 bool hasMips64() const { return MipsArchVersion >= Mips64; }
290 bool hasMips64r2() const { return MipsArchVersion >= Mips64r2; }
291 bool hasMips64r3() const { return MipsArchVersion >= Mips64r3; }
292 bool hasMips64r5() const { return MipsArchVersion >= Mips64r5; }
293 bool hasMips64r6() const { return MipsArchVersion >= Mips64r6; }
294
295 bool hasCnMips() const { return HasCnMips; }
296 bool hasCnMipsP() const { return HasCnMipsP; }
297 bool isR5900() const { return IsR5900; }
298 bool fixR5900() const { return FixR5900; }
299
300 bool isLittle() const { return IsLittle; }
301 bool isABICalls() const { return !NoABICalls; }
302 bool isFPXX() const { return IsFPXX; }
303 bool isFP64bit() const { return IsFP64bit; }
304 bool useOddSPReg() const { return UseOddSPReg; }
305 bool noOddSPReg() const { return !UseOddSPReg; }
306 bool isNaN2008() const { return IsNaN2008bit; }
307 bool inAbs2008Mode() const { return Abs2008; }
308 bool isGP64bit() const { return IsGP64bit; }
309 bool isGP32bit() const { return !IsGP64bit; }
310 unsigned getGPRSizeInBytes() const { return isGP64bit() ? 8 : 4; }
311 bool isPTR64bit() const { return IsPTR64bit; }
312 bool isPTR32bit() const { return !IsPTR64bit; }
313 bool hasSym32() const {
314 return (HasSym32 && isABI_N64()) || isABI_N32() || isABI_O32();
315 }
316 bool isSingleFloat() const { return IsSingleFloat; }
317 bool isTargetCOFF() const { return TargetTriple.isOSBinFormatCOFF(); }
318 bool isTargetELF() const { return TargetTriple.isOSBinFormatELF(); }
319 bool hasVFPU() const { return HasVFPU; }
320 bool inMips16Mode() const { return InMips16Mode; }
321 // Hard float for mips16 means essentially to compile as soft float
322 // but to use a runtime library for soft float that is written with
323 // native mips32 floating point instructions (those runtime routines
324 // run in mips32 hard float mode).
325 bool inMips16HardFloat() const {
326 return inMips16Mode() && InMips16HardFloat;
327 }
328 bool inMicroMipsMode() const { return InMicroMipsMode && !InMips16Mode; }
329 bool inMicroMips32r6Mode() const {
330 return inMicroMipsMode() && hasMips32r6();
331 }
332 bool hasDSP() const { return HasDSP; }
333 bool hasDSPR2() const { return HasDSPR2; }
334 bool hasDSPR3() const { return HasDSPR3; }
335 bool has3D() const { return Has3D; }
336 bool hasMSA() const { return HasMSA; }
337 bool disableMadd4() const { return DisableMadd4; }
338 bool hasEVA() const { return HasEVA; }
339 bool hasMT() const { return HasMT; }
340 bool hasCRC() const { return HasCRC; }
341 bool hasVirt() const { return HasVirt; }
342 bool hasGINV() const { return HasGINV; }
344 return UseIndirectJumpsHazard && hasMips32r2();
345 }
346 bool useSmallSection() const { return UseSmallSection; }
347
348 bool useCompactBranches() const {
349 return UseCompactBranches && hasMips32r6();
350 }
351
352 bool hasStandardEncoding() const { return !InMips16Mode && !InMicroMipsMode; }
353
354 bool useSoftFloat() const { return IsSoftFloat; }
355
356 bool useLongCalls() const { return UseLongCalls; }
357
358 bool useXGOT() const { return UseXGOT; }
359
360 /// Features related to the presence of specific instructions.
361 bool hasExtractInsert() const { return !inMips16Mode() && hasMips32r2(); }
362 bool hasMTHC1() const { return hasMips32r2(); }
363
364 bool isTargetWindows() const { return TargetTriple.isOSWindows(); }
365
366 bool isXRaySupported() const override { return true; }
367
368 // for now constant islands are on for the whole compilation unit but we only
369 // really use them if in addition we are in mips16 mode
370 static bool useConstantIslands();
371
372 Align getStackAlignment() const { return stackAlignment; }
373
374 // Grab relocation model
376
378 const TargetMachine &TM);
379
380 /// Does the system support unaligned memory access.
381 ///
382 /// MIPS32r6/MIPS64r6 require full unaligned access support but does not
383 /// specify which component of the system provides it. Hardware, software, and
384 /// hybrid implementations are all valid.
386 return hasMips32r6() && !StrictAlign;
387 }
388
389 const SelectionDAGTargetInfo *getSelectionDAGInfo() const override;
390
391 const MipsInstrInfo *getInstrInfo() const override { return InstrInfo.get(); }
392 const TargetFrameLowering *getFrameLowering() const override {
393 return FrameLowering.get();
394 }
395 const MipsRegisterInfo *getRegisterInfo() const override {
396 return &InstrInfo->getRegisterInfo();
397 }
398 const MipsTargetLowering *getTargetLowering() const override {
399 return TLInfo.get();
400 }
401 void initLibcallLoweringInfo(LibcallLoweringInfo &Info) const override;
402
403protected:
404 // GlobalISel related APIs.
405 std::unique_ptr<CallLowering> CallLoweringInfo;
406 std::unique_ptr<LegalizerInfo> Legalizer;
407 std::unique_ptr<RegisterBankInfo> RegBankInfo;
408 std::unique_ptr<InstructionSelector> InstSelector;
409
410public:
411 const CallLowering *getCallLowering() const override;
412 const LegalizerInfo *getLegalizerInfo() const override;
413 const RegisterBankInfo *getRegBankInfo() const override;
415};
416} // End llvm namespace
417
418#endif
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file describes how to lower LLVM calls to machine code calls.
Interface for Targets to specify which operations they can successfully select and how the others sho...
Tracks which library functions to use for a particular subtarget or function.
bool hasMips32r6() const
void initLibcallLoweringInfo(LibcallLoweringInfo &Info) const override
bool isXRaySupported() const override
const LegalizerInfo * getLegalizerInfo() const override
static bool useConstantIslands()
bool hasMips4() const
bool hasMips64r2() const
bool isFP64bit() const
bool isTargetELF() const
bool enablePostRAScheduler() const override
This overrides the PostRAScheduler bit in the SchedModel for each CPU.
bool isLittle() const
bool inMicroMipsMode() const
bool hasMips32r5() const
bool hasMips4_32() const
bool isGP32bit() const
std::unique_ptr< InstructionSelector > InstSelector
bool hasMips32r3() const
bool useSoftFloat() const
bool hasDSPR2() const
const MipsInstrInfo * getInstrInfo() const override
bool useIndirectJumpsHazard() const
bool hasMips64r6() const
bool isNaN2008() const
bool useOddSPReg() const
bool fixR5900() const
MipsSubtarget & initializeSubtargetDependencies(StringRef CPU, StringRef FS, const TargetMachine &TM)
const CallLowering * getCallLowering() const override
std::unique_ptr< RegisterBankInfo > RegBankInfo
bool inMips16Mode() const
bool hasMips5() const
bool hasMips64() const
~MipsSubtarget() override
bool hasMips32() const
bool useCompactBranches() const
bool isPTR32bit() const
bool hasSym32() const
bool isABI_FPXX() const
bool inAbs2008Mode() const
std::unique_ptr< CallLowering > CallLoweringInfo
bool noOddSPReg() const
const MipsRegisterInfo * getRegisterInfo() const override
bool isABICalls() const
void ParseSubtargetFeatures(StringRef CPU, StringRef TuneCPU, StringRef FS)
ParseSubtargetFeatures - Parses features string setting specified subtarget options.
bool disableMadd4() const
const RegisterBankInfo * getRegBankInfo() const override
bool hasCnMips() const
static const RTLIB::LibcallImpl HardFloatLibCalls[34]
bool systemSupportsUnalignedAccess() const
Does the system support unaligned memory access.
bool isPositionIndependent() const
bool isGP64bit() const
bool hasExtractInsert() const
Features related to the presence of specific instructions.
bool inMicroMips32r6Mode() const
bool hasMips32r2() const
bool isTargetCOFF() const
bool hasMips4_32r2() const
Align getStackAlignment() const
bool isTargetWindows() const
InstructionSelector * getInstructionSelector() const override
const SelectionDAGTargetInfo * getSelectionDAGInfo() const override
bool isSingleFloat() const
std::unique_ptr< LegalizerInfo > Legalizer
bool useLongCalls() const
unsigned getGPRSizeInBytes() const
bool useSmallSection() const
const MipsTargetLowering * getTargetLowering() const override
bool inMips16HardFloat() const
bool hasCnMipsP() const
bool hasMTHC1() const
bool hasStandardEncoding() const
void getCriticalPathRCs(RegClassVector &CriticalPathRCs) const override
bool hasMips64r5() const
MipsSubtarget(const Triple &TT, StringRef CPU, StringRef FS, bool little, const MipsTargetMachine &TM, MaybeAlign StackAlignOverride)
This constructor initializes the data members to match that of the specified triple.
bool hasMips3() const
bool hasMips1() const
Reloc::Model getRelocationModel() const
bool isPTR64bit() const
bool hasMips2() const
bool hasMips64r3() const
bool hasDSPR3() const
bool isGPRReservedByUser(unsigned GPR) const
CodeGenOptLevel getOptLevelToEnablePostRAScheduler() const override
const MipsABIInfo & getABI() const
const TargetFrameLowering * getFrameLowering() const override
Holds all the information related to register banks.
Targets can subclass this to parameterize the SelectionDAG lowering and instruction selection process...
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
Information about stack frame layout on the target.
Primary interface to the complete machine description for the target machine.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
This is an optimization pass for GlobalISel generic memory operations.
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:227
CompactBranchPolicy
@ CB_Never
The policy 'never' may in some circumstances or for some ISAs not be absolutely adhered to.
@ CB_Always
'always' may in some circumstances may not be absolutely adhered to, there may not be a corresponding...
@ CB_Optimal
Optimal is the default and will produce compact branches when appropriate.
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:106