blob: 3c07cf2898af7e5a1295d2a42135a078507046c0 [file] [log] [blame]
Daniel Dunbare9fba572009-03-12 07:40:41 +00001//===--- Types.cpp - Driver input & temporary type information ----------*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "clang/Driver/Types.h"
11
Douglas Gregor55d3f7a2009-10-29 00:41:01 +000012#include "llvm/ADT/StringSwitch.h"
Daniel Dunbare9fba572009-03-12 07:40:41 +000013#include <string.h>
14#include <cassert>
15
Daniel Dunbare9fba572009-03-12 07:40:41 +000016using namespace clang::driver;
17using namespace clang::driver::types;
18
Daniel Dunbard8e0e452009-11-18 20:19:26 +000019struct TypeInfo {
Daniel Dunbare9fba572009-03-12 07:40:41 +000020 const char *Name;
21 const char *Flags;
22 const char *TempSuffix;
23 ID PreprocessedType;
24};
25
Nuno Lopes68f7a242009-12-10 00:07:02 +000026static const TypeInfo TypeInfos[] = {
Daniel Dunbare9fba572009-03-12 07:40:41 +000027#define TYPE(NAME, ID, PP_TYPE, TEMP_SUFFIX, FLAGS) \
28 { NAME, FLAGS, TEMP_SUFFIX, TY_##PP_TYPE, },
29#include "clang/Driver/Types.def"
30#undef TYPE
31};
32static const unsigned numTypes = sizeof(TypeInfos) / sizeof(TypeInfos[0]);
33
Nuno Lopes68f7a242009-12-10 00:07:02 +000034static const TypeInfo &getInfo(unsigned id) {
Daniel Dunbare9fba572009-03-12 07:40:41 +000035 assert(id > 0 && id - 1 < numTypes && "Invalid Type ID.");
36 return TypeInfos[id - 1];
37}
38
Mike Stump1eb44332009-09-09 15:08:12 +000039const char *types::getTypeName(ID Id) {
40 return getInfo(Id).Name;
Daniel Dunbare9fba572009-03-12 07:40:41 +000041}
42
Mike Stump1eb44332009-09-09 15:08:12 +000043types::ID types::getPreprocessedType(ID Id) {
44 return getInfo(Id).PreprocessedType;
Daniel Dunbare9fba572009-03-12 07:40:41 +000045}
46
Mike Stump1eb44332009-09-09 15:08:12 +000047const char *types::getTypeTempSuffix(ID Id) {
48 return getInfo(Id).TempSuffix;
Daniel Dunbare9fba572009-03-12 07:40:41 +000049}
50
Mike Stump1eb44332009-09-09 15:08:12 +000051bool types::onlyAssembleType(ID Id) {
52 return strchr(getInfo(Id).Flags, 'a');
Daniel Dunbare9fba572009-03-12 07:40:41 +000053}
54
Mike Stump1eb44332009-09-09 15:08:12 +000055bool types::onlyPrecompileType(ID Id) {
56 return strchr(getInfo(Id).Flags, 'p');
Daniel Dunbare9fba572009-03-12 07:40:41 +000057}
58
Mike Stump1eb44332009-09-09 15:08:12 +000059bool types::canTypeBeUserSpecified(ID Id) {
60 return strchr(getInfo(Id).Flags, 'u');
Daniel Dunbare9fba572009-03-12 07:40:41 +000061}
62
Mike Stump1eb44332009-09-09 15:08:12 +000063bool types::appendSuffixForType(ID Id) {
64 return strchr(getInfo(Id).Flags, 'A');
Daniel Dunbare9fba572009-03-12 07:40:41 +000065}
66
Mike Stump1eb44332009-09-09 15:08:12 +000067bool types::canLipoType(ID Id) {
Daniel Dunbar9f5ef942009-03-12 18:21:41 +000068 return (Id == TY_Nothing ||
69 Id == TY_Image ||
Mike Stump1eb44332009-09-09 15:08:12 +000070 Id == TY_Object);
Daniel Dunbar9f5ef942009-03-12 18:21:41 +000071}
72
Daniel Dunbar4db938c2009-03-13 23:46:19 +000073bool types::isAcceptedByClang(ID Id) {
74 switch (Id) {
75 default:
76 return false;
77
78 case TY_Asm:
79 case TY_C: case TY_PP_C:
Nate Begemanedcfc412010-01-05 06:00:15 +000080 case TY_CL:
Daniel Dunbar4db938c2009-03-13 23:46:19 +000081 case TY_ObjC: case TY_PP_ObjC:
82 case TY_CXX: case TY_PP_CXX:
83 case TY_ObjCXX: case TY_PP_ObjCXX:
84 case TY_CHeader: case TY_PP_CHeader:
85 case TY_ObjCHeader: case TY_PP_ObjCHeader:
86 case TY_CXXHeader: case TY_PP_CXXHeader:
87 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
Daniel Dunbar5915fbf2009-09-01 16:57:46 +000088 case TY_AST:
Daniel Dunbar6c6424b2010-06-07 23:28:45 +000089 case TY_LLVM_IR: case TY_LLVM_BC:
90 return true;
91 }
92}
93
94bool types::isOnlyAcceptedByClang(ID Id) {
95 switch (Id) {
96 default:
97 return false;
98
99 case TY_AST:
100 case TY_LLVM_IR:
101 case TY_LLVM_BC:
102 case TY_RewrittenObjC:
Daniel Dunbar4db938c2009-03-13 23:46:19 +0000103 return true;
104 }
105}
106
Daniel Dunbar77544fd2009-11-17 08:07:16 +0000107bool types::isObjC(ID Id) {
108 switch (Id) {
109 default:
110 return false;
111
112 case TY_ObjC: case TY_PP_ObjC:
113 case TY_ObjCXX: case TY_PP_ObjCXX:
114 case TY_ObjCHeader: case TY_PP_ObjCHeader:
115 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
116 return true;
117 }
118}
119
Daniel Dunbar4db938c2009-03-13 23:46:19 +0000120bool types::isCXX(ID Id) {
121 switch (Id) {
122 default:
123 return false;
124
125 case TY_CXX: case TY_PP_CXX:
126 case TY_ObjCXX: case TY_PP_ObjCXX:
127 case TY_CXXHeader: case TY_PP_CXXHeader:
128 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
129 return true;
130 }
131}
132
Daniel Dunbare9fba572009-03-12 07:40:41 +0000133types::ID types::lookupTypeForExtension(const char *Ext) {
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000134 return llvm::StringSwitch<types::ID>(Ext)
135 .Case("c", TY_C)
136 .Case("i", TY_PP_C)
137 .Case("m", TY_ObjC)
138 .Case("M", TY_ObjCXX)
139 .Case("h", TY_CHeader)
140 .Case("C", TY_CXX)
141 .Case("H", TY_CXXHeader)
142 .Case("f", TY_PP_Fortran)
143 .Case("F", TY_Fortran)
144 .Case("s", TY_PP_Asm)
145 .Case("S", TY_Asm)
146 .Case("ii", TY_PP_CXX)
147 .Case("mi", TY_PP_ObjC)
148 .Case("mm", TY_ObjCXX)
Daniel Dunbar6c6424b2010-06-07 23:28:45 +0000149 .Case("bc", TY_LLVM_BC)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000150 .Case("cc", TY_CXX)
151 .Case("CC", TY_CXX)
Nate Begemanedcfc412010-01-05 06:00:15 +0000152 .Case("cl", TY_CL)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000153 .Case("cp", TY_CXX)
154 .Case("hh", TY_CXXHeader)
Daniel Dunbar6c6424b2010-06-07 23:28:45 +0000155 .Case("ll", TY_LLVM_IR)
Daniel Dunbar90cb9202009-11-22 22:08:27 +0000156 .Case("hpp", TY_CXXHeader)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000157 .Case("ads", TY_Ada)
158 .Case("adb", TY_Ada)
159 .Case("ast", TY_AST)
Douglas Gregor169b7532010-06-22 23:43:22 +0000160 .Case("c++", TY_CXX)
161 .Case("C++", TY_CXX)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000162 .Case("cxx", TY_CXX)
163 .Case("cpp", TY_CXX)
164 .Case("CPP", TY_CXX)
165 .Case("CXX", TY_CXX)
166 .Case("for", TY_PP_Fortran)
167 .Case("FOR", TY_PP_Fortran)
168 .Case("fpp", TY_Fortran)
169 .Case("FPP", TY_Fortran)
170 .Case("f90", TY_PP_Fortran)
171 .Case("f95", TY_PP_Fortran)
172 .Case("F90", TY_Fortran)
173 .Case("F95", TY_Fortran)
174 .Case("mii", TY_PP_ObjCXX)
175 .Default(TY_INVALID);
Daniel Dunbare9fba572009-03-12 07:40:41 +0000176}
177
178types::ID types::lookupTypeForTypeSpecifier(const char *Name) {
179 unsigned N = strlen(Name);
180
181 for (unsigned i=0; i<numTypes; ++i) {
182 types::ID Id = (types::ID) (i + 1);
Mike Stump1eb44332009-09-09 15:08:12 +0000183 if (canTypeBeUserSpecified(Id) &&
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000184 memcmp(Name, getInfo(Id).Name, N + 1) == 0)
Daniel Dunbare9fba572009-03-12 07:40:41 +0000185 return Id;
186 }
187
188 return TY_INVALID;
189}
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000190
191// FIXME: Why don't we just put this list in the defs file, eh.
192
Mike Stump1eb44332009-09-09 15:08:12 +0000193unsigned types::getNumCompilationPhases(ID Id) {
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000194 if (Id == TY_Object)
195 return 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000196
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000197 unsigned N = 0;
198 if (getPreprocessedType(Id) != TY_INVALID)
199 N += 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000200
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000201 if (onlyAssembleType(Id))
202 return N + 2; // assemble, link
203 if (onlyPrecompileType(Id))
204 return N + 1; // precompile
Mike Stump1eb44332009-09-09 15:08:12 +0000205
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000206 return N + 3; // compile, assemble, link
207}
208
209phases::ID types::getCompilationPhase(ID Id, unsigned N) {
210 assert(N < getNumCompilationPhases(Id) && "Invalid index.");
Mike Stump1eb44332009-09-09 15:08:12 +0000211
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000212 if (Id == TY_Object)
213 return phases::Link;
214
215 if (getPreprocessedType(Id) != TY_INVALID) {
216 if (N == 0)
217 return phases::Preprocess;
218 --N;
219 }
220
221 if (onlyAssembleType(Id))
222 return N == 0 ? phases::Assemble : phases::Link;
223
224 if (onlyPrecompileType(Id))
225 return phases::Precompile;
226
227 if (N == 0)
228 return phases::Compile;
229 if (N == 1)
230 return phases::Assemble;
Mike Stump1eb44332009-09-09 15:08:12 +0000231
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000232 return phases::Link;
233}
Daniel Dunbar51679c52010-02-17 20:32:58 +0000234
235ID types::lookupCXXTypeForCType(ID Id) {
236 switch (Id) {
237 default:
238 return Id;
239
240 case types::TY_C:
241 return types::TY_CXX;
242 case types::TY_PP_C:
243 return types::TY_PP_CXX;
244 case types::TY_CHeader:
245 return types::TY_CXXHeader;
246 case types::TY_PP_CHeader:
247 return types::TY_PP_CXXHeader;
248 }
249}