LLVM 24.0.0git
MipsTargetMachine.cpp
Go to the documentation of this file.
1//===-- MipsTargetMachine.cpp - Define TargetMachine for Mips -------------===//
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// Implements the info about Mips target spec.
10//
11//===----------------------------------------------------------------------===//
12
13#include "MipsTargetMachine.h"
16#include "Mips.h"
17#include "Mips16ISelDAGToDAG.h"
18#include "MipsMachineFunction.h"
19#include "MipsSEISelDAGToDAG.h"
20#include "MipsSubtarget.h"
24#include "llvm/ADT/StringRef.h"
33#include "llvm/CodeGen/Passes.h"
35#include "llvm/IR/Attributes.h"
36#include "llvm/IR/Function.h"
42#include "llvm/Support/Debug.h"
45#include <optional>
46#include <string>
47
48using namespace llvm;
49
50#define DEBUG_TYPE "mips"
51
71
72static std::unique_ptr<TargetLoweringObjectFile>
73createTLOF(const Triple &TT, bool UseSmallSection) {
74 if (TT.isOSBinFormatCOFF())
75 return std::make_unique<TargetLoweringObjectFileCOFF>();
76 return std::make_unique<MipsTargetObjectFile>(UseSmallSection);
77}
78
79static Reloc::Model getEffectiveRelocModel(std::optional<Reloc::Model> RM) {
80 return RM.value_or(Reloc::Static);
81}
82
83// On function prologue, the stack is created by decrementing
84// its pointer. Once decremented, all references are done with positive
85// offset from the stack/frame pointer, using StackGrowsUp enables
86// an easier handling.
87// Using CodeModel::Large enables different CALL behavior.
89 StringRef CPU, StringRef FS,
91 std::optional<Reloc::Model> RM,
92 std::optional<CodeModel::Model> CM,
93 CodeGenOptLevel OL, bool JIT,
94 bool isLittle)
95 : CodeGenTargetMachineImpl(T, TT, CPU, FS, Options,
97 getEffectiveCodeModel(CM, CodeModel::Small), OL),
98 CLOpts(MipsOptions::Global), MCCLOpts(MipsMCOptions::Global),
99 isLittle(isLittle), IsJIT(JIT),
100 DefaultSubtarget(TT, CPU, FS, Options.MCOptions.getABIName(), isLittle,
101 *this, std::nullopt),
102 TLOF(createTLOF(TT, DefaultSubtarget.useSmallSection())) {
103 initAsmInfo();
104
105 // Mips supports the debug entry values.
107}
108
110
111void MipsebTargetMachine::anchor() {}
112
114 StringRef CPU, StringRef FS,
115 const TargetOptions &Options,
116 std::optional<Reloc::Model> RM,
117 std::optional<CodeModel::Model> CM,
118 CodeGenOptLevel OL, bool JIT)
119 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, JIT, false) {}
120
121void MipselTargetMachine::anchor() {}
122
124 StringRef CPU, StringRef FS,
125 const TargetOptions &Options,
126 std::optional<Reloc::Model> RM,
127 std::optional<CodeModel::Model> CM,
128 CodeGenOptLevel OL, bool JIT)
129 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, JIT, true) {}
130
131const MipsSubtarget *
133 Attribute CPUAttr = F.getFnAttribute("target-cpu");
134 Attribute FSAttr = F.getFnAttribute("target-features");
135
136 std::string CPU =
137 CPUAttr.isValid() ? CPUAttr.getValueAsString().str() : TargetCPU;
138 std::string FS =
139 FSAttr.isValid() ? FSAttr.getValueAsString().str() : TargetFS;
140 bool hasMips16Attr = F.getFnAttribute("mips16").isValid();
141 bool hasNoMips16Attr = F.getFnAttribute("nomips16").isValid();
142
143 bool HasMicroMipsAttr = F.getFnAttribute("micromips").isValid();
144 bool HasNoMicroMipsAttr = F.getFnAttribute("nomicromips").isValid();
145
146 // FIXME: This is related to the code below to reset the target options,
147 // we need to know whether or not the soft float flag is set on the
148 // function, so we can enable it as a subtarget feature.
149 bool softFloat = F.getFnAttribute("use-soft-float").getValueAsBool();
150
151 if (hasMips16Attr)
152 FS += FS.empty() ? "+mips16" : ",+mips16";
153 else if (hasNoMips16Attr)
154 FS += FS.empty() ? "-mips16" : ",-mips16";
155 if (HasMicroMipsAttr)
156 FS += FS.empty() ? "+micromips" : ",+micromips";
157 else if (HasNoMicroMipsAttr)
158 FS += FS.empty() ? "-micromips" : ",-micromips";
159 if (softFloat)
160 FS += FS.empty() ? "+soft-float" : ",+soft-float";
161
162 StringRef ABIName = getTargetABIName(*F.getParent());
163
164 auto &I = SubtargetMap[CPU + FS + ABIName.str()];
165 if (!I) {
166 I = std::make_unique<MipsSubtarget>(
167 TargetTriple, CPU, FS, ABIName, isLittle, *this,
168 MaybeAlign(F.getParent()->getOverrideStackAlignment()));
169 }
170 return I.get();
171}
172
173namespace {
174
175/// Mips Code Generator Pass Configuration Options.
176class MipsPassConfig : public TargetPassConfig {
177public:
178 MipsPassConfig(MipsTargetMachine &TM, PassManagerBase &PM)
179 : TargetPassConfig(TM, PM) {
180 // The current implementation of long branch pass requires a scratch
181 // register ($at) to be available before branch instructions. Tail merging
182 // can break this requirement.
183 EnableTailMerge = false;
184 EnableLoopTermFold = true;
185 }
186
187 MipsTargetMachine &getMipsTargetMachine() const {
189 }
190
191 void addIRPasses() override;
192 bool addInstSelector() override;
193 void addPreEmitPass() override;
194 void addPreRegAlloc() override;
195 bool addIRTranslator() override;
196 void addPreLegalizeMachineIR() override;
197 bool addLegalizeMachineIR() override;
198 void addPreRegBankSelect() override;
199 bool addRegBankSelect() override;
200 bool addGlobalInstructionSelect() override;
201
202 std::unique_ptr<CSEConfigBase> getCSEConfig() const override;
203};
204
205} // end anonymous namespace
206
208 return new MipsPassConfig(*this, PM);
209}
210
211std::unique_ptr<CSEConfigBase> MipsPassConfig::getCSEConfig() const {
212 return getStandardCSEConfigForOpt(TM->getOptLevel());
213}
214
215void MipsPassConfig::addIRPasses() {
218 if (getMipsTargetMachine().getCLOpts().os16)
219 addPass(createMipsOs16Pass());
220 addPass(createMips16HardFloatPass());
221}
222// Install an instruction selector pass using
223// the ISelDag to gen Mips code.
224bool MipsPassConfig::addInstSelector() {
225 addPass(createMips16ISelDag(getMipsTargetMachine(), getOptLevel()));
226 addPass(createMipsSEISelDag(getMipsTargetMachine(), getOptLevel()));
227 return false;
228}
229
230void MipsPassConfig::addPreRegAlloc() {
232}
233
236 LLVM_DEBUG(errs() << "Target Transform Info Pass Added\n");
237 return TargetTransformInfo(std::make_unique<MipsTTIImpl>(this, F));
238}
239
245
246// Implemented by targets that want to run passes immediately before
247// machine code is emitted.
248void MipsPassConfig::addPreEmitPass() {
249 // Expand pseudo instructions that are sensitive to register allocation.
251
252 // The microMIPS size reduction pass performs instruction reselection for
253 // instructions which can be remapped to a 16 bit instruction.
255
256 // This pass inserts a nop instruction between two back-to-back multiplication
257 // instructions when the "mfix4300" flag is passed.
258 if (getMipsTargetMachine().getCLOpts().mfix4300)
259 addPass(createMipsMulMulBugPass());
260
261 // The delay slot filler pass can potientially create forbidden slot hazards
262 // for MIPSR6 and therefore it should go before MipsBranchExpansion pass.
264
265 // This pass expands branches and takes care about the forbidden slot hazards.
266 // Expanding branches may potentially create forbidden slot hazards for
267 // MIPSR6, and fixing such hazard may potentially break a branch by extending
268 // its offset out of range. That's why this pass combine these two tasks, and
269 // runs them alternately until one of them finishes without any changes. Only
270 // then we can be sure that all branches are expanded properly and no hazards
271 // exists.
272 // Any new pass should go before this pass.
273 addPass(createMipsBranchExpansion());
274
276}
277
278bool MipsPassConfig::addIRTranslator() {
279 addPass(new IRTranslatorLegacy(getOptLevel()));
280 return false;
281}
282
283void MipsPassConfig::addPreLegalizeMachineIR() {
285}
286
287bool MipsPassConfig::addLegalizeMachineIR() {
288 addPass(new LegalizerLegacy());
289 return false;
290}
291
292void MipsPassConfig::addPreRegBankSelect() {
293 bool IsOptNone = getOptLevel() == CodeGenOptLevel::None;
294 addPass(createMipsPostLegalizeCombiner(IsOptNone));
295}
296
297bool MipsPassConfig::addRegBankSelect() {
298 addPass(new RegBankSelectLegacy());
299 return false;
300}
301
302bool MipsPassConfig::addGlobalInstructionSelect() {
303 addPass(new InstructionSelectLegacy(getOptLevel()));
304 return false;
305}
static std::unique_ptr< TargetLoweringObjectFile > createTLOF(const Triple &TT)
static Reloc::Model getEffectiveRelocModel()
This file contains the simple types necessary to represent the attributes associated with functions a...
This file provides a helper that implements much of the TTI interface in terms of the target-independ...
#define X(NUM, ENUM, NAME)
Definition ELF.h:857
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
Provides analysis for continuously CSEing during GISel passes.
#define LLVM_ABI
Definition Compiler.h:215
#define LLVM_EXTERNAL_VISIBILITY
Definition Compiler.h:132
This file declares the IRTranslator pass.
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define T
LLVM_ABI LLVM_EXTERNAL_VISIBILITY void LLVMInitializeMipsTarget()
This file describes the interface of the MachineFunctionPass responsible for assigning the generic vi...
const GCNTargetMachine & getTM(const GCNSubtarget *STI)
#define LLVM_DEBUG(...)
Definition Debug.h:119
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
Target-Independent Code Generator Pass Configuration Options pass.
This pass exposes codegen information to IR-level passes.
static std::unique_ptr< TargetLoweringObjectFile > createTLOF()
Functions, function parameters, and return types can have attributes to indicate how they should be t...
Definition Attributes.h:106
LLVM_ABI StringRef getValueAsString() const
Return the attribute's value as a string.
bool isValid() const
Return true if the attribute is any kind of attribute.
Definition Attributes.h:266
CodeGenTargetMachineImpl(const Target &T, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, Reloc::Model RM, CodeModel::Model CM, CodeGenOptLevel OL)
This pass is responsible for selecting generic machine instructions to target-specific instructions.
TargetTransformInfo getTargetTransformInfo(const Function &F) const override
Get a TargetTransformInfo implementation for the target.
MachineFunctionInfo * createMachineFunctionInfo(BumpPtrAllocator &Allocator, const Function &F, const TargetSubtargetInfo *STI) const override
Create the target's instance of MachineFunctionInfo.
MipsTargetMachine(const Target &T, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, std::optional< Reloc::Model > RM, std::optional< CodeModel::Model > CM, CodeGenOptLevel OL, bool JIT, bool isLittle)
TargetPassConfig * createPassConfig(PassManagerBase &PM) override
Create a pass configuration object to be used by addPassToEmitX methods for generating a pipeline of ...
~MipsTargetMachine() override
const MipsSubtarget * getSubtargetImpl(const Function &F) const override
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
MipsebTargetMachine(const Target &T, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, std::optional< Reloc::Model > RM, std::optional< CodeModel::Model > CM, CodeGenOptLevel OL, bool JIT)
MipselTargetMachine(const Target &T, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, std::optional< Reloc::Model > RM, std::optional< CodeModel::Model > CM, CodeGenOptLevel OL, bool JIT)
PassRegistry - This class manages the registration and intitialization of the pass subsystem as appli...
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
This pass implements the reg bank selector pass used in the GlobalISel pipeline.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
std::string str() const
Get the contents as an std::string.
Definition StringRef.h:222
void setSupportsDebugEntryValues(bool Enable)
Triple TargetTriple
Triple string, CPU name, and target feature strings the TargetMachine instance is created with.
StringRef getTargetABIName(const Module &M) const
Returns the effective target ABI name: the "target-abi" module flag if present, otherwise the -target...
std::unique_ptr< const MCSubtargetInfo > STI
TargetOptions Options
Target-Independent Code Generator Pass Configuration Options.
virtual void addIRPasses()
Add common target configurable passes that perform LLVM IR to IR transforms following machine indepen...
TargetSubtargetInfo - Generic base class for all target subtargets.
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
PassManagerBase - An abstract interface to allow code to add passes to a pass manager without having ...
Registers T::Global with cl::ParseCommandLineOptions.
This is an optimization pass for GlobalISel generic memory operations.
FunctionPass * createMipsPreLegalizeCombiner()
Target & getTheMips64Target()
FunctionPass * createMipsConstantIslandPass()
Returns a pass that converts branches to long branches.
void initializeMipsPreLegalizerCombinerPass(PassRegistry &)
void initializeMipsBranchExpansionPass(PassRegistry &)
void initializeMipsDelaySlotFillerPass(PassRegistry &)
void initializeMipsAsmPrinterPass(PassRegistry &)
void initializeMipsMulMulBugFixPass(PassRegistry &)
FunctionPass * createMipsOptimizePICCallPass()
Return an OptimizeCall object.
void initializeMipsDAGToDAGISelLegacyPass(PassRegistry &)
LLVM_ABI std::unique_ptr< CSEConfigBase > getStandardCSEConfigForOpt(CodeGenOptLevel Level)
Definition CSEInfo.cpp:85
static Reloc::Model getEffectiveRelocModel(std::optional< Reloc::Model > RM)
CodeModel::Model getEffectiveCodeModel(std::optional< CodeModel::Model > CM, CodeModel::Model Default)
Helper method for getting the code model, returning Default if CM does not have a value.
void initializeMipsPostLegalizerCombinerPass(PassRegistry &)
FunctionPass * createMicroMipsSizeReducePass()
Returns an instance of the MicroMips size reduction pass.
FunctionPass * createMipsSEISelDag(MipsTargetMachine &TM, CodeGenOptLevel OptLevel)
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:227
FunctionPass * createMipsBranchExpansion()
Target & getTheMips64elTarget()
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Global
Append to llvm.global_dtors.
FunctionPass * createMipsMulMulBugPass()
void initializeMicroMipsSizeReducePass(PassRegistry &)
LLVM_ABI void initializeGlobalISel(PassRegistry &)
Initialize all passes linked into the GlobalISel library.
Target & getTheMipselTarget()
FunctionPass * createMips16ISelDag(MipsTargetMachine &TM, CodeGenOptLevel OptLevel)
FunctionPass * createMipsPostLegalizeCombiner(bool IsOptNone)
ModulePass * createMips16HardFloatPass()
FunctionPass * createMipsExpandPseudoPass()
createMipsExpandPseudoPass - returns an instance of the pseudo instruction expansion pass.
FunctionPass * createMipsDelaySlotFillerPass()
createMipsDelaySlotFillerPass - Returns a pass that fills in delay slots in Mips MachineFunctions
LLVM_ABI FunctionPass * createAtomicExpandLegacyPass()
AtomicExpandPass - At IR level this pass replace atomic instructions with __atomic_* library calls,...
BumpPtrAllocatorImpl<> BumpPtrAllocator
The standard BumpPtrAllocator which just uses the default template parameters.
Definition Allocator.h:391
Target & getTheMipsTarget()
ModulePass * createMipsOs16Pass()
Definition MipsOs16.cpp:155
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
MachineFunctionInfo - This class can be derived from and used by targets to hold private target-speci...
static FuncInfoTy * create(BumpPtrAllocator &Allocator, const Function &F, const SubtargetTy *STI)
Factory function: default behavior is to call new using the supplied allocator.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:111
RegisterTargetMachine - Helper template for registering a target machine implementation,...