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 = D->getType()->getAsIncompleteArrayType()) 636 Align = Context.getTypeAlign(IAT->getElementType()); 637 else 638 Align = Context.getTypeAlign(D->getType()); 639 if (const AlignedAttr* AA = D->getAttr<AlignedAttr>()) { 640 Align = std::max(Align, AA->getAlignment()); 641 } 642 GV->setAlignment(Align / 8); 643 644 if (const VisibilityAttr *attr = D->getAttr<VisibilityAttr>()) 645 setVisibility(GV, attr->getVisibility()); 646 // FIXME: else handle -fvisibility 647 648 // Set the llvm linkage type as appropriate. 649 if (D->getStorageClass() == VarDecl::Static) 650 GV->setLinkage(llvm::Function::InternalLinkage); 651 else if (D->getAttr<DLLImportAttr>()) 652 GV->setLinkage(llvm::Function::DLLImportLinkage); 653 else if (D->getAttr<DLLExportAttr>()) 654 GV->setLinkage(llvm::Function::DLLExportLinkage); 655 else if (D->getAttr<WeakAttr>()) 656 GV->setLinkage(llvm::GlobalVariable::WeakLinkage); 657 else { 658 // FIXME: This isn't right. This should handle common linkage and other 659 // stuff. 660 switch (D->getStorageClass()) { 661 case VarDecl::Static: assert(0 && "This case handled above"); 662 case VarDecl::Auto: 663 case VarDecl::Register: 664 assert(0 && "Can't have auto or register globals"); 665 case VarDecl::None: 666 if (!D->getInit()) 667 GV->setLinkage(llvm::GlobalVariable::CommonLinkage); 668 break; 669 case VarDecl::Extern: 670 case VarDecl::PrivateExtern: 671 // todo: common 672 break; 673 } 674 } 675 676 // Emit global variable debug information. 677 CGDebugInfo *DI = getDebugInfo(); 678 if(DI) { 679 if(D->getLocation().isValid()) 680 DI->setLocation(D->getLocation()); 681 DI->EmitGlobalVariable(GV, D); 682 } 683 } 684 685 llvm::GlobalValue * 686 CodeGenModule::EmitForwardFunctionDefinition(const FunctionDecl *D) { 687 // FIXME: param attributes for sext/zext etc. 688 if (const AliasAttr *AA = D->getAttr<AliasAttr>()) { 689 assert(!D->getBody() && "Unexpected alias attr on function with body."); 690 691 const std::string& aliaseeName = AA->getAliasee(); 692 llvm::Function *aliasee = getModule().getFunction(aliaseeName); 693 llvm::GlobalValue *alias = new llvm::GlobalAlias(aliasee->getType(), 694 llvm::Function::ExternalLinkage, 695 D->getName(), 696 aliasee, 697 &getModule()); 698 SetGlobalValueAttributes(D, alias); 699 return alias; 700 } else { 701 const llvm::Type *Ty = getTypes().ConvertType(D->getType()); 702 const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty); 703 llvm::Function *F = llvm::Function::Create(FTy, 704 llvm::Function::ExternalLinkage, 705 D->getName(), &getModule()); 706 707 SetFunctionAttributes(D, F, FTy); 708 return F; 709 } 710 } 711 712 llvm::Constant *CodeGenModule::GetAddrOfFunction(const FunctionDecl *D) { 713 QualType ASTTy = D->getType(); 714 const llvm::Type *Ty = getTypes().ConvertTypeForMem(ASTTy); 715 const llvm::Type *PTy = llvm::PointerType::get(Ty, ASTTy.getAddressSpace()); 716 717 // See if it is already in the map. 718 llvm::GlobalValue *&Entry = GlobalDeclMap[D]; 719 720 // If not look for an existing global (if this decl shadows another 721 // one) or lazily create a forward declaration. 722 if (!Entry) { 723 // Check to see if the global already exists. 724 llvm::GlobalValue *GV = getModule().getFunction(D->getName()); 725 726 // Create it if not. 727 if (!GV) 728 GV = EmitForwardFunctionDefinition(D); 729 730 // Cache the entry. 731 Entry = GV; 732 } 733 734 return llvm::ConstantExpr::getBitCast(Entry, PTy); 735 } 736 737 void CodeGenModule::EmitGlobalFunctionDefinition(const FunctionDecl *D) { 738 llvm::GlobalValue *&Entry = GlobalDeclMap[D]; 739 740 const llvm::Type *Ty = getTypes().ConvertType(D->getType()); 741 const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty); 742 743 // Check to see if the function already exists. 744 llvm::Function *F = getModule().getFunction(D->getName()); 745 746 // If it doesn't already exist, just create and return an entry. 747 if (F == 0) { 748 Entry = EmitForwardFunctionDefinition(D); 749 } else { 750 // If the pointer type matches, just return it. 751 llvm::Type *PFTy = llvm::PointerType::getUnqual(Ty); 752 if (PFTy == F->getType()) { 753 Entry = F; 754 } else { 755 // Otherwise, we have a definition after a prototype with the wrong type. 756 // F is the Function* for the one with the wrong type, we must make a new 757 // Function* and update everything that used F (a declaration) with the new 758 // Function* (which will be a definition). 759 // 760 // This happens if there is a prototype for a function (e.g. "int f()") and 761 // then a definition of a different type (e.g. "int f(int x)"). Start by 762 // making a new function of the correct type, RAUW, then steal the name. 763 llvm::Function *NewFn = llvm::Function::Create(FTy, 764 llvm::Function::ExternalLinkage, 765 "", &getModule()); 766 NewFn->takeName(F); 767 768 // Replace uses of F with the Function we will endow with a body. 769 llvm::Constant *NewPtrForOldDecl = 770 llvm::ConstantExpr::getBitCast(NewFn, F->getType()); 771 F->replaceAllUsesWith(NewPtrForOldDecl); 772 773 // FIXME: Update the globaldeclmap for the previous decl of this name. We 774 // really want a way to walk all of these, but we don't have it yet. This 775 // is incredibly slow! 776 ReplaceMapValuesWith(F, NewFn); 777 778 // Ok, delete the old function now, which is dead. 779 assert(F->isDeclaration() && "Shouldn't replace non-declaration"); 780 F->eraseFromParent(); 781 782 SetFunctionAttributes(D, NewFn, FTy); 783 // Return the new function which has the right type. 784 Entry = NewFn; 785 } 786 } 787 788 if (D->getAttr<AliasAttr>()) { 789 ; 790 } else { 791 llvm::Function *Fn = cast<llvm::Function>(Entry); 792 CodeGenFunction(*this).GenerateCode(D, Fn); 793 794 if (const ConstructorAttr *CA = D->getAttr<ConstructorAttr>()) { 795 AddGlobalCtor(Fn, CA->getPriority()); 796 } else if (const DestructorAttr *DA = D->getAttr<DestructorAttr>()) { 797 AddGlobalDtor(Fn, DA->getPriority()); 798 } 799 } 800 } 801 802 void CodeGenModule::UpdateCompletedType(const TagDecl *TD) { 803 // Make sure that this type is translated. 804 Types.UpdateCompletedType(TD); 805 } 806 807 808 /// getBuiltinLibFunction 809 llvm::Function *CodeGenModule::getBuiltinLibFunction(unsigned BuiltinID) { 810 if (BuiltinID > BuiltinFunctions.size()) 811 BuiltinFunctions.resize(BuiltinID); 812 813 // Cache looked up functions. Since builtin id #0 is invalid we don't reserve 814 // a slot for it. 815 assert(BuiltinID && "Invalid Builtin ID"); 816 llvm::Function *&FunctionSlot = BuiltinFunctions[BuiltinID-1]; 817 if (FunctionSlot) 818 return FunctionSlot; 819 820 assert(Context.BuiltinInfo.isLibFunction(BuiltinID) && "isn't a lib fn"); 821 822 // Get the name, skip over the __builtin_ prefix. 823 const char *Name = Context.BuiltinInfo.GetName(BuiltinID)+10; 824 825 // Get the type for the builtin. 826 QualType Type = Context.BuiltinInfo.GetBuiltinType(BuiltinID, Context); 827 const llvm::FunctionType *Ty = 828 cast<llvm::FunctionType>(getTypes().ConvertType(Type)); 829 830 // FIXME: This has a serious problem with code like this: 831 // void abs() {} 832 // ... __builtin_abs(x); 833 // The two versions of abs will collide. The fix is for the builtin to win, 834 // and for the existing one to be turned into a constantexpr cast of the 835 // builtin. In the case where the existing one is a static function, it 836 // should just be renamed. 837 if (llvm::Function *Existing = getModule().getFunction(Name)) { 838 if (Existing->getFunctionType() == Ty && Existing->hasExternalLinkage()) 839 return FunctionSlot = Existing; 840 assert(Existing == 0 && "FIXME: Name collision"); 841 } 842 843 // FIXME: param attributes for sext/zext etc. 844 return FunctionSlot = 845 llvm::Function::Create(Ty, llvm::Function::ExternalLinkage, Name, 846 &getModule()); 847 } 848 849 llvm::Function *CodeGenModule::getIntrinsic(unsigned IID,const llvm::Type **Tys, 850 unsigned NumTys) { 851 return llvm::Intrinsic::getDeclaration(&getModule(), 852 (llvm::Intrinsic::ID)IID, Tys, NumTys); 853 } 854 855 llvm::Function *CodeGenModule::getMemCpyFn() { 856 if (MemCpyFn) return MemCpyFn; 857 llvm::Intrinsic::ID IID; 858 switch (Context.Target.getPointerWidth(0)) { 859 default: assert(0 && "Unknown ptr width"); 860 case 32: IID = llvm::Intrinsic::memcpy_i32; break; 861 case 64: IID = llvm::Intrinsic::memcpy_i64; break; 862 } 863 return MemCpyFn = getIntrinsic(IID); 864 } 865 866 llvm::Function *CodeGenModule::getMemMoveFn() { 867 if (MemMoveFn) return MemMoveFn; 868 llvm::Intrinsic::ID IID; 869 switch (Context.Target.getPointerWidth(0)) { 870 default: assert(0 && "Unknown ptr width"); 871 case 32: IID = llvm::Intrinsic::memmove_i32; break; 872 case 64: IID = llvm::Intrinsic::memmove_i64; break; 873 } 874 return MemMoveFn = getIntrinsic(IID); 875 } 876 877 llvm::Function *CodeGenModule::getMemSetFn() { 878 if (MemSetFn) return MemSetFn; 879 llvm::Intrinsic::ID IID; 880 switch (Context.Target.getPointerWidth(0)) { 881 default: assert(0 && "Unknown ptr width"); 882 case 32: IID = llvm::Intrinsic::memset_i32; break; 883 case 64: IID = llvm::Intrinsic::memset_i64; break; 884 } 885 return MemSetFn = getIntrinsic(IID); 886 } 887 888 // FIXME: This needs moving into an Apple Objective-C runtime class 889 llvm::Constant *CodeGenModule:: 890 GetAddrOfConstantCFString(const std::string &str) { 891 llvm::StringMapEntry<llvm::Constant *> &Entry = 892 CFConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]); 893 894 if (Entry.getValue()) 895 return Entry.getValue(); 896 897 std::vector<llvm::Constant*> Fields; 898 899 if (!CFConstantStringClassRef) { 900 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy); 901 Ty = llvm::ArrayType::get(Ty, 0); 902 903 CFConstantStringClassRef = 904 new llvm::GlobalVariable(Ty, false, 905 llvm::GlobalVariable::ExternalLinkage, 0, 906 "__CFConstantStringClassReference", 907 &getModule()); 908 } 909 910 // Class pointer. 911 llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty); 912 llvm::Constant *Zeros[] = { Zero, Zero }; 913 llvm::Constant *C = 914 llvm::ConstantExpr::getGetElementPtr(CFConstantStringClassRef, Zeros, 2); 915 Fields.push_back(C); 916 917 // Flags. 918 const llvm::Type *Ty = getTypes().ConvertType(getContext().IntTy); 919 Fields.push_back(llvm::ConstantInt::get(Ty, 1992)); 920 921 // String pointer. 922 C = llvm::ConstantArray::get(str); 923 C = new llvm::GlobalVariable(C->getType(), true, 924 llvm::GlobalValue::InternalLinkage, 925 C, ".str", &getModule()); 926 927 C = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2); 928 Fields.push_back(C); 929 930 // String length. 931 Ty = getTypes().ConvertType(getContext().LongTy); 932 Fields.push_back(llvm::ConstantInt::get(Ty, str.length())); 933 934 // The struct. 935 Ty = getTypes().ConvertType(getContext().getCFConstantStringType()); 936 C = llvm::ConstantStruct::get(cast<llvm::StructType>(Ty), Fields); 937 llvm::GlobalVariable *GV = 938 new llvm::GlobalVariable(C->getType(), true, 939 llvm::GlobalVariable::InternalLinkage, 940 C, "", &getModule()); 941 GV->setSection("__DATA,__cfstring"); 942 Entry.setValue(GV); 943 return GV; 944 } 945 946 /// GenerateWritableString -- Creates storage for a string literal. 947 static llvm::Constant *GenerateStringLiteral(const std::string &str, 948 bool constant, 949 CodeGenModule &CGM) { 950 // Create Constant for this string literal 951 llvm::Constant *C=llvm::ConstantArray::get(str); 952 953 // Create a global variable for this string 954 C = new llvm::GlobalVariable(C->getType(), constant, 955 llvm::GlobalValue::InternalLinkage, 956 C, ".str", &CGM.getModule()); 957 return C; 958 } 959 960 /// CodeGenModule::GetAddrOfConstantString -- returns a pointer to the character 961 /// array containing the literal. The result is pointer to array type. 962 llvm::Constant *CodeGenModule::GetAddrOfConstantString(const std::string &str) { 963 // Don't share any string literals if writable-strings is turned on. 964 if (Features.WritableStrings) 965 return GenerateStringLiteral(str, false, *this); 966 967 llvm::StringMapEntry<llvm::Constant *> &Entry = 968 ConstantStringMap.GetOrCreateValue(&str[0], &str[str.length()]); 969 970 if (Entry.getValue()) 971 return Entry.getValue(); 972 973 // Create a global variable for this. 974 llvm::Constant *C = GenerateStringLiteral(str, true, *this); 975 Entry.setValue(C); 976 return C; 977 } 978