1bdd1243dSDimitry Andric //===-- AArch64TargetParser - Parser for AArch64 features -------*- C++ -*-===//
2bdd1243dSDimitry Andric //
3bdd1243dSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4bdd1243dSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5bdd1243dSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6bdd1243dSDimitry Andric //
7bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
8bdd1243dSDimitry Andric //
9bdd1243dSDimitry Andric // This file implements a target parser to recognise AArch64 hardware features
10bdd1243dSDimitry Andric // such as FPU/CPU/ARCH and extension names.
11bdd1243dSDimitry Andric //
12bdd1243dSDimitry Andric //===----------------------------------------------------------------------===//
13bdd1243dSDimitry Andric
14bdd1243dSDimitry Andric #include "llvm/TargetParser/AArch64TargetParser.h"
15*a58f00eaSDimitry Andric #include "llvm/Support/Debug.h"
16c9157d92SDimitry Andric #include "llvm/Support/Format.h"
17c9157d92SDimitry Andric #include "llvm/Support/raw_ostream.h"
18bdd1243dSDimitry Andric #include "llvm/TargetParser/ARMTargetParserCommon.h"
19bdd1243dSDimitry Andric #include "llvm/TargetParser/Triple.h"
20bdd1243dSDimitry Andric #include <cctype>
21bdd1243dSDimitry Andric
22*a58f00eaSDimitry Andric #define DEBUG_TYPE "target-parser"
23*a58f00eaSDimitry Andric
24bdd1243dSDimitry Andric using namespace llvm;
25bdd1243dSDimitry Andric
checkArchVersion(llvm::StringRef Arch)26bdd1243dSDimitry Andric static unsigned checkArchVersion(llvm::StringRef Arch) {
27bdd1243dSDimitry Andric if (Arch.size() >= 2 && Arch[0] == 'v' && std::isdigit(Arch[1]))
28bdd1243dSDimitry Andric return (Arch[1] - 48);
29bdd1243dSDimitry Andric return 0;
30bdd1243dSDimitry Andric }
31bdd1243dSDimitry Andric
getArchForCpu(StringRef CPU)32*a58f00eaSDimitry Andric const AArch64::ArchInfo *AArch64::getArchForCpu(StringRef CPU) {
33bdd1243dSDimitry Andric if (CPU == "generic")
34*a58f00eaSDimitry Andric return &ARMV8A;
35bdd1243dSDimitry Andric
36bdd1243dSDimitry Andric // Note: this now takes cpu aliases into account
37fe013be4SDimitry Andric std::optional<CpuInfo> Cpu = parseCpu(CPU);
38fe013be4SDimitry Andric if (!Cpu)
39*a58f00eaSDimitry Andric return nullptr;
40*a58f00eaSDimitry Andric return &Cpu->Arch;
41bdd1243dSDimitry Andric }
42bdd1243dSDimitry Andric
findBySubArch(StringRef SubArch)43fe013be4SDimitry Andric std::optional<AArch64::ArchInfo> AArch64::ArchInfo::findBySubArch(StringRef SubArch) {
44bdd1243dSDimitry Andric for (const auto *A : AArch64::ArchInfos)
45bdd1243dSDimitry Andric if (A->getSubArch() == SubArch)
46bdd1243dSDimitry Andric return *A;
47fe013be4SDimitry Andric return {};
48bdd1243dSDimitry Andric }
49bdd1243dSDimitry Andric
getCpuSupportsMask(ArrayRef<StringRef> FeatureStrs)50bdd1243dSDimitry Andric uint64_t AArch64::getCpuSupportsMask(ArrayRef<StringRef> FeatureStrs) {
51bdd1243dSDimitry Andric uint64_t FeaturesMask = 0;
52bdd1243dSDimitry Andric for (const StringRef &FeatureStr : FeatureStrs) {
53*a58f00eaSDimitry Andric if (auto Ext = parseArchExtension(FeatureStr))
54*a58f00eaSDimitry Andric FeaturesMask |= (1ULL << Ext->CPUFeature);
55bdd1243dSDimitry Andric }
56bdd1243dSDimitry Andric return FeaturesMask;
57bdd1243dSDimitry Andric }
58bdd1243dSDimitry Andric
getExtensionFeatures(const AArch64::ExtensionBitset & InputExts,std::vector<StringRef> & Features)59c9157d92SDimitry Andric bool AArch64::getExtensionFeatures(
60c9157d92SDimitry Andric const AArch64::ExtensionBitset &InputExts,
61bdd1243dSDimitry Andric std::vector<StringRef> &Features) {
62bdd1243dSDimitry Andric for (const auto &E : Extensions)
63bdd1243dSDimitry Andric /* INVALID and NONE have no feature name. */
64c9157d92SDimitry Andric if (InputExts.test(E.ID) && !E.Feature.empty())
65bdd1243dSDimitry Andric Features.push_back(E.Feature);
66bdd1243dSDimitry Andric
67bdd1243dSDimitry Andric return true;
68bdd1243dSDimitry Andric }
69bdd1243dSDimitry Andric
resolveCPUAlias(StringRef Name)70bdd1243dSDimitry Andric StringRef AArch64::resolveCPUAlias(StringRef Name) {
71bdd1243dSDimitry Andric for (const auto &A : CpuAliases)
72bdd1243dSDimitry Andric if (A.Alias == Name)
73bdd1243dSDimitry Andric return A.Name;
74bdd1243dSDimitry Andric return Name;
75bdd1243dSDimitry Andric }
76bdd1243dSDimitry Andric
getArchExtFeature(StringRef ArchExt)77bdd1243dSDimitry Andric StringRef AArch64::getArchExtFeature(StringRef ArchExt) {
78*a58f00eaSDimitry Andric bool IsNegated = ArchExt.starts_with("no");
79*a58f00eaSDimitry Andric StringRef ArchExtBase = IsNegated ? ArchExt.drop_front(2) : ArchExt;
80*a58f00eaSDimitry Andric
81*a58f00eaSDimitry Andric if (auto AE = parseArchExtension(ArchExtBase)) {
82*a58f00eaSDimitry Andric // Note: the returned string can be empty.
83*a58f00eaSDimitry Andric return IsNegated ? AE->NegFeature : AE->Feature;
84bdd1243dSDimitry Andric }
85bdd1243dSDimitry Andric
86bdd1243dSDimitry Andric return StringRef();
87bdd1243dSDimitry Andric }
88bdd1243dSDimitry Andric
fillValidCPUArchList(SmallVectorImpl<StringRef> & Values)89bdd1243dSDimitry Andric void AArch64::fillValidCPUArchList(SmallVectorImpl<StringRef> &Values) {
90bdd1243dSDimitry Andric for (const auto &C : CpuInfos)
91bdd1243dSDimitry Andric Values.push_back(C.Name);
92bdd1243dSDimitry Andric
93bdd1243dSDimitry Andric for (const auto &Alias : CpuAliases)
94bdd1243dSDimitry Andric Values.push_back(Alias.Alias);
95bdd1243dSDimitry Andric }
96bdd1243dSDimitry Andric
isX18ReservedByDefault(const Triple & TT)97bdd1243dSDimitry Andric bool AArch64::isX18ReservedByDefault(const Triple &TT) {
98bdd1243dSDimitry Andric return TT.isAndroid() || TT.isOSDarwin() || TT.isOSFuchsia() ||
99fe013be4SDimitry Andric TT.isOSWindows() || TT.isOHOSFamily();
100bdd1243dSDimitry Andric }
101bdd1243dSDimitry Andric
102bdd1243dSDimitry Andric // Allows partial match, ex. "v8a" matches "armv8a".
parseArch(StringRef Arch)103*a58f00eaSDimitry Andric const AArch64::ArchInfo *AArch64::parseArch(StringRef Arch) {
104bdd1243dSDimitry Andric Arch = llvm::ARM::getCanonicalArchName(Arch);
105bdd1243dSDimitry Andric if (checkArchVersion(Arch) < 8)
106fe013be4SDimitry Andric return {};
107bdd1243dSDimitry Andric
108bdd1243dSDimitry Andric StringRef Syn = llvm::ARM::getArchSynonym(Arch);
109bdd1243dSDimitry Andric for (const auto *A : ArchInfos) {
110c9157d92SDimitry Andric if (A->Name.ends_with(Syn))
111*a58f00eaSDimitry Andric return A;
112bdd1243dSDimitry Andric }
113fe013be4SDimitry Andric return {};
114bdd1243dSDimitry Andric }
115bdd1243dSDimitry Andric
parseArchExtension(StringRef ArchExt)116fe013be4SDimitry Andric std::optional<AArch64::ExtensionInfo> AArch64::parseArchExtension(StringRef ArchExt) {
117bdd1243dSDimitry Andric for (const auto &A : Extensions) {
118bdd1243dSDimitry Andric if (ArchExt == A.Name)
119fe013be4SDimitry Andric return A;
120bdd1243dSDimitry Andric }
121fe013be4SDimitry Andric return {};
122bdd1243dSDimitry Andric }
123bdd1243dSDimitry Andric
parseCpu(StringRef Name)124fe013be4SDimitry Andric std::optional<AArch64::CpuInfo> AArch64::parseCpu(StringRef Name) {
125bdd1243dSDimitry Andric // Resolve aliases first.
126bdd1243dSDimitry Andric Name = resolveCPUAlias(Name);
127bdd1243dSDimitry Andric
128bdd1243dSDimitry Andric // Then find the CPU name.
129bdd1243dSDimitry Andric for (const auto &C : CpuInfos)
130bdd1243dSDimitry Andric if (Name == C.Name)
131bdd1243dSDimitry Andric return C;
132bdd1243dSDimitry Andric
133fe013be4SDimitry Andric return {};
134bdd1243dSDimitry Andric }
135c9157d92SDimitry Andric
PrintSupportedExtensions(StringMap<StringRef> DescMap)136c9157d92SDimitry Andric void AArch64::PrintSupportedExtensions(StringMap<StringRef> DescMap) {
137c9157d92SDimitry Andric outs() << "All available -march extensions for AArch64\n\n"
138c9157d92SDimitry Andric << " " << left_justify("Name", 20)
139c9157d92SDimitry Andric << (DescMap.empty() ? "\n" : "Description\n");
140c9157d92SDimitry Andric for (const auto &Ext : Extensions) {
141c9157d92SDimitry Andric // Extensions without a feature cannot be used with -march.
142c9157d92SDimitry Andric if (!Ext.Feature.empty()) {
143c9157d92SDimitry Andric std::string Description = DescMap[Ext.Name].str();
144c9157d92SDimitry Andric outs() << " "
145c9157d92SDimitry Andric << format(Description.empty() ? "%s\n" : "%-20s%s\n",
146c9157d92SDimitry Andric Ext.Name.str().c_str(), Description.c_str());
147c9157d92SDimitry Andric }
148c9157d92SDimitry Andric }
149c9157d92SDimitry Andric }
150*a58f00eaSDimitry Andric
151*a58f00eaSDimitry Andric const llvm::AArch64::ExtensionInfo &
lookupExtensionByID(llvm::AArch64::ArchExtKind ExtID)152*a58f00eaSDimitry Andric lookupExtensionByID(llvm::AArch64::ArchExtKind ExtID) {
153*a58f00eaSDimitry Andric for (const auto &E : llvm::AArch64::Extensions)
154*a58f00eaSDimitry Andric if (E.ID == ExtID)
155*a58f00eaSDimitry Andric return E;
156*a58f00eaSDimitry Andric llvm_unreachable("Invalid extension ID");
157*a58f00eaSDimitry Andric }
158*a58f00eaSDimitry Andric
enable(ArchExtKind E)159*a58f00eaSDimitry Andric void AArch64::ExtensionSet::enable(ArchExtKind E) {
160*a58f00eaSDimitry Andric if (Enabled.test(E))
161*a58f00eaSDimitry Andric return;
162*a58f00eaSDimitry Andric
163*a58f00eaSDimitry Andric LLVM_DEBUG(llvm::dbgs() << "Enable " << lookupExtensionByID(E).Name << "\n");
164*a58f00eaSDimitry Andric
165*a58f00eaSDimitry Andric Touched.set(E);
166*a58f00eaSDimitry Andric Enabled.set(E);
167*a58f00eaSDimitry Andric
168*a58f00eaSDimitry Andric // Recursively enable all features that this one depends on. This handles all
169*a58f00eaSDimitry Andric // of the simple cases, where the behaviour doesn't depend on the base
170*a58f00eaSDimitry Andric // architecture version.
171*a58f00eaSDimitry Andric for (auto Dep : ExtensionDependencies)
172*a58f00eaSDimitry Andric if (E == Dep.Later)
173*a58f00eaSDimitry Andric enable(Dep.Earlier);
174*a58f00eaSDimitry Andric
175*a58f00eaSDimitry Andric // Special cases for dependencies which vary depending on the base
176*a58f00eaSDimitry Andric // architecture version.
177*a58f00eaSDimitry Andric if (BaseArch) {
178*a58f00eaSDimitry Andric // +sve implies +f32mm if the base architecture is v8.6A+ or v9.1A+
179*a58f00eaSDimitry Andric // It isn't the case in general that sve implies both f64mm and f32mm
180*a58f00eaSDimitry Andric if (E == AEK_SVE && BaseArch->is_superset(ARMV8_6A))
181*a58f00eaSDimitry Andric enable(AEK_F32MM);
182*a58f00eaSDimitry Andric
183*a58f00eaSDimitry Andric // +fp16 implies +fp16fml for v8.4A+, but not v9.0-A+
184*a58f00eaSDimitry Andric if (E == AEK_FP16 && BaseArch->is_superset(ARMV8_4A) &&
185*a58f00eaSDimitry Andric !BaseArch->is_superset(ARMV9A))
186*a58f00eaSDimitry Andric enable(AEK_FP16FML);
187*a58f00eaSDimitry Andric
188*a58f00eaSDimitry Andric // For all architectures, +crypto enables +aes and +sha2.
189*a58f00eaSDimitry Andric if (E == AEK_CRYPTO) {
190*a58f00eaSDimitry Andric enable(AEK_AES);
191*a58f00eaSDimitry Andric enable(AEK_SHA2);
192*a58f00eaSDimitry Andric }
193*a58f00eaSDimitry Andric
194*a58f00eaSDimitry Andric // For v8.4A+ and v9.0A+, +crypto also enables +sha3 and +sm4.
195*a58f00eaSDimitry Andric if (E == AEK_CRYPTO && BaseArch->is_superset(ARMV8_4A)) {
196*a58f00eaSDimitry Andric enable(AEK_SHA3);
197*a58f00eaSDimitry Andric enable(AEK_SM4);
198*a58f00eaSDimitry Andric }
199*a58f00eaSDimitry Andric }
200*a58f00eaSDimitry Andric }
201*a58f00eaSDimitry Andric
disable(ArchExtKind E)202*a58f00eaSDimitry Andric void AArch64::ExtensionSet::disable(ArchExtKind E) {
203*a58f00eaSDimitry Andric // -crypto always disables aes, sha2, sha3 and sm4, even for architectures
204*a58f00eaSDimitry Andric // where the latter two would not be enabled by +crypto.
205*a58f00eaSDimitry Andric if (E == AEK_CRYPTO) {
206*a58f00eaSDimitry Andric disable(AEK_AES);
207*a58f00eaSDimitry Andric disable(AEK_SHA2);
208*a58f00eaSDimitry Andric disable(AEK_SHA3);
209*a58f00eaSDimitry Andric disable(AEK_SM4);
210*a58f00eaSDimitry Andric }
211*a58f00eaSDimitry Andric
212*a58f00eaSDimitry Andric if (!Enabled.test(E))
213*a58f00eaSDimitry Andric return;
214*a58f00eaSDimitry Andric
215*a58f00eaSDimitry Andric LLVM_DEBUG(llvm::dbgs() << "Disable " << lookupExtensionByID(E).Name << "\n");
216*a58f00eaSDimitry Andric
217*a58f00eaSDimitry Andric Touched.set(E);
218*a58f00eaSDimitry Andric Enabled.reset(E);
219*a58f00eaSDimitry Andric
220*a58f00eaSDimitry Andric // Recursively disable all features that depends on this one.
221*a58f00eaSDimitry Andric for (auto Dep : ExtensionDependencies)
222*a58f00eaSDimitry Andric if (E == Dep.Earlier)
223*a58f00eaSDimitry Andric disable(Dep.Later);
224*a58f00eaSDimitry Andric }
225*a58f00eaSDimitry Andric
toLLVMFeatureList(std::vector<StringRef> & Features) const226*a58f00eaSDimitry Andric void AArch64::ExtensionSet::toLLVMFeatureList(
227*a58f00eaSDimitry Andric std::vector<StringRef> &Features) const {
228*a58f00eaSDimitry Andric if (BaseArch && !BaseArch->ArchFeature.empty())
229*a58f00eaSDimitry Andric Features.push_back(BaseArch->ArchFeature);
230*a58f00eaSDimitry Andric
231*a58f00eaSDimitry Andric for (const auto &E : Extensions) {
232*a58f00eaSDimitry Andric if (E.Feature.empty() || !Touched.test(E.ID))
233*a58f00eaSDimitry Andric continue;
234*a58f00eaSDimitry Andric if (Enabled.test(E.ID))
235*a58f00eaSDimitry Andric Features.push_back(E.Feature);
236*a58f00eaSDimitry Andric else
237*a58f00eaSDimitry Andric Features.push_back(E.NegFeature);
238*a58f00eaSDimitry Andric }
239*a58f00eaSDimitry Andric }
240*a58f00eaSDimitry Andric
addCPUDefaults(const CpuInfo & CPU)241*a58f00eaSDimitry Andric void AArch64::ExtensionSet::addCPUDefaults(const CpuInfo &CPU) {
242*a58f00eaSDimitry Andric LLVM_DEBUG(llvm::dbgs() << "addCPUDefaults(" << CPU.Name << ")\n");
243*a58f00eaSDimitry Andric BaseArch = &CPU.Arch;
244*a58f00eaSDimitry Andric
245*a58f00eaSDimitry Andric AArch64::ExtensionBitset CPUExtensions = CPU.getImpliedExtensions();
246*a58f00eaSDimitry Andric for (const auto &E : Extensions)
247*a58f00eaSDimitry Andric if (CPUExtensions.test(E.ID))
248*a58f00eaSDimitry Andric enable(E.ID);
249*a58f00eaSDimitry Andric }
250*a58f00eaSDimitry Andric
addArchDefaults(const ArchInfo & Arch)251*a58f00eaSDimitry Andric void AArch64::ExtensionSet::addArchDefaults(const ArchInfo &Arch) {
252*a58f00eaSDimitry Andric LLVM_DEBUG(llvm::dbgs() << "addArchDefaults(" << Arch.Name << ")\n");
253*a58f00eaSDimitry Andric BaseArch = &Arch;
254*a58f00eaSDimitry Andric
255*a58f00eaSDimitry Andric for (const auto &E : Extensions)
256*a58f00eaSDimitry Andric if (Arch.DefaultExts.test(E.ID))
257*a58f00eaSDimitry Andric enable(E.ID);
258*a58f00eaSDimitry Andric }
259*a58f00eaSDimitry Andric
parseModifier(StringRef Modifier)260*a58f00eaSDimitry Andric bool AArch64::ExtensionSet::parseModifier(StringRef Modifier) {
261*a58f00eaSDimitry Andric LLVM_DEBUG(llvm::dbgs() << "parseModifier(" << Modifier << ")\n");
262*a58f00eaSDimitry Andric
263*a58f00eaSDimitry Andric // Negative modifiers, with the syntax "no<feat>"
264*a58f00eaSDimitry Andric if (Modifier.starts_with("no")) {
265*a58f00eaSDimitry Andric StringRef ModifierBase(Modifier.substr(2));
266*a58f00eaSDimitry Andric for (const auto &AE : Extensions) {
267*a58f00eaSDimitry Andric if (!AE.NegFeature.empty() && ModifierBase == AE.Name) {
268*a58f00eaSDimitry Andric disable(AE.ID);
269*a58f00eaSDimitry Andric return true;
270*a58f00eaSDimitry Andric }
271*a58f00eaSDimitry Andric }
272*a58f00eaSDimitry Andric }
273*a58f00eaSDimitry Andric
274*a58f00eaSDimitry Andric // Positive modifiers
275*a58f00eaSDimitry Andric for (const auto &AE : Extensions) {
276*a58f00eaSDimitry Andric if (!AE.Feature.empty() && Modifier == AE.Name) {
277*a58f00eaSDimitry Andric enable(AE.ID);
278*a58f00eaSDimitry Andric return true;
279*a58f00eaSDimitry Andric }
280*a58f00eaSDimitry Andric }
281*a58f00eaSDimitry Andric
282*a58f00eaSDimitry Andric return false;
283*a58f00eaSDimitry Andric }
284