1 //===--- Types.cpp - Driver input & temporary type information ------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "clang/Driver/Types.h"
10 #include "llvm/ADT/STLExtras.h"
11 #include "llvm/ADT/StringSwitch.h"
15 using namespace clang::driver;
16 using namespace clang::driver::types;
21 const char *TempSuffix;
25 static const TypeInfo TypeInfos[] = {
26 #define TYPE(NAME, ID, PP_TYPE, TEMP_SUFFIX, FLAGS) \
27 { NAME, FLAGS, TEMP_SUFFIX, TY_##PP_TYPE, },
28 #include "clang/Driver/Types.def"
31 static const unsigned numTypes = llvm::array_lengthof(TypeInfos);
33 static const TypeInfo &getInfo(unsigned id) {
34 assert(id > 0 && id - 1 < numTypes && "Invalid Type ID.");
35 return TypeInfos[id - 1];
38 const char *types::getTypeName(ID Id) {
39 return getInfo(Id).Name;
42 types::ID types::getPreprocessedType(ID Id) {
43 return getInfo(Id).PreprocessedType;
46 types::ID types::getPrecompiledType(ID Id) {
47 if (strchr(getInfo(Id).Flags, 'm'))
49 if (onlyPrecompileType(Id))
54 const char *types::getTypeTempSuffix(ID Id, bool CLMode) {
68 return getInfo(Id).TempSuffix;
71 bool types::onlyAssembleType(ID Id) {
72 return strchr(getInfo(Id).Flags, 'a');
75 bool types::onlyPrecompileType(ID Id) {
76 return strchr(getInfo(Id).Flags, 'p');
79 bool types::canTypeBeUserSpecified(ID Id) {
80 return strchr(getInfo(Id).Flags, 'u');
83 bool types::appendSuffixForType(ID Id) {
84 return strchr(getInfo(Id).Flags, 'A');
87 bool types::canLipoType(ID Id) {
88 return (Id == TY_Nothing ||
94 bool types::isAcceptedByClang(ID Id) {
100 case TY_C: case TY_PP_C:
102 case TY_CUDA: case TY_PP_CUDA:
107 case TY_ObjC: case TY_PP_ObjC: case TY_PP_ObjC_Alias:
108 case TY_CXX: case TY_PP_CXX:
109 case TY_ObjCXX: case TY_PP_ObjCXX: case TY_PP_ObjCXX_Alias:
110 case TY_CHeader: case TY_PP_CHeader:
112 case TY_ObjCHeader: case TY_PP_ObjCHeader:
113 case TY_CXXHeader: case TY_PP_CXXHeader:
114 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
115 case TY_CXXModule: case TY_PP_CXXModule:
116 case TY_AST: case TY_ModuleFile:
117 case TY_LLVM_IR: case TY_LLVM_BC:
122 bool types::isObjC(ID Id) {
127 case TY_ObjC: case TY_PP_ObjC: case TY_PP_ObjC_Alias:
128 case TY_ObjCXX: case TY_PP_ObjCXX:
129 case TY_ObjCHeader: case TY_PP_ObjCHeader:
130 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader: case TY_PP_ObjCXX_Alias:
135 bool types::isCXX(ID Id) {
140 case TY_CXX: case TY_PP_CXX:
141 case TY_ObjCXX: case TY_PP_ObjCXX: case TY_PP_ObjCXX_Alias:
142 case TY_CXXHeader: case TY_PP_CXXHeader:
143 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader:
144 case TY_CXXModule: case TY_PP_CXXModule:
145 case TY_CUDA: case TY_PP_CUDA: case TY_CUDA_DEVICE:
153 bool types::isLLVMIR(ID Id) {
166 bool types::isCuda(ID Id) {
178 bool types::isHIP(ID Id) {
190 bool types::isSrcFile(ID Id) {
191 return Id != TY_Object && getPreprocessedType(Id) != TY_INVALID;
194 types::ID types::lookupTypeForExtension(llvm::StringRef Ext) {
195 return llvm::StringSwitch<types::ID>(Ext)
198 .Case("F", TY_Fortran)
199 .Case("f", TY_PP_Fortran)
200 .Case("h", TY_CHeader)
201 .Case("H", TY_CXXHeader)
204 .Case("M", TY_ObjCXX)
205 .Case("o", TY_Object)
207 .Case("s", TY_PP_Asm)
208 .Case("bc", TY_LLVM_BC)
214 .Case("hh", TY_CXXHeader)
215 .Case("ii", TY_PP_CXX)
216 .Case("ll", TY_LLVM_IR)
217 .Case("mi", TY_PP_ObjC)
218 .Case("mm", TY_ObjCXX)
219 .Case("rs", TY_RenderScript)
222 .Case("asm", TY_PP_Asm)
224 .Case("ccm", TY_CXXModule)
229 .Case("cui", TY_PP_CUDA)
232 .Case("F90", TY_Fortran)
233 .Case("f90", TY_PP_Fortran)
234 .Case("F95", TY_Fortran)
235 .Case("f95", TY_PP_Fortran)
236 .Case("for", TY_PP_Fortran)
237 .Case("FOR", TY_PP_Fortran)
238 .Case("fpp", TY_Fortran)
239 .Case("FPP", TY_Fortran)
242 .Case("hpp", TY_CXXHeader)
243 .Case("iim", TY_PP_CXXModule)
244 .Case("lib", TY_Object)
245 .Case("mii", TY_PP_ObjCXX)
246 .Case("obj", TY_Object)
248 .Case("pcm", TY_ModuleFile)
249 .Case("c++m", TY_CXXModule)
250 .Case("cppm", TY_CXXModule)
251 .Case("cxxm", TY_CXXModule)
252 .Default(TY_INVALID);
255 types::ID types::lookupTypeForTypeSpecifier(const char *Name) {
256 for (unsigned i=0; i<numTypes; ++i) {
257 types::ID Id = (types::ID) (i + 1);
258 if (canTypeBeUserSpecified(Id) &&
259 strcmp(Name, getInfo(Id).Name) == 0)
266 // FIXME: Why don't we just put this list in the defs file, eh.
267 void types::getCompilationPhases(ID Id, llvm::SmallVectorImpl<phases::ID> &P) {
268 if (Id != TY_Object) {
269 if (getPreprocessedType(Id) != TY_INVALID) {
270 P.push_back(phases::Preprocess);
273 if (getPrecompiledType(Id) != TY_INVALID) {
274 P.push_back(phases::Precompile);
277 if (!onlyPrecompileType(Id)) {
278 if (!onlyAssembleType(Id)) {
279 P.push_back(phases::Compile);
280 P.push_back(phases::Backend);
282 P.push_back(phases::Assemble);
286 if (!onlyPrecompileType(Id)) {
287 P.push_back(phases::Link);
289 assert(0 < P.size() && "Not enough phases in list");
290 assert(P.size() <= phases::MaxNumberOfPhases && "Too many phases in list");
293 ID types::lookupCXXTypeForCType(ID Id) {
299 return types::TY_CXX;
301 return types::TY_PP_CXX;
302 case types::TY_CHeader:
303 return types::TY_CXXHeader;
304 case types::TY_PP_CHeader:
305 return types::TY_PP_CXXHeader;
309 ID types::lookupHeaderTypeForSourceType(ID Id) {
314 // FIXME: Handle preprocessed input types.
316 return types::TY_CHeader;
318 case types::TY_CXXModule:
319 return types::TY_CXXHeader;
321 return types::TY_ObjCHeader;
322 case types::TY_ObjCXX:
323 return types::TY_ObjCXXHeader;
325 return types::TY_CLHeader;