Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- TargetInfo.cpp - Information about Target machine ----------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the TargetInfo and TargetInfoImpl interfaces. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/Basic/TargetInfo.h" |
Chris Lattner | 525a050 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/APFloat.h" |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/STLExtras.h" |
Chris Lattner | 5483bdf | 2008-04-06 04:02:29 +0000 | [diff] [blame] | 17 | #include <cstdlib> |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 18 | using namespace clang; |
| 19 | |
Chris Lattner | cd4fc42 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 20 | // TargetInfo Constructor. |
| 21 | TargetInfo::TargetInfo(const std::string &T) : Triple(T) { |
Eli Friedman | 61538a7 | 2008-05-20 14:21:01 +0000 | [diff] [blame] | 22 | // Set defaults. Defaults are set for a 32-bit RISC platform, |
| 23 | // like PPC or SPARC. |
| 24 | // These should be overridden by concrete targets as needed. |
Chris Lattner | cd4fc42 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 25 | CharIsSigned = true; |
Eli Friedman | b030f02 | 2009-04-19 21:38:35 +0000 | [diff] [blame] | 26 | TLSSupported = true; |
Chris Lattner | 927686f | 2008-05-09 06:08:39 +0000 | [diff] [blame] | 27 | PointerWidth = PointerAlign = 32; |
Chris Lattner | cd4fc42 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 28 | WCharWidth = WCharAlign = 32; |
Chris Lattner | 2621fd1 | 2008-05-08 05:58:21 +0000 | [diff] [blame] | 29 | IntWidth = IntAlign = 32; |
Chris Lattner | ec10f58 | 2008-05-09 05:50:02 +0000 | [diff] [blame] | 30 | LongWidth = LongAlign = 32; |
| 31 | LongLongWidth = LongLongAlign = 64; |
Eli Friedman | 61538a7 | 2008-05-20 14:21:01 +0000 | [diff] [blame] | 32 | FloatWidth = 32; |
| 33 | FloatAlign = 32; |
Nate Begeman | 3d29206 | 2008-04-18 17:17:24 +0000 | [diff] [blame] | 34 | DoubleWidth = 64; |
Eli Friedman | 61538a7 | 2008-05-20 14:21:01 +0000 | [diff] [blame] | 35 | DoubleAlign = 64; |
| 36 | LongDoubleWidth = 64; |
| 37 | LongDoubleAlign = 64; |
Nate Begeman | 22b9d5a | 2009-01-17 23:56:13 +0000 | [diff] [blame] | 38 | IntMaxTWidth = 64; |
Anders Carlsson | 6a3615c | 2008-10-31 16:05:19 +0000 | [diff] [blame] | 39 | SizeType = UnsignedLong; |
Eli Friedman | f509d73 | 2008-11-02 02:43:55 +0000 | [diff] [blame] | 40 | PtrDiffType = SignedLong; |
Sanjiv Gupta | 31fc07d | 2008-10-31 09:52:39 +0000 | [diff] [blame] | 41 | IntMaxType = SignedLongLong; |
| 42 | UIntMaxType = UnsignedLongLong; |
Chris Lattner | 6ad474f | 2009-02-13 22:28:55 +0000 | [diff] [blame] | 43 | IntPtrType = SignedLong; |
Eli Friedman | f509d73 | 2008-11-02 02:43:55 +0000 | [diff] [blame] | 44 | WCharType = SignedInt; |
Chris Lattner | cd4fc42 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 45 | FloatFormat = &llvm::APFloat::IEEEsingle; |
| 46 | DoubleFormat = &llvm::APFloat::IEEEdouble; |
| 47 | LongDoubleFormat = &llvm::APFloat::IEEEdouble; |
Eli Friedman | ed855cb | 2008-08-21 00:13:15 +0000 | [diff] [blame] | 48 | DescriptionString = "E-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-" |
| 49 | "i64:64:64-f32:32:32-f64:64:64"; |
Chris Lattner | 3fdf467 | 2008-10-05 19:22:37 +0000 | [diff] [blame] | 50 | UserLabelPrefix = "_"; |
Chris Lattner | cd4fc42 | 2008-03-08 08:59:43 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 53 | // Out of line virtual dtor for TargetInfo. |
| 54 | TargetInfo::~TargetInfo() {} |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 55 | |
Chris Lattner | 2b5abf5 | 2009-02-06 05:04:11 +0000 | [diff] [blame] | 56 | /// getTypeName - Return the user string for the specified integer type enum. |
| 57 | /// For example, SignedShort -> "short". |
| 58 | const char *TargetInfo::getTypeName(IntType T) { |
| 59 | switch (T) { |
| 60 | default: assert(0 && "not an integer!"); |
| 61 | case SignedShort: return "short"; |
| 62 | case UnsignedShort: return "unsigned short"; |
| 63 | case SignedInt: return "int"; |
| 64 | case UnsignedInt: return "unsigned int"; |
| 65 | case SignedLong: return "long int"; |
| 66 | case UnsignedLong: return "long unsigned int"; |
| 67 | case SignedLongLong: return "long long int"; |
| 68 | case UnsignedLongLong: return "long long unsigned int"; |
| 69 | } |
| 70 | } |
| 71 | |
Chris Lattner | 525a050 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 72 | //===----------------------------------------------------------------------===// |
Chris Lattner | 525a050 | 2007-09-22 18:29:59 +0000 | [diff] [blame] | 73 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 74 | |
Chris Lattner | 42e6737 | 2008-03-05 01:18:20 +0000 | [diff] [blame] | 75 | static void removeGCCRegisterPrefix(const char *&Name) { |
Anders Carlsson | ea04175 | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 76 | if (Name[0] == '%' || Name[0] == '#') |
| 77 | Name++; |
| 78 | } |
| 79 | |
Anders Carlsson | 3346ae6 | 2007-11-24 23:38:12 +0000 | [diff] [blame] | 80 | /// isValidGCCRegisterName - Returns whether the passed in string |
| 81 | /// is a valid register name according to GCC. This is used by Sema for |
| 82 | /// inline asm statements. |
| 83 | bool TargetInfo::isValidGCCRegisterName(const char *Name) const { |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 84 | const char * const *Names; |
| 85 | unsigned NumNames; |
| 86 | |
| 87 | // Get rid of any register prefix. |
Anders Carlsson | ea04175 | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 88 | removeGCCRegisterPrefix(Name); |
| 89 | |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 90 | |
| 91 | if (strcmp(Name, "memory") == 0 || |
| 92 | strcmp(Name, "cc") == 0) |
| 93 | return true; |
| 94 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 95 | getGCCRegNames(Names, NumNames); |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 96 | |
| 97 | // If we have a number it maps to an entry in the register name array. |
| 98 | if (isdigit(Name[0])) { |
| 99 | char *End; |
| 100 | int n = (int)strtol(Name, &End, 0); |
| 101 | if (*End == 0) |
| 102 | return n >= 0 && (unsigned)n < NumNames; |
| 103 | } |
| 104 | |
| 105 | // Check register names. |
| 106 | for (unsigned i = 0; i < NumNames; i++) { |
| 107 | if (strcmp(Name, Names[i]) == 0) |
| 108 | return true; |
| 109 | } |
| 110 | |
| 111 | // Now check aliases. |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 112 | const GCCRegAlias *Aliases; |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 113 | unsigned NumAliases; |
| 114 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 115 | getGCCRegAliases(Aliases, NumAliases); |
Anders Carlsson | 6fa9086 | 2007-11-25 00:25:21 +0000 | [diff] [blame] | 116 | for (unsigned i = 0; i < NumAliases; i++) { |
| 117 | for (unsigned j = 0 ; j < llvm::array_lengthof(Aliases[i].Aliases); j++) { |
| 118 | if (!Aliases[i].Aliases[j]) |
| 119 | break; |
| 120 | if (strcmp(Aliases[i].Aliases[j], Name) == 0) |
| 121 | return true; |
| 122 | } |
| 123 | } |
| 124 | |
Anders Carlsson | 3346ae6 | 2007-11-24 23:38:12 +0000 | [diff] [blame] | 125 | return false; |
| 126 | } |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 127 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 128 | const char *TargetInfo::getNormalizedGCCRegisterName(const char *Name) const { |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 129 | assert(isValidGCCRegisterName(Name) && "Invalid register passed in"); |
| 130 | |
Anders Carlsson | ea04175 | 2008-02-06 00:11:32 +0000 | [diff] [blame] | 131 | removeGCCRegisterPrefix(Name); |
Anders Carlsson | ef3577d | 2008-02-05 23:30:20 +0000 | [diff] [blame] | 132 | |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 133 | const char * const *Names; |
| 134 | unsigned NumNames; |
| 135 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 136 | getGCCRegNames(Names, NumNames); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 137 | |
| 138 | // First, check if we have a number. |
| 139 | if (isdigit(Name[0])) { |
| 140 | char *End; |
| 141 | int n = (int)strtol(Name, &End, 0); |
| 142 | if (*End == 0) { |
| 143 | assert(n >= 0 && (unsigned)n < NumNames && |
| 144 | "Out of bounds register number!"); |
| 145 | return Names[n]; |
| 146 | } |
| 147 | } |
| 148 | |
| 149 | // Now check aliases. |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 150 | const GCCRegAlias *Aliases; |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 151 | unsigned NumAliases; |
| 152 | |
Chris Lattner | 0eaed12 | 2008-03-08 08:24:01 +0000 | [diff] [blame] | 153 | getGCCRegAliases(Aliases, NumAliases); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 154 | for (unsigned i = 0; i < NumAliases; i++) { |
| 155 | for (unsigned j = 0 ; j < llvm::array_lengthof(Aliases[i].Aliases); j++) { |
| 156 | if (!Aliases[i].Aliases[j]) |
| 157 | break; |
| 158 | if (strcmp(Aliases[i].Aliases[j], Name) == 0) |
| 159 | return Aliases[i].Register; |
| 160 | } |
| 161 | } |
| 162 | |
| 163 | return Name; |
| 164 | } |
| 165 | |
Chris Lattner | 432c869 | 2009-04-26 17:19:08 +0000 | [diff] [blame] | 166 | bool TargetInfo::validateOutputConstraint(ConstraintInfo &Info) const { |
| 167 | const char *Name = Info.getConstraintStr().c_str(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 168 | // An output constraint must start with '=' or '+' |
| 169 | if (*Name != '=' && *Name != '+') |
| 170 | return false; |
| 171 | |
| 172 | if (*Name == '+') |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 173 | Info.setIsReadWrite(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 174 | |
| 175 | Name++; |
| 176 | while (*Name) { |
| 177 | switch (*Name) { |
| 178 | default: |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 179 | if (!validateAsmConstraint(Name, Info)) { |
Ted Kremenek | 5ab201a | 2008-04-24 16:36:38 +0000 | [diff] [blame] | 180 | // FIXME: We temporarily return false |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 181 | // so we can add more constraints as we hit it. |
| 182 | // Eventually, an unknown constraint should just be treated as 'g'. |
Ted Kremenek | 5ab201a | 2008-04-24 16:36:38 +0000 | [diff] [blame] | 183 | return false; |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 184 | } |
| 185 | case '&': // early clobber. |
| 186 | break; |
| 187 | case 'r': // general register. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 188 | Info.setAllowsRegister(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 189 | break; |
| 190 | case 'm': // memory operand. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 191 | Info.setAllowsMemory(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 192 | break; |
| 193 | case 'g': // general register, memory operand or immediate integer. |
Anders Carlsson | 775841f | 2009-01-18 02:12:04 +0000 | [diff] [blame] | 194 | case 'X': // any operand. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 195 | Info.setAllowsRegister(); |
| 196 | Info.setAllowsMemory(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 197 | break; |
| 198 | } |
| 199 | |
| 200 | Name++; |
| 201 | } |
| 202 | |
| 203 | return true; |
| 204 | } |
| 205 | |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 206 | bool TargetInfo::resolveSymbolicName(const char *&Name, |
Chris Lattner | 2819fa8 | 2009-04-26 17:57:12 +0000 | [diff] [blame] | 207 | ConstraintInfo *OutputConstraints, |
| 208 | unsigned NumOutputs, |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 209 | unsigned &Index) const { |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 210 | assert(*Name == '[' && "Symbolic name did not start with '['"); |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 211 | Name++; |
| 212 | const char *Start = Name; |
| 213 | while (*Name && *Name != ']') |
| 214 | Name++; |
| 215 | |
| 216 | if (!*Name) { |
| 217 | // Missing ']' |
| 218 | return false; |
| 219 | } |
| 220 | |
| 221 | std::string SymbolicName(Start, Name - Start); |
| 222 | |
Chris Lattner | 2819fa8 | 2009-04-26 17:57:12 +0000 | [diff] [blame] | 223 | for (Index = 0; Index != NumOutputs; ++Index) |
| 224 | if (SymbolicName == OutputConstraints[Index].getName()) |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 225 | return true; |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 226 | |
| 227 | return false; |
| 228 | } |
| 229 | |
Chris Lattner | 2819fa8 | 2009-04-26 17:57:12 +0000 | [diff] [blame] | 230 | bool TargetInfo::validateInputConstraint(ConstraintInfo *OutputConstraints, |
| 231 | unsigned NumOutputs, |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 232 | ConstraintInfo &Info) const { |
Chris Lattner | 432c869 | 2009-04-26 17:19:08 +0000 | [diff] [blame] | 233 | const char *Name = Info.ConstraintStr.c_str(); |
| 234 | |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 235 | while (*Name) { |
| 236 | switch (*Name) { |
| 237 | default: |
| 238 | // Check if we have a matching constraint |
| 239 | if (*Name >= '0' && *Name <= '9') { |
| 240 | unsigned i = *Name - '0'; |
Anders Carlsson | 45b050e | 2009-01-17 23:36:15 +0000 | [diff] [blame] | 241 | |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 242 | // Check if matching constraint is out of bounds. |
| 243 | if (i >= NumOutputs) |
| 244 | return false; |
Anders Carlsson | 03eb543 | 2009-01-27 20:38:24 +0000 | [diff] [blame] | 245 | |
| 246 | // The constraint should have the same info as the respective |
| 247 | // output constraint. |
Chris Lattner | d688761 | 2009-04-26 18:05:25 +0000 | [diff] [blame] | 248 | Info.setTiedOperand(i, OutputConstraints[i]); |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 249 | } else if (!validateAsmConstraint(Name, Info)) { |
Daniel Dunbar | 302684c | 2008-08-25 09:46:27 +0000 | [diff] [blame] | 250 | // FIXME: This error return is in place temporarily so we can |
| 251 | // add more constraints as we hit it. Eventually, an unknown |
| 252 | // constraint should just be treated as 'g'. |
| 253 | return false; |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 254 | } |
| 255 | break; |
| 256 | case '[': { |
| 257 | unsigned Index = 0; |
Chris Lattner | 2819fa8 | 2009-04-26 17:57:12 +0000 | [diff] [blame] | 258 | if (!resolveSymbolicName(Name, OutputConstraints, NumOutputs, Index)) |
Anders Carlsson | 42e1ee0 | 2009-01-18 01:56:57 +0000 | [diff] [blame] | 259 | return false; |
| 260 | |
| 261 | break; |
| 262 | } |
Anders Carlsson | 44fe49c | 2007-12-08 19:32:57 +0000 | [diff] [blame] | 263 | case '%': // commutative |
| 264 | // FIXME: Fail if % is used with the last operand. |
| 265 | break; |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 266 | case 'i': // immediate integer. |
Anders Carlsson | efdfa77 | 2008-03-09 06:02:02 +0000 | [diff] [blame] | 267 | case 'n': // immediate integer with a known value. |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 268 | break; |
Chris Lattner | 1d13879 | 2009-05-06 04:33:31 +0000 | [diff] [blame] | 269 | case 'I': // Various constant constraints with target-specific meanings. |
| 270 | case 'J': |
| 271 | case 'K': |
| 272 | case 'L': |
| 273 | case 'M': |
| 274 | case 'N': |
| 275 | case 'O': |
| 276 | case 'P': |
| 277 | break; |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 278 | case 'r': // general register. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 279 | Info.setAllowsRegister(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 280 | break; |
| 281 | case 'm': // memory operand. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 282 | Info.setAllowsMemory(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 283 | break; |
| 284 | case 'g': // general register, memory operand or immediate integer. |
Anders Carlsson | 775841f | 2009-01-18 02:12:04 +0000 | [diff] [blame] | 285 | case 'X': // any operand. |
Chris Lattner | 44def07 | 2009-04-26 07:16:29 +0000 | [diff] [blame] | 286 | Info.setAllowsRegister(); |
| 287 | Info.setAllowsMemory(); |
Anders Carlsson | d04c6e2 | 2007-11-27 04:11:28 +0000 | [diff] [blame] | 288 | break; |
| 289 | } |
| 290 | |
| 291 | Name++; |
| 292 | } |
| 293 | |
| 294 | return true; |
| 295 | } |