1dff0c46cSDimitry Andric //===-- ModuleUtils.cpp - Functions to manipulate Modules -----------------===// 2dff0c46cSDimitry Andric // 3dff0c46cSDimitry Andric // The LLVM Compiler Infrastructure 4dff0c46cSDimitry Andric // 5dff0c46cSDimitry Andric // This file is distributed under the University of Illinois Open Source 6dff0c46cSDimitry Andric // License. See LICENSE.TXT for details. 7dff0c46cSDimitry Andric // 8dff0c46cSDimitry Andric //===----------------------------------------------------------------------===// 9dff0c46cSDimitry Andric // 10dff0c46cSDimitry Andric // This family of functions perform manipulations on Modules. 11dff0c46cSDimitry Andric // 12dff0c46cSDimitry Andric //===----------------------------------------------------------------------===// 13dff0c46cSDimitry Andric 14dff0c46cSDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h" 15f785676fSDimitry Andric #include "llvm/ADT/SmallPtrSet.h" 16139f7f9bSDimitry Andric #include "llvm/IR/DerivedTypes.h" 17139f7f9bSDimitry Andric #include "llvm/IR/Function.h" 18139f7f9bSDimitry Andric #include "llvm/IR/IRBuilder.h" 19139f7f9bSDimitry Andric #include "llvm/IR/Module.h" 20ff0cc061SDimitry Andric #include "llvm/Support/raw_ostream.h" 21dff0c46cSDimitry Andric 22dff0c46cSDimitry Andric using namespace llvm; 23dff0c46cSDimitry Andric 24dff0c46cSDimitry Andric static void appendToGlobalArray(const char *Array, 25dff0c46cSDimitry Andric Module &M, Function *F, int Priority) { 26dff0c46cSDimitry Andric IRBuilder<> IRB(M.getContext()); 27dff0c46cSDimitry Andric FunctionType *FnTy = FunctionType::get(IRB.getVoidTy(), false); 28dff0c46cSDimitry Andric 29dff0c46cSDimitry Andric // Get the current set of static global constructors and add the new ctor 30dff0c46cSDimitry Andric // to the list. 31dff0c46cSDimitry Andric SmallVector<Constant *, 16> CurrentCtors; 3291bc56edSDimitry Andric StructType *EltTy; 33dff0c46cSDimitry Andric if (GlobalVariable *GVCtor = M.getNamedGlobal(Array)) { 3491bc56edSDimitry Andric // If there is a global_ctors array, use the existing struct type, which can 3591bc56edSDimitry Andric // have 2 or 3 fields. 3691bc56edSDimitry Andric ArrayType *ATy = cast<ArrayType>(GVCtor->getType()->getElementType()); 3791bc56edSDimitry Andric EltTy = cast<StructType>(ATy->getElementType()); 38dff0c46cSDimitry Andric if (Constant *Init = GVCtor->getInitializer()) { 39dff0c46cSDimitry Andric unsigned n = Init->getNumOperands(); 40dff0c46cSDimitry Andric CurrentCtors.reserve(n + 1); 41dff0c46cSDimitry Andric for (unsigned i = 0; i != n; ++i) 42dff0c46cSDimitry Andric CurrentCtors.push_back(cast<Constant>(Init->getOperand(i))); 43dff0c46cSDimitry Andric } 44dff0c46cSDimitry Andric GVCtor->eraseFromParent(); 4591bc56edSDimitry Andric } else { 4691bc56edSDimitry Andric // Use a simple two-field struct if there isn't one already. 4791bc56edSDimitry Andric EltTy = StructType::get(IRB.getInt32Ty(), PointerType::getUnqual(FnTy), 4891bc56edSDimitry Andric nullptr); 49dff0c46cSDimitry Andric } 50dff0c46cSDimitry Andric 5191bc56edSDimitry Andric // Build a 2 or 3 field global_ctor entry. We don't take a comdat key. 5291bc56edSDimitry Andric Constant *CSVals[3]; 5391bc56edSDimitry Andric CSVals[0] = IRB.getInt32(Priority); 5491bc56edSDimitry Andric CSVals[1] = F; 5591bc56edSDimitry Andric // FIXME: Drop support for the two element form in LLVM 4.0. 5691bc56edSDimitry Andric if (EltTy->getNumElements() >= 3) 5791bc56edSDimitry Andric CSVals[2] = llvm::Constant::getNullValue(IRB.getInt8PtrTy()); 5891bc56edSDimitry Andric Constant *RuntimeCtorInit = 5991bc56edSDimitry Andric ConstantStruct::get(EltTy, makeArrayRef(CSVals, EltTy->getNumElements())); 6091bc56edSDimitry Andric 61dff0c46cSDimitry Andric CurrentCtors.push_back(RuntimeCtorInit); 62dff0c46cSDimitry Andric 63dff0c46cSDimitry Andric // Create a new initializer. 6491bc56edSDimitry Andric ArrayType *AT = ArrayType::get(EltTy, CurrentCtors.size()); 65dff0c46cSDimitry Andric Constant *NewInit = ConstantArray::get(AT, CurrentCtors); 66dff0c46cSDimitry Andric 67dff0c46cSDimitry Andric // Create the new global variable and replace all uses of 68dff0c46cSDimitry Andric // the old global variable with the new one. 69dff0c46cSDimitry Andric (void)new GlobalVariable(M, NewInit->getType(), false, 70dff0c46cSDimitry Andric GlobalValue::AppendingLinkage, NewInit, Array); 71dff0c46cSDimitry Andric } 72dff0c46cSDimitry Andric 73dff0c46cSDimitry Andric void llvm::appendToGlobalCtors(Module &M, Function *F, int Priority) { 74dff0c46cSDimitry Andric appendToGlobalArray("llvm.global_ctors", M, F, Priority); 75dff0c46cSDimitry Andric } 76dff0c46cSDimitry Andric 77dff0c46cSDimitry Andric void llvm::appendToGlobalDtors(Module &M, Function *F, int Priority) { 78dff0c46cSDimitry Andric appendToGlobalArray("llvm.global_dtors", M, F, Priority); 79dff0c46cSDimitry Andric } 80f785676fSDimitry Andric 81f785676fSDimitry Andric GlobalVariable * 8239d628a0SDimitry Andric llvm::collectUsedGlobalVariables(Module &M, SmallPtrSetImpl<GlobalValue *> &Set, 83f785676fSDimitry Andric bool CompilerUsed) { 84f785676fSDimitry Andric const char *Name = CompilerUsed ? "llvm.compiler.used" : "llvm.used"; 85f785676fSDimitry Andric GlobalVariable *GV = M.getGlobalVariable(Name); 86f785676fSDimitry Andric if (!GV || !GV->hasInitializer()) 87f785676fSDimitry Andric return GV; 88f785676fSDimitry Andric 89f785676fSDimitry Andric const ConstantArray *Init = cast<ConstantArray>(GV->getInitializer()); 90f785676fSDimitry Andric for (unsigned I = 0, E = Init->getNumOperands(); I != E; ++I) { 91f785676fSDimitry Andric Value *Op = Init->getOperand(I); 92f785676fSDimitry Andric GlobalValue *G = cast<GlobalValue>(Op->stripPointerCastsNoFollowAliases()); 93f785676fSDimitry Andric Set.insert(G); 94f785676fSDimitry Andric } 95f785676fSDimitry Andric return GV; 96f785676fSDimitry Andric } 97ff0cc061SDimitry Andric 98ff0cc061SDimitry Andric Function *llvm::checkSanitizerInterfaceFunction(Constant *FuncOrBitcast) { 99ff0cc061SDimitry Andric if (isa<Function>(FuncOrBitcast)) 100ff0cc061SDimitry Andric return cast<Function>(FuncOrBitcast); 101ff0cc061SDimitry Andric FuncOrBitcast->dump(); 102ff0cc061SDimitry Andric std::string Err; 103ff0cc061SDimitry Andric raw_string_ostream Stream(Err); 104ff0cc061SDimitry Andric Stream << "Sanitizer interface function redefined: " << *FuncOrBitcast; 105ff0cc061SDimitry Andric report_fatal_error(Err); 106ff0cc061SDimitry Andric } 107ff0cc061SDimitry Andric 108ff0cc061SDimitry Andric std::pair<Function *, Function *> llvm::createSanitizerCtorAndInitFunctions( 109ff0cc061SDimitry Andric Module &M, StringRef CtorName, StringRef InitName, 110ff0cc061SDimitry Andric ArrayRef<Type *> InitArgTypes, ArrayRef<Value *> InitArgs) { 111ff0cc061SDimitry Andric assert(!InitName.empty() && "Expected init function name"); 112ff0cc061SDimitry Andric assert(InitArgTypes.size() == InitArgTypes.size() && 113ff0cc061SDimitry Andric "Sanitizer's init function expects different number of arguments"); 114ff0cc061SDimitry Andric Function *Ctor = Function::Create( 115ff0cc061SDimitry Andric FunctionType::get(Type::getVoidTy(M.getContext()), false), 116ff0cc061SDimitry Andric GlobalValue::InternalLinkage, CtorName, &M); 117ff0cc061SDimitry Andric BasicBlock *CtorBB = BasicBlock::Create(M.getContext(), "", Ctor); 118ff0cc061SDimitry Andric IRBuilder<> IRB(ReturnInst::Create(M.getContext(), CtorBB)); 119ff0cc061SDimitry Andric Function *InitFunction = 120ff0cc061SDimitry Andric checkSanitizerInterfaceFunction(M.getOrInsertFunction( 121ff0cc061SDimitry Andric InitName, FunctionType::get(IRB.getVoidTy(), InitArgTypes, false), 122ff0cc061SDimitry Andric AttributeSet())); 123ff0cc061SDimitry Andric InitFunction->setLinkage(Function::ExternalLinkage); 124ff0cc061SDimitry Andric IRB.CreateCall(InitFunction, InitArgs); 125ff0cc061SDimitry Andric return std::make_pair(Ctor, InitFunction); 126ff0cc061SDimitry Andric } 127ff0cc061SDimitry Andric 128