blob: 60d86a62a3a0272b986e09546fc552a827854428 [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 Dunbar4db938c2009-03-13 23:46:19 +000089 return true;
90 }
91}
92
Daniel Dunbar77544fd2009-11-17 08:07:16 +000093bool types::isObjC(ID Id) {
94 switch (Id) {
95 default:
96 return false;
97
98 case TY_ObjC: case TY_PP_ObjC:
99 case TY_ObjCXX: case TY_PP_ObjCXX:
100 case TY_ObjCHeader: case TY_PP_ObjCHeader:
101 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
102 return true;
103 }
104}
105
Daniel Dunbar4db938c2009-03-13 23:46:19 +0000106bool types::isCXX(ID Id) {
107 switch (Id) {
108 default:
109 return false;
110
111 case TY_CXX: case TY_PP_CXX:
112 case TY_ObjCXX: case TY_PP_ObjCXX:
113 case TY_CXXHeader: case TY_PP_CXXHeader:
114 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
115 return true;
116 }
117}
118
Daniel Dunbare9fba572009-03-12 07:40:41 +0000119types::ID types::lookupTypeForExtension(const char *Ext) {
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000120 return llvm::StringSwitch<types::ID>(Ext)
121 .Case("c", TY_C)
122 .Case("i", TY_PP_C)
123 .Case("m", TY_ObjC)
124 .Case("M", TY_ObjCXX)
125 .Case("h", TY_CHeader)
126 .Case("C", TY_CXX)
127 .Case("H", TY_CXXHeader)
128 .Case("f", TY_PP_Fortran)
129 .Case("F", TY_Fortran)
130 .Case("s", TY_PP_Asm)
131 .Case("S", TY_Asm)
132 .Case("ii", TY_PP_CXX)
133 .Case("mi", TY_PP_ObjC)
134 .Case("mm", TY_ObjCXX)
135 .Case("cc", TY_CXX)
136 .Case("CC", TY_CXX)
Nate Begemanedcfc412010-01-05 06:00:15 +0000137 .Case("cl", TY_CL)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000138 .Case("cp", TY_CXX)
139 .Case("hh", TY_CXXHeader)
Daniel Dunbar90cb9202009-11-22 22:08:27 +0000140 .Case("hpp", TY_CXXHeader)
Douglas Gregor55d3f7a2009-10-29 00:41:01 +0000141 .Case("ads", TY_Ada)
142 .Case("adb", TY_Ada)
143 .Case("ast", TY_AST)
144 .Case("cxx", TY_CXX)
145 .Case("cpp", TY_CXX)
146 .Case("CPP", TY_CXX)
147 .Case("CXX", TY_CXX)
148 .Case("for", TY_PP_Fortran)
149 .Case("FOR", TY_PP_Fortran)
150 .Case("fpp", TY_Fortran)
151 .Case("FPP", TY_Fortran)
152 .Case("f90", TY_PP_Fortran)
153 .Case("f95", TY_PP_Fortran)
154 .Case("F90", TY_Fortran)
155 .Case("F95", TY_Fortran)
156 .Case("mii", TY_PP_ObjCXX)
157 .Default(TY_INVALID);
Daniel Dunbare9fba572009-03-12 07:40:41 +0000158}
159
160types::ID types::lookupTypeForTypeSpecifier(const char *Name) {
161 unsigned N = strlen(Name);
162
163 for (unsigned i=0; i<numTypes; ++i) {
164 types::ID Id = (types::ID) (i + 1);
Mike Stump1eb44332009-09-09 15:08:12 +0000165 if (canTypeBeUserSpecified(Id) &&
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000166 memcmp(Name, getInfo(Id).Name, N + 1) == 0)
Daniel Dunbare9fba572009-03-12 07:40:41 +0000167 return Id;
168 }
169
170 return TY_INVALID;
171}
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000172
173// FIXME: Why don't we just put this list in the defs file, eh.
174
Mike Stump1eb44332009-09-09 15:08:12 +0000175unsigned types::getNumCompilationPhases(ID Id) {
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000176 if (Id == TY_Object)
177 return 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000178
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000179 unsigned N = 0;
180 if (getPreprocessedType(Id) != TY_INVALID)
181 N += 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000182
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000183 if (onlyAssembleType(Id))
184 return N + 2; // assemble, link
185 if (onlyPrecompileType(Id))
186 return N + 1; // precompile
Mike Stump1eb44332009-09-09 15:08:12 +0000187
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000188 return N + 3; // compile, assemble, link
189}
190
191phases::ID types::getCompilationPhase(ID Id, unsigned N) {
192 assert(N < getNumCompilationPhases(Id) && "Invalid index.");
Mike Stump1eb44332009-09-09 15:08:12 +0000193
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000194 if (Id == TY_Object)
195 return phases::Link;
196
197 if (getPreprocessedType(Id) != TY_INVALID) {
198 if (N == 0)
199 return phases::Preprocess;
200 --N;
201 }
202
203 if (onlyAssembleType(Id))
204 return N == 0 ? phases::Assemble : phases::Link;
205
206 if (onlyPrecompileType(Id))
207 return phases::Precompile;
208
209 if (N == 0)
210 return phases::Compile;
211 if (N == 1)
212 return phases::Assemble;
Mike Stump1eb44332009-09-09 15:08:12 +0000213
Daniel Dunbarc1b5fa82009-03-13 11:28:30 +0000214 return phases::Link;
215}