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