blob: cee13eab41296531d53192f9bb539a7c8b5d9690 [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- TargetInfo.cpp - Information about Target machine ----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the TargetInfo and TargetInfoImpl interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Basic/TargetInfo.h"
Chris Lattner858eece2007-09-22 18:29:59 +000015#include "llvm/ADT/APFloat.h"
Anders Carlsson49dadd62007-11-25 00:25:21 +000016#include "llvm/ADT/STLExtras.h"
Chris Lattner5c81ea02008-04-06 04:02:29 +000017#include <cstdlib>
Chris Lattner4b009652007-07-25 00:24:17 +000018using namespace clang;
19
Chris Lattner3b74cac2008-03-08 08:59:43 +000020// TargetInfo Constructor.
21TargetInfo::TargetInfo(const std::string &T) : Triple(T) {
Eli Friedman0b7b1cb2008-05-20 14:21:01 +000022 // 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 Lattner3b74cac2008-03-08 08:59:43 +000025 CharIsSigned = true;
Eli Friedman8f575172009-04-19 21:38:35 +000026 TLSSupported = true;
Chris Lattner727b3c42008-05-09 06:08:39 +000027 PointerWidth = PointerAlign = 32;
Chris Lattner3b74cac2008-03-08 08:59:43 +000028 WCharWidth = WCharAlign = 32;
Chris Lattner85970f32008-05-08 05:58:21 +000029 IntWidth = IntAlign = 32;
Chris Lattner481dcf22008-05-09 05:50:02 +000030 LongWidth = LongAlign = 32;
31 LongLongWidth = LongLongAlign = 64;
Eli Friedman0b7b1cb2008-05-20 14:21:01 +000032 FloatWidth = 32;
33 FloatAlign = 32;
Nate Begemand5e35f82008-04-18 17:17:24 +000034 DoubleWidth = 64;
Eli Friedman0b7b1cb2008-05-20 14:21:01 +000035 DoubleAlign = 64;
36 LongDoubleWidth = 64;
37 LongDoubleAlign = 64;
Nate Begeman2aaa0a02009-01-17 23:56:13 +000038 IntMaxTWidth = 64;
Anders Carlssonc0b56cd2008-10-31 16:05:19 +000039 SizeType = UnsignedLong;
Eli Friedman7cca0982008-11-02 02:43:55 +000040 PtrDiffType = SignedLong;
Sanjiv Guptafa451432008-10-31 09:52:39 +000041 IntMaxType = SignedLongLong;
42 UIntMaxType = UnsignedLongLong;
Chris Lattnerd9ef7242009-02-13 22:28:55 +000043 IntPtrType = SignedLong;
Eli Friedman7cca0982008-11-02 02:43:55 +000044 WCharType = SignedInt;
Chris Lattner3b74cac2008-03-08 08:59:43 +000045 FloatFormat = &llvm::APFloat::IEEEsingle;
46 DoubleFormat = &llvm::APFloat::IEEEdouble;
47 LongDoubleFormat = &llvm::APFloat::IEEEdouble;
Eli Friedman2b161652008-08-21 00:13:15 +000048 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 Lattner3f6d8cf2008-10-05 19:22:37 +000050 UserLabelPrefix = "_";
Chris Lattner3b74cac2008-03-08 08:59:43 +000051}
52
Chris Lattner0fb8d852008-03-08 08:24:01 +000053// Out of line virtual dtor for TargetInfo.
54TargetInfo::~TargetInfo() {}
Chris Lattner4b009652007-07-25 00:24:17 +000055
Chris Lattner534234c2009-02-06 05:04:11 +000056/// getTypeName - Return the user string for the specified integer type enum.
57/// For example, SignedShort -> "short".
58const 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 Lattner858eece2007-09-22 18:29:59 +000072//===----------------------------------------------------------------------===//
Chris Lattner858eece2007-09-22 18:29:59 +000073
Chris Lattner4b009652007-07-25 00:24:17 +000074
Chris Lattnerfc457002008-03-05 01:18:20 +000075static void removeGCCRegisterPrefix(const char *&Name) {
Anders Carlsson74385982008-02-06 00:11:32 +000076 if (Name[0] == '%' || Name[0] == '#')
77 Name++;
78}
79
Anders Carlsson7dd1c952007-11-24 23:38:12 +000080/// 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.
83bool TargetInfo::isValidGCCRegisterName(const char *Name) const {
Anders Carlsson49dadd62007-11-25 00:25:21 +000084 const char * const *Names;
85 unsigned NumNames;
86
87 // Get rid of any register prefix.
Anders Carlsson74385982008-02-06 00:11:32 +000088 removeGCCRegisterPrefix(Name);
89
Anders Carlsson49dadd62007-11-25 00:25:21 +000090
91 if (strcmp(Name, "memory") == 0 ||
92 strcmp(Name, "cc") == 0)
93 return true;
94
Chris Lattner0fb8d852008-03-08 08:24:01 +000095 getGCCRegNames(Names, NumNames);
Anders Carlsson49dadd62007-11-25 00:25:21 +000096
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 Lattner0fb8d852008-03-08 08:24:01 +0000112 const GCCRegAlias *Aliases;
Anders Carlsson49dadd62007-11-25 00:25:21 +0000113 unsigned NumAliases;
114
Chris Lattner0fb8d852008-03-08 08:24:01 +0000115 getGCCRegAliases(Aliases, NumAliases);
Anders Carlsson49dadd62007-11-25 00:25:21 +0000116 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 Carlsson7dd1c952007-11-24 23:38:12 +0000125 return false;
126}
Anders Carlsson4ce42302007-11-27 04:11:28 +0000127
Chris Lattner0fb8d852008-03-08 08:24:01 +0000128const char *TargetInfo::getNormalizedGCCRegisterName(const char *Name) const {
Anders Carlsson4ce42302007-11-27 04:11:28 +0000129 assert(isValidGCCRegisterName(Name) && "Invalid register passed in");
130
Anders Carlsson74385982008-02-06 00:11:32 +0000131 removeGCCRegisterPrefix(Name);
Anders Carlsson3fb39b12008-02-05 23:30:20 +0000132
Anders Carlsson4ce42302007-11-27 04:11:28 +0000133 const char * const *Names;
134 unsigned NumNames;
135
Chris Lattner0fb8d852008-03-08 08:24:01 +0000136 getGCCRegNames(Names, NumNames);
Anders Carlsson4ce42302007-11-27 04:11:28 +0000137
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 Lattner0fb8d852008-03-08 08:24:01 +0000150 const GCCRegAlias *Aliases;
Anders Carlsson4ce42302007-11-27 04:11:28 +0000151 unsigned NumAliases;
152
Chris Lattner0fb8d852008-03-08 08:24:01 +0000153 getGCCRegAliases(Aliases, NumAliases);
Anders Carlsson4ce42302007-11-27 04:11:28 +0000154 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
166bool TargetInfo::validateOutputConstraint(const char *Name,
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000167 ConstraintInfo &Info) const {
Anders Carlsson4ce42302007-11-27 04:11:28 +0000168 // An output constraint must start with '=' or '+'
169 if (*Name != '=' && *Name != '+')
170 return false;
171
172 if (*Name == '+')
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000173 Info.setIsReadWrite();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000174
175 Name++;
176 while (*Name) {
177 switch (*Name) {
178 default:
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000179 if (!validateAsmConstraint(Name, Info)) {
Ted Kremenekd229d962008-04-24 16:36:38 +0000180 // FIXME: We temporarily return false
Anders Carlsson4ce42302007-11-27 04:11:28 +0000181 // so we can add more constraints as we hit it.
182 // Eventually, an unknown constraint should just be treated as 'g'.
Ted Kremenekd229d962008-04-24 16:36:38 +0000183 return false;
Anders Carlsson4ce42302007-11-27 04:11:28 +0000184 }
185 case '&': // early clobber.
186 break;
187 case 'r': // general register.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000188 Info.setAllowsRegister();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000189 break;
190 case 'm': // memory operand.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000191 Info.setAllowsMemory();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000192 break;
193 case 'g': // general register, memory operand or immediate integer.
Anders Carlssona3e9bd22009-01-18 02:12:04 +0000194 case 'X': // any operand.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000195 Info.setAllowsRegister();
196 Info.setAllowsMemory();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000197 break;
198 }
199
200 Name++;
201 }
202
203 return true;
204}
205
Anders Carlssonb5c85692009-01-18 01:56:57 +0000206bool TargetInfo::resolveSymbolicName(const char *&Name,
207 const std::string *OutputNamesBegin,
208 const std::string *OutputNamesEnd,
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000209 unsigned &Index) const {
Anders Carlssonb5c85692009-01-18 01:56:57 +0000210 assert(*Name == '[' && "Symbolic name did not start with '['");
Anders Carlssonb5c85692009-01-18 01:56:57 +0000211 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
223 Index = 0;
224 for (const std::string *it = OutputNamesBegin;
225 it != OutputNamesEnd;
226 ++it, Index++) {
227 if (SymbolicName == *it)
228 return true;
229 }
230
231 return false;
232}
233
Anders Carlsson4ce42302007-11-27 04:11:28 +0000234bool TargetInfo::validateInputConstraint(const char *Name,
Anders Carlsson7b49cec2009-01-17 23:36:15 +0000235 const std::string *OutputNamesBegin,
236 const std::string *OutputNamesEnd,
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000237 ConstraintInfo *OutputConstraints,
238 ConstraintInfo &Info) const {
Anders Carlsson4ce42302007-11-27 04:11:28 +0000239 while (*Name) {
240 switch (*Name) {
241 default:
242 // Check if we have a matching constraint
243 if (*Name >= '0' && *Name <= '9') {
Anders Carlsson7b49cec2009-01-17 23:36:15 +0000244 unsigned NumOutputs = OutputNamesEnd - OutputNamesBegin;
Anders Carlsson4ce42302007-11-27 04:11:28 +0000245 unsigned i = *Name - '0';
Anders Carlsson7b49cec2009-01-17 23:36:15 +0000246
Anders Carlsson4ce42302007-11-27 04:11:28 +0000247 // Check if matching constraint is out of bounds.
248 if (i >= NumOutputs)
249 return false;
Anders Carlssondd3a4fe2009-01-27 20:38:24 +0000250
251 // The constraint should have the same info as the respective
252 // output constraint.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000253 Info = OutputConstraints[i];
254 Info.setTiedOperand(i);
255 } else if (!validateAsmConstraint(Name, Info)) {
Daniel Dunbar157e1e62008-08-25 09:46:27 +0000256 // FIXME: This error return is in place temporarily so we can
257 // add more constraints as we hit it. Eventually, an unknown
258 // constraint should just be treated as 'g'.
259 return false;
Anders Carlssonb5c85692009-01-18 01:56:57 +0000260 }
261 break;
262 case '[': {
263 unsigned Index = 0;
264 if (!resolveSymbolicName(Name, OutputNamesBegin, OutputNamesEnd, Index))
265 return false;
266
267 break;
268 }
Anders Carlsson333052c2007-12-08 19:32:57 +0000269 case '%': // commutative
270 // FIXME: Fail if % is used with the last operand.
271 break;
Anders Carlsson4ce42302007-11-27 04:11:28 +0000272 case 'i': // immediate integer.
Anders Carlssonf8e50d92008-02-18 17:00:25 +0000273 case 'I':
Anders Carlssonbdb0e2b2008-03-09 06:02:02 +0000274 case 'n': // immediate integer with a known value.
Anders Carlsson4ce42302007-11-27 04:11:28 +0000275 break;
276 case 'r': // general register.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000277 Info.setAllowsRegister();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000278 break;
279 case 'm': // memory operand.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000280 Info.setAllowsMemory();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000281 break;
282 case 'g': // general register, memory operand or immediate integer.
Anders Carlssona3e9bd22009-01-18 02:12:04 +0000283 case 'X': // any operand.
Chris Lattnerc49cc1a2009-04-26 07:16:29 +0000284 Info.setAllowsRegister();
285 Info.setAllowsMemory();
Anders Carlsson4ce42302007-11-27 04:11:28 +0000286 break;
287 }
288
289 Name++;
290 }
291
292 return true;
293}