1 //===--- 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 #include "llvm/ADT/STLExtras.h" 12 #include "llvm/ADT/StringSwitch.h" 13 #include <cassert> 14 #include <string.h> 15 16 using namespace clang::driver; 17 using namespace clang::driver::types; 18 19 struct TypeInfo { 20 const char *Name; 21 const char *Flags; 22 const char *TempSuffix; 23 ID PreprocessedType; 24 }; 25 26 static const TypeInfo TypeInfos[] = { 27 #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 }; 32 static const unsigned numTypes = llvm::array_lengthof(TypeInfos); 33 34 static const TypeInfo &getInfo(unsigned id) { 35 assert(id > 0 && id - 1 < numTypes && "Invalid Type ID."); 36 return TypeInfos[id - 1]; 37 } 38 39 const char *types::getTypeName(ID Id) { 40 return getInfo(Id).Name; 41 } 42 43 types::ID types::getPreprocessedType(ID Id) { 44 return getInfo(Id).PreprocessedType; 45 } 46 47 const char *types::getTypeTempSuffix(ID Id, bool CLMode) { 48 if (Id == TY_Object && CLMode) 49 return "obj"; 50 if (Id == TY_Image && CLMode) 51 return "exe"; 52 return getInfo(Id).TempSuffix; 53 } 54 55 bool types::onlyAssembleType(ID Id) { 56 return strchr(getInfo(Id).Flags, 'a'); 57 } 58 59 bool types::onlyPrecompileType(ID Id) { 60 return strchr(getInfo(Id).Flags, 'p'); 61 } 62 63 bool types::canTypeBeUserSpecified(ID Id) { 64 return strchr(getInfo(Id).Flags, 'u'); 65 } 66 67 bool types::appendSuffixForType(ID Id) { 68 return strchr(getInfo(Id).Flags, 'A'); 69 } 70 71 bool types::canLipoType(ID Id) { 72 return (Id == TY_Nothing || 73 Id == TY_Image || 74 Id == TY_Object || 75 Id == TY_LTO_BC); 76 } 77 78 bool types::isAcceptedByClang(ID Id) { 79 switch (Id) { 80 default: 81 return false; 82 83 case TY_Asm: 84 case TY_C: case TY_PP_C: 85 case TY_CL: 86 case TY_CUDA: 87 case TY_ObjC: case TY_PP_ObjC: case TY_PP_ObjC_Alias: 88 case TY_CXX: case TY_PP_CXX: 89 case TY_ObjCXX: case TY_PP_ObjCXX: case TY_PP_ObjCXX_Alias: 90 case TY_CHeader: case TY_PP_CHeader: 91 case TY_CLHeader: 92 case TY_ObjCHeader: case TY_PP_ObjCHeader: 93 case TY_CXXHeader: case TY_PP_CXXHeader: 94 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader: 95 case TY_AST: case TY_ModuleFile: 96 case TY_LLVM_IR: case TY_LLVM_BC: 97 return true; 98 } 99 } 100 101 bool types::isObjC(ID Id) { 102 switch (Id) { 103 default: 104 return false; 105 106 case TY_ObjC: case TY_PP_ObjC: case TY_PP_ObjC_Alias: 107 case TY_ObjCXX: case TY_PP_ObjCXX: 108 case TY_ObjCHeader: case TY_PP_ObjCHeader: 109 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader: case TY_PP_ObjCXX_Alias: 110 return true; 111 } 112 } 113 114 bool types::isCXX(ID Id) { 115 switch (Id) { 116 default: 117 return false; 118 119 case TY_CXX: case TY_PP_CXX: 120 case TY_ObjCXX: case TY_PP_ObjCXX: case TY_PP_ObjCXX_Alias: 121 case TY_CXXHeader: case TY_PP_CXXHeader: 122 case TY_ObjCXXHeader: case TY_PP_ObjCXXHeader: 123 case TY_CUDA: 124 return true; 125 } 126 } 127 128 types::ID types::lookupTypeForExtension(const char *Ext) { 129 return llvm::StringSwitch<types::ID>(Ext) 130 .Case("c", TY_C) 131 .Case("i", TY_PP_C) 132 .Case("m", TY_ObjC) 133 .Case("M", TY_ObjCXX) 134 .Case("h", TY_CHeader) 135 .Case("C", TY_CXX) 136 .Case("H", TY_CXXHeader) 137 .Case("f", TY_PP_Fortran) 138 .Case("F", TY_Fortran) 139 .Case("s", TY_PP_Asm) 140 .Case("S", TY_Asm) 141 .Case("o", TY_Object) 142 .Case("obj", TY_Object) 143 .Case("ii", TY_PP_CXX) 144 .Case("mi", TY_PP_ObjC) 145 .Case("mm", TY_ObjCXX) 146 .Case("bc", TY_LLVM_BC) 147 .Case("cc", TY_CXX) 148 .Case("CC", TY_CXX) 149 .Case("cl", TY_CL) 150 .Case("cp", TY_CXX) 151 .Case("cu", TY_CUDA) 152 .Case("hh", TY_CXXHeader) 153 .Case("ll", TY_LLVM_IR) 154 .Case("hpp", TY_CXXHeader) 155 .Case("ads", TY_Ada) 156 .Case("adb", TY_Ada) 157 .Case("ast", TY_AST) 158 .Case("c++", TY_CXX) 159 .Case("C++", TY_CXX) 160 .Case("cxx", TY_CXX) 161 .Case("cpp", TY_CXX) 162 .Case("CPP", TY_CXX) 163 .Case("CXX", TY_CXX) 164 .Case("for", TY_PP_Fortran) 165 .Case("FOR", TY_PP_Fortran) 166 .Case("fpp", TY_Fortran) 167 .Case("FPP", TY_Fortran) 168 .Case("f90", TY_PP_Fortran) 169 .Case("f95", TY_PP_Fortran) 170 .Case("F90", TY_Fortran) 171 .Case("F95", TY_Fortran) 172 .Case("mii", TY_PP_ObjCXX) 173 .Case("pcm", TY_ModuleFile) 174 .Default(TY_INVALID); 175 } 176 177 types::ID types::lookupTypeForTypeSpecifier(const char *Name) { 178 for (unsigned i=0; i<numTypes; ++i) { 179 types::ID Id = (types::ID) (i + 1); 180 if (canTypeBeUserSpecified(Id) && 181 strcmp(Name, getInfo(Id).Name) == 0) 182 return Id; 183 } 184 185 return TY_INVALID; 186 } 187 188 // FIXME: Why don't we just put this list in the defs file, eh. 189 void types::getCompilationPhases(ID Id, llvm::SmallVectorImpl<phases::ID> &P) { 190 if (Id != TY_Object) { 191 if (getPreprocessedType(Id) != TY_INVALID) { 192 P.push_back(phases::Preprocess); 193 } 194 195 if (onlyPrecompileType(Id)) { 196 P.push_back(phases::Precompile); 197 } else { 198 if (!onlyAssembleType(Id)) { 199 P.push_back(phases::Compile); 200 } 201 P.push_back(phases::Assemble); 202 } 203 } 204 if (!onlyPrecompileType(Id)) { 205 P.push_back(phases::Link); 206 } 207 assert(0 < P.size() && "Not enough phases in list"); 208 assert(P.size() <= phases::MaxNumberOfPhases && "Too many phases in list"); 209 return; 210 } 211 212 ID types::lookupCXXTypeForCType(ID Id) { 213 switch (Id) { 214 default: 215 return Id; 216 217 case types::TY_C: 218 return types::TY_CXX; 219 case types::TY_PP_C: 220 return types::TY_PP_CXX; 221 case types::TY_CHeader: 222 return types::TY_CXXHeader; 223 case types::TY_PP_CHeader: 224 return types::TY_PP_CXXHeader; 225 } 226 } 227