1 //===--- CodeGenModule.cpp - Emit LLVM Code from ASTs for a Module --------===// 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 // This coordinates the per-module state used while generating code. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "CGDebugInfo.h" 15 #include "CodeGenModule.h" 16 #include "CodeGenFunction.h" 17 #include "clang/AST/ASTContext.h" 18 #include "clang/AST/Decl.h" 19 #include "clang/Basic/Diagnostic.h" 20 #include "clang/Basic/LangOptions.h" 21 #include "clang/Basic/SourceManager.h" 22 #include "clang/Basic/TargetInfo.h" 23 #include "llvm/CallingConv.h" 24 #include "llvm/Constants.h" 25 #include "llvm/DerivedTypes.h" 26 #include "llvm/Module.h" 27 #include "llvm/Intrinsics.h" 28 #include "llvm/Target/TargetData.h" 29 #include "llvm/Analysis/Verifier.h" 30 #include <algorithm> 31 using namespace clang; 32 using namespace CodeGen; 33 34 35 CodeGenModule::CodeGenModule(ASTContext &C, const LangOptions &LO, 36 llvm::Module &M, const llvm::TargetData &TD, 37 Diagnostic &diags, bool GenerateDebugInfo) 38 : Context(C), Features(LO), TheModule(M), TheTargetData(TD), Diags(diags), 39 Types(C, M, TD), MemCpyFn(0), MemMoveFn(0), MemSetFn(0), 40 CFConstantStringClassRef(0) { 41 //TODO: Make this selectable at runtime 42 Runtime = CreateObjCRuntime(*this); 43 44 // If debug info generation is enabled, create the CGDebugInfo object. 45 if (GenerateDebugInfo) 46 DebugInfo = new CGDebugInfo(this); 47 else 48 DebugInfo = NULL; 49 } 50 51 CodeGenModule::~CodeGenModule() { 52 EmitStatics(); 53 llvm::Function *ObjCInitFunction = Runtime->ModuleInitFunction(); 54 if (ObjCInitFunction) 55 AddGlobalCtor(ObjCInitFunction); 56 EmitCtorList(GlobalCtors, "llvm.global_ctors"); 57 EmitCtorList(GlobalDtors, "llvm.global_dtors"); 58 EmitAnnotations(); 59 delete Runtime; 60 delete DebugInfo; 61 // Run the verifier to check that the generated code is consistent. 62 assert(!verifyModule(TheModule)); 63 } 64 65 /// WarnUnsupported - Print out a warning that codegen doesn't support the 66 /// specified stmt yet. 67 void CodeGenModule::WarnUnsupported(const Stmt *S, const char *Type) { 68 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Warning, 69 "cannot codegen this %0 yet"); 70 SourceRange Range = S->getSourceRange(); 71 std::string Msg = Type; 72 getDiags().Report(Context.getFullLoc(S->getLocStart()), DiagID, 73 &Msg, 1, &Range, 1); 74 } 75 76 /// WarnUnsupported - Print out a warning that codegen doesn't support the 77 /// specified decl yet. 78 void CodeGenModule::WarnUnsupported(const Decl *D, const char *Type) { 79 unsigned DiagID = getDiags().getCustomDiagID(Diagnostic::Warning, 80 "cannot codegen this %0 yet"); 81 std::string Msg = Type; 82 getDiags().Report(Context.getFullLoc(D->getLocation()), DiagID, 83 &Msg, 1); 84 } 85 86 /// setVisibility - Set the visibility for the given LLVM GlobalValue 87 /// according to the given clang AST visibility value. 88 void CodeGenModule::setVisibility(llvm::GlobalValue *GV, 89 VisibilityAttr::VisibilityTypes Vis) { 90 switch (Vis) { 91 default: assert(0 && "Unknown visibility!"); 92 case VisibilityAttr::DefaultVisibility: 93 GV->setVisibility(llvm::GlobalValue::DefaultVisibility); 94 break; 95 case VisibilityAttr::HiddenVisibility: 96 GV->setVisibility(llvm::GlobalValue::HiddenVisibility); 97 break; 98 case VisibilityAttr::ProtectedVisibility: 99 GV->setVisibility(llvm::GlobalValue::ProtectedVisibility); 100 break; 101 } 102 } 103 104 /// AddGlobalCtor - Add a function to the list that will be called before 105 /// main() runs. 106 void CodeGenModule::AddGlobalCtor(llvm::Function * Ctor, int Priority) { 107 // TODO: Type coercion of void()* types. 108 GlobalCtors.push_back(std::make_pair(Ctor, Priority)); 109 } 110 111 /// AddGlobalDtor - Add a function to the list that will be called 112 /// when the module is unloaded. 113 void CodeGenModule::AddGlobalDtor(llvm::Function * Dtor, int Priority) { 114 // TODO: Type coercion of void()* types. 115 GlobalDtors.push_back(std::make_pair(Dtor, Priority)); 116 } 117 118 void CodeGenModule::EmitCtorList(const CtorList &Fns, const char *GlobalName) { 119 // Ctor function type is void()*. 120 llvm::FunctionType* CtorFTy = 121 llvm::FunctionType::get(llvm::Type::VoidTy, 122 std::vector<const llvm::Type*>(), 123 false); 124 llvm::Type *CtorPFTy = llvm::PointerType::getUnqual(CtorFTy); 125 126 // Get the type of a ctor entry, { i32, void ()* }. 127 llvm::StructType* CtorStructTy = 128 llvm::StructType::get(llvm::Type::Int32Ty, 129 llvm::PointerType::getUnqual(CtorFTy), NULL); 130 131 // Construct the constructor and destructor arrays. 132 std::vector<llvm::Constant*> Ctors; 133 for (CtorList::const_iterator I = Fns.begin(), E = Fns.end(); I != E; ++I) { 134 std::vector<llvm::Constant*> S; 135 S.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, I->second, false)); 136 S.push_back(llvm::ConstantExpr::getBitCast(I->first, CtorPFTy)); 137 Ctors.push_back(llvm::ConstantStruct::get(CtorStructTy, S)); 138 } 139 140 if (!Ctors.empty()) { 141 llvm::ArrayType *AT = llvm::ArrayType::get(CtorStructTy, Ctors.size()); 142 new llvm::GlobalVariable(AT, false, 143 llvm::GlobalValue::AppendingLinkage, 144 llvm::ConstantArray::get(AT, Ctors), 145 GlobalName, 146 &TheModule); 147 } 148 } 149 150 void CodeGenModule::EmitAnnotations() { 151 if (Annotations.empty()) 152 return; 153 154 // Create a new global variable for the ConstantStruct in the Module. 155 llvm::Constant *Array = 156 llvm::ConstantArray::get(llvm::ArrayType::get(Annotations[0]->getType(), 157 Annotations.size()), 158 Annotations); 159 llvm::GlobalValue *gv = 160 new llvm::GlobalVariable(Array->getType(), false, 161 llvm::GlobalValue::AppendingLinkage, Array, 162 "llvm.global.annotations", &TheModule); 163 gv->setSection("llvm.metadata"); 164 } 165 166 bool hasAggregateLLVMType(QualType T) { 167 return !T->isRealType() && !T->isPointerLikeType() && 168 !T->isVoidType() && !T->isVectorType() && !T->isFunctionType(); 169 } 170 171 void CodeGenModule::SetGlobalValueAttributes(const FunctionDecl *FD, 172 llvm::GlobalValue *GV) { 173 // TODO: Set up linkage and many other things. Note, this is a simple 174 // approximation of what we really want. 175 if (FD->getStorageClass() == FunctionDecl::Static) 176 GV->setLinkage(llvm::Function::InternalLinkage); 177 else if (FD->getAttr<DLLImportAttr>()) 178 GV->setLinkage(llvm::Function::DLLImportLinkage); 179 else if (FD->getAttr<DLLExportAttr>()) 180 GV->setLinkage(llvm::Function::DLLExportLinkage); 181 else if (FD->getAttr<WeakAttr>() || FD->isInline()) 182 GV->setLinkage(llvm::Function::WeakLinkage); 183 184 if (const VisibilityAttr *attr = FD->getAttr<VisibilityAttr>()) 185 CodeGenModule::setVisibility(GV, attr->getVisibility()); 186 // FIXME: else handle -fvisibility 187 } 188 189 void CodeGenModule::SetFunctionAttributes(const FunctionDecl *FD, 190 llvm::Function *F, 191 const llvm::FunctionType *FTy) { 192 unsigned FuncAttrs = 0; 193 if (FD->getAttr<NoThrowAttr>()) 194 FuncAttrs |= llvm::ParamAttr::NoUnwind; 195 if (FD->getAttr<NoReturnAttr>()) 196 FuncAttrs |= llvm::ParamAttr::NoReturn; 197 198 llvm::SmallVector<llvm::ParamAttrsWithIndex, 8> ParamAttrList; 199 if (FuncAttrs) 200 ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(0, FuncAttrs)); 201 // Note that there is parallel code in CodeGenFunction::EmitCallExpr 202 bool AggregateReturn = hasAggregateLLVMType(FD->getResultType()); 203 if (AggregateReturn) 204 ParamAttrList.push_back( 205 llvm::ParamAttrsWithIndex::get(1, llvm::ParamAttr::StructRet)); 206 unsigned increment = AggregateReturn ? 2 : 1; 207 const FunctionTypeProto* FTP = dyn_cast<FunctionTypeProto>(FD->getType()); 208 if (FTP) { 209 for (unsigned i = 0; i < FTP->getNumArgs(); i++) { 210 QualType ParamType = FTP->getArgType(i); 211 unsigned ParamAttrs = 0; 212 if (ParamType->isRecordType()) 213 ParamAttrs |= llvm::ParamAttr::ByVal; 214 if (ParamType->isSignedIntegerType() && 215 ParamType->isPromotableIntegerType()) 216 ParamAttrs |= llvm::ParamAttr::SExt; 217 if (ParamType->isUnsignedIntegerType() && 218 ParamType->isPromotableIntegerType()) 219 ParamAttrs |= llvm::ParamAttr::ZExt; 220 if (ParamAttrs) 221 ParamAttrList.push_back(llvm::ParamAttrsWithIndex::get(i + increment, 222 ParamAttrs)); 223 } 224 } 225 226 F->setParamAttrs(llvm::PAListPtr::get(ParamAttrList.begin(), 227 ParamAttrList.size())); 228 229 // Set the appropriate calling convention for the Function. 230 if (FD->getAttr<FastCallAttr>()) 231 F->setCallingConv(llvm::CallingConv::Fast); 232 233 SetGlobalValueAttributes(FD, F); 234 } 235 236 void CodeGenModule::EmitObjCMethod(const ObjCMethodDecl *OMD) { 237 // If this is not a prototype, emit the body. 238 if (OMD->getBody()) 239 CodeGenFunction(*this).GenerateObjCMethod(OMD); 240 } 241 void CodeGenModule::EmitObjCProtocolImplementation(const ObjCProtocolDecl *PD){ 242 llvm::SmallVector<std::string, 16> Protocols; 243 for (ObjCProtocolDecl::protocol_iterator PI = PD->protocol_begin(), 244 E = PD->protocol_end(); PI != E; ++PI) 245 Protocols.push_back((*PI)->getName()); 246 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodNames; 247 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 248 for (ObjCProtocolDecl::instmeth_iterator iter = PD->instmeth_begin(), 249 E = PD->instmeth_end(); iter != E; iter++) { 250 std::string TypeStr; 251 Context.getObjCEncodingForMethodDecl(*iter, TypeStr); 252 InstanceMethodNames.push_back( 253 GetAddrOfConstantString((*iter)->getSelector().getName())); 254 InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 255 } 256 // Collect information about class methods: 257 llvm::SmallVector<llvm::Constant*, 16> ClassMethodNames; 258 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 259 for (ObjCProtocolDecl::classmeth_iterator iter = PD->classmeth_begin(), 260 endIter = PD->classmeth_end() ; iter != endIter ; iter++) { 261 std::string TypeStr; 262 Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 263 ClassMethodNames.push_back( 264 GetAddrOfConstantString((*iter)->getSelector().getName())); 265 ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 266 } 267 Runtime->GenerateProtocol(PD->getName(), Protocols, InstanceMethodNames, 268 InstanceMethodTypes, ClassMethodNames, ClassMethodTypes); 269 } 270 271 void CodeGenModule::EmitObjCCategoryImpl(const ObjCCategoryImplDecl *OCD) { 272 273 // Collect information about instance methods 274 llvm::SmallVector<Selector, 16> InstanceMethodSels; 275 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 276 for (ObjCCategoryDecl::instmeth_iterator iter = OCD->instmeth_begin(), 277 endIter = OCD->instmeth_end() ; iter != endIter ; iter++) { 278 InstanceMethodSels.push_back((*iter)->getSelector()); 279 std::string TypeStr; 280 Context.getObjCEncodingForMethodDecl(*iter,TypeStr); 281 InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 282 } 283 284 // Collect information about class methods 285 llvm::SmallVector<Selector, 16> ClassMethodSels; 286 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 287 for (ObjCCategoryDecl::classmeth_iterator iter = OCD->classmeth_begin(), 288 endIter = OCD->classmeth_end() ; iter != endIter ; iter++) { 289 ClassMethodSels.push_back((*iter)->getSelector()); 290 std::string TypeStr; 291 Context.getObjCEncodingForMethodDecl(*iter,TypeStr); 292 ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 293 } 294 295 // Collect the names of referenced protocols 296 llvm::SmallVector<std::string, 16> Protocols; 297 const ObjCInterfaceDecl *ClassDecl = OCD->getClassInterface(); 298 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 299 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 300 E = Protos.end(); I != E; ++I) 301 Protocols.push_back((*I)->getName()); 302 303 // Generate the category 304 Runtime->GenerateCategory(OCD->getClassInterface()->getName(), 305 OCD->getName(), InstanceMethodSels, InstanceMethodTypes, 306 ClassMethodSels, ClassMethodTypes, Protocols); 307 } 308 309 void CodeGenModule::EmitObjCClassImplementation( 310 const ObjCImplementationDecl *OID) { 311 // Get the superclass name. 312 const ObjCInterfaceDecl * SCDecl = OID->getClassInterface()->getSuperClass(); 313 const char * SCName = NULL; 314 if (SCDecl) { 315 SCName = SCDecl->getName(); 316 } 317 318 // Get the class name 319 ObjCInterfaceDecl * ClassDecl = (ObjCInterfaceDecl*)OID->getClassInterface(); 320 const char * ClassName = ClassDecl->getName(); 321 322 // Get the size of instances. For runtimes that support late-bound instances 323 // this should probably be something different (size just of instance 324 // varaibles in this class, not superclasses?). 325 int instanceSize = 0; 326 const llvm::Type *ObjTy; 327 if (!Runtime->LateBoundIVars()) { 328 ObjTy = getTypes().ConvertType(Context.getObjCInterfaceType(ClassDecl)); 329 instanceSize = TheTargetData.getABITypeSize(ObjTy); 330 } 331 332 // Collect information about instance variables. 333 llvm::SmallVector<llvm::Constant*, 16> IvarNames; 334 llvm::SmallVector<llvm::Constant*, 16> IvarTypes; 335 llvm::SmallVector<llvm::Constant*, 16> IvarOffsets; 336 const llvm::StructLayout *Layout = 337 TheTargetData.getStructLayout(cast<llvm::StructType>(ObjTy)); 338 ObjTy = llvm::PointerType::getUnqual(ObjTy); 339 for (ObjCInterfaceDecl::ivar_iterator iter = ClassDecl->ivar_begin(), 340 endIter = ClassDecl->ivar_end() ; iter != endIter ; iter++) { 341 // Store the name 342 IvarNames.push_back(GetAddrOfConstantString((*iter)->getName())); 343 // Get the type encoding for this ivar 344 std::string TypeStr; 345 llvm::SmallVector<const RecordType *, 8> EncodingRecordTypes; 346 Context.getObjCEncodingForType((*iter)->getType(), TypeStr, 347 EncodingRecordTypes); 348 IvarTypes.push_back(GetAddrOfConstantString(TypeStr)); 349 // Get the offset 350 int offset = 351 (int)Layout->getElementOffset(getTypes().getLLVMFieldNo(*iter)); 352 IvarOffsets.push_back( 353 llvm::ConstantInt::get(llvm::Type::Int32Ty, offset)); 354 } 355 356 // Collect information about instance methods 357 llvm::SmallVector<Selector, 16> InstanceMethodSels; 358 llvm::SmallVector<llvm::Constant*, 16> InstanceMethodTypes; 359 for (ObjCImplementationDecl::instmeth_iterator iter = OID->instmeth_begin(), 360 endIter = OID->instmeth_end() ; iter != endIter ; iter++) { 361 InstanceMethodSels.push_back((*iter)->getSelector()); 362 std::string TypeStr; 363 Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 364 InstanceMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 365 } 366 367 // Collect information about class methods 368 llvm::SmallVector<Selector, 16> ClassMethodSels; 369 llvm::SmallVector<llvm::Constant*, 16> ClassMethodTypes; 370 for (ObjCImplementationDecl::classmeth_iterator iter = OID->classmeth_begin(), 371 endIter = OID->classmeth_end() ; iter != endIter ; iter++) { 372 ClassMethodSels.push_back((*iter)->getSelector()); 373 std::string TypeStr; 374 Context.getObjCEncodingForMethodDecl((*iter),TypeStr); 375 ClassMethodTypes.push_back(GetAddrOfConstantString(TypeStr)); 376 } 377 // Collect the names of referenced protocols 378 llvm::SmallVector<std::string, 16> Protocols; 379 const ObjCList<ObjCProtocolDecl> &Protos =ClassDecl->getReferencedProtocols(); 380 for (ObjCList<ObjCProtocolDecl>::iterator I = Protos.begin(), 381 E = Protos.end(); I != E; ++I) 382 Protocols.push_back((*I)->getName()); 383 384 // Generate the category 385 Runtime->GenerateClass(ClassName, SCName, instanceSize, IvarNames, IvarTypes, 386 IvarOffsets, InstanceMethodSels, InstanceMethodTypes, 387 ClassMethodSels, ClassMethodTypes, Protocols); 388 } 389 390 void CodeGenModule::EmitStatics() { 391 // Emit code for each used static decl encountered. Since a previously unused 392 // static decl may become used during the generation of code for a static 393 // function, iterate until no changes are made. 394 bool Changed; 395 do { 396 Changed = false; 397 for (unsigned i = 0, e = StaticDecls.size(); i != e; ++i) { 398 const ValueDecl *D = StaticDecls[i]; 399 400 // Check if we have used a decl with the same name 401 // FIXME: The AST should have some sort of aggregate decls or 402 // global symbol map. 403 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { 404 if (!getModule().getFunction(FD->getName())) 405 continue; 406 } else { 407 if (!getModule().getNamedGlobal(cast<VarDecl>(D)->getName())) 408 continue; 409 } 410 411 // Emit the definition. 412 EmitGlobalDefinition(D); 413 414 // Erase the used decl from the list. 415 StaticDecls[i] = StaticDecls.back(); 416 StaticDecls.pop_back(); 417 --i; 418 --e; 419 420 // Remember that we made a change. 421 Changed = true; 422 } 423 } while (Changed); 424 } 425 426 /// EmitAnnotateAttr - Generate the llvm::ConstantStruct which contains the 427 /// annotation information for a given GlobalValue. The annotation struct is 428 /// {i8 *, i8 *, i8 *, i32}. The first field is a constant expression, the 429 /// GlobalValue being annotated. The second filed is thee constant string 430 /// created from the AnnotateAttr's annotation. The third field is a constant 431 /// string containing the name of the translation unit. The fourth field is 432 /// the line number in the file of the annotated value declaration. 433 /// 434 /// FIXME: this does not unique the annotation string constants, as llvm-gcc 435 /// appears to. 436 /// 437 llvm::Constant *CodeGenModule::EmitAnnotateAttr(llvm::GlobalValue *GV, 438 const AnnotateAttr *AA, 439 unsigned LineNo) { 440 llvm::Module *M = &getModule(); 441 442 // get [N x i8] constants for the annotation string, and the filename string 443 // which are the 2nd and 3rd elements of the global annotation structure. 444 const llvm::Type *SBP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 445 llvm::Constant *anno = llvm::ConstantArray::get(AA->getAnnotation(), true); 446 llvm::Constant *unit = llvm::ConstantArray::get(M->getModuleIdentifier(), 447 true); 448 449 // Get the two global values corresponding to the ConstantArrays we just 450 // created to hold the bytes of the strings. 451 llvm::GlobalValue *annoGV = 452 new llvm::GlobalVariable(anno->getType(), false, 453 llvm::GlobalValue::InternalLinkage, anno, 454 GV->getName() + ".str", M); 455 // translation unit name string, emitted into the llvm.metadata section. 456 llvm::GlobalValue *unitGV = 457 new llvm::GlobalVariable(unit->getType(), false, 458 llvm::GlobalValue::InternalLinkage, unit, ".str", M); 459 460 // Create the ConstantStruct that is the global annotion. 461 llvm::Constant *Fields[4] = { 462 llvm::ConstantExpr::getBitCast(GV, SBP), 463 llvm::ConstantExpr::getBitCast(annoGV, SBP), 464 llvm::ConstantExpr::getBitCast(unitGV, SBP), 465 llvm::ConstantInt::get(llvm::Type::Int32Ty, LineNo) 466 }; 467 return llvm::ConstantStruct::get(Fields, 4, false); 468 } 469 470 /// ReplaceMapValuesWith - This is a really slow and bad function that 471 /// searches for any entries in GlobalDeclMap that point to OldVal, changing 472 /// them to point to NewVal. This is badbadbad, FIXME! 473 void CodeGenModule::ReplaceMapValuesWith(llvm::GlobalValue *OldVal, 474 llvm::GlobalValue *NewVal) { 475 for (llvm::DenseMap<const Decl*, llvm::GlobalValue*>::iterator 476 I = GlobalDeclMap.begin(), E = GlobalDeclMap.end(); I != E; ++I) 477 if (I->second == OldVal) I->second = NewVal; 478 } 479 480 void CodeGenModule::EmitGlobal(const ValueDecl *Global) { 481 bool isDef, isStatic; 482 483 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Global)) { 484 isDef = (FD->isThisDeclarationADefinition() || 485 FD->getAttr<AliasAttr>()); 486 isStatic = FD->getStorageClass() == FunctionDecl::Static; 487 } else if (const VarDecl *VD = cast<VarDecl>(Global)) { 488 assert(VD->isFileVarDecl() && "Cannot emit local var decl as global."); 489 490 isDef = !(VD->getStorageClass() == VarDecl::Extern && VD->getInit() == 0); 491 isStatic = VD->getStorageClass() == VarDecl::Static; 492 } else { 493 assert(0 && "Invalid argument to EmitGlobal"); 494 return; 495 } 496 497 // Forward declarations are emitted lazily on first use. 498 if (!isDef) 499 return; 500 501 // If the global is a static, defer code generation until later so 502 // we can easily omit unused statics. 503 if (isStatic) { 504 StaticDecls.push_back(Global); 505 return; 506 } 507 508 // Otherwise emit the definition. 509 EmitGlobalDefinition(Global); 510 } 511 512 void CodeGenModule::EmitGlobalDefinition(const ValueDecl *D) { 513 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { 514 EmitGlobalFunctionDefinition(FD); 515 } else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) { 516 EmitGlobalVarDefinition(VD); 517 } else { 518 assert(0 && "Invalid argument to EmitGlobalDefinition()"); 519 } 520 } 521 522 llvm::Constant *CodeGenModule::GetAddrOfGlobalVar(const VarDecl *D) { 523 assert(D->hasGlobalStorage() && "Not a global variable"); 524 525 QualType ASTTy = D->getType(); 526 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy); 527 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace()); 528 529 // See if it is already in the map. 530 llvm::GlobalValue *&Entry = GlobalDeclMap[D]; 531 532 // If not look for an existing global (if this decl shadows another 533 // one) or lazily create a forward declaration. 534 if (!Entry) { 535 // Check to see if the global already exists. 536 llvm::GlobalVariable *GV = getModule().getGlobalVariable(D->getName(), true); 537 538 // Create it if not. 539 if (!GV) 540 GV = new llvm::GlobalVariable(Ty, false, 541 llvm::GlobalValue::ExternalLinkage, 542 0, D->getName(), &getModule(), 0, 543 ASTTy.getAddressSpace()); 544 545 // Cache the entry. 546 Entry = GV; 547 } 548 549 // Make sure the result is of the correct type. 550 return llvm::ConstantExpr::getBitCast(Entry, PTy); 551 } 552 553 void CodeGenModule::EmitGlobalVarDefinition(const VarDecl *D) { 554 llvm::Constant *Init = 0; 555 QualType ASTTy = D->getType(); 556 const llvm::Type *VarTy = getTypes().ConvertTypeForMem(ASTTy); 557 558 if (D->getInit() == 0) { 559 // This is a tentative definition; tentative definitions are 560 // implicitly initialized with { 0 } 561 const llvm::Type* InitTy; 562 if (ASTTy->isIncompleteArrayType()) { 563 // An incomplete array is normally [ TYPE x 0 ], but we need 564 // to fix it to [ TYPE x 1 ]. 565 const llvm::ArrayType* ATy = cast<llvm::ArrayType>(VarTy); 566 InitTy = llvm::ArrayType::get(ATy->getElementType(), 1); 567 } else { 568 InitTy = VarTy; 569 } 570 Init = llvm::Constant::getNullValue(InitTy); 571 } else { 572 Init = EmitConstantExpr(D->getInit()); 573 } 574 const llvm::Type* InitType = Init->getType(); 575 576 llvm::GlobalVariable *GV = getModule().getGlobalVariable(D->getName(), true); 577 578 if (!GV) { 579 GV = new llvm::GlobalVariable(InitType, false, 580 llvm::GlobalValue::ExternalLinkage, 581 0, D->getName(), &getModule(), 0, 582 ASTTy.getAddressSpace()); 583 } else if (GV->getType()->getElementType() != InitType || 584 GV->getType()->getAddressSpace() != ASTTy.getAddressSpace()) { 585 // We have a definition after a prototype with the wrong type. 586 // We must make a new GlobalVariable* and update everything that used OldGV 587 // (a declaration or tentative definition) with the new GlobalVariable* 588 // (which will be a definition). 589 // 590 // This happens if there is a prototype for a global (e.g. "extern int x[];") 591 // and then a definition of a different type (e.g. "int x[10];"). This also 592 // happens when an initializer has a different type from the type of the 593 // global (this happens with unions). 594 // 595 // FIXME: This also ends up happening if there's a definition followed by 596 // a tentative definition! (Although Sema rejects that construct 597 // at the moment.) 598 599 // Save the old global 600 llvm::GlobalVariable *OldGV = GV; 601 602 // Make a new global with the correct type 603 GV = new llvm::GlobalVariable(InitType, false, 604 llvm::GlobalValue::ExternalLinkage, 605 0, D->getName(), &getModule(), 0, 606 ASTTy.getAddressSpace()); 607 // Steal the name of the old global 608 GV->takeName(OldGV); 609 610 // Replace all uses of the old global with the new global 611 llvm::Constant *NewPtrForOldDecl = 612 llvm::ConstantExpr::getBitCast(GV, OldGV->getType()); 613 OldGV->replaceAllUsesWith(NewPtrForOldDecl); 614 // Make sure we don't keep around any stale references to globals 615 // FIXME: This is really slow; we need a better way to walk all 616 // the decls with the same name 617 ReplaceMapValuesWith(OldGV, GV); 618 619 // Erase the old global, since it is no longer used. 620 OldGV->eraseFromParent(); 621 } 622 623 GlobalDeclMap[D] = GV; 624 625 if (const AnnotateAttr *AA = D->getAttr<AnnotateAttr>()) { 626 SourceManager &SM = Context.getSourceManager(); 627 AddAnnotation(EmitAnnotateAttr(GV, AA, 628 SM.getLogicalLineNumber(D->getLocation()))); 629 } 630 631 GV->setInitializer(Init); 632 633 // FIXME: This is silly; getTypeAlign should just work for incomplete arrays 634 unsigned Align; 635 if (const IncompleteArrayType* IAT = 636 Context.getAsIncompleteArrayType(D->getType())) 637 Align = Context.getTypeAlign(IAT->getElementType()); 638 else 639 Align = Context.getTypeAlign(D->getType()); 640 if (const AlignedAttr* AA = D->getAttr<AlignedAttr>()) { 641 Align = std::max(Align, AA->getAlignment()); 642 } 643 GV->setAlignment(Align / 8); 644 645 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>()) 646 setVisibility(GV, attr->getVisibility()); 647 // FIXME: else handle -fvisibility 648 649 // Set the llvm linkage type as appropriate. 650 if (D->getStorageClass() == VarDecl::Static) 651 GV->setLinkage(llvm::Function::InternalLinkage); 652 else if (D->getAttr<DLLImportAttr>()) 653 GV->setLinkage(llvm::Function::DLLImportLinkage); 654 else if (D->getAttr<DLLExportAttr>()) 655 GV->setLinkage(llvm::Function::DLLExportLinkage); 656 else if (D->getAttr<WeakAttr>()) 657 GV->setLinkage(llvm::GlobalVariable::WeakLinkage); 658 else { 659 // FIXME: This isn't right. This should handle common linkage and other 660 // stuff. 661 switch (D->getStorageClass()) { 662 case VarDecl::Static: assert(0 && "This case handled above"); 663 case VarDecl::Auto: 664 case VarDecl::Register: 665 assert(0 && "Can't have auto or register globals"); 666 case VarDecl::None: 667 if (!D->getInit()) 668 GV->setLinkage(llvm::GlobalVariable::CommonLinkage); 669 break; 670 case VarDecl::Extern: 671 case VarDecl::PrivateExtern: 672 // todo: common 673 break; 674 } 675 } 676 677 // Emit global variable debug information. 678 CGDebugInfo *DI = getDebugInfo(); 679 if(DI) { 680 if(D->getLocation().isValid()) 681 DI->setLocation(D->getLocation()); 682 DI->EmitGlobalVariable(GV, D); 683 } 684 } 685 686 llvm::GlobalValue * 687 CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D) { 688 // FIXME: param attributes for sext/zext etc. 689 if (const AliasAttr *AA = D->getAttr<AliasAttr>()) { 690 assert(!D->getBody() && "Unexpected alias attr on function with body."); 691 692 const std::string& aliaseeName = AA->getAliasee(); 693 llvm::Function *aliasee = getModule().getFunction(aliaseeName); 694 llvm::GlobalValue *alias = new llvm::GlobalAlias(aliasee->getType(), 695 llvm::Function::ExternalLinkage, 696 D->getName(), 697 aliasee, 698 &getModule()); 699 SetGlobalValueAttributes(D, alias); 700 return alias; 701 } else { 702 const llvm::Type *Ty = getTypes().ConvertType(D->getType()); 703 const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty); 704 llvm::Function *F = llvm::Function::Create(FTy, 705 llvm::Function::ExternalLinkage, 706 D->getName(), &getModule()); 707 708 SetFunctionAttributes(D, F, FTy); 709 return F; 710 } 711 } 712 713 llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) { 714 QualType ASTTy = D->getType(); 715 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy); 716 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace()); 717 718 // See if it is already in the map. 719 llvm::GlobalValue *&Entry = GlobalDeclMap[D]; 720 721 // If not look for an existing global (if this decl shadows another 722 // one) or lazily create a forward declaration. 723 if (!Entry) { 724 // Check to see if the global already exists. 725 llvm::GlobalValue *GV = getModule().getFunction(D->getName()); 726 727 // Create it if not. 728 if (!GV) 729 GV = EmitForwardFunctionDefinition(D); 730 731 // Cache the entry. 732 Entry = GV; 733 } 734 735 return llvm::ConstantExpr::getBitCast(Entry, PTy); 736 } 737 738 void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) { 739 llvm::GlobalValue *&Entry = GlobalDeclMap[D]; 740 741 const llvm::Type *Ty = getTypes().ConvertType(D->getType()); 742 const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty); 743 744 // Check to see if the function already exists. 745 llvm::Function *F = getModule().getFunction(D->getName()); 746 747 // If it doesn't already exist, just create and return an entry. 748 if (F == 0) { 749 Entry = EmitForwardFunctionDefinition(D); 750 } else { 751 // If the pointer type matches, just return it. 752 llvm::Type *PFTy = llvm::PointerType::getUnqual(Ty); 753 if (PFTy == F->getType()) { 754 Entry = F; 755 } else { 756 // Otherwise, we have a definition after a prototype with the wrong type. 757 // F is the Function* for the one with the wrong type, we must make a new 758 // Function* and update everything that used F (a declaration) with the new 759 // Function* (which will be a definition). 760 // 761 // This happens if there is a prototype for a function (e.g. "int f()") and 762 // then a definition of a different type (e.g. "int f(int x)"). Start by 763 // making a new function of the correct type, RAUW, then steal the name. 764 llvm::Function *NewFn = llvm::Function::Create(FTy, 765 llvm::Function::ExternalLinkage, 766 "", &getModule()); 767 NewFn->takeName(F); 768 769 // Replace uses of F with the Function we will endow with a body. 770 llvm::Constant *NewPtrForOldDecl = 771 llvm::ConstantExpr::getBitCast(NewFn, F->getType()); 772 F->replaceAllUsesWith(NewPtrForOldDecl); 773 774 // FIXME: Update the globaldeclmap for the previous decl of this name. We 775 // really want a way to walk all of these, but we don't have it yet. This 776 // is incredibly slow! 777 ReplaceMapValuesWith(F, NewFn); 778 779 // Ok, delete the old function now, which is dead. 780 assert(F->isDeclaration() && "Shouldn't replace non-declaration"); 781 F->eraseFromParent(); 782 783 SetFunctionAttributes(D, NewFn, FTy); 784 // Return the new function which has the right type. 785 Entry = NewFn; 786 } 787 } 788 789 if (D->getAttr<AliasAttr>()) { 790 ; 791 } else { 792 llvm::Function *Fn = cast<llvm::Function>(Entry); 793 CodeGenFunction(*this).GenerateCode(D, Fn); 794 795 if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) { 796 AddGlobalCtor(Fn, CA->getPriority()); 797 } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) { 798 AddGlobalDtor(Fn, DA->getPriority()); 799 } 800 } 801 } 802 803 void CodeGenModule::UpdateCompletedType(const TagDecl *TD) { 804 // Make sure that this type is translated. 805 Types.UpdateCompletedType(TD); 806 } 807 808 809 /// getBuiltinLibFunction 810 llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) { 811 if (BuiltinID > BuiltinFunctions.size()) 812 BuiltinFunctions.resize(BuiltinID); 813 814 // Cache looked up functions. Since builtin id #0 is invalid we don't reserve 815 // a slot for it. 816 assert(BuiltinID && "Invalid Builtin ID"); 817 llvm::Function *&FunctionSlot = BuiltinFunctions[BuiltinID-1]; 818 if (FunctionSlot) 819 return FunctionSlot; 820 821 assert(Context.BuiltinInfo.isLibFunction(BuiltinID) && "isn't a lib fn"); 822 823 // Get the name, skip over the __builtin_ prefix. 824 const char *Name = Context.BuiltinInfo.GetName(BuiltinID)+10; 825 826 // Get the type for the builtin. 827 QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context); 828 const llvm::FunctionType *Ty = 829 cast<llvm::FunctionType>(getTypes().ConvertType(Type)); 830 831 // FIXME: This has a serious problem with code like this: 832 // void abs() {} 833 // ... __builtin_abs(x); 834 // The two versions of abs will collide. The fix is for the builtin to win, 835 // and for the existing one to be turned into a constantexpr cast of the 836 // builtin. In the case where the existing one is a static function, it 837 // should just be renamed. 838 if (llvm::Function *Existing = getModule().getFunction(Name)) { 839 if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage()) 840 return FunctionSlot = Existing; 841 assert(Existing == 0 && "FIXME: Name collision"); 842 } 843 844 // FIXME: param attributes for sext/zext etc. 845 return FunctionSlot = 846 llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name, 847 &getModule()); 848 } 849 850 llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys, 851 unsigned NumTys) { 852 return llvm::Intrinsic::getDeclaration(&getModule(), 853 (llvm::Intrinsic::ID)IID, Tys, NumTys); 854 } 855 856 llvm::Function *CodeGenModule::getMemCpyFn() { 857 if (MemCpyFn) return MemCpyFn; 858 llvm::Intrinsic::ID IID; 859 switch (Context.Target.getPointerWidth(0)) { 860 default: assert(0 && "Unknown ptr width"); 861 case 32: IID = llvm::Intrinsic::memcpy_i32; break; 862 case 64: IID = llvm::Intrinsic::memcpy_i64; break; 863 } 864 return MemCpyFn = getIntrinsic(IID); 865 } 866 867 llvm::Function *CodeGenModule::getMemMoveFn() { 868 if (MemMoveFn) return MemMoveFn; 869 llvm::Intrinsic::ID IID; 870 switch (Context.Target.getPointerWidth(0)) { 871 default: assert(0 && "Unknown ptr width"); 872 case 32: IID = llvm::Intrinsic::memmove_i32; break; 873 case 64: IID = llvm::Intrinsic::memmove_i64; break; 874 } 875 return MemMoveFn = getIntrinsic(IID); 876 } 877 878 llvm::Function *CodeGenModule::getMemSetFn() { 879 if (MemSetFn) return MemSetFn; 880 llvm::Intrinsic::ID IID; 881 switch (Context.Target.getPointerWidth(0)) { 882 default: assert(0 && "Unknown ptr width"); 883 case 32: IID = llvm::Intrinsic::memset_i32; break; 884 case 64: IID = llvm::Intrinsic::memset_i64; break; 885 } 886 return MemSetFn = getIntrinsic(IID); 887 } 888 889 // FIXME: This needs moving into an Apple Objective-C runtime class 890 llvm::Constant *CodeGenModule:: 891 GetAddrOfConstantCFString(const std::string &str) { 892 llvm::StringMapEntry<llvm::Constant *> &Entry = 893 CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]); 894 895 if (Entry.getValue()) 896 return Entry.getValue(); 897 898 std::vector<llvm::Constant*> Fields; 899 900 if (!CFConstantStringClassRef) { 901 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy); 902 Ty = llvm::ArrayType::get(Ty, 0); 903 904 CFConstantStringClassRef = 905 new llvm::GlobalVariable(Ty, false, 906 llvm::GlobalVariable::ExternalLinkage, 0, 907 "__CFConstantStringClassReference", 908 &getModule()); 909 } 910 911 // Class pointer. 912 llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty); 913 llvm::Constant *Zeros[] = { Zero, Zero }; 914 llvm::Constant *C = 915 llvm::ConstantExpr::getGetElementPtr(CFConstantStringClassRef, Zeros, 2); 916 Fields.push_back(C); 917 918 // Flags. 919 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy); 920 Fields.push_back(llvm::ConstantInt::get(Ty, 1992)); 921 922 // String pointer. 923 C = llvm::ConstantArray::get(str); 924 C = new llvm::GlobalVariable(C->getType(), true, 925 llvm::GlobalValue::InternalLinkage, 926 C, ".str", &getModule()); 927 928 C = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2); 929 Fields.push_back(C); 930 931 // String length. 932 Ty = getTypes().ConvertType(getContext().LongTy); 933 Fields.push_back(llvm::ConstantInt::get(Ty, str.length())); 934 935 // The struct. 936 Ty = getTypes().ConvertType(getContext().getCFConstantStringType()); 937 C = llvm::ConstantStruct::get(cast<llvm::StructType>(Ty), Fields); 938 llvm::GlobalVariable *GV = 939 new llvm::GlobalVariable(C->getType(), true, 940 llvm::GlobalVariable::InternalLinkage, 941 C, "", &getModule()); 942 GV->setSection("__DATA,__cfstring"); 943 Entry.setValue(GV); 944 return GV; 945 } 946 947 /// GenerateWritableString -- Creates storage for a string literal. 948 static llvm::Constant *GenerateStringLiteral(const std::string &str, 949 bool constant, 950 CodeGenModule &CGM) { 951 // Create Constant for this string literal 952 llvm::Constant *C=llvm::ConstantArray::get(str); 953 954 // Create a global variable for this string 955 C = new llvm::GlobalVariable(C->getType(), constant, 956 llvm::GlobalValue::InternalLinkage, 957 C, ".str", &CGM.getModule()); 958 return C; 959 } 960 961 /// CodeGenModule::GetAddrOfConstantString -- returns a pointer to the character 962 /// array containing the literal. The result is pointer to array type. 963 llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str) { 964 // Don't share any string literals if writable-strings is turned on. 965 if (Features.WritableStrings) 966 return GenerateStringLiteral(str, false, *this); 967 968 llvm::StringMapEntry<llvm::Constant *> &Entry = 969 ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]); 970 971 if (Entry.getValue()) 972 return Entry.getValue(); 973 974 // Create a global variable for this. 975 llvm::Constant *C = GenerateStringLiteral(str, true, *this); 976 Entry.setValue(C); 977 return C; 978 } 979