blob: c76a31a315c3d84406f241ecc801cbff4d7225ab [file] [log] [blame]
David L. Jonesecc6de32017-02-24 00:28:01 +00001//===--- AArch64.cpp - AArch64 (not ARM) Helpers for Tools ------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
David L. Jonesf561aba2017-03-08 01:02:16 +000010#include "AArch64.h"
David L. Jonesecc6de32017-02-24 00:28:01 +000011#include "clang/Driver/Driver.h"
12#include "clang/Driver/DriverDiagnostic.h"
13#include "clang/Driver/Options.h"
14#include "llvm/Option/ArgList.h"
15#include "llvm/Support/TargetParser.h"
16
17using namespace clang::driver;
18using namespace clang::driver::tools;
19using namespace clang;
20using namespace llvm::opt;
21
22/// getAArch64TargetCPU - Get the (LLVM) name of the AArch64 cpu we are
Peter Smith820e46f2017-10-24 09:51:55 +000023/// targeting. Set \p A to the Arg corresponding to the -mcpu argument if it is
24/// provided, or to nullptr otherwise.
David L. Jonesecc6de32017-02-24 00:28:01 +000025std::string aarch64::getAArch64TargetCPU(const ArgList &Args, Arg *&A) {
26 std::string CPU;
Peter Smith820e46f2017-10-24 09:51:55 +000027 // If we have -mcpu, use that.
28 if ((A = Args.getLastArg(options::OPT_mcpu_EQ))) {
David L. Jonesecc6de32017-02-24 00:28:01 +000029 StringRef Mcpu = A->getValue();
30 CPU = Mcpu.split("+").first.lower();
31 }
32
33 // Handle CPU name is 'native'.
34 if (CPU == "native")
35 return llvm::sys::getHostCPUName();
36 else if (CPU.size())
37 return CPU;
38
39 // Make sure we pick "cyclone" if -arch is used.
40 // FIXME: Should this be picked by checking the target triple instead?
41 if (Args.getLastArg(options::OPT_arch))
42 return "cyclone";
43
44 return "generic";
45}
46
47// Decode AArch64 features from string like +[no]featureA+[no]featureB+...
48static bool DecodeAArch64Features(const Driver &D, StringRef text,
49 std::vector<StringRef> &Features) {
50 SmallVector<StringRef, 8> Split;
51 text.split(Split, StringRef("+"), -1, false);
52
53 for (StringRef Feature : Split) {
54 StringRef FeatureName = llvm::AArch64::getArchExtFeature(Feature);
55 if (!FeatureName.empty())
56 Features.push_back(FeatureName);
57 else if (Feature == "neon" || Feature == "noneon")
58 D.Diag(clang::diag::err_drv_no_neon_modifier);
59 else
60 return false;
61 }
62 return true;
63}
64
65// Check if the CPU name and feature modifiers in -mcpu are legal. If yes,
66// decode CPU and feature.
67static bool DecodeAArch64Mcpu(const Driver &D, StringRef Mcpu, StringRef &CPU,
68 std::vector<StringRef> &Features) {
69 std::pair<StringRef, StringRef> Split = Mcpu.split("+");
70 CPU = Split.first;
71
Florian Hahn4327b3e2018-07-06 10:49:59 +000072 if (CPU == "native")
73 CPU = llvm::sys::getHostCPUName();
74
David L. Jonesecc6de32017-02-24 00:28:01 +000075 if (CPU == "generic") {
76 Features.push_back("+neon");
77 } else {
Florian Hahnef5bbd62017-07-27 16:28:39 +000078 llvm::AArch64::ArchKind ArchKind = llvm::AArch64::parseCPUArch(CPU);
David L. Jonesecc6de32017-02-24 00:28:01 +000079 if (!llvm::AArch64::getArchFeatures(ArchKind, Features))
80 return false;
81
82 unsigned Extension = llvm::AArch64::getDefaultExtensions(CPU, ArchKind);
83 if (!llvm::AArch64::getExtensionFeatures(Extension, Features))
84 return false;
85 }
86
87 if (Split.second.size() && !DecodeAArch64Features(D, Split.second, Features))
88 return false;
89
90 return true;
91}
92
93static bool
94getAArch64ArchFeaturesFromMarch(const Driver &D, StringRef March,
95 const ArgList &Args,
96 std::vector<StringRef> &Features) {
97 std::string MarchLowerCase = March.lower();
98 std::pair<StringRef, StringRef> Split = StringRef(MarchLowerCase).split("+");
99
Florian Hahnef5bbd62017-07-27 16:28:39 +0000100 llvm::AArch64::ArchKind ArchKind = llvm::AArch64::parseArch(Split.first);
101 if (ArchKind == llvm::AArch64::ArchKind::INVALID ||
David L. Jonesecc6de32017-02-24 00:28:01 +0000102 !llvm::AArch64::getArchFeatures(ArchKind, Features) ||
103 (Split.second.size() && !DecodeAArch64Features(D, Split.second, Features)))
104 return false;
105
106 return true;
107}
108
109static bool
110getAArch64ArchFeaturesFromMcpu(const Driver &D, StringRef Mcpu,
111 const ArgList &Args,
112 std::vector<StringRef> &Features) {
113 StringRef CPU;
114 std::string McpuLowerCase = Mcpu.lower();
115 if (!DecodeAArch64Mcpu(D, McpuLowerCase, CPU, Features))
116 return false;
117
118 return true;
119}
120
121static bool
122getAArch64MicroArchFeaturesFromMtune(const Driver &D, StringRef Mtune,
123 const ArgList &Args,
124 std::vector<StringRef> &Features) {
125 std::string MtuneLowerCase = Mtune.lower();
Peter Smith820e46f2017-10-24 09:51:55 +0000126 // Check CPU name is valid
127 std::vector<StringRef> MtuneFeatures;
128 StringRef Tune;
129 if (!DecodeAArch64Mcpu(D, MtuneLowerCase, Tune, MtuneFeatures))
130 return false;
131
David L. Jonesecc6de32017-02-24 00:28:01 +0000132 // Handle CPU name is 'native'.
133 if (MtuneLowerCase == "native")
134 MtuneLowerCase = llvm::sys::getHostCPUName();
135 if (MtuneLowerCase == "cyclone") {
136 Features.push_back("+zcm");
137 Features.push_back("+zcz");
138 }
139 return true;
140}
141
142static bool
143getAArch64MicroArchFeaturesFromMcpu(const Driver &D, StringRef Mcpu,
144 const ArgList &Args,
145 std::vector<StringRef> &Features) {
146 StringRef CPU;
147 std::vector<StringRef> DecodedFeature;
148 std::string McpuLowerCase = Mcpu.lower();
149 if (!DecodeAArch64Mcpu(D, McpuLowerCase, CPU, DecodedFeature))
150 return false;
151
152 return getAArch64MicroArchFeaturesFromMtune(D, CPU, Args, Features);
153}
154
155void aarch64::getAArch64TargetFeatures(const Driver &D, const ArgList &Args,
156 std::vector<StringRef> &Features) {
157 Arg *A;
158 bool success = true;
159 // Enable NEON by default.
160 Features.push_back("+neon");
161 if ((A = Args.getLastArg(options::OPT_march_EQ)))
162 success = getAArch64ArchFeaturesFromMarch(D, A->getValue(), Args, Features);
163 else if ((A = Args.getLastArg(options::OPT_mcpu_EQ)))
164 success = getAArch64ArchFeaturesFromMcpu(D, A->getValue(), Args, Features);
165 else if (Args.hasArg(options::OPT_arch))
166 success = getAArch64ArchFeaturesFromMcpu(D, getAArch64TargetCPU(Args, A),
167 Args, Features);
168
169 if (success && (A = Args.getLastArg(clang::driver::options::OPT_mtune_EQ)))
170 success =
171 getAArch64MicroArchFeaturesFromMtune(D, A->getValue(), Args, Features);
172 else if (success && (A = Args.getLastArg(options::OPT_mcpu_EQ)))
173 success =
174 getAArch64MicroArchFeaturesFromMcpu(D, A->getValue(), Args, Features);
175 else if (success && Args.hasArg(options::OPT_arch))
176 success = getAArch64MicroArchFeaturesFromMcpu(
177 D, getAArch64TargetCPU(Args, A), Args, Features);
178
179 if (!success)
180 D.Diag(diag::err_drv_clang_unsupported) << A->getAsString(Args);
181
182 if (Args.getLastArg(options::OPT_mgeneral_regs_only)) {
183 Features.push_back("-fp-armv8");
184 Features.push_back("-crypto");
185 Features.push_back("-neon");
186 }
187
188 // En/disable crc
189 if (Arg *A = Args.getLastArg(options::OPT_mcrc, options::OPT_mnocrc)) {
190 if (A->getOption().matches(options::OPT_mcrc))
191 Features.push_back("+crc");
192 else
193 Features.push_back("-crc");
194 }
195
Sjoerd Meijerc0176562018-09-24 07:55:20 +0000196 // Handle (arch-dependent) fp16fml/fullfp16 relationship.
197 // FIXME: this fp16fml option handling will be reimplemented after the
198 // TargetParser rewrite.
199 const auto ItRNoFullFP16 = std::find(Features.rbegin(), Features.rend(), "-fullfp16");
200 const auto ItRFP16FML = std::find(Features.rbegin(), Features.rend(), "+fp16fml");
201 if (std::find(Features.begin(), Features.end(), "+v8.4a") != Features.end()) {
202 const auto ItRFullFP16 = std::find(Features.rbegin(), Features.rend(), "+fullfp16");
203 if (ItRFullFP16 < ItRNoFullFP16 && ItRFullFP16 < ItRFP16FML) {
204 // Only entangled feature that can be to the right of this +fullfp16 is -fp16fml.
205 // Only append the +fp16fml if there is no -fp16fml after the +fullfp16.
206 if (std::find(Features.rbegin(), ItRFullFP16, "-fp16fml") == ItRFullFP16)
207 Features.push_back("+fp16fml");
208 }
209 else
210 goto fp16_fml_fallthrough;
211 }
212 else {
213fp16_fml_fallthrough:
214 // In both of these cases, putting the 'other' feature on the end of the vector will
215 // result in the same effect as placing it immediately after the current feature.
216 if (ItRNoFullFP16 < ItRFP16FML)
217 Features.push_back("-fp16fml");
218 else if (ItRNoFullFP16 > ItRFP16FML)
219 Features.push_back("+fullfp16");
220 }
221
David L. Jonesecc6de32017-02-24 00:28:01 +0000222 if (Arg *A = Args.getLastArg(options::OPT_mno_unaligned_access,
223 options::OPT_munaligned_access))
224 if (A->getOption().matches(options::OPT_mno_unaligned_access))
225 Features.push_back("+strict-align");
226
Tri Vo6e8abbc2018-09-12 23:45:04 +0000227 if (Args.hasArg(options::OPT_ffixed_x1))
228 Features.push_back("+reserve-x1");
229
230 if (Args.hasArg(options::OPT_ffixed_x2))
231 Features.push_back("+reserve-x2");
232
233 if (Args.hasArg(options::OPT_ffixed_x3))
234 Features.push_back("+reserve-x3");
235
236 if (Args.hasArg(options::OPT_ffixed_x4))
237 Features.push_back("+reserve-x4");
238
239 if (Args.hasArg(options::OPT_ffixed_x5))
240 Features.push_back("+reserve-x5");
241
242 if (Args.hasArg(options::OPT_ffixed_x6))
243 Features.push_back("+reserve-x6");
244
245 if (Args.hasArg(options::OPT_ffixed_x7))
246 Features.push_back("+reserve-x7");
247
David L. Jonesecc6de32017-02-24 00:28:01 +0000248 if (Args.hasArg(options::OPT_ffixed_x18))
249 Features.push_back("+reserve-x18");
Sanne Wouda784004e2017-03-27 15:34:52 +0000250
Petr Hosek72509082018-06-12 20:00:50 +0000251 if (Args.hasArg(options::OPT_ffixed_x20))
252 Features.push_back("+reserve-x20");
253
Tri Vo28e7e602018-09-25 16:48:40 +0000254 if (Args.hasArg(options::OPT_fcall_saved_x8))
255 Features.push_back("+call-saved-x8");
256
257 if (Args.hasArg(options::OPT_fcall_saved_x9))
258 Features.push_back("+call-saved-x9");
259
260 if (Args.hasArg(options::OPT_fcall_saved_x10))
261 Features.push_back("+call-saved-x10");
262
263 if (Args.hasArg(options::OPT_fcall_saved_x11))
264 Features.push_back("+call-saved-x11");
265
266 if (Args.hasArg(options::OPT_fcall_saved_x12))
267 Features.push_back("+call-saved-x12");
268
269 if (Args.hasArg(options::OPT_fcall_saved_x13))
270 Features.push_back("+call-saved-x13");
271
272 if (Args.hasArg(options::OPT_fcall_saved_x14))
273 Features.push_back("+call-saved-x14");
274
275 if (Args.hasArg(options::OPT_fcall_saved_x15))
276 Features.push_back("+call-saved-x15");
277
278 if (Args.hasArg(options::OPT_fcall_saved_x18))
279 Features.push_back("+call-saved-x18");
280
Sanne Wouda784004e2017-03-27 15:34:52 +0000281 if (Args.hasArg(options::OPT_mno_neg_immediates))
282 Features.push_back("+no-neg-immediates");
David L. Jonesecc6de32017-02-24 00:28:01 +0000283}