LLVM 18.0.0git
RISCVSubtarget.cpp
Go to the documentation of this file.
1//===-- RISCVSubtarget.cpp - RISC-V Subtarget Information -----------------===//
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 implements the RISC-V specific subclass of TargetSubtargetInfo.
10//
11//===----------------------------------------------------------------------===//
12
13#include "RISCVSubtarget.h"
17#include "RISCV.h"
18#include "RISCVFrameLowering.h"
19#include "RISCVMacroFusion.h"
20#include "RISCVTargetMachine.h"
23
24using namespace llvm;
25
26#define DEBUG_TYPE "riscv-subtarget"
27
28#define GET_SUBTARGETINFO_TARGET_DESC
29#define GET_SUBTARGETINFO_CTOR
30#include "RISCVGenSubtargetInfo.inc"
31
33
34#define GET_RISCVTuneInfoTable_IMPL
35#include "RISCVGenSearchableTables.inc"
36} // namespace llvm::RISCVTuneInfoTable
37
38static cl::opt<bool> EnableSubRegLiveness("riscv-enable-subreg-liveness",
39 cl::init(true), cl::Hidden);
40
42 "riscv-v-fixed-length-vector-lmul-max",
43 cl::desc("The maximum LMUL value to use for fixed length vectors. "
44 "Fractional LMUL values are not supported."),
46
48 "riscv-disable-using-constant-pool-for-large-ints",
49 cl::desc("Disable using constant pool for large integers."),
50 cl::init(false), cl::Hidden);
51
53 "riscv-max-build-ints-cost",
54 cl::desc("The maximum cost used for building integers."), cl::init(0),
56
57static cl::opt<bool> UseAA("riscv-use-aa", cl::init(true),
58 cl::desc("Enable the use of AA during codegen."));
59
61 "riscv-min-jump-table-entries", cl::Hidden,
62 cl::desc("Set minimum number of entries to use a jump table on RISCV"));
63
64void RISCVSubtarget::anchor() {}
65
67RISCVSubtarget::initializeSubtargetDependencies(const Triple &TT, StringRef CPU,
68 StringRef TuneCPU, StringRef FS,
69 StringRef ABIName) {
70 // Determine default and user-specified characteristics
71 bool Is64Bit = TT.isArch64Bit();
72 if (CPU.empty() || CPU == "generic")
73 CPU = Is64Bit ? "generic-rv64" : "generic-rv32";
74
75 if (TuneCPU.empty())
76 TuneCPU = CPU;
77
78 TuneInfo = RISCVTuneInfoTable::getRISCVTuneInfo(TuneCPU);
79 // If there is no TuneInfo for this CPU, we fail back to generic.
80 if (!TuneInfo)
81 TuneInfo = RISCVTuneInfoTable::getRISCVTuneInfo("generic");
82 assert(TuneInfo && "TuneInfo shouldn't be nullptr!");
83
84 ParseSubtargetFeatures(CPU, TuneCPU, FS);
85 TargetABI = RISCVABI::computeTargetABI(TT, getFeatureBits(), ABIName);
86 RISCVFeatures::validate(TT, getFeatureBits());
87 return *this;
88}
89
91 StringRef TuneCPU, StringRef FS,
92 StringRef ABIName, unsigned RVVVectorBitsMin,
93 unsigned RVVVectorBitsMax,
94 const TargetMachine &TM)
95 : RISCVGenSubtargetInfo(TT, CPU, TuneCPU, FS),
96 RVVVectorBitsMin(RVVVectorBitsMin), RVVVectorBitsMax(RVVVectorBitsMax),
97 FrameLowering(
98 initializeSubtargetDependencies(TT, CPU, TuneCPU, FS, ABIName)),
99 InstrInfo(*this), RegInfo(getHwMode()), TLInfo(TM, *this) {
101 Legalizer.reset(new RISCVLegalizerInfo(*this));
102
103 auto *RBI = new RISCVRegisterBankInfo(getHwMode());
104 RegBankInfo.reset(RBI);
106 *static_cast<const RISCVTargetMachine *>(&TM), *this, *RBI));
107}
108
110 return CallLoweringInfo.get();
111}
112
114 return InstSelector.get();
115}
116
118 return Legalizer.get();
119}
120
122 return RegBankInfo.get();
123}
124
127}
128
130 // Loading integer from constant pool needs two instructions (the reason why
131 // the minimum cost is 2): an address calculation instruction and a load
132 // instruction. Usually, address calculation and instructions used for
133 // building integers (addi, slli, etc.) can be done in one cycle, so here we
134 // set the default cost to (LoadLatency + 1) if no threshold is provided.
135 return RISCVMaxBuildIntsCost == 0
136 ? getSchedModel().LoadLatency + 1
137 : std::max<unsigned>(2, RISCVMaxBuildIntsCost);
138}
139
142 "Tried to get vector length without Zve or V extension support!");
143
144 // ZvlLen specifies the minimum required vlen. The upper bound provided by
145 // riscv-v-vector-bits-max should be no less than it.
146 if (RVVVectorBitsMax != 0 && RVVVectorBitsMax < ZvlLen)
147 report_fatal_error("riscv-v-vector-bits-max specified is lower "
148 "than the Zvl*b limitation");
149
150 return RVVVectorBitsMax;
151}
152
155 "Tried to get vector length without Zve or V extension support!");
156
157 if (RVVVectorBitsMin == -1U)
158 return ZvlLen;
159
160 // ZvlLen specifies the minimum required vlen. The lower bound provided by
161 // riscv-v-vector-bits-min should be no less than it.
162 if (RVVVectorBitsMin != 0 && RVVVectorBitsMin < ZvlLen)
163 report_fatal_error("riscv-v-vector-bits-min specified is lower "
164 "than the Zvl*b limitation");
165
166 return RVVVectorBitsMin;
167}
168
171 "Tried to get vector length without Zve or V extension support!");
173 llvm::has_single_bit<uint32_t>(RVVVectorLMULMax) &&
174 "V extension requires a LMUL to be at most 8 and a power of 2!");
175 return llvm::bit_floor(std::clamp<unsigned>(RVVVectorLMULMax, 1, 8));
176}
177
180}
181
183 // FIXME: Enable subregister liveness by default for RVV to better handle
184 // LMUL>1 and segment load/store.
186}
187
189 std::vector<std::unique_ptr<ScheduleDAGMutation>> &Mutations) const {
190 Mutations.push_back(createRISCVMacroFusionDAGMutation());
191}
192
193 /// Enable use of alias analysis during code generation (during MI
194 /// scheduling, DAGCombine, etc.).
195bool RISCVSubtarget::useAA() const { return UseAA; }
196
198 return RISCVMinimumJumpTableEntries.getNumOccurrences() > 0
200 : TuneInfo->MinimumJumpTableEntries;
201}
static cl::opt< bool > UseAA("aarch64-use-aa", cl::init(true), cl::desc("Enable the use of AA during codegen."))
static cl::opt< bool > EnableSubRegLiveness("enable-subreg-liveness", cl::Hidden, cl::init(true), cl::desc("Enable subregister liveness tracking."))
const char LLVMTargetMachineRef TM
This file describes how to lower LLVM calls to machine code calls.
return InstrInfo
This file declares the targeting of the Machinelegalizer class for RISC-V.
This file declares the targeting of the RegisterBankInfo class for RISC-V.
static cl::opt< bool > EnableSubRegLiveness("riscv-enable-subreg-liveness", cl::init(true), cl::Hidden)
static cl::opt< unsigned > RVVVectorLMULMax("riscv-v-fixed-length-vector-lmul-max", cl::desc("The maximum LMUL value to use for fixed length vectors. " "Fractional LMUL values are not supported."), cl::init(8), cl::Hidden)
static cl::opt< bool > UseAA("riscv-use-aa", cl::init(true), cl::desc("Enable the use of AA during codegen."))
static cl::opt< unsigned > RISCVMinimumJumpTableEntries("riscv-min-jump-table-entries", cl::Hidden, cl::desc("Set minimum number of entries to use a jump table on RISCV"))
static cl::opt< bool > RISCVDisableUsingConstantPoolForLargeInts("riscv-disable-using-constant-pool-for-large-ints", cl::desc("Disable using constant pool for large integers."), cl::init(false), cl::Hidden)
static cl::opt< unsigned > RISCVMaxBuildIntsCost("riscv-max-build-ints-cost", cl::desc("The maximum cost used for building integers."), cl::init(0), cl::Hidden)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This class provides the information for the target register banks.
This class provides the information for the target register banks.
unsigned getMinimumJumpTableEntries() const
void getPostRAMutations(std::vector< std::unique_ptr< ScheduleDAGMutation > > &Mutations) const override
const LegalizerInfo * getLegalizerInfo() const override
const RegisterBankInfo * getRegBankInfo() const override
unsigned getMaxLMULForFixedLengthVectors() const
bool useRVVForFixedLengthVectors() const
std::unique_ptr< RegisterBankInfo > RegBankInfo
unsigned getMinRVVVectorSizeInBits() const
std::unique_ptr< InstructionSelector > InstSelector
RISCVSubtarget(const Triple &TT, StringRef CPU, StringRef TuneCPU, StringRef FS, StringRef ABIName, unsigned RVVVectorBitsMin, unsigned RVVVectorLMULMax, const TargetMachine &TM)
const CallLowering * getCallLowering() const override
InstructionSelector * getInstructionSelector() const override
unsigned getMaxBuildIntsCost() const
bool hasVInstructions() const
bool useAA() const override
Enable use of alias analysis during code generation (during MI scheduling, DAGCombine,...
bool useConstantPoolForLargeInts() const
unsigned getMaxRVVVectorSizeInBits() const
void ParseSubtargetFeatures(StringRef CPU, StringRef TuneCPU, StringRef FS)
std::unique_ptr< CallLowering > CallLoweringInfo
const RISCVTargetLowering * getTargetLowering() const override
bool enableSubRegLiveness() const override
Holds all the information related to register banks.
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
constexpr bool empty() const
empty - Check if the string is empty.
Definition: StringRef.h:134
Primary interface to the complete machine description for the target machine.
Definition: TargetMachine.h:78
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
ABI computeTargetABI(const Triple &TT, const FeatureBitset &FeatureBits, StringRef ABIName)
void validate(const Triple &TT, const FeatureBitset &FeatureBits)
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:445
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
std::unique_ptr< ScheduleDAGMutation > createRISCVMacroFusionDAGMutation()
Note that you have to add: DAG.addMutation(createRISCVMacroFusionDAGMutation()); to RISCVPassConfig::...
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:156
T bit_floor(T Value)
Returns the largest integral power of two no greater than Value if Value is nonzero.
Definition: bit.h:326
InstructionSelector * createRISCVInstructionSelector(const RISCVTargetMachine &TM, RISCVSubtarget &Subtarget, RISCVRegisterBankInfo &RBI)