blob: 2ea1f232bfde6b5af1cf9c9e3bbdaa881471a3d2 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- TargetInfo.cpp - Information about Target machine ----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the TargetInfo and TargetInfoImpl interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Basic/TargetInfo.h"
Chris Lattner525a0502007-09-22 18:29:59 +000015#include "llvm/ADT/APFloat.h"
Anders Carlsson6fa90862007-11-25 00:25:21 +000016#include "llvm/ADT/STLExtras.h"
Chris Lattner5483bdf2008-04-06 04:02:29 +000017#include <cstdlib>
Reid Spencer5f016e22007-07-11 17:01:13 +000018using namespace clang;
19
Chris Lattnercd4fc422008-03-08 08:59:43 +000020// TargetInfo Constructor.
21TargetInfo::TargetInfo(const std::string &T) : Triple(T) {
Eli Friedman61538a72008-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 Lattnercd4fc422008-03-08 08:59:43 +000025 CharIsSigned = true;
Chris Lattner927686f2008-05-09 06:08:39 +000026 PointerWidth = PointerAlign = 32;
Chris Lattnercd4fc422008-03-08 08:59:43 +000027 WCharWidth = WCharAlign = 32;
Chris Lattner2621fd12008-05-08 05:58:21 +000028 IntWidth = IntAlign = 32;
Chris Lattnerec10f582008-05-09 05:50:02 +000029 LongWidth = LongAlign = 32;
30 LongLongWidth = LongLongAlign = 64;
Eli Friedman61538a72008-05-20 14:21:01 +000031 FloatWidth = 32;
32 FloatAlign = 32;
Nate Begeman3d292062008-04-18 17:17:24 +000033 DoubleWidth = 64;
Eli Friedman61538a72008-05-20 14:21:01 +000034 DoubleAlign = 64;
35 LongDoubleWidth = 64;
36 LongDoubleAlign = 64;
Nate Begeman22b9d5a2009-01-17 23:56:13 +000037 IntMaxTWidth = 64;
Anders Carlsson6a3615c2008-10-31 16:05:19 +000038 SizeType = UnsignedLong;
Eli Friedmanf509d732008-11-02 02:43:55 +000039 PtrDiffType = SignedLong;
Sanjiv Gupta31fc07d2008-10-31 09:52:39 +000040 IntMaxType = SignedLongLong;
41 UIntMaxType = UnsignedLongLong;
Eli Friedmanf509d732008-11-02 02:43:55 +000042 WCharType = SignedInt;
Chris Lattnercd4fc422008-03-08 08:59:43 +000043 FloatFormat = &llvm::APFloat::IEEEsingle;
44 DoubleFormat = &llvm::APFloat::IEEEdouble;
45 LongDoubleFormat = &llvm::APFloat::IEEEdouble;
Eli Friedmaned855cb2008-08-21 00:13:15 +000046 DescriptionString = "E-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-"
47 "i64:64:64-f32:32:32-f64:64:64";
Chris Lattner3fdf4672008-10-05 19:22:37 +000048 UserLabelPrefix = "_";
Chris Lattnercd4fc422008-03-08 08:59:43 +000049}
50
Chris Lattner0eaed122008-03-08 08:24:01 +000051// Out of line virtual dtor for TargetInfo.
52TargetInfo::~TargetInfo() {}
Reid Spencer5f016e22007-07-11 17:01:13 +000053
Chris Lattner525a0502007-09-22 18:29:59 +000054//===----------------------------------------------------------------------===//
Chris Lattner525a0502007-09-22 18:29:59 +000055
Reid Spencer5f016e22007-07-11 17:01:13 +000056
Chris Lattner42e67372008-03-05 01:18:20 +000057static void removeGCCRegisterPrefix(const char *&Name) {
Anders Carlssonea041752008-02-06 00:11:32 +000058 if (Name[0] == '%' || Name[0] == '#')
59 Name++;
60}
61
Anders Carlsson3346ae62007-11-24 23:38:12 +000062/// isValidGCCRegisterName - Returns whether the passed in string
63/// is a valid register name according to GCC. This is used by Sema for
64/// inline asm statements.
65bool TargetInfo::isValidGCCRegisterName(const char *Name) const {
Anders Carlsson6fa90862007-11-25 00:25:21 +000066 const char * const *Names;
67 unsigned NumNames;
68
69 // Get rid of any register prefix.
Anders Carlssonea041752008-02-06 00:11:32 +000070 removeGCCRegisterPrefix(Name);
71
Anders Carlsson6fa90862007-11-25 00:25:21 +000072
73 if (strcmp(Name, "memory") == 0 ||
74 strcmp(Name, "cc") == 0)
75 return true;
76
Chris Lattner0eaed122008-03-08 08:24:01 +000077 getGCCRegNames(Names, NumNames);
Anders Carlsson6fa90862007-11-25 00:25:21 +000078
79 // If we have a number it maps to an entry in the register name array.
80 if (isdigit(Name[0])) {
81 char *End;
82 int n = (int)strtol(Name, &End, 0);
83 if (*End == 0)
84 return n >= 0 && (unsigned)n < NumNames;
85 }
86
87 // Check register names.
88 for (unsigned i = 0; i < NumNames; i++) {
89 if (strcmp(Name, Names[i]) == 0)
90 return true;
91 }
92
93 // Now check aliases.
Chris Lattner0eaed122008-03-08 08:24:01 +000094 const GCCRegAlias *Aliases;
Anders Carlsson6fa90862007-11-25 00:25:21 +000095 unsigned NumAliases;
96
Chris Lattner0eaed122008-03-08 08:24:01 +000097 getGCCRegAliases(Aliases, NumAliases);
Anders Carlsson6fa90862007-11-25 00:25:21 +000098 for (unsigned i = 0; i < NumAliases; i++) {
99 for (unsigned j = 0 ; j < llvm::array_lengthof(Aliases[i].Aliases); j++) {
100 if (!Aliases[i].Aliases[j])
101 break;
102 if (strcmp(Aliases[i].Aliases[j], Name) == 0)
103 return true;
104 }
105 }
106
Anders Carlsson3346ae62007-11-24 23:38:12 +0000107 return false;
108}
Anders Carlssond04c6e22007-11-27 04:11:28 +0000109
Chris Lattner0eaed122008-03-08 08:24:01 +0000110const char *TargetInfo::getNormalizedGCCRegisterName(const char *Name) const {
Anders Carlssond04c6e22007-11-27 04:11:28 +0000111 assert(isValidGCCRegisterName(Name) && "Invalid register passed in");
112
Anders Carlssonea041752008-02-06 00:11:32 +0000113 removeGCCRegisterPrefix(Name);
Anders Carlssonef3577d2008-02-05 23:30:20 +0000114
Anders Carlssond04c6e22007-11-27 04:11:28 +0000115 const char * const *Names;
116 unsigned NumNames;
117
Chris Lattner0eaed122008-03-08 08:24:01 +0000118 getGCCRegNames(Names, NumNames);
Anders Carlssond04c6e22007-11-27 04:11:28 +0000119
120 // First, check if we have a number.
121 if (isdigit(Name[0])) {
122 char *End;
123 int n = (int)strtol(Name, &End, 0);
124 if (*End == 0) {
125 assert(n >= 0 && (unsigned)n < NumNames &&
126 "Out of bounds register number!");
127 return Names[n];
128 }
129 }
130
131 // Now check aliases.
Chris Lattner0eaed122008-03-08 08:24:01 +0000132 const GCCRegAlias *Aliases;
Anders Carlssond04c6e22007-11-27 04:11:28 +0000133 unsigned NumAliases;
134
Chris Lattner0eaed122008-03-08 08:24:01 +0000135 getGCCRegAliases(Aliases, NumAliases);
Anders Carlssond04c6e22007-11-27 04:11:28 +0000136 for (unsigned i = 0; i < NumAliases; i++) {
137 for (unsigned j = 0 ; j < llvm::array_lengthof(Aliases[i].Aliases); j++) {
138 if (!Aliases[i].Aliases[j])
139 break;
140 if (strcmp(Aliases[i].Aliases[j], Name) == 0)
141 return Aliases[i].Register;
142 }
143 }
144
145 return Name;
146}
147
148bool TargetInfo::validateOutputConstraint(const char *Name,
149 ConstraintInfo &info) const
150{
Anders Carlsson0e936db2009-01-12 02:15:29 +0000151 info = CI_None;
152
Anders Carlssond04c6e22007-11-27 04:11:28 +0000153 // An output constraint must start with '=' or '+'
154 if (*Name != '=' && *Name != '+')
155 return false;
156
157 if (*Name == '+')
158 info = CI_ReadWrite;
159 else
160 info = CI_None;
161
162 Name++;
163 while (*Name) {
164 switch (*Name) {
165 default:
Chris Lattner0eaed122008-03-08 08:24:01 +0000166 if (!validateAsmConstraint(*Name, info)) {
Ted Kremenek5ab201a2008-04-24 16:36:38 +0000167 // FIXME: We temporarily return false
Anders Carlssond04c6e22007-11-27 04:11:28 +0000168 // so we can add more constraints as we hit it.
169 // Eventually, an unknown constraint should just be treated as 'g'.
Ted Kremenek5ab201a2008-04-24 16:36:38 +0000170 return false;
Anders Carlssond04c6e22007-11-27 04:11:28 +0000171 }
172 case '&': // early clobber.
173 break;
174 case 'r': // general register.
175 info = (ConstraintInfo)(info|CI_AllowsRegister);
176 break;
177 case 'm': // memory operand.
178 info = (ConstraintInfo)(info|CI_AllowsMemory);
179 break;
180 case 'g': // general register, memory operand or immediate integer.
181 info = (ConstraintInfo)(info|CI_AllowsMemory|CI_AllowsRegister);
182 break;
183 }
184
185 Name++;
186 }
187
188 return true;
189}
190
191bool TargetInfo::validateInputConstraint(const char *Name,
Anders Carlsson45b050e2009-01-17 23:36:15 +0000192 const std::string *OutputNamesBegin,
193 const std::string *OutputNamesEnd,
Chris Lattner0eaed122008-03-08 08:24:01 +0000194 ConstraintInfo &info) const {
Anders Carlsson0e936db2009-01-12 02:15:29 +0000195 info = CI_None;
196
Anders Carlssond04c6e22007-11-27 04:11:28 +0000197 while (*Name) {
198 switch (*Name) {
199 default:
200 // Check if we have a matching constraint
201 if (*Name >= '0' && *Name <= '9') {
Anders Carlsson45b050e2009-01-17 23:36:15 +0000202 unsigned NumOutputs = OutputNamesEnd - OutputNamesBegin;
Anders Carlssond04c6e22007-11-27 04:11:28 +0000203 unsigned i = *Name - '0';
Anders Carlsson45b050e2009-01-17 23:36:15 +0000204
Anders Carlssond04c6e22007-11-27 04:11:28 +0000205 // Check if matching constraint is out of bounds.
206 if (i >= NumOutputs)
207 return false;
Chris Lattner0eaed122008-03-08 08:24:01 +0000208 } else if (!validateAsmConstraint(*Name, info)) {
Daniel Dunbar302684c2008-08-25 09:46:27 +0000209 // FIXME: This error return is in place temporarily so we can
210 // add more constraints as we hit it. Eventually, an unknown
211 // constraint should just be treated as 'g'.
212 return false;
Anders Carlssond04c6e22007-11-27 04:11:28 +0000213 }
Anders Carlsson44fe49c2007-12-08 19:32:57 +0000214 case '%': // commutative
215 // FIXME: Fail if % is used with the last operand.
216 break;
Anders Carlssond04c6e22007-11-27 04:11:28 +0000217 case 'i': // immediate integer.
Anders Carlssonb41edf92008-02-18 17:00:25 +0000218 case 'I':
Anders Carlssonefdfa772008-03-09 06:02:02 +0000219 case 'n': // immediate integer with a known value.
Anders Carlssond04c6e22007-11-27 04:11:28 +0000220 break;
221 case 'r': // general register.
222 info = (ConstraintInfo)(info|CI_AllowsRegister);
223 break;
224 case 'm': // memory operand.
225 info = (ConstraintInfo)(info|CI_AllowsMemory);
226 break;
227 case 'g': // general register, memory operand or immediate integer.
228 info = (ConstraintInfo)(info|CI_AllowsMemory|CI_AllowsRegister);
229 break;
230 }
231
232 Name++;
233 }
234
235 return true;
236}