blob: 437a77afdc998399ce1db06a60bf3a5454ded772 [file] [log] [blame]
Erich Keaneebba5922017-07-21 22:37:03 +00001//===--- ARM.cpp - Implement ARM target feature support -------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Erich Keaneebba5922017-07-21 22:37:03 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements ARM TargetInfo objects.
10//
11//===----------------------------------------------------------------------===//
12
13#include "ARM.h"
14#include "clang/Basic/Builtins.h"
15#include "clang/Basic/Diagnostic.h"
16#include "clang/Basic/TargetBuiltins.h"
17#include "llvm/ADT/StringExtras.h"
18#include "llvm/ADT/StringRef.h"
19#include "llvm/ADT/StringSwitch.h"
20
21using namespace clang;
22using namespace clang::targets;
23
Tim Northoverad4c5db2017-07-24 17:06:23 +000024void ARMTargetInfo::setABIAAPCS() {
25 IsAAPCS = true;
26
27 DoubleAlign = LongLongAlign = LongDoubleAlign = SuitableAlign = 64;
28 const llvm::Triple &T = getTriple();
29
Michal Gorny5a409d02018-12-20 13:09:30 +000030 bool IsNetBSD = T.isOSNetBSD();
31 bool IsOpenBSD = T.isOSOpenBSD();
Saleem Abdulrasool729379a2017-10-06 23:09:55 +000032 if (!T.isOSWindows() && !IsNetBSD && !IsOpenBSD)
Tim Northoverad4c5db2017-07-24 17:06:23 +000033 WCharType = UnsignedInt;
Tim Northoverad4c5db2017-07-24 17:06:23 +000034
35 UseBitFieldTypeAlignment = true;
36
37 ZeroLengthBitfieldBoundary = 0;
38
39 // Thumb1 add sp, #imm requires the immediate value be multiple of 4,
40 // so set preferred for small types to 32.
41 if (T.isOSBinFormatMachO()) {
42 resetDataLayout(BigEndian
Michael Platings308e82e2019-03-08 10:44:06 +000043 ? "E-m:o-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
44 : "e-m:o-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64");
Tim Northoverad4c5db2017-07-24 17:06:23 +000045 } else if (T.isOSWindows()) {
46 assert(!BigEndian && "Windows on ARM does not support big endian");
47 resetDataLayout("e"
48 "-m:w"
49 "-p:32:32"
Michael Platings308e82e2019-03-08 10:44:06 +000050 "-Fi8"
Tim Northoverad4c5db2017-07-24 17:06:23 +000051 "-i64:64"
52 "-v128:64:128"
53 "-a:0:32"
54 "-n32"
55 "-S64");
56 } else if (T.isOSNaCl()) {
57 assert(!BigEndian && "NaCl on ARM does not support big endian");
Michael Platings308e82e2019-03-08 10:44:06 +000058 resetDataLayout("e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S128");
Tim Northoverad4c5db2017-07-24 17:06:23 +000059 } else {
60 resetDataLayout(BigEndian
Michael Platings308e82e2019-03-08 10:44:06 +000061 ? "E-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
62 : "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64");
Tim Northoverad4c5db2017-07-24 17:06:23 +000063 }
64
65 // FIXME: Enumerated types are variable width in straight AAPCS.
66}
67
68void ARMTargetInfo::setABIAPCS(bool IsAAPCS16) {
69 const llvm::Triple &T = getTriple();
70
71 IsAAPCS = false;
72
73 if (IsAAPCS16)
74 DoubleAlign = LongLongAlign = LongDoubleAlign = SuitableAlign = 64;
75 else
76 DoubleAlign = LongLongAlign = LongDoubleAlign = SuitableAlign = 32;
77
Tim Northoverad4c5db2017-07-24 17:06:23 +000078 WCharType = SignedInt;
79
80 // Do not respect the alignment of bit-field types when laying out
81 // structures. This corresponds to PCC_BITFIELD_TYPE_MATTERS in gcc.
82 UseBitFieldTypeAlignment = false;
83
84 /// gcc forces the alignment to 4 bytes, regardless of the type of the
85 /// zero length bitfield. This corresponds to EMPTY_FIELD_BOUNDARY in
86 /// gcc.
87 ZeroLengthBitfieldBoundary = 32;
88
89 if (T.isOSBinFormatMachO() && IsAAPCS16) {
90 assert(!BigEndian && "AAPCS16 does not support big-endian");
Michael Platings308e82e2019-03-08 10:44:06 +000091 resetDataLayout("e-m:o-p:32:32-Fi8-i64:64-a:0:32-n32-S128");
Tim Northoverad4c5db2017-07-24 17:06:23 +000092 } else if (T.isOSBinFormatMachO())
93 resetDataLayout(
94 BigEndian
Michael Platings308e82e2019-03-08 10:44:06 +000095 ? "E-m:o-p:32:32-Fi8-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
96 : "e-m:o-p:32:32-Fi8-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32");
Tim Northoverad4c5db2017-07-24 17:06:23 +000097 else
98 resetDataLayout(
99 BigEndian
Michael Platings308e82e2019-03-08 10:44:06 +0000100 ? "E-m:e-p:32:32-Fi8-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
101 : "e-m:e-p:32:32-Fi8-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32");
Tim Northoverad4c5db2017-07-24 17:06:23 +0000102
103 // FIXME: Override "preferred align" for double and long long.
104}
105
106void ARMTargetInfo::setArchInfo() {
107 StringRef ArchName = getTriple().getArchName();
108
109 ArchISA = llvm::ARM::parseArchISA(ArchName);
110 CPU = llvm::ARM::getDefaultCPU(ArchName);
Florian Hahnef5bbd62017-07-27 16:28:39 +0000111 llvm::ARM::ArchKind AK = llvm::ARM::parseArch(ArchName);
112 if (AK != llvm::ARM::ArchKind::INVALID)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000113 ArchKind = AK;
114 setArchInfo(ArchKind);
115}
116
Florian Hahnef5bbd62017-07-27 16:28:39 +0000117void ARMTargetInfo::setArchInfo(llvm::ARM::ArchKind Kind) {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000118 StringRef SubArch;
119
120 // cache TargetParser info
121 ArchKind = Kind;
122 SubArch = llvm::ARM::getSubArch(ArchKind);
123 ArchProfile = llvm::ARM::parseArchProfile(SubArch);
124 ArchVersion = llvm::ARM::parseArchVersion(SubArch);
125
126 // cache CPU related strings
127 CPUAttr = getCPUAttr();
128 CPUProfile = getCPUProfile();
129}
130
131void ARMTargetInfo::setAtomic() {
132 // when triple does not specify a sub arch,
133 // then we are not using inline atomics
134 bool ShouldUseInlineAtomic =
Florian Hahnef5bbd62017-07-27 16:28:39 +0000135 (ArchISA == llvm::ARM::ISAKind::ARM && ArchVersion >= 6) ||
136 (ArchISA == llvm::ARM::ISAKind::THUMB && ArchVersion >= 7);
Tim Northoverad4c5db2017-07-24 17:06:23 +0000137 // Cortex M does not support 8 byte atomics, while general Thumb2 does.
Florian Hahnef5bbd62017-07-27 16:28:39 +0000138 if (ArchProfile == llvm::ARM::ProfileKind::M) {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000139 MaxAtomicPromoteWidth = 32;
140 if (ShouldUseInlineAtomic)
141 MaxAtomicInlineWidth = 32;
142 } else {
143 MaxAtomicPromoteWidth = 64;
144 if (ShouldUseInlineAtomic)
145 MaxAtomicInlineWidth = 64;
146 }
147}
148
Sjoerd Meijer4ea248e2019-06-07 15:20:56 +0000149bool ARMTargetInfo::hasMVE() const {
150 return ArchKind == llvm::ARM::ArchKind::ARMV8_1MMainline && MVE != 0;
151}
152
153bool ARMTargetInfo::hasMVEFloat() const {
154 return hasMVE() && (MVE & MVE_FP);
155}
156
Florian Hahnef5bbd62017-07-27 16:28:39 +0000157bool ARMTargetInfo::isThumb() const {
158 return ArchISA == llvm::ARM::ISAKind::THUMB;
159}
Tim Northoverad4c5db2017-07-24 17:06:23 +0000160
161bool ARMTargetInfo::supportsThumb() const {
162 return CPUAttr.count('T') || ArchVersion >= 6;
163}
164
165bool ARMTargetInfo::supportsThumb2() const {
166 return CPUAttr.equals("6T2") ||
167 (ArchVersion >= 7 && !CPUAttr.equals("8M_BASE"));
168}
169
170StringRef ARMTargetInfo::getCPUAttr() const {
171 // For most sub-arches, the build attribute CPU name is enough.
172 // For Cortex variants, it's slightly different.
173 switch (ArchKind) {
174 default:
175 return llvm::ARM::getCPUAttr(ArchKind);
Florian Hahnef5bbd62017-07-27 16:28:39 +0000176 case llvm::ARM::ArchKind::ARMV6M:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000177 return "6M";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000178 case llvm::ARM::ArchKind::ARMV7S:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000179 return "7S";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000180 case llvm::ARM::ArchKind::ARMV7A:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000181 return "7A";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000182 case llvm::ARM::ArchKind::ARMV7R:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000183 return "7R";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000184 case llvm::ARM::ArchKind::ARMV7M:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000185 return "7M";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000186 case llvm::ARM::ArchKind::ARMV7EM:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000187 return "7EM";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000188 case llvm::ARM::ArchKind::ARMV7VE:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000189 return "7VE";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000190 case llvm::ARM::ArchKind::ARMV8A:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000191 return "8A";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000192 case llvm::ARM::ArchKind::ARMV8_1A:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000193 return "8_1A";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000194 case llvm::ARM::ArchKind::ARMV8_2A:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000195 return "8_2A";
Sjoerd Meijere6e4f312018-08-01 12:41:10 +0000196 case llvm::ARM::ArchKind::ARMV8_3A:
197 return "8_3A";
198 case llvm::ARM::ArchKind::ARMV8_4A:
199 return "8_4A";
Oliver Stannarda30b48d2018-09-26 14:20:29 +0000200 case llvm::ARM::ArchKind::ARMV8_5A:
201 return "8_5A";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000202 case llvm::ARM::ArchKind::ARMV8MBaseline:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000203 return "8M_BASE";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000204 case llvm::ARM::ArchKind::ARMV8MMainline:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000205 return "8M_MAIN";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000206 case llvm::ARM::ArchKind::ARMV8R:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000207 return "8R";
Sjoerd Meijer24f12712019-05-30 14:22:26 +0000208 case llvm::ARM::ArchKind::ARMV8_1MMainline:
209 return "8_1M_MAIN";
Tim Northoverad4c5db2017-07-24 17:06:23 +0000210 }
211}
212
213StringRef ARMTargetInfo::getCPUProfile() const {
214 switch (ArchProfile) {
Florian Hahnef5bbd62017-07-27 16:28:39 +0000215 case llvm::ARM::ProfileKind::A:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000216 return "A";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000217 case llvm::ARM::ProfileKind::R:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000218 return "R";
Florian Hahnef5bbd62017-07-27 16:28:39 +0000219 case llvm::ARM::ProfileKind::M:
Tim Northoverad4c5db2017-07-24 17:06:23 +0000220 return "M";
221 default:
222 return "";
223 }
224}
225
226ARMTargetInfo::ARMTargetInfo(const llvm::Triple &Triple,
227 const TargetOptions &Opts)
228 : TargetInfo(Triple), FPMath(FP_Default), IsAAPCS(true), LDREX(0),
229 HW_FP(0) {
Michal Gorny5a409d02018-12-20 13:09:30 +0000230 bool IsOpenBSD = Triple.isOSOpenBSD();
231 bool IsNetBSD = Triple.isOSNetBSD();
Saleem Abdulrasool418a8162017-10-27 23:04:27 +0000232
Saleem Abdulrasool418a8162017-10-27 23:04:27 +0000233 // FIXME: the isOSBinFormatMachO is a workaround for identifying a Darwin-like
234 // environment where size_t is `unsigned long` rather than `unsigned int`
Saleem Abdulrasool1924b242017-10-28 06:00:43 +0000235
236 PtrDiffType = IntPtrType =
237 (Triple.isOSDarwin() || Triple.isOSBinFormatMachO() || IsOpenBSD ||
238 IsNetBSD)
239 ? SignedLong
240 : SignedInt;
241
Saleem Abdulrasool418a8162017-10-27 23:04:27 +0000242 SizeType = (Triple.isOSDarwin() || Triple.isOSBinFormatMachO() || IsOpenBSD ||
243 IsNetBSD)
244 ? UnsignedLong
245 : UnsignedInt;
246
247 // ptrdiff_t is inconsistent on Darwin
Saleem Abdulrasool1924b242017-10-28 06:00:43 +0000248 if ((Triple.isOSDarwin() || Triple.isOSBinFormatMachO()) &&
249 !Triple.isWatchABI())
Saleem Abdulrasool418a8162017-10-27 23:04:27 +0000250 PtrDiffType = SignedInt;
251
Tim Northoverad4c5db2017-07-24 17:06:23 +0000252 // Cache arch related info.
253 setArchInfo();
254
255 // {} in inline assembly are neon specifiers, not assembly variant
256 // specifiers.
257 NoAsmVariants = true;
258
259 // FIXME: This duplicates code from the driver that sets the -target-abi
260 // option - this code is used if -target-abi isn't passed and should
261 // be unified in some way.
262 if (Triple.isOSBinFormatMachO()) {
263 // The backend is hardwired to assume AAPCS for M-class processors, ensure
264 // the frontend matches that.
265 if (Triple.getEnvironment() == llvm::Triple::EABI ||
266 Triple.getOS() == llvm::Triple::UnknownOS ||
Florian Hahnef5bbd62017-07-27 16:28:39 +0000267 ArchProfile == llvm::ARM::ProfileKind::M) {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000268 setABI("aapcs");
269 } else if (Triple.isWatchABI()) {
270 setABI("aapcs16");
271 } else {
272 setABI("apcs-gnu");
273 }
274 } else if (Triple.isOSWindows()) {
275 // FIXME: this is invalid for WindowsCE
276 setABI("aapcs");
277 } else {
278 // Select the default based on the platform.
279 switch (Triple.getEnvironment()) {
280 case llvm::Triple::Android:
281 case llvm::Triple::GNUEABI:
282 case llvm::Triple::GNUEABIHF:
283 case llvm::Triple::MuslEABI:
284 case llvm::Triple::MuslEABIHF:
285 setABI("aapcs-linux");
286 break;
287 case llvm::Triple::EABIHF:
288 case llvm::Triple::EABI:
289 setABI("aapcs");
290 break;
291 case llvm::Triple::GNU:
292 setABI("apcs-gnu");
293 break;
294 default:
Michal Gorny5a409d02018-12-20 13:09:30 +0000295 if (IsNetBSD)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000296 setABI("apcs-gnu");
Michal Gorny5a409d02018-12-20 13:09:30 +0000297 else if (IsOpenBSD)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000298 setABI("aapcs-linux");
299 else
300 setABI("aapcs");
301 break;
302 }
303 }
304
305 // ARM targets default to using the ARM C++ ABI.
306 TheCXXABI.set(TargetCXXABI::GenericARM);
307
308 // ARM has atomics up to 8 bytes
309 setAtomic();
310
311 // Maximum alignment for ARM NEON data types should be 64-bits (AAPCS)
Diogo N. Sampaio9427aa22019-08-08 12:50:36 +0000312 // as well the default alignment
Tim Northoverad4c5db2017-07-24 17:06:23 +0000313 if (IsAAPCS && (Triple.getEnvironment() != llvm::Triple::Android))
Diogo N. Sampaio9427aa22019-08-08 12:50:36 +0000314 DefaultAlignForAttributeAligned = MaxVectorAlign = 64;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000315
316 // Do force alignment of members that follow zero length bitfields. If
317 // the alignment of the zero-length bitfield is greater than the member
318 // that follows it, `bar', `bar' will be aligned as the type of the
319 // zero length bitfield.
320 UseZeroLengthBitfieldAlignment = true;
321
322 if (Triple.getOS() == llvm::Triple::Linux ||
323 Triple.getOS() == llvm::Triple::UnknownOS)
324 this->MCountName = Opts.EABIVersion == llvm::EABI::GNU
Jian Cai16fa8b02019-08-16 23:30:16 +0000325 ? "llvm.arm.gnu.eabi.mcount"
Tim Northoverad4c5db2017-07-24 17:06:23 +0000326 : "\01mcount";
George Burgess IV2c074bb2019-06-14 00:35:17 +0000327
328 SoftFloatABI = llvm::is_contained(Opts.FeaturesAsWritten, "+soft-float-abi");
Tim Northoverad4c5db2017-07-24 17:06:23 +0000329}
330
331StringRef ARMTargetInfo::getABI() const { return ABI; }
332
333bool ARMTargetInfo::setABI(const std::string &Name) {
334 ABI = Name;
335
336 // The defaults (above) are for AAPCS, check if we need to change them.
337 //
338 // FIXME: We need support for -meabi... we could just mangle it into the
339 // name.
340 if (Name == "apcs-gnu" || Name == "aapcs16") {
341 setABIAPCS(Name == "aapcs16");
Erich Keaneebba5922017-07-21 22:37:03 +0000342 return true;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000343 }
344 if (Name == "aapcs" || Name == "aapcs-vfp" || Name == "aapcs-linux") {
345 setABIAAPCS();
Erich Keaneebba5922017-07-21 22:37:03 +0000346 return true;
347 }
348 return false;
349}
350
Tim Northoverad4c5db2017-07-24 17:06:23 +0000351// FIXME: This should be based on Arch attributes, not CPU names.
352bool ARMTargetInfo::initFeatureMap(
353 llvm::StringMap<bool> &Features, DiagnosticsEngine &Diags, StringRef CPU,
354 const std::vector<std::string> &FeaturesVec) const {
Erich Keaneebba5922017-07-21 22:37:03 +0000355
Eli Friedman642a5ee2018-04-16 23:52:58 +0000356 std::string ArchFeature;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000357 std::vector<StringRef> TargetFeatures;
Florian Hahnef5bbd62017-07-27 16:28:39 +0000358 llvm::ARM::ArchKind Arch = llvm::ARM::parseArch(getTriple().getArchName());
Erich Keaneebba5922017-07-21 22:37:03 +0000359
Eli Friedman642a5ee2018-04-16 23:52:58 +0000360 // Map the base architecture to an appropriate target feature, so we don't
361 // rely on the target triple.
362 llvm::ARM::ArchKind CPUArch = llvm::ARM::parseCPUArch(CPU);
363 if (CPUArch == llvm::ARM::ArchKind::INVALID)
364 CPUArch = Arch;
365 if (CPUArch != llvm::ARM::ArchKind::INVALID) {
366 ArchFeature = ("+" + llvm::ARM::getArchName(CPUArch)).str();
367 TargetFeatures.push_back(ArchFeature);
368 }
369
Tim Northoverad4c5db2017-07-24 17:06:23 +0000370 // get default FPU features
371 unsigned FPUKind = llvm::ARM::getDefaultFPU(CPU, Arch);
372 llvm::ARM::getFPUFeatures(FPUKind, TargetFeatures);
Erich Keaneebba5922017-07-21 22:37:03 +0000373
Tim Northoverad4c5db2017-07-24 17:06:23 +0000374 // get default Extension features
375 unsigned Extensions = llvm::ARM::getDefaultExtensions(CPU, Arch);
376 llvm::ARM::getExtensionFeatures(Extensions, TargetFeatures);
Erich Keaneebba5922017-07-21 22:37:03 +0000377
Tim Northoverad4c5db2017-07-24 17:06:23 +0000378 for (auto Feature : TargetFeatures)
379 if (Feature[0] == '+')
380 Features[Feature.drop_front(1)] = true;
381
382 // Enable or disable thumb-mode explicitly per function to enable mixed
383 // ARM and Thumb code generation.
384 if (isThumb())
385 Features["thumb-mode"] = true;
386 else
387 Features["thumb-mode"] = false;
388
389 // Convert user-provided arm and thumb GNU target attributes to
390 // [-|+]thumb-mode target features respectively.
George Burgess IV2c074bb2019-06-14 00:35:17 +0000391 std::vector<std::string> UpdatedFeaturesVec;
392 for (const auto &Feature : FeaturesVec) {
393 // Skip soft-float-abi; it's something we only use to initialize a bit of
394 // class state, and is otherwise unrecognized.
395 if (Feature == "+soft-float-abi")
396 continue;
397
398 StringRef FixedFeature;
399 if (Feature == "+arm")
400 FixedFeature = "-thumb-mode";
401 else if (Feature == "+thumb")
402 FixedFeature = "+thumb-mode";
403 else
404 FixedFeature = Feature;
405 UpdatedFeaturesVec.push_back(FixedFeature.str());
Tim Northoverad4c5db2017-07-24 17:06:23 +0000406 }
407
408 return TargetInfo::initFeatureMap(Features, Diags, CPU, UpdatedFeaturesVec);
Erich Keaneebba5922017-07-21 22:37:03 +0000409}
410
Erich Keaneebba5922017-07-21 22:37:03 +0000411
Tim Northoverad4c5db2017-07-24 17:06:23 +0000412bool ARMTargetInfo::handleTargetFeatures(std::vector<std::string> &Features,
413 DiagnosticsEngine &Diags) {
414 FPU = 0;
David Green54823152019-06-07 17:28:12 +0000415 MVE = 0;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000416 CRC = 0;
417 Crypto = 0;
418 DSP = 0;
419 Unaligned = 1;
George Burgess IV2c074bb2019-06-14 00:35:17 +0000420 SoftFloat = false;
421 // Note that SoftFloatABI is initialized in our constructor.
Tim Northoverad4c5db2017-07-24 17:06:23 +0000422 HWDiv = 0;
Oliver Stannard39ee9de2018-04-27 13:56:02 +0000423 DotProd = 0;
Erich Keane1d1d4382019-01-25 17:27:57 +0000424 HasFloat16 = true;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000425
426 // This does not diagnose illegal cases like having both
Simon Tatham760df472019-05-28 16:13:20 +0000427 // "+vfpv2" and "+vfpv3" or having "+neon" and "-fp64".
Tim Northoverad4c5db2017-07-24 17:06:23 +0000428 for (const auto &Feature : Features) {
429 if (Feature == "+soft-float") {
430 SoftFloat = true;
Eli Friedman33054a02019-09-17 21:43:19 +0000431 } else if (Feature == "+vfp2sp" || Feature == "+vfp2") {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000432 FPU |= VFP2FPU;
Simon Tatham760df472019-05-28 16:13:20 +0000433 HW_FP |= HW_FP_SP;
Eli Friedman33054a02019-09-17 21:43:19 +0000434 if (Feature == "+vfp2")
Simon Tatham5d66f2b2019-06-07 12:42:54 +0000435 HW_FP |= HW_FP_DP;
436 } else if (Feature == "+vfp3sp" || Feature == "+vfp3d16sp" ||
437 Feature == "+vfp3" || Feature == "+vfp3d16") {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000438 FPU |= VFP3FPU;
Simon Tatham760df472019-05-28 16:13:20 +0000439 HW_FP |= HW_FP_SP;
Simon Tatham5d66f2b2019-06-07 12:42:54 +0000440 if (Feature == "+vfp3" || Feature == "+vfp3d16")
441 HW_FP |= HW_FP_DP;
442 } else if (Feature == "+vfp4sp" || Feature == "+vfp4d16sp" ||
443 Feature == "+vfp4" || Feature == "+vfp4d16") {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000444 FPU |= VFP4FPU;
Simon Tatham760df472019-05-28 16:13:20 +0000445 HW_FP |= HW_FP_SP | HW_FP_HP;
Simon Tatham5d66f2b2019-06-07 12:42:54 +0000446 if (Feature == "+vfp4" || Feature == "+vfp4d16")
447 HW_FP |= HW_FP_DP;
448 } else if (Feature == "+fp-armv8sp" || Feature == "+fp-armv8d16sp" ||
449 Feature == "+fp-armv8" || Feature == "+fp-armv8d16") {
Tim Northoverad4c5db2017-07-24 17:06:23 +0000450 FPU |= FPARMV8;
Simon Tatham760df472019-05-28 16:13:20 +0000451 HW_FP |= HW_FP_SP | HW_FP_HP;
Simon Tatham5d66f2b2019-06-07 12:42:54 +0000452 if (Feature == "+fp-armv8" || Feature == "+fp-armv8d16")
453 HW_FP |= HW_FP_DP;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000454 } else if (Feature == "+neon") {
455 FPU |= NeonFPU;
Simon Tatham760df472019-05-28 16:13:20 +0000456 HW_FP |= HW_FP_SP;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000457 } else if (Feature == "+hwdiv") {
458 HWDiv |= HWDivThumb;
459 } else if (Feature == "+hwdiv-arm") {
460 HWDiv |= HWDivARM;
461 } else if (Feature == "+crc") {
462 CRC = 1;
463 } else if (Feature == "+crypto") {
464 Crypto = 1;
465 } else if (Feature == "+dsp") {
466 DSP = 1;
Simon Tatham760df472019-05-28 16:13:20 +0000467 } else if (Feature == "+fp64") {
468 HW_FP |= HW_FP_DP;
Javed Absar603a2ba2019-05-21 14:21:26 +0000469 } else if (Feature == "+8msecext") {
470 if (CPUProfile != "M" || ArchVersion != 8) {
471 Diags.Report(diag::err_target_unsupported_mcmse) << CPU;
472 return false;
473 }
Tim Northoverad4c5db2017-07-24 17:06:23 +0000474 } else if (Feature == "+strict-align") {
475 Unaligned = 0;
476 } else if (Feature == "+fp16") {
477 HW_FP |= HW_FP_HP;
Sjoerd Meijera7463df2018-03-13 22:11:06 +0000478 } else if (Feature == "+fullfp16") {
Sjoerd Meijer87793e72018-03-19 13:22:49 +0000479 HasLegalHalfType = true;
Oliver Stannard39ee9de2018-04-27 13:56:02 +0000480 } else if (Feature == "+dotprod") {
481 DotProd = true;
Sjoerd Meijer4ea248e2019-06-07 15:20:56 +0000482 } else if (Feature == "+mve") {
483 DSP = 1;
484 MVE |= MVE_INT;
485 } else if (Feature == "+mve.fp") {
486 DSP = 1;
487 HasLegalHalfType = true;
488 FPU |= FPARMV8;
489 MVE |= MVE_INT | MVE_FP;
490 HW_FP |= HW_FP_SP | HW_FP_HP;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000491 }
492 }
Tim Northoverad4c5db2017-07-24 17:06:23 +0000493
494 switch (ArchVersion) {
495 case 6:
Florian Hahnef5bbd62017-07-27 16:28:39 +0000496 if (ArchProfile == llvm::ARM::ProfileKind::M)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000497 LDREX = 0;
Florian Hahnef5bbd62017-07-27 16:28:39 +0000498 else if (ArchKind == llvm::ARM::ArchKind::ARMV6K)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000499 LDREX = LDREX_D | LDREX_W | LDREX_H | LDREX_B;
500 else
501 LDREX = LDREX_W;
502 break;
503 case 7:
Florian Hahnef5bbd62017-07-27 16:28:39 +0000504 if (ArchProfile == llvm::ARM::ProfileKind::M)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000505 LDREX = LDREX_W | LDREX_H | LDREX_B;
506 else
507 LDREX = LDREX_D | LDREX_W | LDREX_H | LDREX_B;
508 break;
509 case 8:
510 LDREX = LDREX_D | LDREX_W | LDREX_H | LDREX_B;
511 }
512
513 if (!(FPU & NeonFPU) && FPMath == FP_Neon) {
514 Diags.Report(diag::err_target_unsupported_fpmath) << "neon";
515 return false;
516 }
517
518 if (FPMath == FP_Neon)
519 Features.push_back("+neonfp");
520 else if (FPMath == FP_VFP)
521 Features.push_back("-neonfp");
522
Tim Northoverad4c5db2017-07-24 17:06:23 +0000523 return true;
Erich Keaneebba5922017-07-21 22:37:03 +0000524}
525
Erich Keaneebba5922017-07-21 22:37:03 +0000526bool ARMTargetInfo::hasFeature(StringRef Feature) const {
527 return llvm::StringSwitch<bool>(Feature)
528 .Case("arm", true)
529 .Case("aarch32", true)
530 .Case("softfloat", SoftFloat)
531 .Case("thumb", isThumb())
532 .Case("neon", (FPU & NeonFPU) && !SoftFloat)
533 .Case("vfp", FPU && !SoftFloat)
534 .Case("hwdiv", HWDiv & HWDivThumb)
535 .Case("hwdiv-arm", HWDiv & HWDivARM)
Sjoerd Meijer4ea248e2019-06-07 15:20:56 +0000536 .Case("mve", hasMVE())
Erich Keaneebba5922017-07-21 22:37:03 +0000537 .Default(false);
538}
539
Tim Northoverad4c5db2017-07-24 17:06:23 +0000540bool ARMTargetInfo::isValidCPUName(StringRef Name) const {
541 return Name == "generic" ||
Florian Hahnef5bbd62017-07-27 16:28:39 +0000542 llvm::ARM::parseCPUArch(Name) != llvm::ARM::ArchKind::INVALID;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000543}
544
Erich Keane3ec17432018-02-08 23:14:15 +0000545void ARMTargetInfo::fillValidCPUList(SmallVectorImpl<StringRef> &Values) const {
546 llvm::ARM::fillValidCPUArchList(Values);
547}
548
Tim Northoverad4c5db2017-07-24 17:06:23 +0000549bool ARMTargetInfo::setCPU(const std::string &Name) {
550 if (Name != "generic")
551 setArchInfo(llvm::ARM::parseCPUArch(Name));
552
Florian Hahnef5bbd62017-07-27 16:28:39 +0000553 if (ArchKind == llvm::ARM::ArchKind::INVALID)
Tim Northoverad4c5db2017-07-24 17:06:23 +0000554 return false;
555 setAtomic();
556 CPU = Name;
557 return true;
558}
559
560bool ARMTargetInfo::setFPMath(StringRef Name) {
561 if (Name == "neon") {
562 FPMath = FP_Neon;
563 return true;
564 } else if (Name == "vfp" || Name == "vfp2" || Name == "vfp3" ||
565 Name == "vfp4") {
566 FPMath = FP_VFP;
567 return true;
568 }
569 return false;
570}
571
572void ARMTargetInfo::getTargetDefinesARMV81A(const LangOptions &Opts,
573 MacroBuilder &Builder) const {
574 Builder.defineMacro("__ARM_FEATURE_QRDMX", "1");
575}
576
577void ARMTargetInfo::getTargetDefinesARMV82A(const LangOptions &Opts,
578 MacroBuilder &Builder) const {
579 // Also include the ARMv8.1-A defines
580 getTargetDefinesARMV81A(Opts, Builder);
581}
582
Erich Keaneebba5922017-07-21 22:37:03 +0000583void ARMTargetInfo::getTargetDefines(const LangOptions &Opts,
584 MacroBuilder &Builder) const {
585 // Target identification.
586 Builder.defineMacro("__arm");
587 Builder.defineMacro("__arm__");
588 // For bare-metal none-eabi.
589 if (getTriple().getOS() == llvm::Triple::UnknownOS &&
590 (getTriple().getEnvironment() == llvm::Triple::EABI ||
591 getTriple().getEnvironment() == llvm::Triple::EABIHF))
592 Builder.defineMacro("__ELF__");
593
594 // Target properties.
595 Builder.defineMacro("__REGISTER_PREFIX__", "");
596
597 // Unfortunately, __ARM_ARCH_7K__ is now more of an ABI descriptor. The CPU
598 // happens to be Cortex-A7 though, so it should still get __ARM_ARCH_7A__.
599 if (getTriple().isWatchABI())
600 Builder.defineMacro("__ARM_ARCH_7K__", "2");
601
602 if (!CPUAttr.empty())
603 Builder.defineMacro("__ARM_ARCH_" + CPUAttr + "__");
604
605 // ACLE 6.4.1 ARM/Thumb instruction set architecture
606 // __ARM_ARCH is defined as an integer value indicating the current ARM ISA
607 Builder.defineMacro("__ARM_ARCH", Twine(ArchVersion));
608
609 if (ArchVersion >= 8) {
610 // ACLE 6.5.7 Crypto Extension
611 if (Crypto)
612 Builder.defineMacro("__ARM_FEATURE_CRYPTO", "1");
613 // ACLE 6.5.8 CRC32 Extension
614 if (CRC)
615 Builder.defineMacro("__ARM_FEATURE_CRC32", "1");
616 // ACLE 6.5.10 Numeric Maximum and Minimum
617 Builder.defineMacro("__ARM_FEATURE_NUMERIC_MAXMIN", "1");
618 // ACLE 6.5.9 Directed Rounding
619 Builder.defineMacro("__ARM_FEATURE_DIRECTED_ROUNDING", "1");
620 }
621
622 // __ARM_ARCH_ISA_ARM is defined to 1 if the core supports the ARM ISA. It
623 // is not defined for the M-profile.
624 // NOTE that the default profile is assumed to be 'A'
Florian Hahnef5bbd62017-07-27 16:28:39 +0000625 if (CPUProfile.empty() || ArchProfile != llvm::ARM::ProfileKind::M)
Erich Keaneebba5922017-07-21 22:37:03 +0000626 Builder.defineMacro("__ARM_ARCH_ISA_ARM", "1");
627
628 // __ARM_ARCH_ISA_THUMB is defined to 1 if the core supports the original
629 // Thumb ISA (including v6-M and v8-M Baseline). It is set to 2 if the
630 // core supports the Thumb-2 ISA as found in the v6T2 architecture and all
631 // v7 and v8 architectures excluding v8-M Baseline.
632 if (supportsThumb2())
633 Builder.defineMacro("__ARM_ARCH_ISA_THUMB", "2");
634 else if (supportsThumb())
635 Builder.defineMacro("__ARM_ARCH_ISA_THUMB", "1");
636
637 // __ARM_32BIT_STATE is defined to 1 if code is being generated for a 32-bit
638 // instruction set such as ARM or Thumb.
639 Builder.defineMacro("__ARM_32BIT_STATE", "1");
640
641 // ACLE 6.4.2 Architectural Profile (A, R, M or pre-Cortex)
642
643 // __ARM_ARCH_PROFILE is defined as 'A', 'R', 'M' or 'S', or unset.
644 if (!CPUProfile.empty())
645 Builder.defineMacro("__ARM_ARCH_PROFILE", "'" + CPUProfile + "'");
646
647 // ACLE 6.4.3 Unaligned access supported in hardware
648 if (Unaligned)
649 Builder.defineMacro("__ARM_FEATURE_UNALIGNED", "1");
650
651 // ACLE 6.4.4 LDREX/STREX
652 if (LDREX)
Benjamin Kramer3a13ed62017-12-28 16:58:54 +0000653 Builder.defineMacro("__ARM_FEATURE_LDREX", "0x" + Twine::utohexstr(LDREX));
Erich Keaneebba5922017-07-21 22:37:03 +0000654
655 // ACLE 6.4.5 CLZ
656 if (ArchVersion == 5 || (ArchVersion == 6 && CPUProfile != "M") ||
657 ArchVersion > 6)
658 Builder.defineMacro("__ARM_FEATURE_CLZ", "1");
659
660 // ACLE 6.5.1 Hardware Floating Point
661 if (HW_FP)
Benjamin Kramer3a13ed62017-12-28 16:58:54 +0000662 Builder.defineMacro("__ARM_FP", "0x" + Twine::utohexstr(HW_FP));
Erich Keaneebba5922017-07-21 22:37:03 +0000663
664 // ACLE predefines.
665 Builder.defineMacro("__ARM_ACLE", "200");
666
667 // FP16 support (we currently only support IEEE format).
668 Builder.defineMacro("__ARM_FP16_FORMAT_IEEE", "1");
669 Builder.defineMacro("__ARM_FP16_ARGS", "1");
670
671 // ACLE 6.5.3 Fused multiply-accumulate (FMA)
672 if (ArchVersion >= 7 && (FPU & VFP4FPU))
673 Builder.defineMacro("__ARM_FEATURE_FMA", "1");
674
675 // Subtarget options.
676
677 // FIXME: It's more complicated than this and we don't really support
678 // interworking.
679 // Windows on ARM does not "support" interworking
680 if (5 <= ArchVersion && ArchVersion <= 8 && !getTriple().isOSWindows())
681 Builder.defineMacro("__THUMB_INTERWORK__");
682
683 if (ABI == "aapcs" || ABI == "aapcs-linux" || ABI == "aapcs-vfp") {
684 // Embedded targets on Darwin follow AAPCS, but not EABI.
685 // Windows on ARM follows AAPCS VFP, but does not conform to EABI.
686 if (!getTriple().isOSBinFormatMachO() && !getTriple().isOSWindows())
687 Builder.defineMacro("__ARM_EABI__");
688 Builder.defineMacro("__ARM_PCS", "1");
689 }
690
691 if ((!SoftFloat && !SoftFloatABI) || ABI == "aapcs-vfp" || ABI == "aapcs16")
692 Builder.defineMacro("__ARM_PCS_VFP", "1");
693
694 if (SoftFloat)
695 Builder.defineMacro("__SOFTFP__");
696
Oliver Stannarde3c8ce82019-02-18 12:39:47 +0000697 // ACLE position independent code macros.
698 if (Opts.ROPI)
699 Builder.defineMacro("__ARM_ROPI", "1");
700 if (Opts.RWPI)
701 Builder.defineMacro("__ARM_RWPI", "1");
702
Florian Hahnef5bbd62017-07-27 16:28:39 +0000703 if (ArchKind == llvm::ARM::ArchKind::XSCALE)
Erich Keaneebba5922017-07-21 22:37:03 +0000704 Builder.defineMacro("__XSCALE__");
705
706 if (isThumb()) {
707 Builder.defineMacro("__THUMBEL__");
708 Builder.defineMacro("__thumb__");
709 if (supportsThumb2())
710 Builder.defineMacro("__thumb2__");
711 }
712
713 // ACLE 6.4.9 32-bit SIMD instructions
Sam Parkerd476cd32018-09-28 10:18:02 +0000714 if ((CPUProfile != "M" && ArchVersion >= 6) || (CPUProfile == "M" && DSP))
Erich Keaneebba5922017-07-21 22:37:03 +0000715 Builder.defineMacro("__ARM_FEATURE_SIMD32", "1");
716
717 // ACLE 6.4.10 Hardware Integer Divide
718 if (((HWDiv & HWDivThumb) && isThumb()) ||
719 ((HWDiv & HWDivARM) && !isThumb())) {
720 Builder.defineMacro("__ARM_FEATURE_IDIV", "1");
721 Builder.defineMacro("__ARM_ARCH_EXT_IDIV__", "1");
722 }
723
724 // Note, this is always on in gcc, even though it doesn't make sense.
725 Builder.defineMacro("__APCS_32__");
726
727 if (FPUModeIsVFP((FPUMode)FPU)) {
728 Builder.defineMacro("__VFP_FP__");
729 if (FPU & VFP2FPU)
730 Builder.defineMacro("__ARM_VFPV2__");
731 if (FPU & VFP3FPU)
732 Builder.defineMacro("__ARM_VFPV3__");
733 if (FPU & VFP4FPU)
734 Builder.defineMacro("__ARM_VFPV4__");
735 if (FPU & FPARMV8)
736 Builder.defineMacro("__ARM_FPV5__");
737 }
738
739 // This only gets set when Neon instructions are actually available, unlike
740 // the VFP define, hence the soft float and arch check. This is subtly
741 // different from gcc, we follow the intent which was that it should be set
742 // when Neon instructions are actually available.
743 if ((FPU & NeonFPU) && !SoftFloat && ArchVersion >= 7) {
744 Builder.defineMacro("__ARM_NEON", "1");
745 Builder.defineMacro("__ARM_NEON__");
746 // current AArch32 NEON implementations do not support double-precision
747 // floating-point even when it is present in VFP.
748 Builder.defineMacro("__ARM_NEON_FP",
Benjamin Kramer3a13ed62017-12-28 16:58:54 +0000749 "0x" + Twine::utohexstr(HW_FP & ~HW_FP_DP));
Erich Keaneebba5922017-07-21 22:37:03 +0000750 }
751
Sjoerd Meijer4ea248e2019-06-07 15:20:56 +0000752 if (hasMVE()) {
753 Builder.defineMacro("__ARM_FEATURE_MVE", hasMVEFloat() ? "3" : "1");
754 }
755
Saleem Abdulrasool729379a2017-10-06 23:09:55 +0000756 Builder.defineMacro("__ARM_SIZEOF_WCHAR_T",
Benjamin Kramer3a13ed62017-12-28 16:58:54 +0000757 Twine(Opts.WCharSize ? Opts.WCharSize : 4));
Erich Keaneebba5922017-07-21 22:37:03 +0000758
759 Builder.defineMacro("__ARM_SIZEOF_MINIMAL_ENUM", Opts.ShortEnums ? "1" : "4");
760
Javed Absar603a2ba2019-05-21 14:21:26 +0000761 // CMSE
762 if (ArchVersion == 8 && ArchProfile == llvm::ARM::ProfileKind::M)
763 Builder.defineMacro("__ARM_FEATURE_CMSE", Opts.Cmse ? "3" : "1");
764
Erich Keaneebba5922017-07-21 22:37:03 +0000765 if (ArchVersion >= 6 && CPUAttr != "6M" && CPUAttr != "8M_BASE") {
766 Builder.defineMacro("__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1");
767 Builder.defineMacro("__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2");
768 Builder.defineMacro("__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4");
769 Builder.defineMacro("__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8");
770 }
771
772 // ACLE 6.4.7 DSP instructions
773 if (DSP) {
774 Builder.defineMacro("__ARM_FEATURE_DSP", "1");
775 }
776
777 // ACLE 6.4.8 Saturation instructions
778 bool SAT = false;
779 if ((ArchVersion == 6 && CPUProfile != "M") || ArchVersion > 6) {
780 Builder.defineMacro("__ARM_FEATURE_SAT", "1");
781 SAT = true;
782 }
783
784 // ACLE 6.4.6 Q (saturation) flag
785 if (DSP || SAT)
786 Builder.defineMacro("__ARM_FEATURE_QBIT", "1");
787
788 if (Opts.UnsafeFPMath)
789 Builder.defineMacro("__ARM_FP_FAST", "1");
790
Sjoerd Meijera7463df2018-03-13 22:11:06 +0000791 // Armv8.2-A FP16 vector intrinsic
Sjoerd Meijer87793e72018-03-19 13:22:49 +0000792 if ((FPU & NeonFPU) && HasLegalHalfType)
Sjoerd Meijera7463df2018-03-13 22:11:06 +0000793 Builder.defineMacro("__ARM_FEATURE_FP16_VECTOR_ARITHMETIC", "1");
794
795 // Armv8.2-A FP16 scalar intrinsics
Sjoerd Meijer87793e72018-03-19 13:22:49 +0000796 if (HasLegalHalfType)
Sjoerd Meijera7463df2018-03-13 22:11:06 +0000797 Builder.defineMacro("__ARM_FEATURE_FP16_SCALAR_ARITHMETIC", "1");
798
Oliver Stannard39ee9de2018-04-27 13:56:02 +0000799 // Armv8.2-A dot product intrinsics
800 if (DotProd)
801 Builder.defineMacro("__ARM_FEATURE_DOTPROD", "1");
Sjoerd Meijera7463df2018-03-13 22:11:06 +0000802
Erich Keaneebba5922017-07-21 22:37:03 +0000803 switch (ArchKind) {
804 default:
805 break;
Florian Hahnef5bbd62017-07-27 16:28:39 +0000806 case llvm::ARM::ArchKind::ARMV8_1A:
Erich Keaneebba5922017-07-21 22:37:03 +0000807 getTargetDefinesARMV81A(Opts, Builder);
808 break;
Florian Hahnef5bbd62017-07-27 16:28:39 +0000809 case llvm::ARM::ArchKind::ARMV8_2A:
Erich Keaneebba5922017-07-21 22:37:03 +0000810 getTargetDefinesARMV82A(Opts, Builder);
811 break;
812 }
813}
814
Tim Northoverad4c5db2017-07-24 17:06:23 +0000815const Builtin::Info ARMTargetInfo::BuiltinInfo[] = {
816#define BUILTIN(ID, TYPE, ATTRS) \
817 {#ID, TYPE, ATTRS, nullptr, ALL_LANGUAGES, nullptr},
818#define LIBBUILTIN(ID, TYPE, ATTRS, HEADER) \
819 {#ID, TYPE, ATTRS, HEADER, ALL_LANGUAGES, nullptr},
820#include "clang/Basic/BuiltinsNEON.def"
Erich Keaneebba5922017-07-21 22:37:03 +0000821
Tim Northoverad4c5db2017-07-24 17:06:23 +0000822#define BUILTIN(ID, TYPE, ATTRS) \
823 {#ID, TYPE, ATTRS, nullptr, ALL_LANGUAGES, nullptr},
824#define LANGBUILTIN(ID, TYPE, ATTRS, LANG) \
825 {#ID, TYPE, ATTRS, nullptr, LANG, nullptr},
826#define LIBBUILTIN(ID, TYPE, ATTRS, HEADER) \
827 {#ID, TYPE, ATTRS, HEADER, ALL_LANGUAGES, nullptr},
828#define TARGET_HEADER_BUILTIN(ID, TYPE, ATTRS, HEADER, LANGS, FEATURE) \
829 {#ID, TYPE, ATTRS, HEADER, LANGS, FEATURE},
830#include "clang/Basic/BuiltinsARM.def"
831};
832
833ArrayRef<Builtin::Info> ARMTargetInfo::getTargetBuiltins() const {
834 return llvm::makeArrayRef(BuiltinInfo, clang::ARM::LastTSBuiltin -
835 Builtin::FirstTSBuiltin);
836}
837
838bool ARMTargetInfo::isCLZForZeroUndef() const { return false; }
839TargetInfo::BuiltinVaListKind ARMTargetInfo::getBuiltinVaListKind() const {
840 return IsAAPCS
841 ? AAPCSABIBuiltinVaList
842 : (getTriple().isWatchABI() ? TargetInfo::CharPtrBuiltinVaList
843 : TargetInfo::VoidPtrBuiltinVaList);
844}
845
846const char *const ARMTargetInfo::GCCRegNames[] = {
847 // Integer registers
848 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r9", "r10", "r11",
849 "r12", "sp", "lr", "pc",
850
851 // Float registers
852 "s0", "s1", "s2", "s3", "s4", "s5", "s6", "s7", "s8", "s9", "s10", "s11",
853 "s12", "s13", "s14", "s15", "s16", "s17", "s18", "s19", "s20", "s21", "s22",
854 "s23", "s24", "s25", "s26", "s27", "s28", "s29", "s30", "s31",
855
856 // Double registers
857 "d0", "d1", "d2", "d3", "d4", "d5", "d6", "d7", "d8", "d9", "d10", "d11",
858 "d12", "d13", "d14", "d15", "d16", "d17", "d18", "d19", "d20", "d21", "d22",
859 "d23", "d24", "d25", "d26", "d27", "d28", "d29", "d30", "d31",
860
861 // Quad registers
862 "q0", "q1", "q2", "q3", "q4", "q5", "q6", "q7", "q8", "q9", "q10", "q11",
863 "q12", "q13", "q14", "q15"};
864
865ArrayRef<const char *> ARMTargetInfo::getGCCRegNames() const {
866 return llvm::makeArrayRef(GCCRegNames);
867}
868
869const TargetInfo::GCCRegAlias ARMTargetInfo::GCCRegAliases[] = {
870 {{"a1"}, "r0"}, {{"a2"}, "r1"}, {{"a3"}, "r2"}, {{"a4"}, "r3"},
871 {{"v1"}, "r4"}, {{"v2"}, "r5"}, {{"v3"}, "r6"}, {{"v4"}, "r7"},
872 {{"v5"}, "r8"}, {{"v6", "rfp"}, "r9"}, {{"sl"}, "r10"}, {{"fp"}, "r11"},
873 {{"ip"}, "r12"}, {{"r13"}, "sp"}, {{"r14"}, "lr"}, {{"r15"}, "pc"},
874 // The S, D and Q registers overlap, but aren't really aliases; we
875 // don't want to substitute one of these for a different-sized one.
876};
877
878ArrayRef<TargetInfo::GCCRegAlias> ARMTargetInfo::getGCCRegAliases() const {
879 return llvm::makeArrayRef(GCCRegAliases);
880}
881
882bool ARMTargetInfo::validateAsmConstraint(
883 const char *&Name, TargetInfo::ConstraintInfo &Info) const {
884 switch (*Name) {
885 default:
886 break;
David Candlera59bffb2019-09-05 15:17:25 +0000887 case 'l': // r0-r7 if thumb, r0-r15 if ARM
Tim Northoverad4c5db2017-07-24 17:06:23 +0000888 Info.setAllowsRegister();
889 return true;
David Candlera59bffb2019-09-05 15:17:25 +0000890 case 'h': // r8-r15, thumb only
891 if (isThumb()) {
892 Info.setAllowsRegister();
893 return true;
894 }
895 break;
896 case 's': // An integer constant, but allowing only relocatable values.
Tim Northoverad4c5db2017-07-24 17:06:23 +0000897 return true;
David Candlera59bffb2019-09-05 15:17:25 +0000898 case 't': // s0-s31, d0-d31, or q0-q15
899 case 'w': // s0-s15, d0-d7, or q0-q3
900 case 'x': // s0-s31, d0-d15, or q0-q7
901 Info.setAllowsRegister();
902 return true;
903 case 'j': // An immediate integer between 0 and 65535 (valid for MOVW)
904 // only available in ARMv6T2 and above
905 if (CPUAttr.equals("6T2") || ArchVersion >= 7) {
906 Info.setRequiresImmediate(0, 65535);
907 return true;
908 }
909 break;
910 case 'I':
911 if (isThumb()) {
912 if (!supportsThumb2())
913 Info.setRequiresImmediate(0, 255);
914 else
915 // FIXME: should check if immediate value would be valid for a Thumb2
916 // data-processing instruction
917 Info.setRequiresImmediate();
918 } else
919 // FIXME: should check if immediate value would be valid for an ARM
920 // data-processing instruction
921 Info.setRequiresImmediate();
922 return true;
923 case 'J':
924 if (isThumb() && !supportsThumb2())
925 Info.setRequiresImmediate(-255, -1);
926 else
927 Info.setRequiresImmediate(-4095, 4095);
928 return true;
929 case 'K':
930 if (isThumb()) {
931 if (!supportsThumb2())
932 // FIXME: should check if immediate value can be obtained from shifting
933 // a value between 0 and 255 left by any amount
934 Info.setRequiresImmediate();
935 else
936 // FIXME: should check if immediate value would be valid for a Thumb2
937 // data-processing instruction when inverted
938 Info.setRequiresImmediate();
939 } else
940 // FIXME: should check if immediate value would be valid for an ARM
941 // data-processing instruction when inverted
942 Info.setRequiresImmediate();
943 return true;
944 case 'L':
945 if (isThumb()) {
946 if (!supportsThumb2())
947 Info.setRequiresImmediate(-7, 7);
948 else
949 // FIXME: should check if immediate value would be valid for a Thumb2
950 // data-processing instruction when negated
951 Info.setRequiresImmediate();
952 } else
953 // FIXME: should check if immediate value would be valid for an ARM
954 // data-processing instruction when negated
955 Info.setRequiresImmediate();
956 return true;
957 case 'M':
958 if (isThumb() && !supportsThumb2())
959 // FIXME: should check if immediate value is a multiple of 4 between 0 and
960 // 1020
961 Info.setRequiresImmediate();
962 else
963 // FIXME: should check if immediate value is a power of two or a integer
964 // between 0 and 32
965 Info.setRequiresImmediate();
966 return true;
967 case 'N':
968 // Thumb1 only
969 if (isThumb() && !supportsThumb2()) {
970 Info.setRequiresImmediate(0, 31);
971 return true;
972 }
973 break;
974 case 'O':
975 // Thumb1 only
976 if (isThumb() && !supportsThumb2()) {
977 // FIXME: should check if immediate value is a multiple of 4 between -508
978 // and 508
979 Info.setRequiresImmediate();
980 return true;
981 }
982 break;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000983 case 'Q': // A memory address that is a single base register.
984 Info.setAllowsMemory();
985 return true;
Simon Tathame8de8ba2019-06-25 16:49:32 +0000986 case 'T':
987 switch (Name[1]) {
988 default:
989 break;
990 case 'e': // Even general-purpose register
991 case 'o': // Odd general-purpose register
992 Info.setAllowsRegister();
993 Name++;
994 return true;
995 }
Yaxun Liud325eb32019-06-26 03:33:03 +0000996 break;
Tim Northoverad4c5db2017-07-24 17:06:23 +0000997 case 'U': // a memory reference...
998 switch (Name[1]) {
999 case 'q': // ...ARMV4 ldrsb
1000 case 'v': // ...VFP load/store (reg+constant offset)
1001 case 'y': // ...iWMMXt load/store
1002 case 't': // address valid for load/store opaque types wider
1003 // than 128-bits
1004 case 'n': // valid address for Neon doubleword vector load/store
1005 case 'm': // valid address for Neon element and structure load/store
1006 case 's': // valid address for non-offset loads/stores of quad-word
1007 // values in four ARM registers
1008 Info.setAllowsMemory();
1009 Name++;
1010 return true;
Erich Keaneebba5922017-07-21 22:37:03 +00001011 }
Yaxun Liud325eb32019-06-26 03:33:03 +00001012 break;
Erich Keaneebba5922017-07-21 22:37:03 +00001013 }
Tim Northoverad4c5db2017-07-24 17:06:23 +00001014 return false;
1015}
Erich Keaneebba5922017-07-21 22:37:03 +00001016
Tim Northoverad4c5db2017-07-24 17:06:23 +00001017std::string ARMTargetInfo::convertConstraint(const char *&Constraint) const {
1018 std::string R;
1019 switch (*Constraint) {
1020 case 'U': // Two-character constraint; add "^" hint for later parsing.
Simon Tathame8de8ba2019-06-25 16:49:32 +00001021 case 'T':
Tim Northoverad4c5db2017-07-24 17:06:23 +00001022 R = std::string("^") + std::string(Constraint, 2);
1023 Constraint++;
Erich Keaneebba5922017-07-21 22:37:03 +00001024 break;
Tim Northoverad4c5db2017-07-24 17:06:23 +00001025 case 'p': // 'p' should be translated to 'r' by default.
1026 R = std::string("r");
Erich Keaneebba5922017-07-21 22:37:03 +00001027 break;
Tim Northoverad4c5db2017-07-24 17:06:23 +00001028 default:
1029 return std::string(1, *Constraint);
Erich Keaneebba5922017-07-21 22:37:03 +00001030 }
Tim Northoverad4c5db2017-07-24 17:06:23 +00001031 return R;
1032}
Erich Keaneebba5922017-07-21 22:37:03 +00001033
Tim Northoverad4c5db2017-07-24 17:06:23 +00001034bool ARMTargetInfo::validateConstraintModifier(
1035 StringRef Constraint, char Modifier, unsigned Size,
1036 std::string &SuggestedModifier) const {
1037 bool isOutput = (Constraint[0] == '=');
1038 bool isInOut = (Constraint[0] == '+');
1039
1040 // Strip off constraint modifiers.
1041 while (Constraint[0] == '=' || Constraint[0] == '+' || Constraint[0] == '&')
1042 Constraint = Constraint.substr(1);
1043
1044 switch (Constraint[0]) {
1045 default:
1046 break;
1047 case 'r': {
1048 switch (Modifier) {
1049 default:
1050 return (isInOut || isOutput || Size <= 64);
1051 case 'q':
1052 // A register of size 32 cannot fit a vector type.
1053 return false;
1054 }
Erich Keaneebba5922017-07-21 22:37:03 +00001055 }
Tim Northoverad4c5db2017-07-24 17:06:23 +00001056 }
Erich Keaneebba5922017-07-21 22:37:03 +00001057
1058 return true;
1059}
Tim Northoverad4c5db2017-07-24 17:06:23 +00001060const char *ARMTargetInfo::getClobbers() const {
1061 // FIXME: Is this really right?
1062 return "";
Erich Keaneebba5922017-07-21 22:37:03 +00001063}
1064
Tim Northoverad4c5db2017-07-24 17:06:23 +00001065TargetInfo::CallingConvCheckResult
1066ARMTargetInfo::checkCallingConvention(CallingConv CC) const {
1067 switch (CC) {
1068 case CC_AAPCS:
1069 case CC_AAPCS_VFP:
1070 case CC_Swift:
1071 case CC_OpenCLKernel:
1072 return CCCR_OK;
1073 default:
1074 return CCCR_Warning;
1075 }
1076}
1077
1078int ARMTargetInfo::getEHDataRegisterNumber(unsigned RegNo) const {
1079 if (RegNo == 0)
1080 return 0;
1081 if (RegNo == 1)
1082 return 1;
1083 return -1;
1084}
1085
1086bool ARMTargetInfo::hasSjLjLowering() const { return true; }
1087
1088ARMleTargetInfo::ARMleTargetInfo(const llvm::Triple &Triple,
1089 const TargetOptions &Opts)
1090 : ARMTargetInfo(Triple, Opts) {}
1091
Erich Keaneebba5922017-07-21 22:37:03 +00001092void ARMleTargetInfo::getTargetDefines(const LangOptions &Opts,
1093 MacroBuilder &Builder) const {
1094 Builder.defineMacro("__ARMEL__");
1095 ARMTargetInfo::getTargetDefines(Opts, Builder);
1096}
1097
Tim Northoverad4c5db2017-07-24 17:06:23 +00001098ARMbeTargetInfo::ARMbeTargetInfo(const llvm::Triple &Triple,
1099 const TargetOptions &Opts)
1100 : ARMTargetInfo(Triple, Opts) {}
1101
Erich Keaneebba5922017-07-21 22:37:03 +00001102void ARMbeTargetInfo::getTargetDefines(const LangOptions &Opts,
1103 MacroBuilder &Builder) const {
1104 Builder.defineMacro("__ARMEB__");
1105 Builder.defineMacro("__ARM_BIG_ENDIAN");
1106 ARMTargetInfo::getTargetDefines(Opts, Builder);
1107}
1108
Tim Northoverad4c5db2017-07-24 17:06:23 +00001109WindowsARMTargetInfo::WindowsARMTargetInfo(const llvm::Triple &Triple,
1110 const TargetOptions &Opts)
1111 : WindowsTargetInfo<ARMleTargetInfo>(Triple, Opts), Triple(Triple) {
Tim Northoverad4c5db2017-07-24 17:06:23 +00001112}
1113
Erich Keaneebba5922017-07-21 22:37:03 +00001114void WindowsARMTargetInfo::getVisualStudioDefines(const LangOptions &Opts,
1115 MacroBuilder &Builder) const {
Erich Keaneebba5922017-07-21 22:37:03 +00001116 // FIXME: this is invalid for WindowsCE
1117 Builder.defineMacro("_M_ARM_NT", "1");
1118 Builder.defineMacro("_M_ARMT", "_M_ARM");
1119 Builder.defineMacro("_M_THUMB", "_M_ARM");
1120
1121 assert((Triple.getArch() == llvm::Triple::arm ||
1122 Triple.getArch() == llvm::Triple::thumb) &&
1123 "invalid architecture for Windows ARM target info");
1124 unsigned Offset = Triple.getArch() == llvm::Triple::arm ? 4 : 6;
1125 Builder.defineMacro("_M_ARM", Triple.getArchName().substr(Offset));
1126
1127 // TODO map the complete set of values
1128 // 31: VFPv3 40: VFPv4
1129 Builder.defineMacro("_M_ARM_FP", "31");
1130}
1131
Tim Northoverad4c5db2017-07-24 17:06:23 +00001132TargetInfo::BuiltinVaListKind
1133WindowsARMTargetInfo::getBuiltinVaListKind() const {
1134 return TargetInfo::CharPtrBuiltinVaList;
1135}
1136
1137TargetInfo::CallingConvCheckResult
1138WindowsARMTargetInfo::checkCallingConvention(CallingConv CC) const {
1139 switch (CC) {
1140 case CC_X86StdCall:
1141 case CC_X86ThisCall:
1142 case CC_X86FastCall:
1143 case CC_X86VectorCall:
1144 return CCCR_Ignore;
1145 case CC_C:
1146 case CC_OpenCLKernel:
Saleem Abdulrasool29149d52018-03-20 17:33:26 +00001147 case CC_PreserveMost:
1148 case CC_PreserveAll:
Saleem Abdulrasoolf5878572018-12-06 03:28:37 +00001149 case CC_Swift:
Tim Northoverad4c5db2017-07-24 17:06:23 +00001150 return CCCR_OK;
1151 default:
1152 return CCCR_Warning;
1153 }
1154}
1155
1156// Windows ARM + Itanium C++ ABI Target
1157ItaniumWindowsARMleTargetInfo::ItaniumWindowsARMleTargetInfo(
1158 const llvm::Triple &Triple, const TargetOptions &Opts)
1159 : WindowsARMTargetInfo(Triple, Opts) {
1160 TheCXXABI.set(TargetCXXABI::GenericARM);
1161}
1162
1163void ItaniumWindowsARMleTargetInfo::getTargetDefines(
1164 const LangOptions &Opts, MacroBuilder &Builder) const {
1165 WindowsARMTargetInfo::getTargetDefines(Opts, Builder);
1166
1167 if (Opts.MSVCCompat)
1168 WindowsARMTargetInfo::getVisualStudioDefines(Opts, Builder);
1169}
1170
1171// Windows ARM, MS (C++) ABI
1172MicrosoftARMleTargetInfo::MicrosoftARMleTargetInfo(const llvm::Triple &Triple,
1173 const TargetOptions &Opts)
1174 : WindowsARMTargetInfo(Triple, Opts) {
1175 TheCXXABI.set(TargetCXXABI::Microsoft);
1176}
1177
1178void MicrosoftARMleTargetInfo::getTargetDefines(const LangOptions &Opts,
1179 MacroBuilder &Builder) const {
1180 WindowsARMTargetInfo::getTargetDefines(Opts, Builder);
1181 WindowsARMTargetInfo::getVisualStudioDefines(Opts, Builder);
1182}
1183
1184MinGWARMTargetInfo::MinGWARMTargetInfo(const llvm::Triple &Triple,
1185 const TargetOptions &Opts)
1186 : WindowsARMTargetInfo(Triple, Opts) {
1187 TheCXXABI.set(TargetCXXABI::GenericARM);
1188}
1189
Erich Keaneebba5922017-07-21 22:37:03 +00001190void MinGWARMTargetInfo::getTargetDefines(const LangOptions &Opts,
1191 MacroBuilder &Builder) const {
1192 WindowsARMTargetInfo::getTargetDefines(Opts, Builder);
Erich Keaneebba5922017-07-21 22:37:03 +00001193 Builder.defineMacro("_ARM_");
Erich Keaneebba5922017-07-21 22:37:03 +00001194}
1195
Tim Northoverad4c5db2017-07-24 17:06:23 +00001196CygwinARMTargetInfo::CygwinARMTargetInfo(const llvm::Triple &Triple,
1197 const TargetOptions &Opts)
1198 : ARMleTargetInfo(Triple, Opts) {
Saleem Abdulrasool729379a2017-10-06 23:09:55 +00001199 this->WCharType = TargetInfo::UnsignedShort;
Tim Northoverad4c5db2017-07-24 17:06:23 +00001200 TLSSupported = false;
Tim Northoverad4c5db2017-07-24 17:06:23 +00001201 DoubleAlign = LongLongAlign = 64;
Michael Platings308e82e2019-03-08 10:44:06 +00001202 resetDataLayout("e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64");
Tim Northoverad4c5db2017-07-24 17:06:23 +00001203}
1204
Erich Keaneebba5922017-07-21 22:37:03 +00001205void CygwinARMTargetInfo::getTargetDefines(const LangOptions &Opts,
1206 MacroBuilder &Builder) const {
1207 ARMleTargetInfo::getTargetDefines(Opts, Builder);
1208 Builder.defineMacro("_ARM_");
1209 Builder.defineMacro("__CYGWIN__");
1210 Builder.defineMacro("__CYGWIN32__");
1211 DefineStd(Builder, "unix", Opts);
1212 if (Opts.CPlusPlus)
1213 Builder.defineMacro("_GNU_SOURCE");
1214}
1215
Tim Northoverad4c5db2017-07-24 17:06:23 +00001216DarwinARMTargetInfo::DarwinARMTargetInfo(const llvm::Triple &Triple,
1217 const TargetOptions &Opts)
1218 : DarwinTargetInfo<ARMleTargetInfo>(Triple, Opts) {
1219 HasAlignMac68kSupport = true;
1220 // iOS always has 64-bit atomic instructions.
1221 // FIXME: This should be based off of the target features in
1222 // ARMleTargetInfo.
1223 MaxAtomicInlineWidth = 64;
1224
1225 if (Triple.isWatchABI()) {
1226 // Darwin on iOS uses a variant of the ARM C++ ABI.
1227 TheCXXABI.set(TargetCXXABI::WatchOS);
1228
Tim Northoverad4c5db2017-07-24 17:06:23 +00001229 // BOOL should be a real boolean on the new ABI
1230 UseSignedCharForObjCBool = false;
1231 } else
1232 TheCXXABI.set(TargetCXXABI::iOS);
1233}
1234
1235void DarwinARMTargetInfo::getOSDefines(const LangOptions &Opts,
1236 const llvm::Triple &Triple,
1237 MacroBuilder &Builder) const {
1238 getDarwinDefines(Builder, Opts, Triple, PlatformName, PlatformMinVersion);
1239}
1240
1241RenderScript32TargetInfo::RenderScript32TargetInfo(const llvm::Triple &Triple,
1242 const TargetOptions &Opts)
1243 : ARMleTargetInfo(llvm::Triple("armv7", Triple.getVendorName(),
1244 Triple.getOSName(),
1245 Triple.getEnvironmentName()),
1246 Opts) {
1247 IsRenderScriptTarget = true;
1248 LongWidth = LongAlign = 64;
1249}
1250
Erich Keaneebba5922017-07-21 22:37:03 +00001251void RenderScript32TargetInfo::getTargetDefines(const LangOptions &Opts,
1252 MacroBuilder &Builder) const {
1253 Builder.defineMacro("__RENDERSCRIPT__");
1254 ARMleTargetInfo::getTargetDefines(Opts, Builder);
1255}