LLVM 22.0.0git
LoongArchTargetMachine.cpp
Go to the documentation of this file.
1//===-- LoongArchTargetMachine.cpp - Define TargetMachine for LoongArch ---===//
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 LoongArch target spec.
10//
11//===----------------------------------------------------------------------===//
12
14#include "LoongArch.h"
20#include "llvm/CodeGen/Passes.h"
27#include <optional>
28
29using namespace llvm;
30
31#define DEBUG_TYPE "loongarch"
32
47
49 "loongarch-enable-dead-defs", cl::Hidden,
50 cl::desc("Enable the pass that removes dead"
51 " definitons and replaces stores to"
52 " them with stores to r0"),
53 cl::init(true));
54
55static cl::opt<bool>
56 EnableLoopDataPrefetch("loongarch-enable-loop-data-prefetch", cl::Hidden,
57 cl::desc("Enable the loop data prefetch pass"),
58 cl::init(false));
59
61 std::optional<Reloc::Model> RM) {
62 return RM.value_or(Reloc::Static);
63}
64
67 std::optional<CodeModel::Model> CM) {
68 if (!CM)
69 return TT.isArch64Bit() ? CodeModel::Medium : CodeModel::Small;
70
71 switch (*CM) {
73 return *CM;
76 if (!TT.isArch64Bit())
77 report_fatal_error("Medium/Large code model requires LA64");
78 return *CM;
79 default:
81 "Only small, medium and large code models are allowed on LoongArch");
82 }
83}
84
86 const Target &T, const Triple &TT, StringRef CPU, StringRef FS,
87 const TargetOptions &Options, std::optional<Reloc::Model> RM,
88 std::optional<CodeModel::Model> CM, CodeGenOptLevel OL, bool JIT)
89 : CodeGenTargetMachineImpl(T, TT.computeDataLayout(), TT, CPU, FS, Options,
92 TLOF(std::make_unique<TargetLoweringObjectFileELF>()) {
94}
95
97
100 Attribute CPUAttr = F.getFnAttribute("target-cpu");
101 Attribute TuneAttr = F.getFnAttribute("tune-cpu");
102 Attribute FSAttr = F.getFnAttribute("target-features");
103
104 std::string CPU =
105 CPUAttr.isValid() ? CPUAttr.getValueAsString().str() : TargetCPU;
106 std::string TuneCPU =
107 TuneAttr.isValid() ? TuneAttr.getValueAsString().str() : CPU;
108 std::string FS =
109 FSAttr.isValid() ? FSAttr.getValueAsString().str() : TargetFS;
110
111 std::string Key = CPU + TuneCPU + FS;
112 auto &I = SubtargetMap[Key];
113 if (!I) {
114 // This needs to be done before we create a new subtarget since any
115 // creation will depend on the TM and the code generation flags on the
116 // function that reside in TargetOptions.
118 auto ABIName = Options.MCOptions.getABIName();
119 if (const MDString *ModuleTargetABI = dyn_cast_or_null<MDString>(
120 F.getParent()->getModuleFlag("target-abi"))) {
121 auto TargetABI = LoongArchABI::getTargetABI(ABIName);
122 if (TargetABI != LoongArchABI::ABI_Unknown &&
123 ModuleTargetABI->getString() != ABIName) {
124 report_fatal_error("-target-abi option != target-abi module flag");
125 }
126 ABIName = ModuleTargetABI->getString();
127 }
128 I = std::make_unique<LoongArchSubtarget>(TargetTriple, CPU, TuneCPU, FS,
129 ABIName, *this);
130 }
131 return I.get();
132}
133
140
141namespace {
142class LoongArchPassConfig : public TargetPassConfig {
143public:
144 LoongArchPassConfig(LoongArchTargetMachine &TM, PassManagerBase &PM)
145 : TargetPassConfig(TM, PM) {}
146
147 LoongArchTargetMachine &getLoongArchTargetMachine() const {
149 }
150
151 void addIRPasses() override;
152 void addCodeGenPrepare() override;
153 bool addInstSelector() override;
154 void addPreEmitPass() override;
155 void addPreEmitPass2() override;
156 void addMachineSSAOptimization() override;
157 void addPreRegAlloc() override;
158 bool addRegAssignAndRewriteFast() override;
159 bool addRegAssignAndRewriteOptimized() override;
160};
161} // end namespace
162
165 return new LoongArchPassConfig(*this, PM);
166}
167
168void LoongArchPassConfig::addIRPasses() {
169 // Run LoopDataPrefetch
170 //
171 // Run this before LSR to remove the multiplies involved in computing the
172 // pointer values N iterations ahead.
173 if (TM->getOptLevel() != CodeGenOptLevel::None && EnableLoopDataPrefetch)
176
178}
179
180void LoongArchPassConfig::addCodeGenPrepare() {
181 if (getOptLevel() != CodeGenOptLevel::None)
184}
185
186bool LoongArchPassConfig::addInstSelector() {
187 addPass(createLoongArchISelDag(getLoongArchTargetMachine(), getOptLevel()));
188
189 return false;
190}
191
194 return TargetTransformInfo(std::make_unique<LoongArchTTIImpl>(this, F));
195}
196
197void LoongArchPassConfig::addPreEmitPass() { addPass(&BranchRelaxationPassID); }
198
199void LoongArchPassConfig::addPreEmitPass2() {
201 // Schedule the expansion of AtomicPseudos at the last possible moment,
202 // avoiding the possibility for other passes to break the requirements for
203 // forward progress in the LL/SC block.
205}
206
207void LoongArchPassConfig::addMachineSSAOptimization() {
209
210 if (TM->getTargetTriple().isLoongArch64()) {
212 }
213}
214
215void LoongArchPassConfig::addPreRegAlloc() {
217 if (TM->getOptLevel() != CodeGenOptLevel::None)
219}
220
221bool LoongArchPassConfig::addRegAssignAndRewriteFast() {
222 if (TM->getOptLevel() != CodeGenOptLevel::None &&
226}
227
228bool LoongArchPassConfig::addRegAssignAndRewriteOptimized() {
229 if (TM->getOptLevel() != CodeGenOptLevel::None &&
233}
static cl::opt< bool > EnableLoopDataPrefetch("aarch64-enable-loop-data-prefetch", cl::Hidden, cl::desc("Enable the loop data prefetch pass"), cl::init(true))
#define LLVM_ABI
Definition Compiler.h:213
#define LLVM_EXTERNAL_VISIBILITY
Definition Compiler.h:132
static cl::opt< bool > EnableLoongArchDeadRegisterElimination("loongarch-enable-dead-defs", cl::Hidden, cl::desc("Enable the pass that removes dead" " definitons and replaces stores to" " them with stores to r0"), cl::init(true))
static cl::opt< bool > EnableLoopDataPrefetch("loongarch-enable-loop-data-prefetch", cl::Hidden, cl::desc("Enable the loop data prefetch pass"), cl::init(false))
LLVM_ABI LLVM_EXTERNAL_VISIBILITY void LLVMInitializeLoongArchTarget()
static CodeModel::Model getEffectiveLoongArchCodeModel(const Triple &TT, std::optional< CodeModel::Model > CM)
This file a TargetTransformInfoImplBase conforming object specific to the LoongArch target machine.
#define F(x, y, z)
Definition MD5.cpp:55
#define I(x, y, z)
Definition MD5.cpp:58
#define T
const GCNTargetMachine & getTM(const GCNSubtarget *STI)
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static TableGen::Emitter::OptClass< SkeletonEmitter > X("gen-skeleton-class", "Generate example skeleton class")
Target-Independent Code Generator Pass Configuration Options pass.
This pass exposes codegen information to IR-level passes.
Functions, function parameters, and return types can have attributes to indicate how they should be t...
Definition Attributes.h:69
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:223
CodeGenTargetMachineImpl(const Target &T, StringRef DataLayoutString, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, Reloc::Model RM, CodeModel::Model CM, CodeGenOptLevel OL)
LoongArchTargetMachine(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)
const LoongArchSubtarget * getSubtargetImpl() const =delete
TargetPassConfig * createPassConfig(PassManagerBase &PM) override
Create a pass configuration object to be used by addPassToEmitX methods for generating a pipeline of ...
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.
A single uniqued string.
Definition Metadata.h:720
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
std::string str() const
str - Get the contents as an std::string.
Definition StringRef.h:233
Triple TargetTriple
Triple string, CPU name, and target feature strings the TargetMachine instance is created with.
std::unique_ptr< const MCSubtargetInfo > STI
TargetOptions Options
void resetTargetOptions(const Function &F) const
Reset the target options based on the function's attributes.
Target-Independent Code Generator Pass Configuration Options.
virtual void addCodeGenPrepare()
Add pass to prepare the LLVM IR for code generation.
virtual bool addRegAssignAndRewriteFast()
Add core register allocator passes which do the actual register assignment and rewriting.
virtual void addIRPasses()
Add common target configurable passes that perform LLVM IR to IR transforms following machine indepen...
virtual void addMachineSSAOptimization()
addMachineSSAOptimization - Add standard passes that optimize machine instructions in SSA form.
virtual bool addRegAssignAndRewriteOptimized()
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:47
PassManagerBase - An abstract interface to allow code to add passes to a pass manager without having ...
ABI getTargetABI(StringRef ABIName)
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
Target & getTheLoongArch64Target()
FunctionPass * createLoongArchExpandAtomicPseudoPass()
FunctionPass * createLoongArchDeadRegisterDefinitionsPass()
void initializeLoongArchDAGToDAGISelLegacyPass(PassRegistry &)
LLVM_ABI FunctionPass * createTypePromotionLegacyPass()
Create IR Type Promotion pass.
void initializeLoongArchPreRAExpandPseudoPass(PassRegistry &)
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:759
void initializeLoongArchMergeBaseOffsetOptPass(PassRegistry &)
static Reloc::Model getEffectiveRelocModel(std::optional< Reloc::Model > RM)
void initializeLoongArchExpandAtomicPseudoPass(PassRegistry &)
LLVM_ABI char & BranchRelaxationPassID
BranchRelaxation - This pass replaces branches that need to jump further than is supported by a branc...
void initializeLoongArchExpandPseudoPass(PassRegistry &)
FunctionPass * createLoongArchOptWInstrsPass()
LLVM_ABI FunctionPass * createLoopDataPrefetchPass()
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:167
BumpPtrAllocatorImpl BumpPtrAllocator
The standard BumpPtrAllocator which just uses the default template parameters.
Definition Allocator.h:383
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:82
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
Target & getTheLoongArch32Target()
FunctionPass * createLoongArchISelDag(LoongArchTargetMachine &TM, CodeGenOptLevel OptLevel)
FunctionPass * createLoongArchPreRAExpandPseudoPass()
void initializeLoongArchOptWInstrsPass(PassRegistry &)
FunctionPass * createLoongArchExpandPseudoPass()
LLVM_ABI FunctionPass * createAtomicExpandLegacyPass()
AtomicExpandPass - At IR level this pass replace atomic instructions with __atomic_* library calls,...
void initializeLoongArchDeadRegisterDefinitionsPass(PassRegistry &)
FunctionPass * createLoongArchMergeBaseOffsetOptPass()
Returns an instance of the Merge Base Offset Optimization pass.
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:851
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.
RegisterTargetMachine - Helper template for registering a target machine implementation,...