Chris Lattner | 1e27fe1 | 2006-10-14 07:06:20 +0000 | [diff] [blame] | 1 | //===--- TargetInfo.cpp - Information about Target machine ----------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Chris Lattner | 1e27fe1 | 2006-10-14 07:06:20 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file implements the TargetInfo and TargetInfoImpl interfaces. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
| 13 | #include "clang/Basic/TargetInfo.h" |
Chandler Carruth | 3a02247 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 14 | #include "clang/Basic/AddressSpaces.h" |
Jordan Rose | a7d0384 | 2013-02-08 22:30:41 +0000 | [diff] [blame] | 15 | #include "clang/Basic/CharInfo.h" |
Alexander Ivchenko | 0fb8c87 | 2018-05-18 11:56:21 +0000 | [diff] [blame] | 16 | #include "clang/Basic/Diagnostic.h" |
John Thompson | ed4e295 | 2009-11-05 20:14:16 +0000 | [diff] [blame] | 17 | #include "clang/Basic/LangOptions.h" |
Chris Lattner | ec0a6d9 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/APFloat.h" |
Anders Carlsson | 290aa85 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/STLExtras.h" |
Bjorn Pettersson | 78424e5 | 2019-10-21 17:58:14 +0000 | [diff] [blame] | 20 | #include "llvm/IR/DataLayout.h" |
David Blaikie | 76bd3c8 | 2011-09-23 05:35:21 +0000 | [diff] [blame] | 21 | #include "llvm/Support/ErrorHandling.h" |
Saleem Abdulrasool | 729379a | 2017-10-06 23:09:55 +0000 | [diff] [blame] | 22 | #include "llvm/Support/TargetParser.h" |
Chris Lattner | c4f02b6 | 2008-04-06 04:02:29 +0000 | [diff] [blame] | 23 | #include <cstdlib> |
Chris Lattner | 1e27fe1 | 2006-10-14 07:06:20 +0000 | [diff] [blame] | 24 | using namespace clang; |
| 25 | |
Alexander Richardson | 6d98943 | 2017-10-15 18:48:14 +0000 | [diff] [blame] | 26 | static const LangASMap DefaultAddrSpaceMap = {0}; |
Peter Collingbourne | 599cb8e | 2011-03-18 22:38:29 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 1df2786 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 28 | // TargetInfo Constructor. |
Benjamin Kramer | b1276b4 | 2013-06-29 16:37:14 +0000 | [diff] [blame] | 29 | TargetInfo::TargetInfo(const llvm::Triple &T) : TargetOpts(), Triple(T) { |
Daniel Dunbar | 3d9289c | 2010-04-15 06:18:39 +0000 | [diff] [blame] | 30 | // Set defaults. Defaults are set for a 32-bit RISC platform, like PPC or |
| 31 | // SPARC. These should be overridden by concrete targets as needed. |
Matt Arsenault | f333de3 | 2016-09-07 07:08:02 +0000 | [diff] [blame] | 32 | BigEndian = !T.isLittleEndian(); |
Eli Friedman | d88c8a1 | 2009-04-19 21:38:35 +0000 | [diff] [blame] | 33 | TLSSupported = true; |
Jonas Hahnfeld | 87d4426 | 2017-11-18 21:00:46 +0000 | [diff] [blame] | 34 | VLASupported = true; |
Chris Lattner | 1a8f394 | 2010-04-23 16:29:58 +0000 | [diff] [blame] | 35 | NoAsmVariants = false; |
Sjoerd Meijer | 87793e7 | 2018-03-19 13:22:49 +0000 | [diff] [blame] | 36 | HasLegalHalfType = false; |
Nemanja Ivanovic | bb1ea2d | 2016-05-09 08:52:33 +0000 | [diff] [blame] | 37 | HasFloat128 = false; |
Erich Keane | 1d1d438 | 2019-01-25 17:27:57 +0000 | [diff] [blame] | 38 | HasFloat16 = false; |
Chris Lattner | 5e2ef0c | 2008-05-09 06:08:39 +0000 | [diff] [blame] | 39 | PointerWidth = PointerAlign = 32; |
Roman Divacky | 965b0b7 | 2011-01-06 08:27:10 +0000 | [diff] [blame] | 40 | BoolWidth = BoolAlign = 8; |
Chris Lattner | b781dc79 | 2008-05-08 05:58:21 +0000 | [diff] [blame] | 41 | IntWidth = IntAlign = 32; |
Chris Lattner | 5a9aaaf | 2008-05-09 05:50:02 +0000 | [diff] [blame] | 42 | LongWidth = LongAlign = 32; |
| 43 | LongLongWidth = LongLongAlign = 64; |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 44 | |
| 45 | // Fixed point default bit widths |
Leonard Chan | f921d85 | 2018-06-04 16:07:52 +0000 | [diff] [blame] | 46 | ShortAccumWidth = ShortAccumAlign = 16; |
| 47 | AccumWidth = AccumAlign = 32; |
| 48 | LongAccumWidth = LongAccumAlign = 64; |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 49 | ShortFractWidth = ShortFractAlign = 8; |
| 50 | FractWidth = FractAlign = 16; |
| 51 | LongFractWidth = LongFractAlign = 32; |
| 52 | |
| 53 | // Fixed point default integral and fractional bit sizes |
| 54 | // We give the _Accum 1 fewer fractional bits than their corresponding _Fract |
| 55 | // types by default to have the same number of fractional bits between _Accum |
| 56 | // and _Fract types. |
Leonard Chan | 6e16c60 | 2018-06-29 17:08:19 +0000 | [diff] [blame] | 57 | PaddingOnUnsignedFixedPoint = false; |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 58 | ShortAccumScale = 7; |
| 59 | AccumScale = 15; |
| 60 | LongAccumScale = 31; |
| 61 | |
Nick Lewycky | f59e129 | 2011-12-16 22:34:14 +0000 | [diff] [blame] | 62 | SuitableAlign = 64; |
Ulrich Weigand | ca3cb7f | 2015-04-21 17:29:35 +0000 | [diff] [blame] | 63 | DefaultAlignForAttributeAligned = 128; |
Ulrich Weigand | fa80642 | 2013-05-06 16:23:57 +0000 | [diff] [blame] | 64 | MinGlobalAlign = 0; |
Richard Smith | 5913902 | 2016-09-30 22:41:36 +0000 | [diff] [blame] | 65 | // From the glibc documentation, on GNU systems, malloc guarantees 16-byte |
| 66 | // alignment on 64-bit systems and 8-byte alignment on 32-bit systems. See |
Pirama Arumuga Nainar | b818347 | 2018-08-01 17:55:34 +0000 | [diff] [blame] | 67 | // https://www.gnu.org/software/libc/manual/html_node/Malloc-Examples.html. |
| 68 | // This alignment guarantee also applies to Windows and Android. |
| 69 | if (T.isGNUEnvironment() || T.isWindowsMSVCEnvironment() || T.isAndroid()) |
Richard Smith | 5913902 | 2016-09-30 22:41:36 +0000 | [diff] [blame] | 70 | NewAlign = Triple.isArch64Bit() ? 128 : Triple.isArch32Bit() ? 64 : 0; |
| 71 | else |
| 72 | NewAlign = 0; // Infer from basic type alignment. |
Anton Korobeynikov | f0c267e | 2011-10-14 23:23:15 +0000 | [diff] [blame] | 73 | HalfWidth = 16; |
| 74 | HalfAlign = 16; |
Eli Friedman | b536606 | 2008-05-20 14:21:01 +0000 | [diff] [blame] | 75 | FloatWidth = 32; |
| 76 | FloatAlign = 32; |
Nate Begeman | 65bea23 | 2008-04-18 17:17:24 +0000 | [diff] [blame] | 77 | DoubleWidth = 64; |
Eli Friedman | b536606 | 2008-05-20 14:21:01 +0000 | [diff] [blame] | 78 | DoubleAlign = 64; |
| 79 | LongDoubleWidth = 64; |
| 80 | LongDoubleAlign = 64; |
Nemanja Ivanovic | bb1ea2d | 2016-05-09 08:52:33 +0000 | [diff] [blame] | 81 | Float128Align = 128; |
Rafael Espindola | e971b9a | 2010-06-04 23:15:27 +0000 | [diff] [blame] | 82 | LargeArrayMinWidth = 0; |
| 83 | LargeArrayAlign = 0; |
Eli Friedman | 4b72fdd | 2011-10-14 20:59:01 +0000 | [diff] [blame] | 84 | MaxAtomicPromoteWidth = MaxAtomicInlineWidth = 0; |
Chad Rosier | cc40ea7 | 2012-07-13 23:57:43 +0000 | [diff] [blame] | 85 | MaxVectorAlign = 0; |
Paul Robinson | d30e2ee | 2015-07-14 20:52:32 +0000 | [diff] [blame] | 86 | MaxTLSAlign = 0; |
Alexey Bataev | 0039651 | 2015-07-02 03:40:19 +0000 | [diff] [blame] | 87 | SimdDefaultAlign = 0; |
Anders Carlsson | 2a79a90 | 2008-10-31 16:05:19 +0000 | [diff] [blame] | 88 | SizeType = UnsignedLong; |
Eli Friedman | d50881c | 2008-11-02 02:43:55 +0000 | [diff] [blame] | 89 | PtrDiffType = SignedLong; |
Sanjiv Gupta | d795924 | 2008-10-31 09:52:39 +0000 | [diff] [blame] | 90 | IntMaxType = SignedLongLong; |
Chris Lattner | 7e4c81c | 2009-02-13 22:28:55 +0000 | [diff] [blame] | 91 | IntPtrType = SignedLong; |
Eli Friedman | d50881c | 2008-11-02 02:43:55 +0000 | [diff] [blame] | 92 | WCharType = SignedInt; |
Chris Lattner | 6720492 | 2009-10-21 04:59:34 +0000 | [diff] [blame] | 93 | WIntType = SignedInt; |
Alisdair Meredith | a9ad47d | 2009-07-14 06:30:34 +0000 | [diff] [blame] | 94 | Char16Type = UnsignedShort; |
| 95 | Char32Type = UnsignedInt; |
Eli Friedman | 2857ccb | 2009-07-01 03:36:11 +0000 | [diff] [blame] | 96 | Int64Type = SignedLongLong; |
Edward O'Callaghan | 847f2a1 | 2009-11-21 00:49:54 +0000 | [diff] [blame] | 97 | SigAtomicType = SignedInt; |
Eli Friedman | 4e91899e | 2012-11-27 02:58:24 +0000 | [diff] [blame] | 98 | ProcessIDType = SignedInt; |
Fariborz Jahanian | 29898f4 | 2012-04-16 21:03:30 +0000 | [diff] [blame] | 99 | UseSignedCharForObjCBool = true; |
Daniel Dunbar | 1da6511 | 2010-04-15 15:06:18 +0000 | [diff] [blame] | 100 | UseBitFieldTypeAlignment = true; |
Chad Rosier | 18903ee | 2011-08-04 01:21:14 +0000 | [diff] [blame] | 101 | UseZeroLengthBitfieldAlignment = false; |
Sunil Srivastava | 0ce2f22 | 2016-02-05 20:50:02 +0000 | [diff] [blame] | 102 | UseExplicitBitFieldAlignment = true; |
Chad Rosier | 18903ee | 2011-08-04 01:21:14 +0000 | [diff] [blame] | 103 | ZeroLengthBitfieldBoundary = 0; |
Stephan Bergmann | 17c7f70 | 2016-12-14 11:57:17 +0000 | [diff] [blame] | 104 | HalfFormat = &llvm::APFloat::IEEEhalf(); |
| 105 | FloatFormat = &llvm::APFloat::IEEEsingle(); |
| 106 | DoubleFormat = &llvm::APFloat::IEEEdouble(); |
| 107 | LongDoubleFormat = &llvm::APFloat::IEEEdouble(); |
| 108 | Float128Format = &llvm::APFloat::IEEEquad(); |
Roman Divacky | 178e0160 | 2011-02-10 16:52:03 +0000 | [diff] [blame] | 109 | MCountName = "mcount"; |
Abramo Bagnara | 41bfb66 | 2011-09-08 14:20:25 +0000 | [diff] [blame] | 110 | RegParmMax = 0; |
| 111 | SSERegParmMax = 0; |
Daniel Dunbar | bd60652 | 2010-05-27 00:35:16 +0000 | [diff] [blame] | 112 | HasAlignMac68kSupport = false; |
Charles Davis | c7d5c94 | 2015-09-17 20:55:33 +0000 | [diff] [blame] | 113 | HasBuiltinMSVaList = false; |
Pirama Arumuga Nainar | bb846a3 | 2016-07-27 19:01:51 +0000 | [diff] [blame] | 114 | IsRenderScriptTarget = false; |
Richard Sandiford | eb485fb | 2019-08-09 08:52:54 +0000 | [diff] [blame] | 115 | HasAArch64SVETypes = false; |
Daniel Dunbar | 6f2e839 | 2010-07-14 23:39:36 +0000 | [diff] [blame] | 116 | |
| 117 | // Default to no types using fpret. |
| 118 | RealTypeUsesObjCFPRet = 0; |
John McCall | 8635341 | 2010-08-21 22:46:04 +0000 | [diff] [blame] | 119 | |
Anders Carlsson | 2f1a6c3 | 2011-10-31 16:27:11 +0000 | [diff] [blame] | 120 | // Default to not using fp2ret for __Complex long double |
| 121 | ComplexLongDoubleUsesFP2Ret = false; |
| 122 | |
Hans Wennborg | c9bd88e | 2014-01-14 19:35:09 +0000 | [diff] [blame] | 123 | // Set the C++ ABI based on the triple. |
Saleem Abdulrasool | 377066a | 2014-03-27 22:50:18 +0000 | [diff] [blame] | 124 | TheCXXABI.set(Triple.isKnownWindowsMSVCEnvironment() |
Hans Wennborg | c9bd88e | 2014-01-14 19:35:09 +0000 | [diff] [blame] | 125 | ? TargetCXXABI::Microsoft |
| 126 | : TargetCXXABI::GenericItanium); |
Peter Collingbourne | 599cb8e | 2011-03-18 22:38:29 +0000 | [diff] [blame] | 127 | |
| 128 | // Default to an empty address space map. |
| 129 | AddrSpaceMap = &DefaultAddrSpaceMap; |
David Tweed | 31d09b0 | 2013-09-13 12:04:22 +0000 | [diff] [blame] | 130 | UseAddrSpaceMapMangling = false; |
Douglas Gregor | 20b2ebd | 2011-03-23 00:50:03 +0000 | [diff] [blame] | 131 | |
| 132 | // Default to an unknown platform name. |
| 133 | PlatformName = "unknown"; |
| 134 | PlatformMinVersion = VersionTuple(); |
Chris Lattner | 1df2786 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | c3a669b | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 137 | // Out of line virtual dtor for TargetInfo. |
Angel Garcia Gomez | 637d1e6 | 2015-10-20 13:23:58 +0000 | [diff] [blame] | 138 | TargetInfo::~TargetInfo() {} |
Chris Lattner | 2194ddc | 2006-10-14 18:32:26 +0000 | [diff] [blame] | 139 | |
Bjorn Pettersson | 78424e5 | 2019-10-21 17:58:14 +0000 | [diff] [blame] | 140 | void TargetInfo::resetDataLayout(StringRef DL) { |
| 141 | DataLayout.reset(new llvm::DataLayout(DL)); |
| 142 | } |
| 143 | |
Alexander Ivchenko | 0fb8c87 | 2018-05-18 11:56:21 +0000 | [diff] [blame] | 144 | bool |
| 145 | TargetInfo::checkCFProtectionBranchSupported(DiagnosticsEngine &Diags) const { |
| 146 | Diags.Report(diag::err_opt_not_valid_on_target) << "cf-protection=branch"; |
| 147 | return false; |
| 148 | } |
| 149 | |
| 150 | bool |
| 151 | TargetInfo::checkCFProtectionReturnSupported(DiagnosticsEngine &Diags) const { |
| 152 | Diags.Report(diag::err_opt_not_valid_on_target) << "cf-protection=return"; |
| 153 | return false; |
| 154 | } |
| 155 | |
Chris Lattner | a91c30f | 2009-02-06 05:04:11 +0000 | [diff] [blame] | 156 | /// getTypeName - Return the user string for the specified integer type enum. |
| 157 | /// For example, SignedShort -> "short". |
| 158 | const char *TargetInfo::getTypeName(IntType T) { |
| 159 | switch (T) { |
David Blaikie | 83d382b | 2011-09-23 05:06:16 +0000 | [diff] [blame] | 160 | default: llvm_unreachable("not an integer!"); |
Joerg Sonnenberger | 3d9478c | 2014-07-28 21:06:22 +0000 | [diff] [blame] | 161 | case SignedChar: return "signed char"; |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 162 | case UnsignedChar: return "unsigned char"; |
Chris Lattner | a91c30f | 2009-02-06 05:04:11 +0000 | [diff] [blame] | 163 | case SignedShort: return "short"; |
| 164 | case UnsignedShort: return "unsigned short"; |
| 165 | case SignedInt: return "int"; |
| 166 | case UnsignedInt: return "unsigned int"; |
| 167 | case SignedLong: return "long int"; |
| 168 | case UnsignedLong: return "long unsigned int"; |
| 169 | case SignedLongLong: return "long long int"; |
| 170 | case UnsignedLongLong: return "long long unsigned int"; |
| 171 | } |
| 172 | } |
| 173 | |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 174 | /// getTypeConstantSuffix - Return the constant suffix for the specified |
| 175 | /// integer type enum. For example, SignedLong -> "L". |
Joerg Sonnenberger | 587deea | 2014-07-17 20:12:32 +0000 | [diff] [blame] | 176 | const char *TargetInfo::getTypeConstantSuffix(IntType T) const { |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 177 | switch (T) { |
David Blaikie | 83d382b | 2011-09-23 05:06:16 +0000 | [diff] [blame] | 178 | default: llvm_unreachable("not an integer!"); |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 179 | case SignedChar: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 180 | case SignedShort: |
| 181 | case SignedInt: return ""; |
| 182 | case SignedLong: return "L"; |
| 183 | case SignedLongLong: return "LL"; |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 184 | case UnsignedChar: |
Joerg Sonnenberger | 587deea | 2014-07-17 20:12:32 +0000 | [diff] [blame] | 185 | if (getCharWidth() < getIntWidth()) |
| 186 | return ""; |
Galina Kistanova | 96088f4 | 2017-06-03 06:38:22 +0000 | [diff] [blame] | 187 | LLVM_FALLTHROUGH; |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 188 | case UnsignedShort: |
Joerg Sonnenberger | 587deea | 2014-07-17 20:12:32 +0000 | [diff] [blame] | 189 | if (getShortWidth() < getIntWidth()) |
| 190 | return ""; |
Galina Kistanova | 96088f4 | 2017-06-03 06:38:22 +0000 | [diff] [blame] | 191 | LLVM_FALLTHROUGH; |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 192 | case UnsignedInt: return "U"; |
| 193 | case UnsignedLong: return "UL"; |
| 194 | case UnsignedLongLong: return "ULL"; |
| 195 | } |
| 196 | } |
| 197 | |
Joerg Sonnenberger | be324f9 | 2014-07-15 11:30:00 +0000 | [diff] [blame] | 198 | /// getTypeFormatModifier - Return the printf format modifier for the |
| 199 | /// specified integer type enum. For example, SignedLong -> "l". |
| 200 | |
| 201 | const char *TargetInfo::getTypeFormatModifier(IntType T) { |
| 202 | switch (T) { |
| 203 | default: llvm_unreachable("not an integer!"); |
| 204 | case SignedChar: |
| 205 | case UnsignedChar: return "hh"; |
| 206 | case SignedShort: |
| 207 | case UnsignedShort: return "h"; |
| 208 | case SignedInt: |
| 209 | case UnsignedInt: return ""; |
| 210 | case SignedLong: |
| 211 | case UnsignedLong: return "l"; |
| 212 | case SignedLongLong: |
| 213 | case UnsignedLongLong: return "ll"; |
| 214 | } |
| 215 | } |
| 216 | |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 217 | /// getTypeWidth - Return the width (in bits) of the specified integer type |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 218 | /// enum. For example, SignedInt -> getIntWidth(). |
| 219 | unsigned TargetInfo::getTypeWidth(IntType T) const { |
| 220 | switch (T) { |
David Blaikie | 83d382b | 2011-09-23 05:06:16 +0000 | [diff] [blame] | 221 | default: llvm_unreachable("not an integer!"); |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 222 | case SignedChar: |
| 223 | case UnsignedChar: return getCharWidth(); |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 224 | case SignedShort: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 225 | case UnsignedShort: return getShortWidth(); |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 226 | case SignedInt: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 227 | case UnsignedInt: return getIntWidth(); |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 228 | case SignedLong: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 229 | case UnsignedLong: return getLongWidth(); |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 230 | case SignedLongLong: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 231 | case UnsignedLongLong: return getLongLongWidth(); |
| 232 | }; |
| 233 | } |
| 234 | |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 235 | TargetInfo::IntType TargetInfo::getIntTypeByWidth( |
| 236 | unsigned BitWidth, bool IsSigned) const { |
| 237 | if (getCharWidth() == BitWidth) |
| 238 | return IsSigned ? SignedChar : UnsignedChar; |
| 239 | if (getShortWidth() == BitWidth) |
| 240 | return IsSigned ? SignedShort : UnsignedShort; |
| 241 | if (getIntWidth() == BitWidth) |
| 242 | return IsSigned ? SignedInt : UnsignedInt; |
| 243 | if (getLongWidth() == BitWidth) |
| 244 | return IsSigned ? SignedLong : UnsignedLong; |
| 245 | if (getLongLongWidth() == BitWidth) |
| 246 | return IsSigned ? SignedLongLong : UnsignedLongLong; |
| 247 | return NoInt; |
| 248 | } |
| 249 | |
JF Bastien | ab8d0a0 | 2014-06-25 01:31:33 +0000 | [diff] [blame] | 250 | TargetInfo::IntType TargetInfo::getLeastIntTypeByWidth(unsigned BitWidth, |
| 251 | bool IsSigned) const { |
| 252 | if (getCharWidth() >= BitWidth) |
| 253 | return IsSigned ? SignedChar : UnsignedChar; |
| 254 | if (getShortWidth() >= BitWidth) |
| 255 | return IsSigned ? SignedShort : UnsignedShort; |
| 256 | if (getIntWidth() >= BitWidth) |
| 257 | return IsSigned ? SignedInt : UnsignedInt; |
| 258 | if (getLongWidth() >= BitWidth) |
| 259 | return IsSigned ? SignedLong : UnsignedLong; |
| 260 | if (getLongLongWidth() >= BitWidth) |
| 261 | return IsSigned ? SignedLongLong : UnsignedLongLong; |
| 262 | return NoInt; |
| 263 | } |
| 264 | |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 265 | TargetInfo::RealType TargetInfo::getRealTypeByWidth(unsigned BitWidth) const { |
| 266 | if (getFloatWidth() == BitWidth) |
| 267 | return Float; |
| 268 | if (getDoubleWidth() == BitWidth) |
| 269 | return Double; |
| 270 | |
| 271 | switch (BitWidth) { |
| 272 | case 96: |
Stephan Bergmann | 17c7f70 | 2016-12-14 11:57:17 +0000 | [diff] [blame] | 273 | if (&getLongDoubleFormat() == &llvm::APFloat::x87DoubleExtended()) |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 274 | return LongDouble; |
| 275 | break; |
| 276 | case 128: |
Stephan Bergmann | 17c7f70 | 2016-12-14 11:57:17 +0000 | [diff] [blame] | 277 | if (&getLongDoubleFormat() == &llvm::APFloat::PPCDoubleDouble() || |
| 278 | &getLongDoubleFormat() == &llvm::APFloat::IEEEquad()) |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 279 | return LongDouble; |
Nemanja Ivanovic | bb1ea2d | 2016-05-09 08:52:33 +0000 | [diff] [blame] | 280 | if (hasFloat128Type()) |
| 281 | return Float128; |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 282 | break; |
| 283 | } |
| 284 | |
| 285 | return NoFloat; |
| 286 | } |
| 287 | |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 288 | /// getTypeAlign - Return the alignment (in bits) of the specified integer type |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 289 | /// enum. For example, SignedInt -> getIntAlign(). |
| 290 | unsigned TargetInfo::getTypeAlign(IntType T) const { |
| 291 | switch (T) { |
David Blaikie | 83d382b | 2011-09-23 05:06:16 +0000 | [diff] [blame] | 292 | default: llvm_unreachable("not an integer!"); |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 293 | case SignedChar: |
| 294 | case UnsignedChar: return getCharAlign(); |
Chris Lattner | e4a8c64 | 2009-11-05 21:21:32 +0000 | [diff] [blame] | 295 | case SignedShort: |
| 296 | case UnsignedShort: return getShortAlign(); |
| 297 | case SignedInt: |
| 298 | case UnsignedInt: return getIntAlign(); |
| 299 | case SignedLong: |
| 300 | case UnsignedLong: return getLongAlign(); |
| 301 | case SignedLongLong: |
| 302 | case UnsignedLongLong: return getLongLongAlign(); |
| 303 | }; |
| 304 | } |
| 305 | |
Chris Lattner | c0c0439 | 2009-10-25 22:49:18 +0000 | [diff] [blame] | 306 | /// isTypeSigned - Return whether an integer types is signed. Returns true if |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 307 | /// the type is signed; false otherwise. |
Chris Lattner | ad3467e | 2010-12-25 23:25:43 +0000 | [diff] [blame] | 308 | bool TargetInfo::isTypeSigned(IntType T) { |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 309 | switch (T) { |
David Blaikie | 83d382b | 2011-09-23 05:06:16 +0000 | [diff] [blame] | 310 | default: llvm_unreachable("not an integer!"); |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 311 | case SignedChar: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 312 | case SignedShort: |
| 313 | case SignedInt: |
| 314 | case SignedLong: |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 315 | case SignedLongLong: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 316 | return true; |
Stepan Dyatkovskiy | 5a63792 | 2013-09-05 11:23:21 +0000 | [diff] [blame] | 317 | case UnsignedChar: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 318 | case UnsignedShort: |
| 319 | case UnsignedInt: |
| 320 | case UnsignedLong: |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 321 | case UnsignedLongLong: |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 322 | return false; |
| 323 | }; |
| 324 | } |
| 325 | |
Alp Toker | 7443797 | 2014-07-06 05:14:24 +0000 | [diff] [blame] | 326 | /// adjust - Set forced language options. |
John Thompson | ed4e295 | 2009-11-05 20:14:16 +0000 | [diff] [blame] | 327 | /// Apply changes to the target information with respect to certain |
Eric Christopher | 3646e62 | 2017-03-22 06:36:09 +0000 | [diff] [blame] | 328 | /// language options which change the target configuration and adjust |
| 329 | /// the language based on the target options where applicable. |
| 330 | void TargetInfo::adjust(LangOptions &Opts) { |
Daniel Dunbar | 9302f60 | 2010-04-15 15:06:22 +0000 | [diff] [blame] | 331 | if (Opts.NoBitFieldTypeAlign) |
| 332 | UseBitFieldTypeAlignment = false; |
Saleem Abdulrasool | 729379a | 2017-10-06 23:09:55 +0000 | [diff] [blame] | 333 | |
| 334 | switch (Opts.WCharSize) { |
| 335 | default: llvm_unreachable("invalid wchar_t width"); |
| 336 | case 0: break; |
| 337 | case 1: WCharType = Opts.WCharIsSigned ? SignedChar : UnsignedChar; break; |
| 338 | case 2: WCharType = Opts.WCharIsSigned ? SignedShort : UnsignedShort; break; |
| 339 | case 4: WCharType = Opts.WCharIsSigned ? SignedInt : UnsignedInt; break; |
| 340 | } |
| 341 | |
Reid Kleckner | 8195f69 | 2016-05-04 02:58:24 +0000 | [diff] [blame] | 342 | if (Opts.AlignDouble) { |
| 343 | DoubleAlign = LongLongAlign = 64; |
| 344 | LongDoubleAlign = 64; |
| 345 | } |
David Tweed | 2da6438 | 2013-09-09 09:17:24 +0000 | [diff] [blame] | 346 | |
| 347 | if (Opts.OpenCL) { |
| 348 | // OpenCL C requires specific widths for types, irrespective of |
| 349 | // what these normally are for the target. |
| 350 | // We also define long long and long double here, although the |
| 351 | // OpenCL standard only mentions these as "reserved". |
| 352 | IntWidth = IntAlign = 32; |
| 353 | LongWidth = LongAlign = 64; |
| 354 | LongLongWidth = LongLongAlign = 128; |
| 355 | HalfWidth = HalfAlign = 16; |
| 356 | FloatWidth = FloatAlign = 32; |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 357 | |
| 358 | // Embedded 32-bit targets (OpenCL EP) might have double C type |
| 359 | // defined as float. Let's not override this as it might lead |
Pekka Jaaskelainen | 43c39d5 | 2013-12-18 18:15:03 +0000 | [diff] [blame] | 360 | // to generating illegal code that uses 64bit doubles. |
| 361 | if (DoubleWidth != FloatWidth) { |
| 362 | DoubleWidth = DoubleAlign = 64; |
Stephan Bergmann | 17c7f70 | 2016-12-14 11:57:17 +0000 | [diff] [blame] | 363 | DoubleFormat = &llvm::APFloat::IEEEdouble(); |
Pekka Jaaskelainen | 43c39d5 | 2013-12-18 18:15:03 +0000 | [diff] [blame] | 364 | } |
David Tweed | 2da6438 | 2013-09-09 09:17:24 +0000 | [diff] [blame] | 365 | LongDoubleWidth = LongDoubleAlign = 128; |
| 366 | |
Yaxun Liu | 26f7566 | 2016-08-19 05:17:25 +0000 | [diff] [blame] | 367 | unsigned MaxPointerWidth = getMaxPointerWidth(); |
| 368 | assert(MaxPointerWidth == 32 || MaxPointerWidth == 64); |
| 369 | bool Is32BitArch = MaxPointerWidth == 32; |
David Tweed | 6c2149b | 2013-09-10 08:00:34 +0000 | [diff] [blame] | 370 | SizeType = Is32BitArch ? UnsignedInt : UnsignedLong; |
| 371 | PtrDiffType = Is32BitArch ? SignedInt : SignedLong; |
| 372 | IntPtrType = Is32BitArch ? SignedInt : SignedLong; |
David Tweed | 2da6438 | 2013-09-09 09:17:24 +0000 | [diff] [blame] | 373 | |
| 374 | IntMaxType = SignedLongLong; |
David Tweed | 2da6438 | 2013-09-09 09:17:24 +0000 | [diff] [blame] | 375 | Int64Type = SignedLong; |
| 376 | |
Stephan Bergmann | 17c7f70 | 2016-12-14 11:57:17 +0000 | [diff] [blame] | 377 | HalfFormat = &llvm::APFloat::IEEEhalf(); |
| 378 | FloatFormat = &llvm::APFloat::IEEEsingle(); |
| 379 | LongDoubleFormat = &llvm::APFloat::IEEEquad(); |
David Tweed | 2da6438 | 2013-09-09 09:17:24 +0000 | [diff] [blame] | 380 | } |
Richard Smith | 5913902 | 2016-09-30 22:41:36 +0000 | [diff] [blame] | 381 | |
Fangrui Song | c46d78d | 2019-07-12 02:32:15 +0000 | [diff] [blame] | 382 | if (Opts.LongDoubleSize) { |
| 383 | if (Opts.LongDoubleSize == DoubleWidth) { |
| 384 | LongDoubleWidth = DoubleWidth; |
| 385 | LongDoubleAlign = DoubleAlign; |
| 386 | LongDoubleFormat = DoubleFormat; |
| 387 | } else if (Opts.LongDoubleSize == 128) { |
| 388 | LongDoubleWidth = LongDoubleAlign = 128; |
| 389 | LongDoubleFormat = &llvm::APFloat::IEEEquad(); |
| 390 | } |
Fangrui Song | 11cb39c | 2019-07-09 00:27:43 +0000 | [diff] [blame] | 391 | } |
| 392 | |
Richard Smith | 5913902 | 2016-09-30 22:41:36 +0000 | [diff] [blame] | 393 | if (Opts.NewAlignOverride) |
| 394 | NewAlign = Opts.NewAlignOverride * getCharWidth(); |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 395 | |
| 396 | // Each unsigned fixed point type has the same number of fractional bits as |
| 397 | // its corresponding signed type. |
Leonard Chan | 6e16c60 | 2018-06-29 17:08:19 +0000 | [diff] [blame] | 398 | PaddingOnUnsignedFixedPoint |= Opts.PaddingOnUnsignedFixedPoint; |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 399 | CheckFixedPointBits(); |
John Thompson | ed4e295 | 2009-11-05 20:14:16 +0000 | [diff] [blame] | 400 | } |
Chris Lattner | 72cdcac | 2009-10-21 06:24:21 +0000 | [diff] [blame] | 401 | |
Eric Christopher | 8c47b42 | 2015-10-09 18:39:55 +0000 | [diff] [blame] | 402 | bool TargetInfo::initFeatureMap( |
| 403 | llvm::StringMap<bool> &Features, DiagnosticsEngine &Diags, StringRef CPU, |
| 404 | const std::vector<std::string> &FeatureVec) const { |
Eric Christopher | e9cdcae | 2015-09-01 18:13:20 +0000 | [diff] [blame] | 405 | for (const auto &F : FeatureVec) { |
Craig Topper | 8459aa8 | 2015-10-21 16:31:31 +0000 | [diff] [blame] | 406 | StringRef Name = F; |
Eric Christopher | e9cdcae | 2015-09-01 18:13:20 +0000 | [diff] [blame] | 407 | // Apply the feature via the target. |
| 408 | bool Enabled = Name[0] == '+'; |
Craig Topper | 8459aa8 | 2015-10-21 16:31:31 +0000 | [diff] [blame] | 409 | setFeatureEnabled(Features, Name.substr(1), Enabled); |
Eric Christopher | e9cdcae | 2015-09-01 18:13:20 +0000 | [diff] [blame] | 410 | } |
| 411 | return true; |
| 412 | } |
| 413 | |
Akira Hatanaka | fcbe17c | 2018-03-28 21:13:14 +0000 | [diff] [blame] | 414 | TargetInfo::CallingConvKind |
| 415 | TargetInfo::getCallingConvKind(bool ClangABICompat4) const { |
| 416 | if (getCXXABI() != TargetCXXABI::Microsoft && |
| 417 | (ClangABICompat4 || getTriple().getOS() == llvm::Triple::PS4)) |
| 418 | return CCK_ClangABI4OrPS4; |
| 419 | return CCK_Default; |
| 420 | } |
| 421 | |
Sven van Haastregt | 3bb7eaf | 2017-12-06 10:11:28 +0000 | [diff] [blame] | 422 | LangAS TargetInfo::getOpenCLTypeAddrSpace(OpenCLTypeKind TK) const { |
| 423 | switch (TK) { |
| 424 | case OCLTK_Image: |
| 425 | case OCLTK_Pipe: |
Sven van Haastregt | efb4d4c | 2017-08-15 09:38:18 +0000 | [diff] [blame] | 426 | return LangAS::opencl_global; |
Sven van Haastregt | efb4d4c | 2017-08-15 09:38:18 +0000 | [diff] [blame] | 427 | |
Sven van Haastregt | 3bb7eaf | 2017-12-06 10:11:28 +0000 | [diff] [blame] | 428 | case OCLTK_Sampler: |
Sven van Haastregt | efb4d4c | 2017-08-15 09:38:18 +0000 | [diff] [blame] | 429 | return LangAS::opencl_constant; |
| 430 | |
| 431 | default: |
| 432 | return LangAS::Default; |
| 433 | } |
| 434 | } |
| 435 | |
Chris Lattner | ec0a6d9 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 436 | //===----------------------------------------------------------------------===// |
Chris Lattner | ec0a6d9 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 437 | |
Chris Lattner | 10a5b38 | 2007-01-29 05:24:35 +0000 | [diff] [blame] | 438 | |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 439 | static StringRef removeGCCRegisterPrefix(StringRef Name) { |
Anders Carlsson | 3ed4aea | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 440 | if (Name[0] == '%' || Name[0] == '#') |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 441 | Name = Name.substr(1); |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 442 | |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 443 | return Name; |
Anders Carlsson | 3ed4aea | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 444 | } |
| 445 | |
Eric Christopher | fd9a5f4 | 2011-06-28 18:20:53 +0000 | [diff] [blame] | 446 | /// isValidClobber - Returns whether the passed in string is |
| 447 | /// a valid clobber in an inline asm statement. This is used by |
| 448 | /// Sema. |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 449 | bool TargetInfo::isValidClobber(StringRef Name) const { |
Eric Christopher | fd9a5f4 | 2011-06-28 18:20:53 +0000 | [diff] [blame] | 450 | return (isValidGCCRegisterName(Name) || |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 451 | Name == "memory" || Name == "cc"); |
Eric Christopher | fd9a5f4 | 2011-06-28 18:20:53 +0000 | [diff] [blame] | 452 | } |
| 453 | |
Anders Carlsson | 5fa3f34 | 2007-11-24 23:38:12 +0000 | [diff] [blame] | 454 | /// isValidGCCRegisterName - Returns whether the passed in string |
| 455 | /// is a valid register name according to GCC. This is used by Sema for |
| 456 | /// inline asm statements. |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 457 | bool TargetInfo::isValidGCCRegisterName(StringRef Name) const { |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 458 | if (Name.empty()) |
| 459 | return false; |
Michael J. Spencer | feb799c | 2010-10-18 07:10:59 +0000 | [diff] [blame] | 460 | |
Anders Carlsson | 290aa85 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 461 | // Get rid of any register prefix. |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 462 | Name = removeGCCRegisterPrefix(Name); |
Olivier Goffart | fc8f893 | 2014-08-17 13:19:48 +0000 | [diff] [blame] | 463 | if (Name.empty()) |
Craig Topper | de330c7 | 2015-10-21 04:52:34 +0000 | [diff] [blame] | 464 | return false; |
Anders Carlsson | 3ed4aea | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 465 | |
Craig Topper | f054e3a | 2015-10-19 03:52:27 +0000 | [diff] [blame] | 466 | ArrayRef<const char *> Names = getGCCRegNames(); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 467 | |
Anders Carlsson | 290aa85 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 468 | // If we have a number it maps to an entry in the register name array. |
Jordan Rose | a7d0384 | 2013-02-08 22:30:41 +0000 | [diff] [blame] | 469 | if (isDigit(Name[0])) { |
Craig Topper | 67288a9 | 2015-10-21 04:52:36 +0000 | [diff] [blame] | 470 | unsigned n; |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 471 | if (!Name.getAsInteger(0, n)) |
Craig Topper | 67288a9 | 2015-10-21 04:52:36 +0000 | [diff] [blame] | 472 | return n < Names.size(); |
Anders Carlsson | 290aa85 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 473 | } |
| 474 | |
| 475 | // Check register names. |
Fangrui Song | 9ac13a1 | 2019-02-10 05:54:57 +0000 | [diff] [blame] | 476 | if (llvm::is_contained(Names, Name)) |
Craig Topper | 335c8f9 | 2015-10-21 04:52:38 +0000 | [diff] [blame] | 477 | return true; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 478 | |
Eric Christopher | cdd3635 | 2011-06-21 00:05:20 +0000 | [diff] [blame] | 479 | // Check any additional names that we have. |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 480 | for (const AddlRegName &ARN : getGCCAddlRegNames()) |
| 481 | for (const char *AN : ARN.Names) { |
| 482 | if (!AN) |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 483 | break; |
Eric Christopher | cdd3635 | 2011-06-21 00:05:20 +0000 | [diff] [blame] | 484 | // Make sure the register that the additional name is for is within |
| 485 | // the bounds of the register names from above. |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 486 | if (AN == Name && ARN.RegNum < Names.size()) |
Anders Carlsson | 290aa85 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 487 | return true; |
| 488 | } |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 489 | |
| 490 | // Now check aliases. |
| 491 | for (const GCCRegAlias &GRA : getGCCRegAliases()) |
| 492 | for (const char *A : GRA.Aliases) { |
| 493 | if (!A) |
| 494 | break; |
| 495 | if (A == Name) |
| 496 | return true; |
| 497 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 498 | |
Anders Carlsson | 5fa3f34 | 2007-11-24 23:38:12 +0000 | [diff] [blame] | 499 | return false; |
| 500 | } |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 501 | |
Marina Yatsina | c42fd03 | 2016-12-26 12:23:42 +0000 | [diff] [blame] | 502 | StringRef TargetInfo::getNormalizedGCCRegisterName(StringRef Name, |
| 503 | bool ReturnCanonical) const { |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 504 | assert(isValidGCCRegisterName(Name) && "Invalid register passed in"); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 505 | |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 506 | // Get rid of any register prefix. |
| 507 | Name = removeGCCRegisterPrefix(Name); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 508 | |
Craig Topper | f054e3a | 2015-10-19 03:52:27 +0000 | [diff] [blame] | 509 | ArrayRef<const char *> Names = getGCCRegNames(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 510 | |
| 511 | // First, check if we have a number. |
Jordan Rose | a7d0384 | 2013-02-08 22:30:41 +0000 | [diff] [blame] | 512 | if (isDigit(Name[0])) { |
Craig Topper | 67288a9 | 2015-10-21 04:52:36 +0000 | [diff] [blame] | 513 | unsigned n; |
Anders Carlsson | c7c5baa | 2010-01-30 19:12:25 +0000 | [diff] [blame] | 514 | if (!Name.getAsInteger(0, n)) { |
Craig Topper | 67288a9 | 2015-10-21 04:52:36 +0000 | [diff] [blame] | 515 | assert(n < Names.size() && "Out of bounds register number!"); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 516 | return Names[n]; |
| 517 | } |
| 518 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 519 | |
Eric Christopher | cdd3635 | 2011-06-21 00:05:20 +0000 | [diff] [blame] | 520 | // Check any additional names that we have. |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 521 | for (const AddlRegName &ARN : getGCCAddlRegNames()) |
| 522 | for (const char *AN : ARN.Names) { |
| 523 | if (!AN) |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 524 | break; |
Eric Christopher | cdd3635 | 2011-06-21 00:05:20 +0000 | [diff] [blame] | 525 | // Make sure the register that the additional name is for is within |
| 526 | // the bounds of the register names from above. |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 527 | if (AN == Name && ARN.RegNum < Names.size()) |
Marina Yatsina | c42fd03 | 2016-12-26 12:23:42 +0000 | [diff] [blame] | 528 | return ReturnCanonical ? Names[ARN.RegNum] : Name; |
Eric Christopher | cdd3635 | 2011-06-21 00:05:20 +0000 | [diff] [blame] | 529 | } |
| 530 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 531 | // Now check aliases. |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 532 | for (const GCCRegAlias &RA : getGCCRegAliases()) |
| 533 | for (const char *A : RA.Aliases) { |
| 534 | if (!A) |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 535 | break; |
Craig Topper | dd2b74a | 2015-10-21 04:52:40 +0000 | [diff] [blame] | 536 | if (A == Name) |
| 537 | return RA.Register; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 538 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 539 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 540 | return Name; |
| 541 | } |
| 542 | |
Chris Lattner | c3f4c7b | 2009-04-26 17:19:08 +0000 | [diff] [blame] | 543 | bool TargetInfo::validateOutputConstraint(ConstraintInfo &Info) const { |
| 544 | const char *Name = Info.getConstraintStr().c_str(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 545 | // An output constraint must start with '=' or '+' |
| 546 | if (*Name != '=' && *Name != '+') |
| 547 | return false; |
| 548 | |
| 549 | if (*Name == '+') |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 550 | Info.setIsReadWrite(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 551 | |
| 552 | Name++; |
| 553 | while (*Name) { |
| 554 | switch (*Name) { |
| 555 | default: |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 556 | if (!validateAsmConstraint(Name, Info)) { |
Ted Kremenek | b44485b | 2008-04-24 16:36:38 +0000 | [diff] [blame] | 557 | // FIXME: We temporarily return false |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 558 | // so we can add more constraints as we hit it. |
| 559 | // Eventually, an unknown constraint should just be treated as 'g'. |
Ted Kremenek | b44485b | 2008-04-24 16:36:38 +0000 | [diff] [blame] | 560 | return false; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 561 | } |
David Majnemer | a0040df | 2015-01-10 10:43:19 +0000 | [diff] [blame] | 562 | break; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 563 | case '&': // early clobber. |
David Majnemer | a0040df | 2015-01-10 10:43:19 +0000 | [diff] [blame] | 564 | Info.setEarlyClobber(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 565 | break; |
Chris Lattner | f315471 | 2009-10-13 04:32:07 +0000 | [diff] [blame] | 566 | case '%': // commutative. |
| 567 | // FIXME: Check that there is a another register after this one. |
| 568 | break; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 569 | case 'r': // general register. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 570 | Info.setAllowsRegister(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 571 | break; |
| 572 | case 'm': // memory operand. |
Dale Johannesen | 8499f47 | 2010-09-07 18:40:41 +0000 | [diff] [blame] | 573 | case 'o': // offsetable memory operand. |
| 574 | case 'V': // non-offsetable memory operand. |
| 575 | case '<': // autodecrement memory operand. |
| 576 | case '>': // autoincrement memory operand. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 577 | Info.setAllowsMemory(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 578 | break; |
| 579 | case 'g': // general register, memory operand or immediate integer. |
Anders Carlsson | e70cde1 | 2009-01-18 02:12:04 +0000 | [diff] [blame] | 580 | case 'X': // any operand. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 581 | Info.setAllowsRegister(); |
| 582 | Info.setAllowsMemory(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 583 | break; |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 584 | case ',': // multiple alternative constraint. Pass it. |
John Thompson | 46667af | 2010-08-11 00:58:20 +0000 | [diff] [blame] | 585 | // Handle additional optional '=' or '+' modifiers. |
John Thompson | 1224061 | 2010-09-18 01:15:13 +0000 | [diff] [blame] | 586 | if (Name[1] == '=' || Name[1] == '+') |
John Thompson | 46667af | 2010-08-11 00:58:20 +0000 | [diff] [blame] | 587 | Name++; |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 588 | break; |
David Majnemer | 50cb055 | 2015-01-11 08:52:38 +0000 | [diff] [blame] | 589 | case '#': // Ignore as constraint. |
| 590 | while (Name[1] && Name[1] != ',') |
| 591 | Name++; |
David Majnemer | c71a566 | 2015-01-11 09:39:03 +0000 | [diff] [blame] | 592 | break; |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 593 | case '?': // Disparage slightly code. |
Dale Johannesen | 8499f47 | 2010-09-07 18:40:41 +0000 | [diff] [blame] | 594 | case '!': // Disparage severely. |
Ulrich Weigand | 7bcc7ec | 2012-10-29 12:20:54 +0000 | [diff] [blame] | 595 | case '*': // Ignore for choosing register preferences. |
Marina Yatsina | 33eb775 | 2017-06-26 15:55:51 +0000 | [diff] [blame] | 596 | case 'i': // Ignore i,n,E,F as output constraints (match from the other |
| 597 | // chars) |
| 598 | case 'n': |
| 599 | case 'E': |
| 600 | case 'F': |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 601 | break; // Pass them. |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 602 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 603 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 604 | Name++; |
| 605 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 606 | |
David Majnemer | a0040df | 2015-01-10 10:43:19 +0000 | [diff] [blame] | 607 | // Early clobber with a read-write constraint which doesn't permit registers |
| 608 | // is invalid. |
| 609 | if (Info.earlyClobber() && Info.isReadWrite() && !Info.allowsRegister()) |
| 610 | return false; |
| 611 | |
Benjamin Kramer | 1e4a886 | 2013-04-18 22:49:48 +0000 | [diff] [blame] | 612 | // If a constraint allows neither memory nor register operands it contains |
| 613 | // only modifiers. Reject it. |
Benjamin Kramer | 7ee3b9c | 2013-04-18 13:23:23 +0000 | [diff] [blame] | 614 | return Info.allowsMemory() || Info.allowsRegister(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 615 | } |
| 616 | |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 617 | bool TargetInfo::resolveSymbolicName(const char *&Name, |
Craig Topper | 55765ca | 2015-10-21 02:34:10 +0000 | [diff] [blame] | 618 | ArrayRef<ConstraintInfo> OutputConstraints, |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 619 | unsigned &Index) const { |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 620 | assert(*Name == '[' && "Symbolic name did not start with '['"); |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 621 | Name++; |
| 622 | const char *Start = Name; |
| 623 | while (*Name && *Name != ']') |
| 624 | Name++; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 625 | |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 626 | if (!*Name) { |
| 627 | // Missing ']' |
| 628 | return false; |
| 629 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 630 | |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 631 | std::string SymbolicName(Start, Name - Start); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 632 | |
Craig Topper | 55765ca | 2015-10-21 02:34:10 +0000 | [diff] [blame] | 633 | for (Index = 0; Index != OutputConstraints.size(); ++Index) |
Chris Lattner | c16d476 | 2009-04-26 17:57:12 +0000 | [diff] [blame] | 634 | if (SymbolicName == OutputConstraints[Index].getName()) |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 635 | return true; |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 636 | |
| 637 | return false; |
| 638 | } |
| 639 | |
Craig Topper | 55765ca | 2015-10-21 02:34:10 +0000 | [diff] [blame] | 640 | bool TargetInfo::validateInputConstraint( |
| 641 | MutableArrayRef<ConstraintInfo> OutputConstraints, |
| 642 | ConstraintInfo &Info) const { |
Chris Lattner | c3f4c7b | 2009-04-26 17:19:08 +0000 | [diff] [blame] | 643 | const char *Name = Info.ConstraintStr.c_str(); |
| 644 | |
Duncan P. N. Exon Smith | d68c7aa | 2013-12-16 03:20:06 +0000 | [diff] [blame] | 645 | if (!*Name) |
| 646 | return false; |
| 647 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 648 | while (*Name) { |
| 649 | switch (*Name) { |
| 650 | default: |
| 651 | // Check if we have a matching constraint |
| 652 | if (*Name >= '0' && *Name <= '9') { |
David Majnemer | b6b5643 | 2015-01-11 10:22:41 +0000 | [diff] [blame] | 653 | const char *DigitStart = Name; |
| 654 | while (Name[1] >= '0' && Name[1] <= '9') |
| 655 | Name++; |
| 656 | const char *DigitEnd = Name; |
| 657 | unsigned i; |
| 658 | if (StringRef(DigitStart, DigitEnd - DigitStart + 1) |
| 659 | .getAsInteger(10, i)) |
| 660 | return false; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 661 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 662 | // Check if matching constraint is out of bounds. |
Craig Topper | 55765ca | 2015-10-21 02:34:10 +0000 | [diff] [blame] | 663 | if (i >= OutputConstraints.size()) return false; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 664 | |
Anders Carlsson | da1f5fc | 2010-11-03 02:22:29 +0000 | [diff] [blame] | 665 | // A number must refer to an output only operand. |
| 666 | if (OutputConstraints[i].isReadWrite()) |
| 667 | return false; |
| 668 | |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 669 | // If the constraint is already tied, it must be tied to the |
Anders Carlsson | 2d5f8b4 | 2010-11-03 02:54:51 +0000 | [diff] [blame] | 670 | // same operand referenced to by the number. |
| 671 | if (Info.hasTiedOperand() && Info.getTiedOperand() != i) |
| 672 | return false; |
| 673 | |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 674 | // The constraint should have the same info as the respective |
Anders Carlsson | 570c357 | 2009-01-27 20:38:24 +0000 | [diff] [blame] | 675 | // output constraint. |
Chris Lattner | 4c92b51 | 2009-04-26 18:05:25 +0000 | [diff] [blame] | 676 | Info.setTiedOperand(i, OutputConstraints[i]); |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 677 | } else if (!validateAsmConstraint(Name, Info)) { |
Daniel Dunbar | 81128e0 | 2008-08-25 09:46:27 +0000 | [diff] [blame] | 678 | // FIXME: This error return is in place temporarily so we can |
| 679 | // add more constraints as we hit it. Eventually, an unknown |
| 680 | // constraint should just be treated as 'g'. |
| 681 | return false; |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 682 | } |
| 683 | break; |
| 684 | case '[': { |
| 685 | unsigned Index = 0; |
Craig Topper | 55765ca | 2015-10-21 02:34:10 +0000 | [diff] [blame] | 686 | if (!resolveSymbolicName(Name, OutputConstraints, Index)) |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 687 | return false; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 688 | |
Eric Christopher | b093d69 | 2015-10-09 18:39:59 +0000 | [diff] [blame] | 689 | // If the constraint is already tied, it must be tied to the |
Anders Carlsson | 2d5f8b4 | 2010-11-03 02:54:51 +0000 | [diff] [blame] | 690 | // same operand referenced to by the number. |
| 691 | if (Info.hasTiedOperand() && Info.getTiedOperand() != Index) |
| 692 | return false; |
| 693 | |
David Majnemer | 55164f9 | 2015-01-11 09:57:13 +0000 | [diff] [blame] | 694 | // A number must refer to an output only operand. |
| 695 | if (OutputConstraints[Index].isReadWrite()) |
| 696 | return false; |
| 697 | |
Eli Friedman | 854f110 | 2010-08-11 23:03:37 +0000 | [diff] [blame] | 698 | Info.setTiedOperand(Index, OutputConstraints[Index]); |
Anders Carlsson | a79203b | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 699 | break; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 700 | } |
Anders Carlsson | 050f494 | 2007-12-08 19:32:57 +0000 | [diff] [blame] | 701 | case '%': // commutative |
| 702 | // FIXME: Fail if % is used with the last operand. |
| 703 | break; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 704 | case 'i': // immediate integer. |
Bill Wendling | aa77513 | 2018-12-18 22:54:03 +0000 | [diff] [blame] | 705 | break; |
Anders Carlsson | a3a96af | 2008-03-09 06:02:02 +0000 | [diff] [blame] | 706 | case 'n': // immediate integer with a known value. |
Bill Wendling | aa77513 | 2018-12-18 22:54:03 +0000 | [diff] [blame] | 707 | Info.setRequiresImmediate(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 708 | break; |
Chris Lattner | dbcc5ca | 2009-05-06 04:33:31 +0000 | [diff] [blame] | 709 | case 'I': // Various constant constraints with target-specific meanings. |
| 710 | case 'J': |
| 711 | case 'K': |
| 712 | case 'L': |
| 713 | case 'M': |
| 714 | case 'N': |
| 715 | case 'O': |
| 716 | case 'P': |
Saleem Abdulrasool | a282357 | 2015-01-06 04:26:34 +0000 | [diff] [blame] | 717 | if (!validateAsmConstraint(Name, Info)) |
| 718 | return false; |
Chris Lattner | dbcc5ca | 2009-05-06 04:33:31 +0000 | [diff] [blame] | 719 | break; |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 720 | case 'r': // general register. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 721 | Info.setAllowsRegister(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 722 | break; |
| 723 | case 'm': // memory operand. |
Dale Johannesen | 8499f47 | 2010-09-07 18:40:41 +0000 | [diff] [blame] | 724 | case 'o': // offsettable memory operand. |
| 725 | case 'V': // non-offsettable memory operand. |
| 726 | case '<': // autodecrement memory operand. |
| 727 | case '>': // autoincrement memory operand. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 728 | Info.setAllowsMemory(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 729 | break; |
| 730 | case 'g': // general register, memory operand or immediate integer. |
Anders Carlsson | e70cde1 | 2009-01-18 02:12:04 +0000 | [diff] [blame] | 731 | case 'X': // any operand. |
Chris Lattner | d9725f7 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 732 | Info.setAllowsRegister(); |
| 733 | Info.setAllowsMemory(); |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 734 | break; |
John Thompson | c467aa2 | 2010-09-21 22:04:54 +0000 | [diff] [blame] | 735 | case 'E': // immediate floating point. |
| 736 | case 'F': // immediate floating point. |
| 737 | case 'p': // address operand. |
| 738 | break; |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 739 | case ',': // multiple alternative constraint. Ignore comma. |
| 740 | break; |
David Majnemer | c71a566 | 2015-01-11 09:39:03 +0000 | [diff] [blame] | 741 | case '#': // Ignore as constraint. |
| 742 | while (Name[1] && Name[1] != ',') |
| 743 | Name++; |
David Majnemer | c71a566 | 2015-01-11 09:39:03 +0000 | [diff] [blame] | 744 | break; |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 745 | case '?': // Disparage slightly code. |
Chris Lattner | 57540c5 | 2011-04-15 05:22:18 +0000 | [diff] [blame] | 746 | case '!': // Disparage severely. |
Ulrich Weigand | 7bcc7ec | 2012-10-29 12:20:54 +0000 | [diff] [blame] | 747 | case '*': // Ignore for choosing register preferences. |
John Thompson | a5c7d70 | 2010-08-10 19:20:14 +0000 | [diff] [blame] | 748 | break; // Pass them. |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 749 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 750 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 751 | Name++; |
| 752 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 753 | |
Anders Carlsson | f511f64 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 754 | return true; |
| 755 | } |
Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame] | 756 | |
| 757 | void TargetInfo::CheckFixedPointBits() const { |
| 758 | // Check that the number of fractional and integral bits (and maybe sign) can |
| 759 | // fit into the bits given for a fixed point type. |
| 760 | assert(ShortAccumScale + getShortAccumIBits() + 1 <= ShortAccumWidth); |
| 761 | assert(AccumScale + getAccumIBits() + 1 <= AccumWidth); |
| 762 | assert(LongAccumScale + getLongAccumIBits() + 1 <= LongAccumWidth); |
| 763 | assert(getUnsignedShortAccumScale() + getUnsignedShortAccumIBits() <= |
| 764 | ShortAccumWidth); |
| 765 | assert(getUnsignedAccumScale() + getUnsignedAccumIBits() <= AccumWidth); |
| 766 | assert(getUnsignedLongAccumScale() + getUnsignedLongAccumIBits() <= |
| 767 | LongAccumWidth); |
| 768 | |
| 769 | assert(getShortFractScale() + 1 <= ShortFractWidth); |
| 770 | assert(getFractScale() + 1 <= FractWidth); |
| 771 | assert(getLongFractScale() + 1 <= LongFractWidth); |
| 772 | assert(getUnsignedShortFractScale() <= ShortFractWidth); |
| 773 | assert(getUnsignedFractScale() <= FractWidth); |
| 774 | assert(getUnsignedLongFractScale() <= LongFractWidth); |
| 775 | |
| 776 | // Each unsigned fract type has either the same number of fractional bits |
| 777 | // as, or one more fractional bit than, its corresponding signed fract type. |
| 778 | assert(getShortFractScale() == getUnsignedShortFractScale() || |
| 779 | getShortFractScale() == getUnsignedShortFractScale() - 1); |
| 780 | assert(getFractScale() == getUnsignedFractScale() || |
| 781 | getFractScale() == getUnsignedFractScale() - 1); |
| 782 | assert(getLongFractScale() == getUnsignedLongFractScale() || |
| 783 | getLongFractScale() == getUnsignedLongFractScale() - 1); |
| 784 | |
| 785 | // When arranged in order of increasing rank (see 6.3.1.3a), the number of |
| 786 | // fractional bits is nondecreasing for each of the following sets of |
| 787 | // fixed-point types: |
| 788 | // - signed fract types |
| 789 | // - unsigned fract types |
| 790 | // - signed accum types |
| 791 | // - unsigned accum types. |
| 792 | assert(getLongFractScale() >= getFractScale() && |
| 793 | getFractScale() >= getShortFractScale()); |
| 794 | assert(getUnsignedLongFractScale() >= getUnsignedFractScale() && |
| 795 | getUnsignedFractScale() >= getUnsignedShortFractScale()); |
| 796 | assert(LongAccumScale >= AccumScale && AccumScale >= ShortAccumScale); |
| 797 | assert(getUnsignedLongAccumScale() >= getUnsignedAccumScale() && |
| 798 | getUnsignedAccumScale() >= getUnsignedShortAccumScale()); |
| 799 | |
| 800 | // When arranged in order of increasing rank (see 6.3.1.3a), the number of |
| 801 | // integral bits is nondecreasing for each of the following sets of |
| 802 | // fixed-point types: |
| 803 | // - signed accum types |
| 804 | // - unsigned accum types |
| 805 | assert(getLongAccumIBits() >= getAccumIBits() && |
| 806 | getAccumIBits() >= getShortAccumIBits()); |
| 807 | assert(getUnsignedLongAccumIBits() >= getUnsignedAccumIBits() && |
| 808 | getUnsignedAccumIBits() >= getUnsignedShortAccumIBits()); |
| 809 | |
| 810 | // Each signed accum type has at least as many integral bits as its |
| 811 | // corresponding unsigned accum type. |
| 812 | assert(getShortAccumIBits() >= getUnsignedShortAccumIBits()); |
| 813 | assert(getAccumIBits() >= getUnsignedAccumIBits()); |
| 814 | assert(getLongAccumIBits() >= getUnsignedLongAccumIBits()); |
| 815 | } |
Yaxun Liu | 95f2ca5 | 2019-01-30 12:26:54 +0000 | [diff] [blame] | 816 | |
| 817 | void TargetInfo::copyAuxTarget(const TargetInfo *Aux) { |
| 818 | auto *Target = static_cast<TransferrableTargetInfo*>(this); |
| 819 | auto *Src = static_cast<const TransferrableTargetInfo*>(Aux); |
| 820 | *Target = *Src; |
| 821 | } |