Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===--- TargetInfo.h - Expose information about the target -----*- C++ -*-===// |
| 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 | /// \file |
||
| 10 | /// Defines the clang::TargetInfo interface. |
||
| 11 | /// |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_CLANG_BASIC_TARGETINFO_H |
||
| 15 | #define LLVM_CLANG_BASIC_TARGETINFO_H |
||
| 16 | |||
| 17 | #include "clang/Basic/AddressSpaces.h" |
||
| 18 | #include "clang/Basic/BitmaskEnum.h" |
||
| 19 | #include "clang/Basic/CodeGenOptions.h" |
||
| 20 | #include "clang/Basic/LLVM.h" |
||
| 21 | #include "clang/Basic/LangOptions.h" |
||
| 22 | #include "clang/Basic/Specifiers.h" |
||
| 23 | #include "clang/Basic/TargetCXXABI.h" |
||
| 24 | #include "clang/Basic/TargetOptions.h" |
||
| 25 | #include "llvm/ADT/APFloat.h" |
||
| 26 | #include "llvm/ADT/APInt.h" |
||
| 27 | #include "llvm/ADT/ArrayRef.h" |
||
| 28 | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
||
| 29 | #include "llvm/ADT/SmallSet.h" |
||
| 30 | #include "llvm/ADT/StringMap.h" |
||
| 31 | #include "llvm/ADT/StringRef.h" |
||
| 32 | #include "llvm/ADT/Triple.h" |
||
| 33 | #include "llvm/Frontend/OpenMP/OMPGridValues.h" |
||
| 34 | #include "llvm/IR/DerivedTypes.h" |
||
| 35 | #include "llvm/Support/DataTypes.h" |
||
| 36 | #include "llvm/Support/Error.h" |
||
| 37 | #include "llvm/Support/VersionTuple.h" |
||
| 38 | #include <cassert> |
||
| 39 | #include <optional> |
||
| 40 | #include <string> |
||
| 41 | #include <vector> |
||
| 42 | |||
| 43 | namespace llvm { |
||
| 44 | struct fltSemantics; |
||
| 45 | } |
||
| 46 | |||
| 47 | namespace clang { |
||
| 48 | class DiagnosticsEngine; |
||
| 49 | class LangOptions; |
||
| 50 | class CodeGenOptions; |
||
| 51 | class MacroBuilder; |
||
| 52 | |||
| 53 | /// Contains information gathered from parsing the contents of TargetAttr. |
||
| 54 | struct ParsedTargetAttr { |
||
| 55 | std::vector<std::string> Features; |
||
| 56 | StringRef CPU; |
||
| 57 | StringRef Tune; |
||
| 58 | StringRef BranchProtection; |
||
| 59 | StringRef Duplicate; |
||
| 60 | bool operator ==(const ParsedTargetAttr &Other) const { |
||
| 61 | return Duplicate == Other.Duplicate && CPU == Other.CPU && |
||
| 62 | Tune == Other.Tune && BranchProtection == Other.BranchProtection && |
||
| 63 | Features == Other.Features; |
||
| 64 | } |
||
| 65 | }; |
||
| 66 | |||
| 67 | namespace Builtin { struct Info; } |
||
| 68 | |||
| 69 | enum class FloatModeKind { |
||
| 70 | NoFloat = 0, |
||
| 71 | Half = 1 << 0, |
||
| 72 | Float = 1 << 1, |
||
| 73 | Double = 1 << 2, |
||
| 74 | LongDouble = 1 << 3, |
||
| 75 | Float128 = 1 << 4, |
||
| 76 | Ibm128 = 1 << 5, |
||
| 77 | LLVM_MARK_AS_BITMASK_ENUM(Ibm128) |
||
| 78 | }; |
||
| 79 | |||
| 80 | /// Fields controlling how types are laid out in memory; these may need to |
||
| 81 | /// be copied for targets like AMDGPU that base their ABIs on an auxiliary |
||
| 82 | /// CPU target. |
||
| 83 | struct TransferrableTargetInfo { |
||
| 84 | unsigned char PointerWidth, PointerAlign; |
||
| 85 | unsigned char BoolWidth, BoolAlign; |
||
| 86 | unsigned char IntWidth, IntAlign; |
||
| 87 | unsigned char HalfWidth, HalfAlign; |
||
| 88 | unsigned char BFloat16Width, BFloat16Align; |
||
| 89 | unsigned char FloatWidth, FloatAlign; |
||
| 90 | unsigned char DoubleWidth, DoubleAlign; |
||
| 91 | unsigned char LongDoubleWidth, LongDoubleAlign, Float128Align, Ibm128Align; |
||
| 92 | unsigned char LargeArrayMinWidth, LargeArrayAlign; |
||
| 93 | unsigned char LongWidth, LongAlign; |
||
| 94 | unsigned char LongLongWidth, LongLongAlign; |
||
| 95 | unsigned char Int128Align; |
||
| 96 | |||
| 97 | // Fixed point bit widths |
||
| 98 | unsigned char ShortAccumWidth, ShortAccumAlign; |
||
| 99 | unsigned char AccumWidth, AccumAlign; |
||
| 100 | unsigned char LongAccumWidth, LongAccumAlign; |
||
| 101 | unsigned char ShortFractWidth, ShortFractAlign; |
||
| 102 | unsigned char FractWidth, FractAlign; |
||
| 103 | unsigned char LongFractWidth, LongFractAlign; |
||
| 104 | |||
| 105 | // If true, unsigned fixed point types have the same number of fractional bits |
||
| 106 | // as their signed counterparts, forcing the unsigned types to have one extra |
||
| 107 | // bit of padding. Otherwise, unsigned fixed point types have |
||
| 108 | // one more fractional bit than its corresponding signed type. This is false |
||
| 109 | // by default. |
||
| 110 | bool PaddingOnUnsignedFixedPoint; |
||
| 111 | |||
| 112 | // Fixed point integral and fractional bit sizes |
||
| 113 | // Saturated types share the same integral/fractional bits as their |
||
| 114 | // corresponding unsaturated types. |
||
| 115 | // For simplicity, the fractional bits in a _Fract type will be one less the |
||
| 116 | // width of that _Fract type. This leaves all signed _Fract types having no |
||
| 117 | // padding and unsigned _Fract types will only have 1 bit of padding after the |
||
| 118 | // sign if PaddingOnUnsignedFixedPoint is set. |
||
| 119 | unsigned char ShortAccumScale; |
||
| 120 | unsigned char AccumScale; |
||
| 121 | unsigned char LongAccumScale; |
||
| 122 | |||
| 123 | unsigned char DefaultAlignForAttributeAligned; |
||
| 124 | unsigned char MinGlobalAlign; |
||
| 125 | |||
| 126 | unsigned short SuitableAlign; |
||
| 127 | unsigned short NewAlign; |
||
| 128 | unsigned MaxVectorAlign; |
||
| 129 | unsigned MaxTLSAlign; |
||
| 130 | |||
| 131 | const llvm::fltSemantics *HalfFormat, *BFloat16Format, *FloatFormat, |
||
| 132 | *DoubleFormat, *LongDoubleFormat, *Float128Format, *Ibm128Format; |
||
| 133 | |||
| 134 | ///===---- Target Data Type Query Methods -------------------------------===// |
||
| 135 | enum IntType { |
||
| 136 | NoInt = 0, |
||
| 137 | SignedChar, |
||
| 138 | UnsignedChar, |
||
| 139 | SignedShort, |
||
| 140 | UnsignedShort, |
||
| 141 | SignedInt, |
||
| 142 | UnsignedInt, |
||
| 143 | SignedLong, |
||
| 144 | UnsignedLong, |
||
| 145 | SignedLongLong, |
||
| 146 | UnsignedLongLong |
||
| 147 | }; |
||
| 148 | |||
| 149 | protected: |
||
| 150 | IntType SizeType, IntMaxType, PtrDiffType, IntPtrType, WCharType, WIntType, |
||
| 151 | Char16Type, Char32Type, Int64Type, Int16Type, SigAtomicType, |
||
| 152 | ProcessIDType; |
||
| 153 | |||
| 154 | /// Whether Objective-C's built-in boolean type should be signed char. |
||
| 155 | /// |
||
| 156 | /// Otherwise, when this flag is not set, the normal built-in boolean type is |
||
| 157 | /// used. |
||
| 158 | unsigned UseSignedCharForObjCBool : 1; |
||
| 159 | |||
| 160 | /// Control whether the alignment of bit-field types is respected when laying |
||
| 161 | /// out structures. If true, then the alignment of the bit-field type will be |
||
| 162 | /// used to (a) impact the alignment of the containing structure, and (b) |
||
| 163 | /// ensure that the individual bit-field will not straddle an alignment |
||
| 164 | /// boundary. |
||
| 165 | unsigned UseBitFieldTypeAlignment : 1; |
||
| 166 | |||
| 167 | /// Whether zero length bitfields (e.g., int : 0;) force alignment of |
||
| 168 | /// the next bitfield. |
||
| 169 | /// |
||
| 170 | /// If the alignment of the zero length bitfield is greater than the member |
||
| 171 | /// that follows it, `bar', `bar' will be aligned as the type of the |
||
| 172 | /// zero-length bitfield. |
||
| 173 | unsigned UseZeroLengthBitfieldAlignment : 1; |
||
| 174 | |||
| 175 | /// Whether zero length bitfield alignment is respected if they are the |
||
| 176 | /// leading members. |
||
| 177 | unsigned UseLeadingZeroLengthBitfield : 1; |
||
| 178 | |||
| 179 | /// Whether explicit bit field alignment attributes are honored. |
||
| 180 | unsigned UseExplicitBitFieldAlignment : 1; |
||
| 181 | |||
| 182 | /// If non-zero, specifies a fixed alignment value for bitfields that follow |
||
| 183 | /// zero length bitfield, regardless of the zero length bitfield type. |
||
| 184 | unsigned ZeroLengthBitfieldBoundary; |
||
| 185 | |||
| 186 | /// If non-zero, specifies a maximum alignment to truncate alignment |
||
| 187 | /// specified in the aligned attribute of a static variable to this value. |
||
| 188 | unsigned MaxAlignedAttribute; |
||
| 189 | }; |
||
| 190 | |||
| 191 | /// OpenCL type kinds. |
||
| 192 | enum OpenCLTypeKind : uint8_t { |
||
| 193 | OCLTK_Default, |
||
| 194 | OCLTK_ClkEvent, |
||
| 195 | OCLTK_Event, |
||
| 196 | OCLTK_Image, |
||
| 197 | OCLTK_Pipe, |
||
| 198 | OCLTK_Queue, |
||
| 199 | OCLTK_ReserveID, |
||
| 200 | OCLTK_Sampler, |
||
| 201 | }; |
||
| 202 | |||
| 203 | /// Exposes information about the current target. |
||
| 204 | /// |
||
| 205 | class TargetInfo : public virtual TransferrableTargetInfo, |
||
| 206 | public RefCountedBase<TargetInfo> { |
||
| 207 | std::shared_ptr<TargetOptions> TargetOpts; |
||
| 208 | llvm::Triple Triple; |
||
| 209 | protected: |
||
| 210 | // Target values set by the ctor of the actual target implementation. Default |
||
| 211 | // values are specified by the TargetInfo constructor. |
||
| 212 | bool BigEndian; |
||
| 213 | bool TLSSupported; |
||
| 214 | bool VLASupported; |
||
| 215 | bool NoAsmVariants; // True if {|} are normal characters. |
||
| 216 | bool HasLegalHalfType; // True if the backend supports operations on the half |
||
| 217 | // LLVM IR type. |
||
| 218 | bool HalfArgsAndReturns; |
||
| 219 | bool HasFloat128; |
||
| 220 | bool HasFloat16; |
||
| 221 | bool HasBFloat16; |
||
| 222 | bool HasIbm128; |
||
| 223 | bool HasLongDouble; |
||
| 224 | bool HasFPReturn; |
||
| 225 | bool HasStrictFP; |
||
| 226 | |||
| 227 | unsigned char MaxAtomicPromoteWidth, MaxAtomicInlineWidth; |
||
| 228 | unsigned short SimdDefaultAlign; |
||
| 229 | std::string DataLayoutString; |
||
| 230 | const char *UserLabelPrefix; |
||
| 231 | const char *MCountName; |
||
| 232 | unsigned char RegParmMax, SSERegParmMax; |
||
| 233 | TargetCXXABI TheCXXABI; |
||
| 234 | const LangASMap *AddrSpaceMap; |
||
| 235 | |||
| 236 | mutable StringRef PlatformName; |
||
| 237 | mutable VersionTuple PlatformMinVersion; |
||
| 238 | |||
| 239 | unsigned HasAlignMac68kSupport : 1; |
||
| 240 | unsigned RealTypeUsesObjCFPRetMask : llvm::BitWidth<FloatModeKind>; |
||
| 241 | unsigned ComplexLongDoubleUsesFP2Ret : 1; |
||
| 242 | |||
| 243 | unsigned HasBuiltinMSVaList : 1; |
||
| 244 | |||
| 245 | unsigned IsRenderScriptTarget : 1; |
||
| 246 | |||
| 247 | unsigned HasAArch64SVETypes : 1; |
||
| 248 | |||
| 249 | unsigned HasRISCVVTypes : 1; |
||
| 250 | |||
| 251 | unsigned AllowAMDGPUUnsafeFPAtomics : 1; |
||
| 252 | |||
| 253 | unsigned ARMCDECoprocMask : 8; |
||
| 254 | |||
| 255 | unsigned MaxOpenCLWorkGroupSize; |
||
| 256 | |||
| 257 | std::optional<unsigned> MaxBitIntWidth; |
||
| 258 | |||
| 259 | std::optional<llvm::Triple> DarwinTargetVariantTriple; |
||
| 260 | |||
| 261 | // TargetInfo Constructor. Default initializes all fields. |
||
| 262 | TargetInfo(const llvm::Triple &T); |
||
| 263 | |||
| 264 | // UserLabelPrefix must match DL's getGlobalPrefix() when interpreted |
||
| 265 | // as a DataLayout object. |
||
| 266 | void resetDataLayout(StringRef DL, const char *UserLabelPrefix = ""); |
||
| 267 | |||
| 268 | public: |
||
| 269 | /// Construct a target for the given options. |
||
| 270 | /// |
||
| 271 | /// \param Opts - The options to use to initialize the target. The target may |
||
| 272 | /// modify the options to canonicalize the target feature information to match |
||
| 273 | /// what the backend expects. |
||
| 274 | static TargetInfo * |
||
| 275 | CreateTargetInfo(DiagnosticsEngine &Diags, |
||
| 276 | const std::shared_ptr<TargetOptions> &Opts); |
||
| 277 | |||
| 278 | virtual ~TargetInfo(); |
||
| 279 | |||
| 280 | /// Retrieve the target options. |
||
| 281 | TargetOptions &getTargetOpts() const { |
||
| 282 | assert(TargetOpts && "Missing target options"); |
||
| 283 | return *TargetOpts; |
||
| 284 | } |
||
| 285 | |||
| 286 | /// The different kinds of __builtin_va_list types defined by |
||
| 287 | /// the target implementation. |
||
| 288 | enum BuiltinVaListKind { |
||
| 289 | /// typedef char* __builtin_va_list; |
||
| 290 | CharPtrBuiltinVaList = 0, |
||
| 291 | |||
| 292 | /// typedef void* __builtin_va_list; |
||
| 293 | VoidPtrBuiltinVaList, |
||
| 294 | |||
| 295 | /// __builtin_va_list as defined by the AArch64 ABI |
||
| 296 | /// http://infocenter.arm.com/help/topic/com.arm.doc.ihi0055a/IHI0055A_aapcs64.pdf |
||
| 297 | AArch64ABIBuiltinVaList, |
||
| 298 | |||
| 299 | /// __builtin_va_list as defined by the PNaCl ABI: |
||
| 300 | /// http://www.chromium.org/nativeclient/pnacl/bitcode-abi#TOC-Machine-Types |
||
| 301 | PNaClABIBuiltinVaList, |
||
| 302 | |||
| 303 | /// __builtin_va_list as defined by the Power ABI: |
||
| 304 | /// https://www.power.org |
||
| 305 | /// /resources/downloads/Power-Arch-32-bit-ABI-supp-1.0-Embedded.pdf |
||
| 306 | PowerABIBuiltinVaList, |
||
| 307 | |||
| 308 | /// __builtin_va_list as defined by the x86-64 ABI: |
||
| 309 | /// http://refspecs.linuxbase.org/elf/x86_64-abi-0.21.pdf |
||
| 310 | X86_64ABIBuiltinVaList, |
||
| 311 | |||
| 312 | /// __builtin_va_list as defined by ARM AAPCS ABI |
||
| 313 | /// http://infocenter.arm.com |
||
| 314 | // /help/topic/com.arm.doc.ihi0042d/IHI0042D_aapcs.pdf |
||
| 315 | AAPCSABIBuiltinVaList, |
||
| 316 | |||
| 317 | // typedef struct __va_list_tag |
||
| 318 | // { |
||
| 319 | // long __gpr; |
||
| 320 | // long __fpr; |
||
| 321 | // void *__overflow_arg_area; |
||
| 322 | // void *__reg_save_area; |
||
| 323 | // } va_list[1]; |
||
| 324 | SystemZBuiltinVaList, |
||
| 325 | |||
| 326 | // typedef struct __va_list_tag { |
||
| 327 | // void *__current_saved_reg_area_pointer; |
||
| 328 | // void *__saved_reg_area_end_pointer; |
||
| 329 | // void *__overflow_area_pointer; |
||
| 330 | //} va_list; |
||
| 331 | HexagonBuiltinVaList |
||
| 332 | }; |
||
| 333 | |||
| 334 | protected: |
||
| 335 | /// Specify if mangling based on address space map should be used or |
||
| 336 | /// not for language specific address spaces |
||
| 337 | bool UseAddrSpaceMapMangling; |
||
| 338 | |||
| 339 | public: |
||
| 340 | IntType getSizeType() const { return SizeType; } |
||
| 341 | IntType getSignedSizeType() const { |
||
| 342 | switch (SizeType) { |
||
| 343 | case UnsignedShort: |
||
| 344 | return SignedShort; |
||
| 345 | case UnsignedInt: |
||
| 346 | return SignedInt; |
||
| 347 | case UnsignedLong: |
||
| 348 | return SignedLong; |
||
| 349 | case UnsignedLongLong: |
||
| 350 | return SignedLongLong; |
||
| 351 | default: |
||
| 352 | llvm_unreachable("Invalid SizeType"); |
||
| 353 | } |
||
| 354 | } |
||
| 355 | IntType getIntMaxType() const { return IntMaxType; } |
||
| 356 | IntType getUIntMaxType() const { |
||
| 357 | return getCorrespondingUnsignedType(IntMaxType); |
||
| 358 | } |
||
| 359 | IntType getPtrDiffType(LangAS AddrSpace) const { |
||
| 360 | return AddrSpace == LangAS::Default ? PtrDiffType |
||
| 361 | : getPtrDiffTypeV(AddrSpace); |
||
| 362 | } |
||
| 363 | IntType getUnsignedPtrDiffType(LangAS AddrSpace) const { |
||
| 364 | return getCorrespondingUnsignedType(getPtrDiffType(AddrSpace)); |
||
| 365 | } |
||
| 366 | IntType getIntPtrType() const { return IntPtrType; } |
||
| 367 | IntType getUIntPtrType() const { |
||
| 368 | return getCorrespondingUnsignedType(IntPtrType); |
||
| 369 | } |
||
| 370 | IntType getWCharType() const { return WCharType; } |
||
| 371 | IntType getWIntType() const { return WIntType; } |
||
| 372 | IntType getChar16Type() const { return Char16Type; } |
||
| 373 | IntType getChar32Type() const { return Char32Type; } |
||
| 374 | IntType getInt64Type() const { return Int64Type; } |
||
| 375 | IntType getUInt64Type() const { |
||
| 376 | return getCorrespondingUnsignedType(Int64Type); |
||
| 377 | } |
||
| 378 | IntType getInt16Type() const { return Int16Type; } |
||
| 379 | IntType getUInt16Type() const { |
||
| 380 | return getCorrespondingUnsignedType(Int16Type); |
||
| 381 | } |
||
| 382 | IntType getSigAtomicType() const { return SigAtomicType; } |
||
| 383 | IntType getProcessIDType() const { return ProcessIDType; } |
||
| 384 | |||
| 385 | static IntType getCorrespondingUnsignedType(IntType T) { |
||
| 386 | switch (T) { |
||
| 387 | case SignedChar: |
||
| 388 | return UnsignedChar; |
||
| 389 | case SignedShort: |
||
| 390 | return UnsignedShort; |
||
| 391 | case SignedInt: |
||
| 392 | return UnsignedInt; |
||
| 393 | case SignedLong: |
||
| 394 | return UnsignedLong; |
||
| 395 | case SignedLongLong: |
||
| 396 | return UnsignedLongLong; |
||
| 397 | default: |
||
| 398 | llvm_unreachable("Unexpected signed integer type"); |
||
| 399 | } |
||
| 400 | } |
||
| 401 | |||
| 402 | /// In the event this target uses the same number of fractional bits for its |
||
| 403 | /// unsigned types as it does with its signed counterparts, there will be |
||
| 404 | /// exactly one bit of padding. |
||
| 405 | /// Return true if unsigned fixed point types have padding for this target. |
||
| 406 | bool doUnsignedFixedPointTypesHavePadding() const { |
||
| 407 | return PaddingOnUnsignedFixedPoint; |
||
| 408 | } |
||
| 409 | |||
| 410 | /// Return the width (in bits) of the specified integer type enum. |
||
| 411 | /// |
||
| 412 | /// For example, SignedInt -> getIntWidth(). |
||
| 413 | unsigned getTypeWidth(IntType T) const; |
||
| 414 | |||
| 415 | /// Return integer type with specified width. |
||
| 416 | virtual IntType getIntTypeByWidth(unsigned BitWidth, bool IsSigned) const; |
||
| 417 | |||
| 418 | /// Return the smallest integer type with at least the specified width. |
||
| 419 | virtual IntType getLeastIntTypeByWidth(unsigned BitWidth, |
||
| 420 | bool IsSigned) const; |
||
| 421 | |||
| 422 | /// Return floating point type with specified width. On PPC, there are |
||
| 423 | /// three possible types for 128-bit floating point: "PPC double-double", |
||
| 424 | /// IEEE 754R quad precision, and "long double" (which under the covers |
||
| 425 | /// is represented as one of those two). At this time, there is no support |
||
| 426 | /// for an explicit "PPC double-double" type (i.e. __ibm128) so we only |
||
| 427 | /// need to differentiate between "long double" and IEEE quad precision. |
||
| 428 | FloatModeKind getRealTypeByWidth(unsigned BitWidth, |
||
| 429 | FloatModeKind ExplicitType) const; |
||
| 430 | |||
| 431 | /// Return the alignment (in bits) of the specified integer type enum. |
||
| 432 | /// |
||
| 433 | /// For example, SignedInt -> getIntAlign(). |
||
| 434 | unsigned getTypeAlign(IntType T) const; |
||
| 435 | |||
| 436 | /// Returns true if the type is signed; false otherwise. |
||
| 437 | static bool isTypeSigned(IntType T); |
||
| 438 | |||
| 439 | /// Return the width of pointers on this target, for the |
||
| 440 | /// specified address space. |
||
| 441 | uint64_t getPointerWidth(LangAS AddrSpace) const { |
||
| 442 | return AddrSpace == LangAS::Default ? PointerWidth |
||
| 443 | : getPointerWidthV(AddrSpace); |
||
| 444 | } |
||
| 445 | uint64_t getPointerAlign(LangAS AddrSpace) const { |
||
| 446 | return AddrSpace == LangAS::Default ? PointerAlign |
||
| 447 | : getPointerAlignV(AddrSpace); |
||
| 448 | } |
||
| 449 | |||
| 450 | /// Return the maximum width of pointers on this target. |
||
| 451 | virtual uint64_t getMaxPointerWidth() const { |
||
| 452 | return PointerWidth; |
||
| 453 | } |
||
| 454 | |||
| 455 | /// Get integer value for null pointer. |
||
| 456 | /// \param AddrSpace address space of pointee in source language. |
||
| 457 | virtual uint64_t getNullPointerValue(LangAS AddrSpace) const { return 0; } |
||
| 458 | |||
| 459 | /// Return the size of '_Bool' and C++ 'bool' for this target, in bits. |
||
| 460 | unsigned getBoolWidth() const { return BoolWidth; } |
||
| 461 | |||
| 462 | /// Return the alignment of '_Bool' and C++ 'bool' for this target. |
||
| 463 | unsigned getBoolAlign() const { return BoolAlign; } |
||
| 464 | |||
| 465 | unsigned getCharWidth() const { return 8; } // FIXME |
||
| 466 | unsigned getCharAlign() const { return 8; } // FIXME |
||
| 467 | |||
| 468 | /// Return the size of 'signed short' and 'unsigned short' for this |
||
| 469 | /// target, in bits. |
||
| 470 | unsigned getShortWidth() const { return 16; } // FIXME |
||
| 471 | |||
| 472 | /// Return the alignment of 'signed short' and 'unsigned short' for |
||
| 473 | /// this target. |
||
| 474 | unsigned getShortAlign() const { return 16; } // FIXME |
||
| 475 | |||
| 476 | /// getIntWidth/Align - Return the size of 'signed int' and 'unsigned int' for |
||
| 477 | /// this target, in bits. |
||
| 478 | unsigned getIntWidth() const { return IntWidth; } |
||
| 479 | unsigned getIntAlign() const { return IntAlign; } |
||
| 480 | |||
| 481 | /// getLongWidth/Align - Return the size of 'signed long' and 'unsigned long' |
||
| 482 | /// for this target, in bits. |
||
| 483 | unsigned getLongWidth() const { return LongWidth; } |
||
| 484 | unsigned getLongAlign() const { return LongAlign; } |
||
| 485 | |||
| 486 | /// getLongLongWidth/Align - Return the size of 'signed long long' and |
||
| 487 | /// 'unsigned long long' for this target, in bits. |
||
| 488 | unsigned getLongLongWidth() const { return LongLongWidth; } |
||
| 489 | unsigned getLongLongAlign() const { return LongLongAlign; } |
||
| 490 | |||
| 491 | /// getInt128Align() - Returns the alignment of Int128. |
||
| 492 | unsigned getInt128Align() const { return Int128Align; } |
||
| 493 | |||
| 494 | /// getShortAccumWidth/Align - Return the size of 'signed short _Accum' and |
||
| 495 | /// 'unsigned short _Accum' for this target, in bits. |
||
| 496 | unsigned getShortAccumWidth() const { return ShortAccumWidth; } |
||
| 497 | unsigned getShortAccumAlign() const { return ShortAccumAlign; } |
||
| 498 | |||
| 499 | /// getAccumWidth/Align - Return the size of 'signed _Accum' and |
||
| 500 | /// 'unsigned _Accum' for this target, in bits. |
||
| 501 | unsigned getAccumWidth() const { return AccumWidth; } |
||
| 502 | unsigned getAccumAlign() const { return AccumAlign; } |
||
| 503 | |||
| 504 | /// getLongAccumWidth/Align - Return the size of 'signed long _Accum' and |
||
| 505 | /// 'unsigned long _Accum' for this target, in bits. |
||
| 506 | unsigned getLongAccumWidth() const { return LongAccumWidth; } |
||
| 507 | unsigned getLongAccumAlign() const { return LongAccumAlign; } |
||
| 508 | |||
| 509 | /// getShortFractWidth/Align - Return the size of 'signed short _Fract' and |
||
| 510 | /// 'unsigned short _Fract' for this target, in bits. |
||
| 511 | unsigned getShortFractWidth() const { return ShortFractWidth; } |
||
| 512 | unsigned getShortFractAlign() const { return ShortFractAlign; } |
||
| 513 | |||
| 514 | /// getFractWidth/Align - Return the size of 'signed _Fract' and |
||
| 515 | /// 'unsigned _Fract' for this target, in bits. |
||
| 516 | unsigned getFractWidth() const { return FractWidth; } |
||
| 517 | unsigned getFractAlign() const { return FractAlign; } |
||
| 518 | |||
| 519 | /// getLongFractWidth/Align - Return the size of 'signed long _Fract' and |
||
| 520 | /// 'unsigned long _Fract' for this target, in bits. |
||
| 521 | unsigned getLongFractWidth() const { return LongFractWidth; } |
||
| 522 | unsigned getLongFractAlign() const { return LongFractAlign; } |
||
| 523 | |||
| 524 | /// getShortAccumScale/IBits - Return the number of fractional/integral bits |
||
| 525 | /// in a 'signed short _Accum' type. |
||
| 526 | unsigned getShortAccumScale() const { return ShortAccumScale; } |
||
| 527 | unsigned getShortAccumIBits() const { |
||
| 528 | return ShortAccumWidth - ShortAccumScale - 1; |
||
| 529 | } |
||
| 530 | |||
| 531 | /// getAccumScale/IBits - Return the number of fractional/integral bits |
||
| 532 | /// in a 'signed _Accum' type. |
||
| 533 | unsigned getAccumScale() const { return AccumScale; } |
||
| 534 | unsigned getAccumIBits() const { return AccumWidth - AccumScale - 1; } |
||
| 535 | |||
| 536 | /// getLongAccumScale/IBits - Return the number of fractional/integral bits |
||
| 537 | /// in a 'signed long _Accum' type. |
||
| 538 | unsigned getLongAccumScale() const { return LongAccumScale; } |
||
| 539 | unsigned getLongAccumIBits() const { |
||
| 540 | return LongAccumWidth - LongAccumScale - 1; |
||
| 541 | } |
||
| 542 | |||
| 543 | /// getUnsignedShortAccumScale/IBits - Return the number of |
||
| 544 | /// fractional/integral bits in a 'unsigned short _Accum' type. |
||
| 545 | unsigned getUnsignedShortAccumScale() const { |
||
| 546 | return PaddingOnUnsignedFixedPoint ? ShortAccumScale : ShortAccumScale + 1; |
||
| 547 | } |
||
| 548 | unsigned getUnsignedShortAccumIBits() const { |
||
| 549 | return PaddingOnUnsignedFixedPoint |
||
| 550 | ? getShortAccumIBits() |
||
| 551 | : ShortAccumWidth - getUnsignedShortAccumScale(); |
||
| 552 | } |
||
| 553 | |||
| 554 | /// getUnsignedAccumScale/IBits - Return the number of fractional/integral |
||
| 555 | /// bits in a 'unsigned _Accum' type. |
||
| 556 | unsigned getUnsignedAccumScale() const { |
||
| 557 | return PaddingOnUnsignedFixedPoint ? AccumScale : AccumScale + 1; |
||
| 558 | } |
||
| 559 | unsigned getUnsignedAccumIBits() const { |
||
| 560 | return PaddingOnUnsignedFixedPoint ? getAccumIBits() |
||
| 561 | : AccumWidth - getUnsignedAccumScale(); |
||
| 562 | } |
||
| 563 | |||
| 564 | /// getUnsignedLongAccumScale/IBits - Return the number of fractional/integral |
||
| 565 | /// bits in a 'unsigned long _Accum' type. |
||
| 566 | unsigned getUnsignedLongAccumScale() const { |
||
| 567 | return PaddingOnUnsignedFixedPoint ? LongAccumScale : LongAccumScale + 1; |
||
| 568 | } |
||
| 569 | unsigned getUnsignedLongAccumIBits() const { |
||
| 570 | return PaddingOnUnsignedFixedPoint |
||
| 571 | ? getLongAccumIBits() |
||
| 572 | : LongAccumWidth - getUnsignedLongAccumScale(); |
||
| 573 | } |
||
| 574 | |||
| 575 | /// getShortFractScale - Return the number of fractional bits |
||
| 576 | /// in a 'signed short _Fract' type. |
||
| 577 | unsigned getShortFractScale() const { return ShortFractWidth - 1; } |
||
| 578 | |||
| 579 | /// getFractScale - Return the number of fractional bits |
||
| 580 | /// in a 'signed _Fract' type. |
||
| 581 | unsigned getFractScale() const { return FractWidth - 1; } |
||
| 582 | |||
| 583 | /// getLongFractScale - Return the number of fractional bits |
||
| 584 | /// in a 'signed long _Fract' type. |
||
| 585 | unsigned getLongFractScale() const { return LongFractWidth - 1; } |
||
| 586 | |||
| 587 | /// getUnsignedShortFractScale - Return the number of fractional bits |
||
| 588 | /// in a 'unsigned short _Fract' type. |
||
| 589 | unsigned getUnsignedShortFractScale() const { |
||
| 590 | return PaddingOnUnsignedFixedPoint ? getShortFractScale() |
||
| 591 | : getShortFractScale() + 1; |
||
| 592 | } |
||
| 593 | |||
| 594 | /// getUnsignedFractScale - Return the number of fractional bits |
||
| 595 | /// in a 'unsigned _Fract' type. |
||
| 596 | unsigned getUnsignedFractScale() const { |
||
| 597 | return PaddingOnUnsignedFixedPoint ? getFractScale() : getFractScale() + 1; |
||
| 598 | } |
||
| 599 | |||
| 600 | /// getUnsignedLongFractScale - Return the number of fractional bits |
||
| 601 | /// in a 'unsigned long _Fract' type. |
||
| 602 | unsigned getUnsignedLongFractScale() const { |
||
| 603 | return PaddingOnUnsignedFixedPoint ? getLongFractScale() |
||
| 604 | : getLongFractScale() + 1; |
||
| 605 | } |
||
| 606 | |||
| 607 | /// Determine whether the __int128 type is supported on this target. |
||
| 608 | virtual bool hasInt128Type() const { |
||
| 609 | return (getPointerWidth(LangAS::Default) >= 64) || |
||
| 610 | getTargetOpts().ForceEnableInt128; |
||
| 611 | } // FIXME |
||
| 612 | |||
| 613 | /// Determine whether the _BitInt type is supported on this target. This |
||
| 614 | /// limitation is put into place for ABI reasons. |
||
| 615 | /// FIXME: _BitInt is a required type in C23, so there's not much utility in |
||
| 616 | /// asking whether the target supported it or not; I think this should be |
||
| 617 | /// removed once backends have been alerted to the type and have had the |
||
| 618 | /// chance to do implementation work if needed. |
||
| 619 | virtual bool hasBitIntType() const { |
||
| 620 | return false; |
||
| 621 | } |
||
| 622 | |||
| 623 | // Different targets may support a different maximum width for the _BitInt |
||
| 624 | // type, depending on what operations are supported. |
||
| 625 | virtual size_t getMaxBitIntWidth() const { |
||
| 626 | // Consider -fexperimental-max-bitint-width= first. |
||
| 627 | if (MaxBitIntWidth) |
||
| 628 | return std::min<size_t>(*MaxBitIntWidth, llvm::IntegerType::MAX_INT_BITS); |
||
| 629 | |||
| 630 | // FIXME: this value should be llvm::IntegerType::MAX_INT_BITS, which is |
||
| 631 | // maximum bit width that LLVM claims its IR can support. However, most |
||
| 632 | // backends currently have a bug where they only support float to int |
||
| 633 | // conversion (and vice versa) on types that are <= 128 bits and crash |
||
| 634 | // otherwise. We're setting the max supported value to 128 to be |
||
| 635 | // conservative. |
||
| 636 | return 128; |
||
| 637 | } |
||
| 638 | |||
| 639 | /// Determine whether _Float16 is supported on this target. |
||
| 640 | virtual bool hasLegalHalfType() const { return HasLegalHalfType; } |
||
| 641 | |||
| 642 | /// Whether half args and returns are supported. |
||
| 643 | virtual bool allowHalfArgsAndReturns() const { return HalfArgsAndReturns; } |
||
| 644 | |||
| 645 | /// Determine whether the __float128 type is supported on this target. |
||
| 646 | virtual bool hasFloat128Type() const { return HasFloat128; } |
||
| 647 | |||
| 648 | /// Determine whether the _Float16 type is supported on this target. |
||
| 649 | virtual bool hasFloat16Type() const { return HasFloat16; } |
||
| 650 | |||
| 651 | /// Determine whether the _BFloat16 type is supported on this target. |
||
| 652 | virtual bool hasBFloat16Type() const { return HasBFloat16; } |
||
| 653 | |||
| 654 | /// Determine whether the __ibm128 type is supported on this target. |
||
| 655 | virtual bool hasIbm128Type() const { return HasIbm128; } |
||
| 656 | |||
| 657 | /// Determine whether the long double type is supported on this target. |
||
| 658 | virtual bool hasLongDoubleType() const { return HasLongDouble; } |
||
| 659 | |||
| 660 | /// Determine whether return of a floating point value is supported |
||
| 661 | /// on this target. |
||
| 662 | virtual bool hasFPReturn() const { return HasFPReturn; } |
||
| 663 | |||
| 664 | /// Determine whether constrained floating point is supported on this target. |
||
| 665 | virtual bool hasStrictFP() const { return HasStrictFP; } |
||
| 666 | |||
| 667 | /// Return the alignment that is the largest alignment ever used for any |
||
| 668 | /// scalar/SIMD data type on the target machine you are compiling for |
||
| 669 | /// (including types with an extended alignment requirement). |
||
| 670 | unsigned getSuitableAlign() const { return SuitableAlign; } |
||
| 671 | |||
| 672 | /// Return the default alignment for __attribute__((aligned)) on |
||
| 673 | /// this target, to be used if no alignment value is specified. |
||
| 674 | unsigned getDefaultAlignForAttributeAligned() const { |
||
| 675 | return DefaultAlignForAttributeAligned; |
||
| 676 | } |
||
| 677 | |||
| 678 | /// getMinGlobalAlign - Return the minimum alignment of a global variable, |
||
| 679 | /// unless its alignment is explicitly reduced via attributes. |
||
| 680 | virtual unsigned getMinGlobalAlign (uint64_t) const { |
||
| 681 | return MinGlobalAlign; |
||
| 682 | } |
||
| 683 | |||
| 684 | /// Return the largest alignment for which a suitably-sized allocation with |
||
| 685 | /// '::operator new(size_t)' is guaranteed to produce a correctly-aligned |
||
| 686 | /// pointer. |
||
| 687 | unsigned getNewAlign() const { |
||
| 688 | return NewAlign ? NewAlign : std::max(LongDoubleAlign, LongLongAlign); |
||
| 689 | } |
||
| 690 | |||
| 691 | /// getWCharWidth/Align - Return the size of 'wchar_t' for this target, in |
||
| 692 | /// bits. |
||
| 693 | unsigned getWCharWidth() const { return getTypeWidth(WCharType); } |
||
| 694 | unsigned getWCharAlign() const { return getTypeAlign(WCharType); } |
||
| 695 | |||
| 696 | /// getChar16Width/Align - Return the size of 'char16_t' for this target, in |
||
| 697 | /// bits. |
||
| 698 | unsigned getChar16Width() const { return getTypeWidth(Char16Type); } |
||
| 699 | unsigned getChar16Align() const { return getTypeAlign(Char16Type); } |
||
| 700 | |||
| 701 | /// getChar32Width/Align - Return the size of 'char32_t' for this target, in |
||
| 702 | /// bits. |
||
| 703 | unsigned getChar32Width() const { return getTypeWidth(Char32Type); } |
||
| 704 | unsigned getChar32Align() const { return getTypeAlign(Char32Type); } |
||
| 705 | |||
| 706 | /// getHalfWidth/Align/Format - Return the size/align/format of 'half'. |
||
| 707 | unsigned getHalfWidth() const { return HalfWidth; } |
||
| 708 | unsigned getHalfAlign() const { return HalfAlign; } |
||
| 709 | const llvm::fltSemantics &getHalfFormat() const { return *HalfFormat; } |
||
| 710 | |||
| 711 | /// getFloatWidth/Align/Format - Return the size/align/format of 'float'. |
||
| 712 | unsigned getFloatWidth() const { return FloatWidth; } |
||
| 713 | unsigned getFloatAlign() const { return FloatAlign; } |
||
| 714 | const llvm::fltSemantics &getFloatFormat() const { return *FloatFormat; } |
||
| 715 | |||
| 716 | /// getBFloat16Width/Align/Format - Return the size/align/format of '__bf16'. |
||
| 717 | unsigned getBFloat16Width() const { return BFloat16Width; } |
||
| 718 | unsigned getBFloat16Align() const { return BFloat16Align; } |
||
| 719 | const llvm::fltSemantics &getBFloat16Format() const { return *BFloat16Format; } |
||
| 720 | |||
| 721 | /// getDoubleWidth/Align/Format - Return the size/align/format of 'double'. |
||
| 722 | unsigned getDoubleWidth() const { return DoubleWidth; } |
||
| 723 | unsigned getDoubleAlign() const { return DoubleAlign; } |
||
| 724 | const llvm::fltSemantics &getDoubleFormat() const { return *DoubleFormat; } |
||
| 725 | |||
| 726 | /// getLongDoubleWidth/Align/Format - Return the size/align/format of 'long |
||
| 727 | /// double'. |
||
| 728 | unsigned getLongDoubleWidth() const { return LongDoubleWidth; } |
||
| 729 | unsigned getLongDoubleAlign() const { return LongDoubleAlign; } |
||
| 730 | const llvm::fltSemantics &getLongDoubleFormat() const { |
||
| 731 | return *LongDoubleFormat; |
||
| 732 | } |
||
| 733 | |||
| 734 | /// getFloat128Width/Align/Format - Return the size/align/format of |
||
| 735 | /// '__float128'. |
||
| 736 | unsigned getFloat128Width() const { return 128; } |
||
| 737 | unsigned getFloat128Align() const { return Float128Align; } |
||
| 738 | const llvm::fltSemantics &getFloat128Format() const { |
||
| 739 | return *Float128Format; |
||
| 740 | } |
||
| 741 | |||
| 742 | /// getIbm128Width/Align/Format - Return the size/align/format of |
||
| 743 | /// '__ibm128'. |
||
| 744 | unsigned getIbm128Width() const { return 128; } |
||
| 745 | unsigned getIbm128Align() const { return Ibm128Align; } |
||
| 746 | const llvm::fltSemantics &getIbm128Format() const { return *Ibm128Format; } |
||
| 747 | |||
| 748 | /// Return the mangled code of long double. |
||
| 749 | virtual const char *getLongDoubleMangling() const { return "e"; } |
||
| 750 | |||
| 751 | /// Return the mangled code of __float128. |
||
| 752 | virtual const char *getFloat128Mangling() const { return "g"; } |
||
| 753 | |||
| 754 | /// Return the mangled code of __ibm128. |
||
| 755 | virtual const char *getIbm128Mangling() const { |
||
| 756 | llvm_unreachable("ibm128 not implemented on this target"); |
||
| 757 | } |
||
| 758 | |||
| 759 | /// Return the mangled code of bfloat. |
||
| 760 | virtual const char *getBFloat16Mangling() const { |
||
| 761 | llvm_unreachable("bfloat not implemented on this target"); |
||
| 762 | } |
||
| 763 | |||
| 764 | /// Return the value for the C99 FLT_EVAL_METHOD macro. |
||
| 765 | virtual LangOptions::FPEvalMethodKind getFPEvalMethod() const { |
||
| 766 | return LangOptions::FPEvalMethodKind::FEM_Source; |
||
| 767 | } |
||
| 768 | |||
| 769 | virtual bool supportSourceEvalMethod() const { return true; } |
||
| 770 | |||
| 771 | // getLargeArrayMinWidth/Align - Return the minimum array size that is |
||
| 772 | // 'large' and its alignment. |
||
| 773 | unsigned getLargeArrayMinWidth() const { return LargeArrayMinWidth; } |
||
| 774 | unsigned getLargeArrayAlign() const { return LargeArrayAlign; } |
||
| 775 | |||
| 776 | /// Return the maximum width lock-free atomic operation which will |
||
| 777 | /// ever be supported for the given target |
||
| 778 | unsigned getMaxAtomicPromoteWidth() const { return MaxAtomicPromoteWidth; } |
||
| 779 | /// Return the maximum width lock-free atomic operation which can be |
||
| 780 | /// inlined given the supported features of the given target. |
||
| 781 | unsigned getMaxAtomicInlineWidth() const { return MaxAtomicInlineWidth; } |
||
| 782 | /// Set the maximum inline or promote width lock-free atomic operation |
||
| 783 | /// for the given target. |
||
| 784 | virtual void setMaxAtomicWidth() {} |
||
| 785 | /// Returns true if the given target supports lock-free atomic |
||
| 786 | /// operations at the specified width and alignment. |
||
| 787 | virtual bool hasBuiltinAtomic(uint64_t AtomicSizeInBits, |
||
| 788 | uint64_t AlignmentInBits) const { |
||
| 789 | return AtomicSizeInBits <= AlignmentInBits && |
||
| 790 | AtomicSizeInBits <= getMaxAtomicInlineWidth() && |
||
| 791 | (AtomicSizeInBits <= getCharWidth() || |
||
| 792 | llvm::isPowerOf2_64(AtomicSizeInBits / getCharWidth())); |
||
| 793 | } |
||
| 794 | |||
| 795 | /// Return the maximum vector alignment supported for the given target. |
||
| 796 | unsigned getMaxVectorAlign() const { return MaxVectorAlign; } |
||
| 797 | /// Return default simd alignment for the given target. Generally, this |
||
| 798 | /// value is type-specific, but this alignment can be used for most of the |
||
| 799 | /// types for the given target. |
||
| 800 | unsigned getSimdDefaultAlign() const { return SimdDefaultAlign; } |
||
| 801 | |||
| 802 | unsigned getMaxOpenCLWorkGroupSize() const { return MaxOpenCLWorkGroupSize; } |
||
| 803 | |||
| 804 | /// Return the alignment (in bits) of the thrown exception object. This is |
||
| 805 | /// only meaningful for targets that allocate C++ exceptions in a system |
||
| 806 | /// runtime, such as those using the Itanium C++ ABI. |
||
| 807 | virtual unsigned getExnObjectAlignment() const { |
||
| 808 | // Itanium says that an _Unwind_Exception has to be "double-word" |
||
| 809 | // aligned (and thus the end of it is also so-aligned), meaning 16 |
||
| 810 | // bytes. Of course, that was written for the actual Itanium, |
||
| 811 | // which is a 64-bit platform. Classically, the ABI doesn't really |
||
| 812 | // specify the alignment on other platforms, but in practice |
||
| 813 | // libUnwind declares the struct with __attribute__((aligned)), so |
||
| 814 | // we assume that alignment here. (It's generally 16 bytes, but |
||
| 815 | // some targets overwrite it.) |
||
| 816 | return getDefaultAlignForAttributeAligned(); |
||
| 817 | } |
||
| 818 | |||
| 819 | /// Return the size of intmax_t and uintmax_t for this target, in bits. |
||
| 820 | unsigned getIntMaxTWidth() const { |
||
| 821 | return getTypeWidth(IntMaxType); |
||
| 822 | } |
||
| 823 | |||
| 824 | // Return the size of unwind_word for this target. |
||
| 825 | virtual unsigned getUnwindWordWidth() const { |
||
| 826 | return getPointerWidth(LangAS::Default); |
||
| 827 | } |
||
| 828 | |||
| 829 | /// Return the "preferred" register width on this target. |
||
| 830 | virtual unsigned getRegisterWidth() const { |
||
| 831 | // Currently we assume the register width on the target matches the pointer |
||
| 832 | // width, we can introduce a new variable for this if/when some target wants |
||
| 833 | // it. |
||
| 834 | return PointerWidth; |
||
| 835 | } |
||
| 836 | |||
| 837 | /// \brief Returns the default value of the __USER_LABEL_PREFIX__ macro, |
||
| 838 | /// which is the prefix given to user symbols by default. |
||
| 839 | /// |
||
| 840 | /// On most platforms this is "", but it is "_" on some. |
||
| 841 | const char *getUserLabelPrefix() const { return UserLabelPrefix; } |
||
| 842 | |||
| 843 | /// Returns the name of the mcount instrumentation function. |
||
| 844 | const char *getMCountName() const { |
||
| 845 | return MCountName; |
||
| 846 | } |
||
| 847 | |||
| 848 | /// Check if the Objective-C built-in boolean type should be signed |
||
| 849 | /// char. |
||
| 850 | /// |
||
| 851 | /// Otherwise, if this returns false, the normal built-in boolean type |
||
| 852 | /// should also be used for Objective-C. |
||
| 853 | bool useSignedCharForObjCBool() const { |
||
| 854 | return UseSignedCharForObjCBool; |
||
| 855 | } |
||
| 856 | void noSignedCharForObjCBool() { |
||
| 857 | UseSignedCharForObjCBool = false; |
||
| 858 | } |
||
| 859 | |||
| 860 | /// Check whether the alignment of bit-field types is respected |
||
| 861 | /// when laying out structures. |
||
| 862 | bool useBitFieldTypeAlignment() const { |
||
| 863 | return UseBitFieldTypeAlignment; |
||
| 864 | } |
||
| 865 | |||
| 866 | /// Check whether zero length bitfields should force alignment of |
||
| 867 | /// the next member. |
||
| 868 | bool useZeroLengthBitfieldAlignment() const { |
||
| 869 | return UseZeroLengthBitfieldAlignment; |
||
| 870 | } |
||
| 871 | |||
| 872 | /// Check whether zero length bitfield alignment is respected if they are |
||
| 873 | /// leading members. |
||
| 874 | bool useLeadingZeroLengthBitfield() const { |
||
| 875 | return UseLeadingZeroLengthBitfield; |
||
| 876 | } |
||
| 877 | |||
| 878 | /// Get the fixed alignment value in bits for a member that follows |
||
| 879 | /// a zero length bitfield. |
||
| 880 | unsigned getZeroLengthBitfieldBoundary() const { |
||
| 881 | return ZeroLengthBitfieldBoundary; |
||
| 882 | } |
||
| 883 | |||
| 884 | /// Get the maximum alignment in bits for a static variable with |
||
| 885 | /// aligned attribute. |
||
| 886 | unsigned getMaxAlignedAttribute() const { return MaxAlignedAttribute; } |
||
| 887 | |||
| 888 | /// Check whether explicit bitfield alignment attributes should be |
||
| 889 | // honored, as in "__attribute__((aligned(2))) int b : 1;". |
||
| 890 | bool useExplicitBitFieldAlignment() const { |
||
| 891 | return UseExplicitBitFieldAlignment; |
||
| 892 | } |
||
| 893 | |||
| 894 | /// Check whether this target support '\#pragma options align=mac68k'. |
||
| 895 | bool hasAlignMac68kSupport() const { |
||
| 896 | return HasAlignMac68kSupport; |
||
| 897 | } |
||
| 898 | |||
| 899 | /// Return the user string for the specified integer type enum. |
||
| 900 | /// |
||
| 901 | /// For example, SignedShort -> "short". |
||
| 902 | static const char *getTypeName(IntType T); |
||
| 903 | |||
| 904 | /// Return the constant suffix for the specified integer type enum. |
||
| 905 | /// |
||
| 906 | /// For example, SignedLong -> "L". |
||
| 907 | const char *getTypeConstantSuffix(IntType T) const; |
||
| 908 | |||
| 909 | /// Return the printf format modifier for the specified |
||
| 910 | /// integer type enum. |
||
| 911 | /// |
||
| 912 | /// For example, SignedLong -> "l". |
||
| 913 | static const char *getTypeFormatModifier(IntType T); |
||
| 914 | |||
| 915 | /// Check whether the given real type should use the "fpret" flavor of |
||
| 916 | /// Objective-C message passing on this target. |
||
| 917 | bool useObjCFPRetForRealType(FloatModeKind T) const { |
||
| 918 | return (int)((FloatModeKind)RealTypeUsesObjCFPRetMask & T); |
||
| 919 | } |
||
| 920 | |||
| 921 | /// Check whether _Complex long double should use the "fp2ret" flavor |
||
| 922 | /// of Objective-C message passing on this target. |
||
| 923 | bool useObjCFP2RetForComplexLongDouble() const { |
||
| 924 | return ComplexLongDoubleUsesFP2Ret; |
||
| 925 | } |
||
| 926 | |||
| 927 | /// Check whether llvm intrinsics such as llvm.convert.to.fp16 should be used |
||
| 928 | /// to convert to and from __fp16. |
||
| 929 | /// FIXME: This function should be removed once all targets stop using the |
||
| 930 | /// conversion intrinsics. |
||
| 931 | virtual bool useFP16ConversionIntrinsics() const { |
||
| 932 | return true; |
||
| 933 | } |
||
| 934 | |||
| 935 | /// Specify if mangling based on address space map should be used or |
||
| 936 | /// not for language specific address spaces |
||
| 937 | bool useAddressSpaceMapMangling() const { |
||
| 938 | return UseAddrSpaceMapMangling; |
||
| 939 | } |
||
| 940 | |||
| 941 | ///===---- Other target property query methods --------------------------===// |
||
| 942 | |||
| 943 | /// Appends the target-specific \#define values for this |
||
| 944 | /// target set to the specified buffer. |
||
| 945 | virtual void getTargetDefines(const LangOptions &Opts, |
||
| 946 | MacroBuilder &Builder) const = 0; |
||
| 947 | |||
| 948 | |||
| 949 | /// Return information about target-specific builtins for |
||
| 950 | /// the current primary target, and info about which builtins are non-portable |
||
| 951 | /// across the current set of primary and secondary targets. |
||
| 952 | virtual ArrayRef<Builtin::Info> getTargetBuiltins() const = 0; |
||
| 953 | |||
| 954 | /// Returns target-specific min and max values VScale_Range. |
||
| 955 | virtual std::optional<std::pair<unsigned, unsigned>> |
||
| 956 | getVScaleRange(const LangOptions &LangOpts) const { |
||
| 957 | return std::nullopt; |
||
| 958 | } |
||
| 959 | /// The __builtin_clz* and __builtin_ctz* built-in |
||
| 960 | /// functions are specified to have undefined results for zero inputs, but |
||
| 961 | /// on targets that support these operations in a way that provides |
||
| 962 | /// well-defined results for zero without loss of performance, it is a good |
||
| 963 | /// idea to avoid optimizing based on that undef behavior. |
||
| 964 | virtual bool isCLZForZeroUndef() const { return true; } |
||
| 965 | |||
| 966 | /// Returns the kind of __builtin_va_list type that should be used |
||
| 967 | /// with this target. |
||
| 968 | virtual BuiltinVaListKind getBuiltinVaListKind() const = 0; |
||
| 969 | |||
| 970 | /// Returns whether or not type \c __builtin_ms_va_list type is |
||
| 971 | /// available on this target. |
||
| 972 | bool hasBuiltinMSVaList() const { return HasBuiltinMSVaList; } |
||
| 973 | |||
| 974 | /// Returns true for RenderScript. |
||
| 975 | bool isRenderScriptTarget() const { return IsRenderScriptTarget; } |
||
| 976 | |||
| 977 | /// Returns whether or not the AArch64 SVE built-in types are |
||
| 978 | /// available on this target. |
||
| 979 | bool hasAArch64SVETypes() const { return HasAArch64SVETypes; } |
||
| 980 | |||
| 981 | /// Returns whether or not the RISC-V V built-in types are |
||
| 982 | /// available on this target. |
||
| 983 | bool hasRISCVVTypes() const { return HasRISCVVTypes; } |
||
| 984 | |||
| 985 | /// Returns whether or not the AMDGPU unsafe floating point atomics are |
||
| 986 | /// allowed. |
||
| 987 | bool allowAMDGPUUnsafeFPAtomics() const { return AllowAMDGPUUnsafeFPAtomics; } |
||
| 988 | |||
| 989 | /// For ARM targets returns a mask defining which coprocessors are configured |
||
| 990 | /// as Custom Datapath. |
||
| 991 | uint32_t getARMCDECoprocMask() const { return ARMCDECoprocMask; } |
||
| 992 | |||
| 993 | /// Returns whether the passed in string is a valid clobber in an |
||
| 994 | /// inline asm statement. |
||
| 995 | /// |
||
| 996 | /// This is used by Sema. |
||
| 997 | bool isValidClobber(StringRef Name) const; |
||
| 998 | |||
| 999 | /// Returns whether the passed in string is a valid register name |
||
| 1000 | /// according to GCC. |
||
| 1001 | /// |
||
| 1002 | /// This is used by Sema for inline asm statements. |
||
| 1003 | virtual bool isValidGCCRegisterName(StringRef Name) const; |
||
| 1004 | |||
| 1005 | /// Returns the "normalized" GCC register name. |
||
| 1006 | /// |
||
| 1007 | /// ReturnCannonical true will return the register name without any additions |
||
| 1008 | /// such as "{}" or "%" in it's canonical form, for example: |
||
| 1009 | /// ReturnCanonical = true and Name = "rax", will return "ax". |
||
| 1010 | StringRef getNormalizedGCCRegisterName(StringRef Name, |
||
| 1011 | bool ReturnCanonical = false) const; |
||
| 1012 | |||
| 1013 | virtual bool isSPRegName(StringRef) const { return false; } |
||
| 1014 | |||
| 1015 | /// Extracts a register from the passed constraint (if it is a |
||
| 1016 | /// single-register constraint) and the asm label expression related to a |
||
| 1017 | /// variable in the input or output list of an inline asm statement. |
||
| 1018 | /// |
||
| 1019 | /// This function is used by Sema in order to diagnose conflicts between |
||
| 1020 | /// the clobber list and the input/output lists. |
||
| 1021 | virtual StringRef getConstraintRegister(StringRef Constraint, |
||
| 1022 | StringRef Expression) const { |
||
| 1023 | return ""; |
||
| 1024 | } |
||
| 1025 | |||
| 1026 | struct ConstraintInfo { |
||
| 1027 | enum { |
||
| 1028 | CI_None = 0x00, |
||
| 1029 | CI_AllowsMemory = 0x01, |
||
| 1030 | CI_AllowsRegister = 0x02, |
||
| 1031 | CI_ReadWrite = 0x04, // "+r" output constraint (read and write). |
||
| 1032 | CI_HasMatchingInput = 0x08, // This output operand has a matching input. |
||
| 1033 | CI_ImmediateConstant = 0x10, // This operand must be an immediate constant |
||
| 1034 | CI_EarlyClobber = 0x20, // "&" output constraint (early clobber). |
||
| 1035 | }; |
||
| 1036 | unsigned Flags; |
||
| 1037 | int TiedOperand; |
||
| 1038 | struct { |
||
| 1039 | int Min; |
||
| 1040 | int Max; |
||
| 1041 | bool isConstrained; |
||
| 1042 | } ImmRange; |
||
| 1043 | llvm::SmallSet<int, 4> ImmSet; |
||
| 1044 | |||
| 1045 | std::string ConstraintStr; // constraint: "=rm" |
||
| 1046 | std::string Name; // Operand name: [foo] with no []'s. |
||
| 1047 | public: |
||
| 1048 | ConstraintInfo(StringRef ConstraintStr, StringRef Name) |
||
| 1049 | : Flags(0), TiedOperand(-1), ConstraintStr(ConstraintStr.str()), |
||
| 1050 | Name(Name.str()) { |
||
| 1051 | ImmRange.Min = ImmRange.Max = 0; |
||
| 1052 | ImmRange.isConstrained = false; |
||
| 1053 | } |
||
| 1054 | |||
| 1055 | const std::string &getConstraintStr() const { return ConstraintStr; } |
||
| 1056 | const std::string &getName() const { return Name; } |
||
| 1057 | bool isReadWrite() const { return (Flags & CI_ReadWrite) != 0; } |
||
| 1058 | bool earlyClobber() { return (Flags & CI_EarlyClobber) != 0; } |
||
| 1059 | bool allowsRegister() const { return (Flags & CI_AllowsRegister) != 0; } |
||
| 1060 | bool allowsMemory() const { return (Flags & CI_AllowsMemory) != 0; } |
||
| 1061 | |||
| 1062 | /// Return true if this output operand has a matching |
||
| 1063 | /// (tied) input operand. |
||
| 1064 | bool hasMatchingInput() const { return (Flags & CI_HasMatchingInput) != 0; } |
||
| 1065 | |||
| 1066 | /// Return true if this input operand is a matching |
||
| 1067 | /// constraint that ties it to an output operand. |
||
| 1068 | /// |
||
| 1069 | /// If this returns true then getTiedOperand will indicate which output |
||
| 1070 | /// operand this is tied to. |
||
| 1071 | bool hasTiedOperand() const { return TiedOperand != -1; } |
||
| 1072 | unsigned getTiedOperand() const { |
||
| 1073 | assert(hasTiedOperand() && "Has no tied operand!"); |
||
| 1074 | return (unsigned)TiedOperand; |
||
| 1075 | } |
||
| 1076 | |||
| 1077 | bool requiresImmediateConstant() const { |
||
| 1078 | return (Flags & CI_ImmediateConstant) != 0; |
||
| 1079 | } |
||
| 1080 | bool isValidAsmImmediate(const llvm::APInt &Value) const { |
||
| 1081 | if (!ImmSet.empty()) |
||
| 1082 | return Value.isSignedIntN(32) && ImmSet.contains(Value.getZExtValue()); |
||
| 1083 | return !ImmRange.isConstrained || |
||
| 1084 | (Value.sge(ImmRange.Min) && Value.sle(ImmRange.Max)); |
||
| 1085 | } |
||
| 1086 | |||
| 1087 | void setIsReadWrite() { Flags |= CI_ReadWrite; } |
||
| 1088 | void setEarlyClobber() { Flags |= CI_EarlyClobber; } |
||
| 1089 | void setAllowsMemory() { Flags |= CI_AllowsMemory; } |
||
| 1090 | void setAllowsRegister() { Flags |= CI_AllowsRegister; } |
||
| 1091 | void setHasMatchingInput() { Flags |= CI_HasMatchingInput; } |
||
| 1092 | void setRequiresImmediate(int Min, int Max) { |
||
| 1093 | Flags |= CI_ImmediateConstant; |
||
| 1094 | ImmRange.Min = Min; |
||
| 1095 | ImmRange.Max = Max; |
||
| 1096 | ImmRange.isConstrained = true; |
||
| 1097 | } |
||
| 1098 | void setRequiresImmediate(llvm::ArrayRef<int> Exacts) { |
||
| 1099 | Flags |= CI_ImmediateConstant; |
||
| 1100 | for (int Exact : Exacts) |
||
| 1101 | ImmSet.insert(Exact); |
||
| 1102 | } |
||
| 1103 | void setRequiresImmediate(int Exact) { |
||
| 1104 | Flags |= CI_ImmediateConstant; |
||
| 1105 | ImmSet.insert(Exact); |
||
| 1106 | } |
||
| 1107 | void setRequiresImmediate() { |
||
| 1108 | Flags |= CI_ImmediateConstant; |
||
| 1109 | } |
||
| 1110 | |||
| 1111 | /// Indicate that this is an input operand that is tied to |
||
| 1112 | /// the specified output operand. |
||
| 1113 | /// |
||
| 1114 | /// Copy over the various constraint information from the output. |
||
| 1115 | void setTiedOperand(unsigned N, ConstraintInfo &Output) { |
||
| 1116 | Output.setHasMatchingInput(); |
||
| 1117 | Flags = Output.Flags; |
||
| 1118 | TiedOperand = N; |
||
| 1119 | // Don't copy Name or constraint string. |
||
| 1120 | } |
||
| 1121 | }; |
||
| 1122 | |||
| 1123 | /// Validate register name used for global register variables. |
||
| 1124 | /// |
||
| 1125 | /// This function returns true if the register passed in RegName can be used |
||
| 1126 | /// for global register variables on this target. In addition, it returns |
||
| 1127 | /// true in HasSizeMismatch if the size of the register doesn't match the |
||
| 1128 | /// variable size passed in RegSize. |
||
| 1129 | virtual bool validateGlobalRegisterVariable(StringRef RegName, |
||
| 1130 | unsigned RegSize, |
||
| 1131 | bool &HasSizeMismatch) const { |
||
| 1132 | HasSizeMismatch = false; |
||
| 1133 | return true; |
||
| 1134 | } |
||
| 1135 | |||
| 1136 | // validateOutputConstraint, validateInputConstraint - Checks that |
||
| 1137 | // a constraint is valid and provides information about it. |
||
| 1138 | // FIXME: These should return a real error instead of just true/false. |
||
| 1139 | bool validateOutputConstraint(ConstraintInfo &Info) const; |
||
| 1140 | bool validateInputConstraint(MutableArrayRef<ConstraintInfo> OutputConstraints, |
||
| 1141 | ConstraintInfo &info) const; |
||
| 1142 | |||
| 1143 | virtual bool validateOutputSize(const llvm::StringMap<bool> &FeatureMap, |
||
| 1144 | StringRef /*Constraint*/, |
||
| 1145 | unsigned /*Size*/) const { |
||
| 1146 | return true; |
||
| 1147 | } |
||
| 1148 | |||
| 1149 | virtual bool validateInputSize(const llvm::StringMap<bool> &FeatureMap, |
||
| 1150 | StringRef /*Constraint*/, |
||
| 1151 | unsigned /*Size*/) const { |
||
| 1152 | return true; |
||
| 1153 | } |
||
| 1154 | virtual bool |
||
| 1155 | validateConstraintModifier(StringRef /*Constraint*/, |
||
| 1156 | char /*Modifier*/, |
||
| 1157 | unsigned /*Size*/, |
||
| 1158 | std::string &/*SuggestedModifier*/) const { |
||
| 1159 | return true; |
||
| 1160 | } |
||
| 1161 | virtual bool |
||
| 1162 | validateAsmConstraint(const char *&Name, |
||
| 1163 | TargetInfo::ConstraintInfo &info) const = 0; |
||
| 1164 | |||
| 1165 | bool resolveSymbolicName(const char *&Name, |
||
| 1166 | ArrayRef<ConstraintInfo> OutputConstraints, |
||
| 1167 | unsigned &Index) const; |
||
| 1168 | |||
| 1169 | // Constraint parm will be left pointing at the last character of |
||
| 1170 | // the constraint. In practice, it won't be changed unless the |
||
| 1171 | // constraint is longer than one character. |
||
| 1172 | virtual std::string convertConstraint(const char *&Constraint) const { |
||
| 1173 | // 'p' defaults to 'r', but can be overridden by targets. |
||
| 1174 | if (*Constraint == 'p') |
||
| 1175 | return std::string("r"); |
||
| 1176 | return std::string(1, *Constraint); |
||
| 1177 | } |
||
| 1178 | |||
| 1179 | /// Replace some escaped characters with another string based on |
||
| 1180 | /// target-specific rules |
||
| 1181 | virtual std::optional<std::string> handleAsmEscapedChar(char C) const { |
||
| 1182 | return std::nullopt; |
||
| 1183 | } |
||
| 1184 | |||
| 1185 | /// Returns a string of target-specific clobbers, in LLVM format. |
||
| 1186 | virtual const char *getClobbers() const = 0; |
||
| 1187 | |||
| 1188 | /// Returns true if NaN encoding is IEEE 754-2008. |
||
| 1189 | /// Only MIPS allows a different encoding. |
||
| 1190 | virtual bool isNan2008() const { |
||
| 1191 | return true; |
||
| 1192 | } |
||
| 1193 | |||
| 1194 | /// Returns the target triple of the primary target. |
||
| 1195 | const llvm::Triple &getTriple() const { |
||
| 1196 | return Triple; |
||
| 1197 | } |
||
| 1198 | |||
| 1199 | /// Returns the target ID if supported. |
||
| 1200 | virtual std::optional<std::string> getTargetID() const { |
||
| 1201 | return std::nullopt; |
||
| 1202 | } |
||
| 1203 | |||
| 1204 | const char *getDataLayoutString() const { |
||
| 1205 | assert(!DataLayoutString.empty() && "Uninitialized DataLayout!"); |
||
| 1206 | return DataLayoutString.c_str(); |
||
| 1207 | } |
||
| 1208 | |||
| 1209 | struct GCCRegAlias { |
||
| 1210 | const char * const Aliases[5]; |
||
| 1211 | const char * const Register; |
||
| 1212 | }; |
||
| 1213 | |||
| 1214 | struct AddlRegName { |
||
| 1215 | const char * const Names[5]; |
||
| 1216 | const unsigned RegNum; |
||
| 1217 | }; |
||
| 1218 | |||
| 1219 | /// Does this target support "protected" visibility? |
||
| 1220 | /// |
||
| 1221 | /// Any target which dynamic libraries will naturally support |
||
| 1222 | /// something like "default" (meaning that the symbol is visible |
||
| 1223 | /// outside this shared object) and "hidden" (meaning that it isn't) |
||
| 1224 | /// visibilities, but "protected" is really an ELF-specific concept |
||
| 1225 | /// with weird semantics designed around the convenience of dynamic |
||
| 1226 | /// linker implementations. Which is not to suggest that there's |
||
| 1227 | /// consistent target-independent semantics for "default" visibility |
||
| 1228 | /// either; the entire thing is pretty badly mangled. |
||
| 1229 | virtual bool hasProtectedVisibility() const { return true; } |
||
| 1230 | |||
| 1231 | /// Does this target aim for semantic compatibility with |
||
| 1232 | /// Microsoft C++ code using dllimport/export attributes? |
||
| 1233 | virtual bool shouldDLLImportComdatSymbols() const { |
||
| 1234 | return getTriple().isWindowsMSVCEnvironment() || |
||
| 1235 | getTriple().isWindowsItaniumEnvironment() || getTriple().isPS(); |
||
| 1236 | } |
||
| 1237 | |||
| 1238 | // Does this target have PS4 specific dllimport/export handling? |
||
| 1239 | virtual bool hasPS4DLLImportExport() const { |
||
| 1240 | return getTriple().isPS() || |
||
| 1241 | // Windows Itanium support allows for testing the SCEI flavour of |
||
| 1242 | // dllimport/export handling on a Windows system. |
||
| 1243 | (getTriple().isWindowsItaniumEnvironment() && |
||
| 1244 | getTriple().getVendor() == llvm::Triple::SCEI); |
||
| 1245 | } |
||
| 1246 | |||
| 1247 | /// Set forced language options. |
||
| 1248 | /// |
||
| 1249 | /// Apply changes to the target information with respect to certain |
||
| 1250 | /// language options which change the target configuration and adjust |
||
| 1251 | /// the language based on the target options where applicable. |
||
| 1252 | virtual void adjust(DiagnosticsEngine &Diags, LangOptions &Opts); |
||
| 1253 | |||
| 1254 | /// Adjust target options based on codegen options. |
||
| 1255 | virtual void adjustTargetOptions(const CodeGenOptions &CGOpts, |
||
| 1256 | TargetOptions &TargetOpts) const {} |
||
| 1257 | |||
| 1258 | /// Initialize the map with the default set of target features for the |
||
| 1259 | /// CPU this should include all legal feature strings on the target. |
||
| 1260 | /// |
||
| 1261 | /// \return False on error (invalid features). |
||
| 1262 | virtual bool initFeatureMap(llvm::StringMap<bool> &Features, |
||
| 1263 | DiagnosticsEngine &Diags, StringRef CPU, |
||
| 1264 | const std::vector<std::string> &FeatureVec) const; |
||
| 1265 | |||
| 1266 | /// Get the ABI currently in use. |
||
| 1267 | virtual StringRef getABI() const { return StringRef(); } |
||
| 1268 | |||
| 1269 | /// Get the C++ ABI currently in use. |
||
| 1270 | TargetCXXABI getCXXABI() const { |
||
| 1271 | return TheCXXABI; |
||
| 1272 | } |
||
| 1273 | |||
| 1274 | /// Target the specified CPU. |
||
| 1275 | /// |
||
| 1276 | /// \return False on error (invalid CPU name). |
||
| 1277 | virtual bool setCPU(const std::string &Name) { |
||
| 1278 | return false; |
||
| 1279 | } |
||
| 1280 | |||
| 1281 | /// Fill a SmallVectorImpl with the valid values to setCPU. |
||
| 1282 | virtual void fillValidCPUList(SmallVectorImpl<StringRef> &Values) const {} |
||
| 1283 | |||
| 1284 | /// Fill a SmallVectorImpl with the valid values for tuning CPU. |
||
| 1285 | virtual void fillValidTuneCPUList(SmallVectorImpl<StringRef> &Values) const { |
||
| 1286 | fillValidCPUList(Values); |
||
| 1287 | } |
||
| 1288 | |||
| 1289 | /// brief Determine whether this TargetInfo supports the given CPU name. |
||
| 1290 | virtual bool isValidCPUName(StringRef Name) const { |
||
| 1291 | return true; |
||
| 1292 | } |
||
| 1293 | |||
| 1294 | /// brief Determine whether this TargetInfo supports the given CPU name for |
||
| 1295 | // tuning. |
||
| 1296 | virtual bool isValidTuneCPUName(StringRef Name) const { |
||
| 1297 | return isValidCPUName(Name); |
||
| 1298 | } |
||
| 1299 | |||
| 1300 | virtual ParsedTargetAttr parseTargetAttr(StringRef Str) const; |
||
| 1301 | |||
| 1302 | /// brief Determine whether this TargetInfo supports tune in target attribute. |
||
| 1303 | virtual bool supportsTargetAttributeTune() const { |
||
| 1304 | return false; |
||
| 1305 | } |
||
| 1306 | |||
| 1307 | /// Use the specified ABI. |
||
| 1308 | /// |
||
| 1309 | /// \return False on error (invalid ABI name). |
||
| 1310 | virtual bool setABI(const std::string &Name) { |
||
| 1311 | return false; |
||
| 1312 | } |
||
| 1313 | |||
| 1314 | /// Use the specified unit for FP math. |
||
| 1315 | /// |
||
| 1316 | /// \return False on error (invalid unit name). |
||
| 1317 | virtual bool setFPMath(StringRef Name) { |
||
| 1318 | return false; |
||
| 1319 | } |
||
| 1320 | |||
| 1321 | /// Check if target has a given feature enabled |
||
| 1322 | virtual bool hasFeatureEnabled(const llvm::StringMap<bool> &Features, |
||
| 1323 | StringRef Name) const { |
||
| 1324 | return Features.lookup(Name); |
||
| 1325 | } |
||
| 1326 | |||
| 1327 | /// Enable or disable a specific target feature; |
||
| 1328 | /// the feature name must be valid. |
||
| 1329 | virtual void setFeatureEnabled(llvm::StringMap<bool> &Features, |
||
| 1330 | StringRef Name, |
||
| 1331 | bool Enabled) const { |
||
| 1332 | Features[Name] = Enabled; |
||
| 1333 | } |
||
| 1334 | |||
| 1335 | /// Determine whether this TargetInfo supports the given feature. |
||
| 1336 | virtual bool isValidFeatureName(StringRef Feature) const { |
||
| 1337 | return true; |
||
| 1338 | } |
||
| 1339 | |||
| 1340 | /// Returns true if feature has an impact on target code |
||
| 1341 | /// generation and get its dependent options in second argument. |
||
| 1342 | virtual bool getFeatureDepOptions(StringRef Feature, |
||
| 1343 | std::string &Options) const { |
||
| 1344 | return true; |
||
| 1345 | } |
||
| 1346 | |||
| 1347 | struct BranchProtectionInfo { |
||
| 1348 | LangOptions::SignReturnAddressScopeKind SignReturnAddr = |
||
| 1349 | LangOptions::SignReturnAddressScopeKind::None; |
||
| 1350 | LangOptions::SignReturnAddressKeyKind SignKey = |
||
| 1351 | LangOptions::SignReturnAddressKeyKind::AKey; |
||
| 1352 | bool BranchTargetEnforcement = false; |
||
| 1353 | }; |
||
| 1354 | |||
| 1355 | /// Determine if the Architecture in this TargetInfo supports branch |
||
| 1356 | /// protection |
||
| 1357 | virtual bool isBranchProtectionSupportedArch(StringRef Arch) const { |
||
| 1358 | return false; |
||
| 1359 | } |
||
| 1360 | |||
| 1361 | /// Determine if this TargetInfo supports the given branch protection |
||
| 1362 | /// specification |
||
| 1363 | virtual bool validateBranchProtection(StringRef Spec, StringRef Arch, |
||
| 1364 | BranchProtectionInfo &BPI, |
||
| 1365 | StringRef &Err) const { |
||
| 1366 | Err = ""; |
||
| 1367 | return false; |
||
| 1368 | } |
||
| 1369 | |||
| 1370 | /// Perform initialization based on the user configured |
||
| 1371 | /// set of features (e.g., +sse4). |
||
| 1372 | /// |
||
| 1373 | /// The list is guaranteed to have at most one entry per feature. |
||
| 1374 | /// |
||
| 1375 | /// The target may modify the features list, to change which options are |
||
| 1376 | /// passed onwards to the backend. |
||
| 1377 | /// FIXME: This part should be fixed so that we can change handleTargetFeatures |
||
| 1378 | /// to merely a TargetInfo initialization routine. |
||
| 1379 | /// |
||
| 1380 | /// \return False on error. |
||
| 1381 | virtual bool handleTargetFeatures(std::vector<std::string> &Features, |
||
| 1382 | DiagnosticsEngine &Diags) { |
||
| 1383 | return true; |
||
| 1384 | } |
||
| 1385 | |||
| 1386 | /// Determine whether the given target has the given feature. |
||
| 1387 | virtual bool hasFeature(StringRef Feature) const { |
||
| 1388 | return false; |
||
| 1389 | } |
||
| 1390 | |||
| 1391 | /// Identify whether this target supports multiversioning of functions, |
||
| 1392 | /// which requires support for cpu_supports and cpu_is functionality. |
||
| 1393 | bool supportsMultiVersioning() const { |
||
| 1394 | return getTriple().isX86() || getTriple().isAArch64(); |
||
| 1395 | } |
||
| 1396 | |||
| 1397 | /// Identify whether this target supports IFuncs. |
||
| 1398 | bool supportsIFunc() const { |
||
| 1399 | return getTriple().isOSBinFormatELF() && !getTriple().isOSFuchsia(); |
||
| 1400 | } |
||
| 1401 | |||
| 1402 | // Validate the contents of the __builtin_cpu_supports(const char*) |
||
| 1403 | // argument. |
||
| 1404 | virtual bool validateCpuSupports(StringRef Name) const { return false; } |
||
| 1405 | |||
| 1406 | // Return the target-specific priority for features/cpus/vendors so |
||
| 1407 | // that they can be properly sorted for checking. |
||
| 1408 | virtual unsigned multiVersionSortPriority(StringRef Name) const { |
||
| 1409 | return 0; |
||
| 1410 | } |
||
| 1411 | |||
| 1412 | // Return the target-specific cost for feature |
||
| 1413 | // that taken into account in priority sorting. |
||
| 1414 | virtual unsigned multiVersionFeatureCost() const { return 0; } |
||
| 1415 | |||
| 1416 | // Validate the contents of the __builtin_cpu_is(const char*) |
||
| 1417 | // argument. |
||
| 1418 | virtual bool validateCpuIs(StringRef Name) const { return false; } |
||
| 1419 | |||
| 1420 | // Validate a cpu_dispatch/cpu_specific CPU option, which is a different list |
||
| 1421 | // from cpu_is, since it checks via features rather than CPUs directly. |
||
| 1422 | virtual bool validateCPUSpecificCPUDispatch(StringRef Name) const { |
||
| 1423 | return false; |
||
| 1424 | } |
||
| 1425 | |||
| 1426 | // Get the character to be added for mangling purposes for cpu_specific. |
||
| 1427 | virtual char CPUSpecificManglingCharacter(StringRef Name) const { |
||
| 1428 | llvm_unreachable( |
||
| 1429 | "cpu_specific Multiversioning not implemented on this target"); |
||
| 1430 | } |
||
| 1431 | |||
| 1432 | // Get the value for the 'tune-cpu' flag for a cpu_specific variant with the |
||
| 1433 | // programmer-specified 'Name'. |
||
| 1434 | virtual StringRef getCPUSpecificTuneName(StringRef Name) const { |
||
| 1435 | llvm_unreachable( |
||
| 1436 | "cpu_specific Multiversioning not implemented on this target"); |
||
| 1437 | } |
||
| 1438 | |||
| 1439 | // Get a list of the features that make up the CPU option for |
||
| 1440 | // cpu_specific/cpu_dispatch so that it can be passed to llvm as optimization |
||
| 1441 | // options. |
||
| 1442 | virtual void getCPUSpecificCPUDispatchFeatures( |
||
| 1443 | StringRef Name, llvm::SmallVectorImpl<StringRef> &Features) const { |
||
| 1444 | llvm_unreachable( |
||
| 1445 | "cpu_specific Multiversioning not implemented on this target"); |
||
| 1446 | } |
||
| 1447 | |||
| 1448 | // Get the cache line size of a given cpu. This method switches over |
||
| 1449 | // the given cpu and returns "std::nullopt" if the CPU is not found. |
||
| 1450 | virtual std::optional<unsigned> getCPUCacheLineSize() const { |
||
| 1451 | return std::nullopt; |
||
| 1452 | } |
||
| 1453 | |||
| 1454 | // Returns maximal number of args passed in registers. |
||
| 1455 | unsigned getRegParmMax() const { |
||
| 1456 | assert(RegParmMax < 7 && "RegParmMax value is larger than AST can handle"); |
||
| 1457 | return RegParmMax; |
||
| 1458 | } |
||
| 1459 | |||
| 1460 | /// Whether the target supports thread-local storage. |
||
| 1461 | bool isTLSSupported() const { |
||
| 1462 | return TLSSupported; |
||
| 1463 | } |
||
| 1464 | |||
| 1465 | /// Return the maximum alignment (in bits) of a TLS variable |
||
| 1466 | /// |
||
| 1467 | /// Gets the maximum alignment (in bits) of a TLS variable on this target. |
||
| 1468 | /// Returns zero if there is no such constraint. |
||
| 1469 | unsigned getMaxTLSAlign() const { return MaxTLSAlign; } |
||
| 1470 | |||
| 1471 | /// Whether target supports variable-length arrays. |
||
| 1472 | bool isVLASupported() const { return VLASupported; } |
||
| 1473 | |||
| 1474 | /// Whether the target supports SEH __try. |
||
| 1475 | bool isSEHTrySupported() const { |
||
| 1476 | return getTriple().isOSWindows() && |
||
| 1477 | (getTriple().isX86() || |
||
| 1478 | getTriple().getArch() == llvm::Triple::aarch64); |
||
| 1479 | } |
||
| 1480 | |||
| 1481 | /// Return true if {|} are normal characters in the asm string. |
||
| 1482 | /// |
||
| 1483 | /// If this returns false (the default), then {abc|xyz} is syntax |
||
| 1484 | /// that says that when compiling for asm variant #0, "abc" should be |
||
| 1485 | /// generated, but when compiling for asm variant #1, "xyz" should be |
||
| 1486 | /// generated. |
||
| 1487 | bool hasNoAsmVariants() const { |
||
| 1488 | return NoAsmVariants; |
||
| 1489 | } |
||
| 1490 | |||
| 1491 | /// Return the register number that __builtin_eh_return_regno would |
||
| 1492 | /// return with the specified argument. |
||
| 1493 | /// This corresponds with TargetLowering's getExceptionPointerRegister |
||
| 1494 | /// and getExceptionSelectorRegister in the backend. |
||
| 1495 | virtual int getEHDataRegisterNumber(unsigned RegNo) const { |
||
| 1496 | return -1; |
||
| 1497 | } |
||
| 1498 | |||
| 1499 | /// Return the section to use for C++ static initialization functions. |
||
| 1500 | virtual const char *getStaticInitSectionSpecifier() const { |
||
| 1501 | return nullptr; |
||
| 1502 | } |
||
| 1503 | |||
| 1504 | const LangASMap &getAddressSpaceMap() const { return *AddrSpaceMap; } |
||
| 1505 | unsigned getTargetAddressSpace(LangAS AS) const { |
||
| 1506 | if (isTargetAddressSpace(AS)) |
||
| 1507 | return toTargetAddressSpace(AS); |
||
| 1508 | return getAddressSpaceMap()[(unsigned)AS]; |
||
| 1509 | } |
||
| 1510 | |||
| 1511 | /// Map from the address space field in builtin description strings to the |
||
| 1512 | /// language address space. |
||
| 1513 | virtual LangAS getOpenCLBuiltinAddressSpace(unsigned AS) const { |
||
| 1514 | return getLangASFromTargetAS(AS); |
||
| 1515 | } |
||
| 1516 | |||
| 1517 | /// Map from the address space field in builtin description strings to the |
||
| 1518 | /// language address space. |
||
| 1519 | virtual LangAS getCUDABuiltinAddressSpace(unsigned AS) const { |
||
| 1520 | return getLangASFromTargetAS(AS); |
||
| 1521 | } |
||
| 1522 | |||
| 1523 | /// Return an AST address space which can be used opportunistically |
||
| 1524 | /// for constant global memory. It must be possible to convert pointers into |
||
| 1525 | /// this address space to LangAS::Default. If no such address space exists, |
||
| 1526 | /// this may return std::nullopt, and such optimizations will be disabled. |
||
| 1527 | virtual std::optional<LangAS> getConstantAddressSpace() const { |
||
| 1528 | return LangAS::Default; |
||
| 1529 | } |
||
| 1530 | |||
| 1531 | // access target-specific GPU grid values that must be consistent between |
||
| 1532 | // host RTL (plugin), deviceRTL and clang. |
||
| 1533 | virtual const llvm::omp::GV &getGridValue() const { |
||
| 1534 | llvm_unreachable("getGridValue not implemented on this target"); |
||
| 1535 | } |
||
| 1536 | |||
| 1537 | /// Retrieve the name of the platform as it is used in the |
||
| 1538 | /// availability attribute. |
||
| 1539 | StringRef getPlatformName() const { return PlatformName; } |
||
| 1540 | |||
| 1541 | /// Retrieve the minimum desired version of the platform, to |
||
| 1542 | /// which the program should be compiled. |
||
| 1543 | VersionTuple getPlatformMinVersion() const { return PlatformMinVersion; } |
||
| 1544 | |||
| 1545 | bool isBigEndian() const { return BigEndian; } |
||
| 1546 | bool isLittleEndian() const { return !BigEndian; } |
||
| 1547 | |||
| 1548 | /// Whether the option -fextend-arguments={32,64} is supported on the target. |
||
| 1549 | virtual bool supportsExtendIntArgs() const { return false; } |
||
| 1550 | |||
| 1551 | /// Controls if __arithmetic_fence is supported in the targeted backend. |
||
| 1552 | virtual bool checkArithmeticFenceSupported() const { return false; } |
||
| 1553 | |||
| 1554 | /// Gets the default calling convention for the given target and |
||
| 1555 | /// declaration context. |
||
| 1556 | virtual CallingConv getDefaultCallingConv() const { |
||
| 1557 | // Not all targets will specify an explicit calling convention that we can |
||
| 1558 | // express. This will always do the right thing, even though it's not |
||
| 1559 | // an explicit calling convention. |
||
| 1560 | return CC_C; |
||
| 1561 | } |
||
| 1562 | |||
| 1563 | enum CallingConvCheckResult { |
||
| 1564 | CCCR_OK, |
||
| 1565 | CCCR_Warning, |
||
| 1566 | CCCR_Ignore, |
||
| 1567 | CCCR_Error, |
||
| 1568 | }; |
||
| 1569 | |||
| 1570 | /// Determines whether a given calling convention is valid for the |
||
| 1571 | /// target. A calling convention can either be accepted, produce a warning |
||
| 1572 | /// and be substituted with the default calling convention, or (someday) |
||
| 1573 | /// produce an error (such as using thiscall on a non-instance function). |
||
| 1574 | virtual CallingConvCheckResult checkCallingConvention(CallingConv CC) const { |
||
| 1575 | switch (CC) { |
||
| 1576 | default: |
||
| 1577 | return CCCR_Warning; |
||
| 1578 | case CC_C: |
||
| 1579 | return CCCR_OK; |
||
| 1580 | } |
||
| 1581 | } |
||
| 1582 | |||
| 1583 | enum CallingConvKind { |
||
| 1584 | CCK_Default, |
||
| 1585 | CCK_ClangABI4OrPS4, |
||
| 1586 | CCK_MicrosoftWin64 |
||
| 1587 | }; |
||
| 1588 | |||
| 1589 | virtual CallingConvKind getCallingConvKind(bool ClangABICompat4) const; |
||
| 1590 | |||
| 1591 | /// Controls whether explicitly defaulted (`= default`) special member |
||
| 1592 | /// functions disqualify something from being POD-for-the-purposes-of-layout. |
||
| 1593 | /// Historically, Clang didn't consider these acceptable for POD, but GCC |
||
| 1594 | /// does. So in newer Clang ABIs they are acceptable for POD to be compatible |
||
| 1595 | /// with GCC/Itanium ABI, and remains disqualifying for targets that need |
||
| 1596 | /// Clang backwards compatibility rather than GCC/Itanium ABI compatibility. |
||
| 1597 | virtual bool areDefaultedSMFStillPOD(const LangOptions&) const; |
||
| 1598 | |||
| 1599 | /// Controls if __builtin_longjmp / __builtin_setjmp can be lowered to |
||
| 1600 | /// llvm.eh.sjlj.longjmp / llvm.eh.sjlj.setjmp. |
||
| 1601 | virtual bool hasSjLjLowering() const { |
||
| 1602 | return false; |
||
| 1603 | } |
||
| 1604 | |||
| 1605 | /// Check if the target supports CFProtection branch. |
||
| 1606 | virtual bool |
||
| 1607 | checkCFProtectionBranchSupported(DiagnosticsEngine &Diags) const; |
||
| 1608 | |||
| 1609 | /// Check if the target supports CFProtection return. |
||
| 1610 | virtual bool |
||
| 1611 | checkCFProtectionReturnSupported(DiagnosticsEngine &Diags) const; |
||
| 1612 | |||
| 1613 | /// Whether target allows to overalign ABI-specified preferred alignment |
||
| 1614 | virtual bool allowsLargerPreferedTypeAlignment() const { return true; } |
||
| 1615 | |||
| 1616 | /// Whether target defaults to the `power` alignment rules of AIX. |
||
| 1617 | virtual bool defaultsToAIXPowerAlignment() const { return false; } |
||
| 1618 | |||
| 1619 | /// Set supported OpenCL extensions and optional core features. |
||
| 1620 | virtual void setSupportedOpenCLOpts() {} |
||
| 1621 | |||
| 1622 | virtual void supportAllOpenCLOpts(bool V = true) { |
||
| 1623 | #define OPENCLEXTNAME(Ext) \ |
||
| 1624 | setFeatureEnabled(getTargetOpts().OpenCLFeaturesMap, #Ext, V); |
||
| 1625 | #include "clang/Basic/OpenCLExtensions.def" |
||
| 1626 | } |
||
| 1627 | |||
| 1628 | /// Set supported OpenCL extensions as written on command line |
||
| 1629 | virtual void setCommandLineOpenCLOpts() { |
||
| 1630 | for (const auto &Ext : getTargetOpts().OpenCLExtensionsAsWritten) { |
||
| 1631 | bool IsPrefixed = (Ext[0] == '+' || Ext[0] == '-'); |
||
| 1632 | std::string Name = IsPrefixed ? Ext.substr(1) : Ext; |
||
| 1633 | bool V = IsPrefixed ? Ext[0] == '+' : true; |
||
| 1634 | |||
| 1635 | if (Name == "all") { |
||
| 1636 | supportAllOpenCLOpts(V); |
||
| 1637 | continue; |
||
| 1638 | } |
||
| 1639 | |||
| 1640 | getTargetOpts().OpenCLFeaturesMap[Name] = V; |
||
| 1641 | } |
||
| 1642 | } |
||
| 1643 | |||
| 1644 | /// Get supported OpenCL extensions and optional core features. |
||
| 1645 | llvm::StringMap<bool> &getSupportedOpenCLOpts() { |
||
| 1646 | return getTargetOpts().OpenCLFeaturesMap; |
||
| 1647 | } |
||
| 1648 | |||
| 1649 | /// Get const supported OpenCL extensions and optional core features. |
||
| 1650 | const llvm::StringMap<bool> &getSupportedOpenCLOpts() const { |
||
| 1651 | return getTargetOpts().OpenCLFeaturesMap; |
||
| 1652 | } |
||
| 1653 | |||
| 1654 | /// Get address space for OpenCL type. |
||
| 1655 | virtual LangAS getOpenCLTypeAddrSpace(OpenCLTypeKind TK) const; |
||
| 1656 | |||
| 1657 | /// \returns Target specific vtbl ptr address space. |
||
| 1658 | virtual unsigned getVtblPtrAddressSpace() const { |
||
| 1659 | return 0; |
||
| 1660 | } |
||
| 1661 | |||
| 1662 | /// \returns If a target requires an address within a target specific address |
||
| 1663 | /// space \p AddressSpace to be converted in order to be used, then return the |
||
| 1664 | /// corresponding target specific DWARF address space. |
||
| 1665 | /// |
||
| 1666 | /// \returns Otherwise return std::nullopt and no conversion will be emitted |
||
| 1667 | /// in the DWARF. |
||
| 1668 | virtual std::optional<unsigned> getDWARFAddressSpace(unsigned AddressSpace) |
||
| 1669 | const { |
||
| 1670 | return std::nullopt; |
||
| 1671 | } |
||
| 1672 | |||
| 1673 | /// \returns The version of the SDK which was used during the compilation if |
||
| 1674 | /// one was specified, or an empty version otherwise. |
||
| 1675 | const llvm::VersionTuple &getSDKVersion() const { |
||
| 1676 | return getTargetOpts().SDKVersion; |
||
| 1677 | } |
||
| 1678 | |||
| 1679 | /// Check the target is valid after it is fully initialized. |
||
| 1680 | virtual bool validateTarget(DiagnosticsEngine &Diags) const { |
||
| 1681 | return true; |
||
| 1682 | } |
||
| 1683 | |||
| 1684 | /// Check that OpenCL target has valid options setting based on OpenCL |
||
| 1685 | /// version. |
||
| 1686 | virtual bool validateOpenCLTarget(const LangOptions &Opts, |
||
| 1687 | DiagnosticsEngine &Diags) const; |
||
| 1688 | |||
| 1689 | virtual void setAuxTarget(const TargetInfo *Aux) {} |
||
| 1690 | |||
| 1691 | /// Whether target allows debuginfo types for decl only variables/functions. |
||
| 1692 | virtual bool allowDebugInfoForExternalRef() const { return false; } |
||
| 1693 | |||
| 1694 | /// Returns the darwin target variant triple, the variant of the deployment |
||
| 1695 | /// target for which the code is being compiled. |
||
| 1696 | const llvm::Triple *getDarwinTargetVariantTriple() const { |
||
| 1697 | return DarwinTargetVariantTriple ? &*DarwinTargetVariantTriple : nullptr; |
||
| 1698 | } |
||
| 1699 | |||
| 1700 | /// Returns the version of the darwin target variant SDK which was used during |
||
| 1701 | /// the compilation if one was specified, or an empty version otherwise. |
||
| 1702 | const std::optional<VersionTuple> getDarwinTargetVariantSDKVersion() const { |
||
| 1703 | return !getTargetOpts().DarwinTargetVariantSDKVersion.empty() |
||
| 1704 | ? getTargetOpts().DarwinTargetVariantSDKVersion |
||
| 1705 | : std::optional<VersionTuple>(); |
||
| 1706 | } |
||
| 1707 | |||
| 1708 | protected: |
||
| 1709 | /// Copy type and layout related info. |
||
| 1710 | void copyAuxTarget(const TargetInfo *Aux); |
||
| 1711 | virtual uint64_t getPointerWidthV(LangAS AddrSpace) const { |
||
| 1712 | return PointerWidth; |
||
| 1713 | } |
||
| 1714 | virtual uint64_t getPointerAlignV(LangAS AddrSpace) const { |
||
| 1715 | return PointerAlign; |
||
| 1716 | } |
||
| 1717 | virtual enum IntType getPtrDiffTypeV(LangAS AddrSpace) const { |
||
| 1718 | return PtrDiffType; |
||
| 1719 | } |
||
| 1720 | virtual ArrayRef<const char *> getGCCRegNames() const = 0; |
||
| 1721 | virtual ArrayRef<GCCRegAlias> getGCCRegAliases() const = 0; |
||
| 1722 | virtual ArrayRef<AddlRegName> getGCCAddlRegNames() const { |
||
| 1723 | return std::nullopt; |
||
| 1724 | } |
||
| 1725 | |||
| 1726 | private: |
||
| 1727 | // Assert the values for the fractional and integral bits for each fixed point |
||
| 1728 | // type follow the restrictions given in clause 6.2.6.3 of N1169. |
||
| 1729 | void CheckFixedPointBits() const; |
||
| 1730 | }; |
||
| 1731 | |||
| 1732 | } // end namespace clang |
||
| 1733 | |||
| 1734 | #endif |