annotate llvm/lib/IR/Module.cpp @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 0572611fdcc8
children 5f17cb93ff66
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- Module.cpp - Implement the Module class ----------------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This file implements the Module class for the IR library.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #include "llvm/IR/Module.h"
anatofuz
parents:
diff changeset
14 #include "SymbolTableListTraitsImpl.h"
anatofuz
parents:
diff changeset
15 #include "llvm/ADT/Optional.h"
anatofuz
parents:
diff changeset
16 #include "llvm/ADT/SmallPtrSet.h"
anatofuz
parents:
diff changeset
17 #include "llvm/ADT/SmallString.h"
anatofuz
parents:
diff changeset
18 #include "llvm/ADT/SmallVector.h"
anatofuz
parents:
diff changeset
19 #include "llvm/ADT/StringMap.h"
anatofuz
parents:
diff changeset
20 #include "llvm/ADT/StringRef.h"
anatofuz
parents:
diff changeset
21 #include "llvm/ADT/Twine.h"
anatofuz
parents:
diff changeset
22 #include "llvm/IR/Attributes.h"
anatofuz
parents:
diff changeset
23 #include "llvm/IR/Comdat.h"
anatofuz
parents:
diff changeset
24 #include "llvm/IR/Constants.h"
anatofuz
parents:
diff changeset
25 #include "llvm/IR/DataLayout.h"
anatofuz
parents:
diff changeset
26 #include "llvm/IR/DebugInfoMetadata.h"
anatofuz
parents:
diff changeset
27 #include "llvm/IR/DerivedTypes.h"
anatofuz
parents:
diff changeset
28 #include "llvm/IR/Function.h"
anatofuz
parents:
diff changeset
29 #include "llvm/IR/GVMaterializer.h"
anatofuz
parents:
diff changeset
30 #include "llvm/IR/GlobalAlias.h"
anatofuz
parents:
diff changeset
31 #include "llvm/IR/GlobalIFunc.h"
anatofuz
parents:
diff changeset
32 #include "llvm/IR/GlobalValue.h"
anatofuz
parents:
diff changeset
33 #include "llvm/IR/GlobalVariable.h"
anatofuz
parents:
diff changeset
34 #include "llvm/IR/LLVMContext.h"
anatofuz
parents:
diff changeset
35 #include "llvm/IR/Metadata.h"
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
36 #include "llvm/IR/ModuleSummaryIndex.h"
150
anatofuz
parents:
diff changeset
37 #include "llvm/IR/SymbolTableListTraits.h"
anatofuz
parents:
diff changeset
38 #include "llvm/IR/Type.h"
anatofuz
parents:
diff changeset
39 #include "llvm/IR/TypeFinder.h"
anatofuz
parents:
diff changeset
40 #include "llvm/IR/Value.h"
anatofuz
parents:
diff changeset
41 #include "llvm/IR/ValueSymbolTable.h"
anatofuz
parents:
diff changeset
42 #include "llvm/Pass.h"
anatofuz
parents:
diff changeset
43 #include "llvm/Support/Casting.h"
anatofuz
parents:
diff changeset
44 #include "llvm/Support/CodeGen.h"
anatofuz
parents:
diff changeset
45 #include "llvm/Support/Error.h"
anatofuz
parents:
diff changeset
46 #include "llvm/Support/MemoryBuffer.h"
anatofuz
parents:
diff changeset
47 #include "llvm/Support/Path.h"
anatofuz
parents:
diff changeset
48 #include "llvm/Support/RandomNumberGenerator.h"
anatofuz
parents:
diff changeset
49 #include "llvm/Support/VersionTuple.h"
anatofuz
parents:
diff changeset
50 #include <algorithm>
anatofuz
parents:
diff changeset
51 #include <cassert>
anatofuz
parents:
diff changeset
52 #include <cstdint>
anatofuz
parents:
diff changeset
53 #include <memory>
anatofuz
parents:
diff changeset
54 #include <utility>
anatofuz
parents:
diff changeset
55 #include <vector>
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 using namespace llvm;
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
60 // Methods to implement the globals and functions lists.
anatofuz
parents:
diff changeset
61 //
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 // Explicit instantiations of SymbolTableListTraits since some of the methods
anatofuz
parents:
diff changeset
64 // are not in the public header file.
anatofuz
parents:
diff changeset
65 template class llvm::SymbolTableListTraits<Function>;
anatofuz
parents:
diff changeset
66 template class llvm::SymbolTableListTraits<GlobalVariable>;
anatofuz
parents:
diff changeset
67 template class llvm::SymbolTableListTraits<GlobalAlias>;
anatofuz
parents:
diff changeset
68 template class llvm::SymbolTableListTraits<GlobalIFunc>;
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
71 // Primitive Module methods.
anatofuz
parents:
diff changeset
72 //
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 Module::Module(StringRef MID, LLVMContext &C)
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
75 : Context(C), ValSymTab(std::make_unique<ValueSymbolTable>(-1)),
150
anatofuz
parents:
diff changeset
76 Materializer(), ModuleID(std::string(MID)),
anatofuz
parents:
diff changeset
77 SourceFileName(std::string(MID)), DL("") {
anatofuz
parents:
diff changeset
78 Context.addModule(this);
anatofuz
parents:
diff changeset
79 }
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 Module::~Module() {
anatofuz
parents:
diff changeset
82 Context.removeModule(this);
anatofuz
parents:
diff changeset
83 dropAllReferences();
anatofuz
parents:
diff changeset
84 GlobalList.clear();
anatofuz
parents:
diff changeset
85 FunctionList.clear();
anatofuz
parents:
diff changeset
86 AliasList.clear();
anatofuz
parents:
diff changeset
87 IFuncList.clear();
anatofuz
parents:
diff changeset
88 }
anatofuz
parents:
diff changeset
89
anatofuz
parents:
diff changeset
90 std::unique_ptr<RandomNumberGenerator>
anatofuz
parents:
diff changeset
91 Module::createRNG(const StringRef Name) const {
anatofuz
parents:
diff changeset
92 SmallString<32> Salt(Name);
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 // This RNG is guaranteed to produce the same random stream only
anatofuz
parents:
diff changeset
95 // when the Module ID and thus the input filename is the same. This
anatofuz
parents:
diff changeset
96 // might be problematic if the input filename extension changes
anatofuz
parents:
diff changeset
97 // (e.g. from .c to .bc or .ll).
anatofuz
parents:
diff changeset
98 //
anatofuz
parents:
diff changeset
99 // We could store this salt in NamedMetadata, but this would make
anatofuz
parents:
diff changeset
100 // the parameter non-const. This would unfortunately make this
anatofuz
parents:
diff changeset
101 // interface unusable by any Machine passes, since they only have a
anatofuz
parents:
diff changeset
102 // const reference to their IR Module. Alternatively we can always
anatofuz
parents:
diff changeset
103 // store salt metadata from the Module constructor.
anatofuz
parents:
diff changeset
104 Salt += sys::path::filename(getModuleIdentifier());
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 return std::unique_ptr<RandomNumberGenerator>(
anatofuz
parents:
diff changeset
107 new RandomNumberGenerator(Salt));
anatofuz
parents:
diff changeset
108 }
anatofuz
parents:
diff changeset
109
anatofuz
parents:
diff changeset
110 /// getNamedValue - Return the first global value in the module with
anatofuz
parents:
diff changeset
111 /// the specified name, of arbitrary type. This method returns null
anatofuz
parents:
diff changeset
112 /// if a global with the specified name is not found.
anatofuz
parents:
diff changeset
113 GlobalValue *Module::getNamedValue(StringRef Name) const {
anatofuz
parents:
diff changeset
114 return cast_or_null<GlobalValue>(getValueSymbolTable().lookup(Name));
anatofuz
parents:
diff changeset
115 }
anatofuz
parents:
diff changeset
116
anatofuz
parents:
diff changeset
117 /// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
anatofuz
parents:
diff changeset
118 /// This ID is uniqued across modules in the current LLVMContext.
anatofuz
parents:
diff changeset
119 unsigned Module::getMDKindID(StringRef Name) const {
anatofuz
parents:
diff changeset
120 return Context.getMDKindID(Name);
anatofuz
parents:
diff changeset
121 }
anatofuz
parents:
diff changeset
122
anatofuz
parents:
diff changeset
123 /// getMDKindNames - Populate client supplied SmallVector with the name for
anatofuz
parents:
diff changeset
124 /// custom metadata IDs registered in this LLVMContext. ID #0 is not used,
anatofuz
parents:
diff changeset
125 /// so it is filled in as an empty string.
anatofuz
parents:
diff changeset
126 void Module::getMDKindNames(SmallVectorImpl<StringRef> &Result) const {
anatofuz
parents:
diff changeset
127 return Context.getMDKindNames(Result);
anatofuz
parents:
diff changeset
128 }
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 void Module::getOperandBundleTags(SmallVectorImpl<StringRef> &Result) const {
anatofuz
parents:
diff changeset
131 return Context.getOperandBundleTags(Result);
anatofuz
parents:
diff changeset
132 }
anatofuz
parents:
diff changeset
133
anatofuz
parents:
diff changeset
134 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
135 // Methods for easy access to the functions in the module.
anatofuz
parents:
diff changeset
136 //
anatofuz
parents:
diff changeset
137
anatofuz
parents:
diff changeset
138 // getOrInsertFunction - Look up the specified function in the module symbol
anatofuz
parents:
diff changeset
139 // table. If it does not exist, add a prototype for the function and return
anatofuz
parents:
diff changeset
140 // it. This is nice because it allows most passes to get away with not handling
anatofuz
parents:
diff changeset
141 // the symbol table directly for this common task.
anatofuz
parents:
diff changeset
142 //
anatofuz
parents:
diff changeset
143 FunctionCallee Module::getOrInsertFunction(StringRef Name, FunctionType *Ty,
anatofuz
parents:
diff changeset
144 AttributeList AttributeList) {
anatofuz
parents:
diff changeset
145 // See if we have a definition for the specified function already.
anatofuz
parents:
diff changeset
146 GlobalValue *F = getNamedValue(Name);
anatofuz
parents:
diff changeset
147 if (!F) {
anatofuz
parents:
diff changeset
148 // Nope, add it
anatofuz
parents:
diff changeset
149 Function *New = Function::Create(Ty, GlobalVariable::ExternalLinkage,
anatofuz
parents:
diff changeset
150 DL.getProgramAddressSpace(), Name);
anatofuz
parents:
diff changeset
151 if (!New->isIntrinsic()) // Intrinsics get attrs set on construction
anatofuz
parents:
diff changeset
152 New->setAttributes(AttributeList);
anatofuz
parents:
diff changeset
153 FunctionList.push_back(New);
anatofuz
parents:
diff changeset
154 return {Ty, New}; // Return the new prototype.
anatofuz
parents:
diff changeset
155 }
anatofuz
parents:
diff changeset
156
anatofuz
parents:
diff changeset
157 // If the function exists but has the wrong type, return a bitcast to the
anatofuz
parents:
diff changeset
158 // right type.
anatofuz
parents:
diff changeset
159 auto *PTy = PointerType::get(Ty, F->getAddressSpace());
anatofuz
parents:
diff changeset
160 if (F->getType() != PTy)
anatofuz
parents:
diff changeset
161 return {Ty, ConstantExpr::getBitCast(F, PTy)};
anatofuz
parents:
diff changeset
162
anatofuz
parents:
diff changeset
163 // Otherwise, we just found the existing function or a prototype.
anatofuz
parents:
diff changeset
164 return {Ty, F};
anatofuz
parents:
diff changeset
165 }
anatofuz
parents:
diff changeset
166
anatofuz
parents:
diff changeset
167 FunctionCallee Module::getOrInsertFunction(StringRef Name, FunctionType *Ty) {
anatofuz
parents:
diff changeset
168 return getOrInsertFunction(Name, Ty, AttributeList());
anatofuz
parents:
diff changeset
169 }
anatofuz
parents:
diff changeset
170
anatofuz
parents:
diff changeset
171 // getFunction - Look up the specified function in the module symbol table.
anatofuz
parents:
diff changeset
172 // If it does not exist, return null.
anatofuz
parents:
diff changeset
173 //
anatofuz
parents:
diff changeset
174 Function *Module::getFunction(StringRef Name) const {
anatofuz
parents:
diff changeset
175 return dyn_cast_or_null<Function>(getNamedValue(Name));
anatofuz
parents:
diff changeset
176 }
anatofuz
parents:
diff changeset
177
anatofuz
parents:
diff changeset
178 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
179 // Methods for easy access to the global variables in the module.
anatofuz
parents:
diff changeset
180 //
anatofuz
parents:
diff changeset
181
anatofuz
parents:
diff changeset
182 /// getGlobalVariable - Look up the specified global variable in the module
anatofuz
parents:
diff changeset
183 /// symbol table. If it does not exist, return null. The type argument
anatofuz
parents:
diff changeset
184 /// should be the underlying type of the global, i.e., it should not have
anatofuz
parents:
diff changeset
185 /// the top-level PointerType, which represents the address of the global.
anatofuz
parents:
diff changeset
186 /// If AllowLocal is set to true, this function will return types that
anatofuz
parents:
diff changeset
187 /// have an local. By default, these types are not returned.
anatofuz
parents:
diff changeset
188 ///
anatofuz
parents:
diff changeset
189 GlobalVariable *Module::getGlobalVariable(StringRef Name,
anatofuz
parents:
diff changeset
190 bool AllowLocal) const {
anatofuz
parents:
diff changeset
191 if (GlobalVariable *Result =
anatofuz
parents:
diff changeset
192 dyn_cast_or_null<GlobalVariable>(getNamedValue(Name)))
anatofuz
parents:
diff changeset
193 if (AllowLocal || !Result->hasLocalLinkage())
anatofuz
parents:
diff changeset
194 return Result;
anatofuz
parents:
diff changeset
195 return nullptr;
anatofuz
parents:
diff changeset
196 }
anatofuz
parents:
diff changeset
197
anatofuz
parents:
diff changeset
198 /// getOrInsertGlobal - Look up the specified global in the module symbol table.
anatofuz
parents:
diff changeset
199 /// 1. If it does not exist, add a declaration of the global and return it.
anatofuz
parents:
diff changeset
200 /// 2. Else, the global exists but has the wrong type: return the function
anatofuz
parents:
diff changeset
201 /// with a constantexpr cast to the right type.
anatofuz
parents:
diff changeset
202 /// 3. Finally, if the existing global is the correct declaration, return the
anatofuz
parents:
diff changeset
203 /// existing global.
anatofuz
parents:
diff changeset
204 Constant *Module::getOrInsertGlobal(
anatofuz
parents:
diff changeset
205 StringRef Name, Type *Ty,
anatofuz
parents:
diff changeset
206 function_ref<GlobalVariable *()> CreateGlobalCallback) {
anatofuz
parents:
diff changeset
207 // See if we have a definition for the specified global already.
anatofuz
parents:
diff changeset
208 GlobalVariable *GV = dyn_cast_or_null<GlobalVariable>(getNamedValue(Name));
anatofuz
parents:
diff changeset
209 if (!GV)
anatofuz
parents:
diff changeset
210 GV = CreateGlobalCallback();
anatofuz
parents:
diff changeset
211 assert(GV && "The CreateGlobalCallback is expected to create a global");
anatofuz
parents:
diff changeset
212
anatofuz
parents:
diff changeset
213 // If the variable exists but has the wrong type, return a bitcast to the
anatofuz
parents:
diff changeset
214 // right type.
anatofuz
parents:
diff changeset
215 Type *GVTy = GV->getType();
anatofuz
parents:
diff changeset
216 PointerType *PTy = PointerType::get(Ty, GVTy->getPointerAddressSpace());
anatofuz
parents:
diff changeset
217 if (GVTy != PTy)
anatofuz
parents:
diff changeset
218 return ConstantExpr::getBitCast(GV, PTy);
anatofuz
parents:
diff changeset
219
anatofuz
parents:
diff changeset
220 // Otherwise, we just found the existing function or a prototype.
anatofuz
parents:
diff changeset
221 return GV;
anatofuz
parents:
diff changeset
222 }
anatofuz
parents:
diff changeset
223
anatofuz
parents:
diff changeset
224 // Overload to construct a global variable using its constructor's defaults.
anatofuz
parents:
diff changeset
225 Constant *Module::getOrInsertGlobal(StringRef Name, Type *Ty) {
anatofuz
parents:
diff changeset
226 return getOrInsertGlobal(Name, Ty, [&] {
anatofuz
parents:
diff changeset
227 return new GlobalVariable(*this, Ty, false, GlobalVariable::ExternalLinkage,
anatofuz
parents:
diff changeset
228 nullptr, Name);
anatofuz
parents:
diff changeset
229 });
anatofuz
parents:
diff changeset
230 }
anatofuz
parents:
diff changeset
231
anatofuz
parents:
diff changeset
232 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
233 // Methods for easy access to the global variables in the module.
anatofuz
parents:
diff changeset
234 //
anatofuz
parents:
diff changeset
235
anatofuz
parents:
diff changeset
236 // getNamedAlias - Look up the specified global in the module symbol table.
anatofuz
parents:
diff changeset
237 // If it does not exist, return null.
anatofuz
parents:
diff changeset
238 //
anatofuz
parents:
diff changeset
239 GlobalAlias *Module::getNamedAlias(StringRef Name) const {
anatofuz
parents:
diff changeset
240 return dyn_cast_or_null<GlobalAlias>(getNamedValue(Name));
anatofuz
parents:
diff changeset
241 }
anatofuz
parents:
diff changeset
242
anatofuz
parents:
diff changeset
243 GlobalIFunc *Module::getNamedIFunc(StringRef Name) const {
anatofuz
parents:
diff changeset
244 return dyn_cast_or_null<GlobalIFunc>(getNamedValue(Name));
anatofuz
parents:
diff changeset
245 }
anatofuz
parents:
diff changeset
246
anatofuz
parents:
diff changeset
247 /// getNamedMetadata - Return the first NamedMDNode in the module with the
anatofuz
parents:
diff changeset
248 /// specified name. This method returns null if a NamedMDNode with the
anatofuz
parents:
diff changeset
249 /// specified name is not found.
anatofuz
parents:
diff changeset
250 NamedMDNode *Module::getNamedMetadata(const Twine &Name) const {
anatofuz
parents:
diff changeset
251 SmallString<256> NameData;
anatofuz
parents:
diff changeset
252 StringRef NameRef = Name.toStringRef(NameData);
anatofuz
parents:
diff changeset
253 return NamedMDSymTab.lookup(NameRef);
anatofuz
parents:
diff changeset
254 }
anatofuz
parents:
diff changeset
255
anatofuz
parents:
diff changeset
256 /// getOrInsertNamedMetadata - Return the first named MDNode in the module
anatofuz
parents:
diff changeset
257 /// with the specified name. This method returns a new NamedMDNode if a
anatofuz
parents:
diff changeset
258 /// NamedMDNode with the specified name is not found.
anatofuz
parents:
diff changeset
259 NamedMDNode *Module::getOrInsertNamedMetadata(StringRef Name) {
anatofuz
parents:
diff changeset
260 NamedMDNode *&NMD = NamedMDSymTab[Name];
anatofuz
parents:
diff changeset
261 if (!NMD) {
anatofuz
parents:
diff changeset
262 NMD = new NamedMDNode(Name);
anatofuz
parents:
diff changeset
263 NMD->setParent(this);
anatofuz
parents:
diff changeset
264 NamedMDList.push_back(NMD);
anatofuz
parents:
diff changeset
265 }
anatofuz
parents:
diff changeset
266 return NMD;
anatofuz
parents:
diff changeset
267 }
anatofuz
parents:
diff changeset
268
anatofuz
parents:
diff changeset
269 /// eraseNamedMetadata - Remove the given NamedMDNode from this module and
anatofuz
parents:
diff changeset
270 /// delete it.
anatofuz
parents:
diff changeset
271 void Module::eraseNamedMetadata(NamedMDNode *NMD) {
anatofuz
parents:
diff changeset
272 NamedMDSymTab.erase(NMD->getName());
anatofuz
parents:
diff changeset
273 NamedMDList.erase(NMD->getIterator());
anatofuz
parents:
diff changeset
274 }
anatofuz
parents:
diff changeset
275
anatofuz
parents:
diff changeset
276 bool Module::isValidModFlagBehavior(Metadata *MD, ModFlagBehavior &MFB) {
anatofuz
parents:
diff changeset
277 if (ConstantInt *Behavior = mdconst::dyn_extract_or_null<ConstantInt>(MD)) {
anatofuz
parents:
diff changeset
278 uint64_t Val = Behavior->getLimitedValue();
anatofuz
parents:
diff changeset
279 if (Val >= ModFlagBehaviorFirstVal && Val <= ModFlagBehaviorLastVal) {
anatofuz
parents:
diff changeset
280 MFB = static_cast<ModFlagBehavior>(Val);
anatofuz
parents:
diff changeset
281 return true;
anatofuz
parents:
diff changeset
282 }
anatofuz
parents:
diff changeset
283 }
anatofuz
parents:
diff changeset
284 return false;
anatofuz
parents:
diff changeset
285 }
anatofuz
parents:
diff changeset
286
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
287 bool Module::isValidModuleFlag(const MDNode &ModFlag, ModFlagBehavior &MFB,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
288 MDString *&Key, Metadata *&Val) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
289 if (ModFlag.getNumOperands() < 3)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
290 return false;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
291 if (!isValidModFlagBehavior(ModFlag.getOperand(0), MFB))
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
292 return false;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
293 MDString *K = dyn_cast_or_null<MDString>(ModFlag.getOperand(1));
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
294 if (!K)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
295 return false;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
296 Key = K;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
297 Val = ModFlag.getOperand(2);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
298 return true;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
299 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
300
150
anatofuz
parents:
diff changeset
301 /// getModuleFlagsMetadata - Returns the module flags in the provided vector.
anatofuz
parents:
diff changeset
302 void Module::
anatofuz
parents:
diff changeset
303 getModuleFlagsMetadata(SmallVectorImpl<ModuleFlagEntry> &Flags) const {
anatofuz
parents:
diff changeset
304 const NamedMDNode *ModFlags = getModuleFlagsMetadata();
anatofuz
parents:
diff changeset
305 if (!ModFlags) return;
anatofuz
parents:
diff changeset
306
anatofuz
parents:
diff changeset
307 for (const MDNode *Flag : ModFlags->operands()) {
anatofuz
parents:
diff changeset
308 ModFlagBehavior MFB;
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
309 MDString *Key = nullptr;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
310 Metadata *Val = nullptr;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
311 if (isValidModuleFlag(*Flag, MFB, Key, Val)) {
150
anatofuz
parents:
diff changeset
312 // Check the operands of the MDNode before accessing the operands.
anatofuz
parents:
diff changeset
313 // The verifier will actually catch these failures.
anatofuz
parents:
diff changeset
314 Flags.push_back(ModuleFlagEntry(MFB, Key, Val));
anatofuz
parents:
diff changeset
315 }
anatofuz
parents:
diff changeset
316 }
anatofuz
parents:
diff changeset
317 }
anatofuz
parents:
diff changeset
318
anatofuz
parents:
diff changeset
319 /// Return the corresponding value if Key appears in module flags, otherwise
anatofuz
parents:
diff changeset
320 /// return null.
anatofuz
parents:
diff changeset
321 Metadata *Module::getModuleFlag(StringRef Key) const {
anatofuz
parents:
diff changeset
322 SmallVector<Module::ModuleFlagEntry, 8> ModuleFlags;
anatofuz
parents:
diff changeset
323 getModuleFlagsMetadata(ModuleFlags);
anatofuz
parents:
diff changeset
324 for (const ModuleFlagEntry &MFE : ModuleFlags) {
anatofuz
parents:
diff changeset
325 if (Key == MFE.Key->getString())
anatofuz
parents:
diff changeset
326 return MFE.Val;
anatofuz
parents:
diff changeset
327 }
anatofuz
parents:
diff changeset
328 return nullptr;
anatofuz
parents:
diff changeset
329 }
anatofuz
parents:
diff changeset
330
anatofuz
parents:
diff changeset
331 /// getModuleFlagsMetadata - Returns the NamedMDNode in the module that
anatofuz
parents:
diff changeset
332 /// represents module-level flags. This method returns null if there are no
anatofuz
parents:
diff changeset
333 /// module-level flags.
anatofuz
parents:
diff changeset
334 NamedMDNode *Module::getModuleFlagsMetadata() const {
anatofuz
parents:
diff changeset
335 return getNamedMetadata("llvm.module.flags");
anatofuz
parents:
diff changeset
336 }
anatofuz
parents:
diff changeset
337
anatofuz
parents:
diff changeset
338 /// getOrInsertModuleFlagsMetadata - Returns the NamedMDNode in the module that
anatofuz
parents:
diff changeset
339 /// represents module-level flags. If module-level flags aren't found, it
anatofuz
parents:
diff changeset
340 /// creates the named metadata that contains them.
anatofuz
parents:
diff changeset
341 NamedMDNode *Module::getOrInsertModuleFlagsMetadata() {
anatofuz
parents:
diff changeset
342 return getOrInsertNamedMetadata("llvm.module.flags");
anatofuz
parents:
diff changeset
343 }
anatofuz
parents:
diff changeset
344
anatofuz
parents:
diff changeset
345 /// addModuleFlag - Add a module-level flag to the module-level flags
anatofuz
parents:
diff changeset
346 /// metadata. It will create the module-level flags named metadata if it doesn't
anatofuz
parents:
diff changeset
347 /// already exist.
anatofuz
parents:
diff changeset
348 void Module::addModuleFlag(ModFlagBehavior Behavior, StringRef Key,
anatofuz
parents:
diff changeset
349 Metadata *Val) {
anatofuz
parents:
diff changeset
350 Type *Int32Ty = Type::getInt32Ty(Context);
anatofuz
parents:
diff changeset
351 Metadata *Ops[3] = {
anatofuz
parents:
diff changeset
352 ConstantAsMetadata::get(ConstantInt::get(Int32Ty, Behavior)),
anatofuz
parents:
diff changeset
353 MDString::get(Context, Key), Val};
anatofuz
parents:
diff changeset
354 getOrInsertModuleFlagsMetadata()->addOperand(MDNode::get(Context, Ops));
anatofuz
parents:
diff changeset
355 }
anatofuz
parents:
diff changeset
356 void Module::addModuleFlag(ModFlagBehavior Behavior, StringRef Key,
anatofuz
parents:
diff changeset
357 Constant *Val) {
anatofuz
parents:
diff changeset
358 addModuleFlag(Behavior, Key, ConstantAsMetadata::get(Val));
anatofuz
parents:
diff changeset
359 }
anatofuz
parents:
diff changeset
360 void Module::addModuleFlag(ModFlagBehavior Behavior, StringRef Key,
anatofuz
parents:
diff changeset
361 uint32_t Val) {
anatofuz
parents:
diff changeset
362 Type *Int32Ty = Type::getInt32Ty(Context);
anatofuz
parents:
diff changeset
363 addModuleFlag(Behavior, Key, ConstantInt::get(Int32Ty, Val));
anatofuz
parents:
diff changeset
364 }
anatofuz
parents:
diff changeset
365 void Module::addModuleFlag(MDNode *Node) {
anatofuz
parents:
diff changeset
366 assert(Node->getNumOperands() == 3 &&
anatofuz
parents:
diff changeset
367 "Invalid number of operands for module flag!");
anatofuz
parents:
diff changeset
368 assert(mdconst::hasa<ConstantInt>(Node->getOperand(0)) &&
anatofuz
parents:
diff changeset
369 isa<MDString>(Node->getOperand(1)) &&
anatofuz
parents:
diff changeset
370 "Invalid operand types for module flag!");
anatofuz
parents:
diff changeset
371 getOrInsertModuleFlagsMetadata()->addOperand(Node);
anatofuz
parents:
diff changeset
372 }
anatofuz
parents:
diff changeset
373
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
374 void Module::setModuleFlag(ModFlagBehavior Behavior, StringRef Key,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
375 Metadata *Val) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
376 NamedMDNode *ModFlags = getOrInsertModuleFlagsMetadata();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
377 // Replace the flag if it already exists.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
378 for (unsigned I = 0, E = ModFlags->getNumOperands(); I != E; ++I) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
379 MDNode *Flag = ModFlags->getOperand(I);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
380 ModFlagBehavior MFB;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
381 MDString *K = nullptr;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
382 Metadata *V = nullptr;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
383 if (isValidModuleFlag(*Flag, MFB, K, V) && K->getString() == Key) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
384 Flag->replaceOperandWith(2, Val);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
385 return;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
386 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
387 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
388 addModuleFlag(Behavior, Key, Val);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
389 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
390
150
anatofuz
parents:
diff changeset
391 void Module::setDataLayout(StringRef Desc) {
anatofuz
parents:
diff changeset
392 DL.reset(Desc);
anatofuz
parents:
diff changeset
393 }
anatofuz
parents:
diff changeset
394
anatofuz
parents:
diff changeset
395 void Module::setDataLayout(const DataLayout &Other) { DL = Other; }
anatofuz
parents:
diff changeset
396
anatofuz
parents:
diff changeset
397 const DataLayout &Module::getDataLayout() const { return DL; }
anatofuz
parents:
diff changeset
398
anatofuz
parents:
diff changeset
399 DICompileUnit *Module::debug_compile_units_iterator::operator*() const {
anatofuz
parents:
diff changeset
400 return cast<DICompileUnit>(CUs->getOperand(Idx));
anatofuz
parents:
diff changeset
401 }
anatofuz
parents:
diff changeset
402 DICompileUnit *Module::debug_compile_units_iterator::operator->() const {
anatofuz
parents:
diff changeset
403 return cast<DICompileUnit>(CUs->getOperand(Idx));
anatofuz
parents:
diff changeset
404 }
anatofuz
parents:
diff changeset
405
anatofuz
parents:
diff changeset
406 void Module::debug_compile_units_iterator::SkipNoDebugCUs() {
anatofuz
parents:
diff changeset
407 while (CUs && (Idx < CUs->getNumOperands()) &&
anatofuz
parents:
diff changeset
408 ((*this)->getEmissionKind() == DICompileUnit::NoDebug))
anatofuz
parents:
diff changeset
409 ++Idx;
anatofuz
parents:
diff changeset
410 }
anatofuz
parents:
diff changeset
411
anatofuz
parents:
diff changeset
412 iterator_range<Module::global_object_iterator> Module::global_objects() {
anatofuz
parents:
diff changeset
413 return concat<GlobalObject>(functions(), globals());
anatofuz
parents:
diff changeset
414 }
anatofuz
parents:
diff changeset
415 iterator_range<Module::const_global_object_iterator>
anatofuz
parents:
diff changeset
416 Module::global_objects() const {
anatofuz
parents:
diff changeset
417 return concat<const GlobalObject>(functions(), globals());
anatofuz
parents:
diff changeset
418 }
anatofuz
parents:
diff changeset
419
anatofuz
parents:
diff changeset
420 iterator_range<Module::global_value_iterator> Module::global_values() {
anatofuz
parents:
diff changeset
421 return concat<GlobalValue>(functions(), globals(), aliases(), ifuncs());
anatofuz
parents:
diff changeset
422 }
anatofuz
parents:
diff changeset
423 iterator_range<Module::const_global_value_iterator>
anatofuz
parents:
diff changeset
424 Module::global_values() const {
anatofuz
parents:
diff changeset
425 return concat<const GlobalValue>(functions(), globals(), aliases(), ifuncs());
anatofuz
parents:
diff changeset
426 }
anatofuz
parents:
diff changeset
427
anatofuz
parents:
diff changeset
428 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
429 // Methods to control the materialization of GlobalValues in the Module.
anatofuz
parents:
diff changeset
430 //
anatofuz
parents:
diff changeset
431 void Module::setMaterializer(GVMaterializer *GVM) {
anatofuz
parents:
diff changeset
432 assert(!Materializer &&
anatofuz
parents:
diff changeset
433 "Module already has a GVMaterializer. Call materializeAll"
anatofuz
parents:
diff changeset
434 " to clear it out before setting another one.");
anatofuz
parents:
diff changeset
435 Materializer.reset(GVM);
anatofuz
parents:
diff changeset
436 }
anatofuz
parents:
diff changeset
437
anatofuz
parents:
diff changeset
438 Error Module::materialize(GlobalValue *GV) {
anatofuz
parents:
diff changeset
439 if (!Materializer)
anatofuz
parents:
diff changeset
440 return Error::success();
anatofuz
parents:
diff changeset
441
anatofuz
parents:
diff changeset
442 return Materializer->materialize(GV);
anatofuz
parents:
diff changeset
443 }
anatofuz
parents:
diff changeset
444
anatofuz
parents:
diff changeset
445 Error Module::materializeAll() {
anatofuz
parents:
diff changeset
446 if (!Materializer)
anatofuz
parents:
diff changeset
447 return Error::success();
anatofuz
parents:
diff changeset
448 std::unique_ptr<GVMaterializer> M = std::move(Materializer);
anatofuz
parents:
diff changeset
449 return M->materializeModule();
anatofuz
parents:
diff changeset
450 }
anatofuz
parents:
diff changeset
451
anatofuz
parents:
diff changeset
452 Error Module::materializeMetadata() {
anatofuz
parents:
diff changeset
453 if (!Materializer)
anatofuz
parents:
diff changeset
454 return Error::success();
anatofuz
parents:
diff changeset
455 return Materializer->materializeMetadata();
anatofuz
parents:
diff changeset
456 }
anatofuz
parents:
diff changeset
457
anatofuz
parents:
diff changeset
458 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
459 // Other module related stuff.
anatofuz
parents:
diff changeset
460 //
anatofuz
parents:
diff changeset
461
anatofuz
parents:
diff changeset
462 std::vector<StructType *> Module::getIdentifiedStructTypes() const {
anatofuz
parents:
diff changeset
463 // If we have a materializer, it is possible that some unread function
anatofuz
parents:
diff changeset
464 // uses a type that is currently not visible to a TypeFinder, so ask
anatofuz
parents:
diff changeset
465 // the materializer which types it created.
anatofuz
parents:
diff changeset
466 if (Materializer)
anatofuz
parents:
diff changeset
467 return Materializer->getIdentifiedStructTypes();
anatofuz
parents:
diff changeset
468
anatofuz
parents:
diff changeset
469 std::vector<StructType *> Ret;
anatofuz
parents:
diff changeset
470 TypeFinder SrcStructTypes;
anatofuz
parents:
diff changeset
471 SrcStructTypes.run(*this, true);
anatofuz
parents:
diff changeset
472 Ret.assign(SrcStructTypes.begin(), SrcStructTypes.end());
anatofuz
parents:
diff changeset
473 return Ret;
anatofuz
parents:
diff changeset
474 }
anatofuz
parents:
diff changeset
475
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
476 std::string Module::getUniqueIntrinsicName(StringRef BaseName, Intrinsic::ID Id,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
477 const FunctionType *Proto) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
478 auto Encode = [&BaseName](unsigned Suffix) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
479 return (Twine(BaseName) + "." + Twine(Suffix)).str();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
480 };
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
481
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
482 {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
483 // fast path - the prototype is already known
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
484 auto UinItInserted = UniquedIntrinsicNames.insert({{Id, Proto}, 0});
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
485 if (!UinItInserted.second)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
486 return Encode(UinItInserted.first->second);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
487 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
488
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
489 // Not known yet. A new entry was created with index 0. Check if there already
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
490 // exists a matching declaration, or select a new entry.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
491
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
492 // Start looking for names with the current known maximum count (or 0).
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
493 auto NiidItInserted = CurrentIntrinsicIds.insert({BaseName, 0});
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
494 unsigned Count = NiidItInserted.first->second;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
495
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
496 // This might be slow if a whole population of intrinsics already existed, but
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
497 // we cache the values for later usage.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
498 std::string NewName;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
499 while (true) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
500 NewName = Encode(Count);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
501 GlobalValue *F = getNamedValue(NewName);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
502 if (!F) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
503 // Reserve this entry for the new proto
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
504 UniquedIntrinsicNames[{Id, Proto}] = Count;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
505 break;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
506 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
507
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
508 // A declaration with this name already exists. Remember it.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
509 FunctionType *FT = dyn_cast<FunctionType>(F->getType()->getElementType());
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
510 auto UinItInserted = UniquedIntrinsicNames.insert({{Id, FT}, Count});
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
511 if (FT == Proto) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
512 // It was a declaration for our prototype. This entry was allocated in the
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
513 // beginning. Update the count to match the existing declaration.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
514 UinItInserted.first->second = Count;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
515 break;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
516 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
517
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
518 ++Count;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
519 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
520
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
521 NiidItInserted.first->second = Count + 1;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
522
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
523 return NewName;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
524 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
525
150
anatofuz
parents:
diff changeset
526 // dropAllReferences() - This function causes all the subelements to "let go"
anatofuz
parents:
diff changeset
527 // of all references that they are maintaining. This allows one to 'delete' a
anatofuz
parents:
diff changeset
528 // whole module at a time, even though there may be circular references... first
anatofuz
parents:
diff changeset
529 // all references are dropped, and all use counts go to zero. Then everything
anatofuz
parents:
diff changeset
530 // is deleted for real. Note that no operations are valid on an object that
anatofuz
parents:
diff changeset
531 // has "dropped all references", except operator delete.
anatofuz
parents:
diff changeset
532 //
anatofuz
parents:
diff changeset
533 void Module::dropAllReferences() {
anatofuz
parents:
diff changeset
534 for (Function &F : *this)
anatofuz
parents:
diff changeset
535 F.dropAllReferences();
anatofuz
parents:
diff changeset
536
anatofuz
parents:
diff changeset
537 for (GlobalVariable &GV : globals())
anatofuz
parents:
diff changeset
538 GV.dropAllReferences();
anatofuz
parents:
diff changeset
539
anatofuz
parents:
diff changeset
540 for (GlobalAlias &GA : aliases())
anatofuz
parents:
diff changeset
541 GA.dropAllReferences();
anatofuz
parents:
diff changeset
542
anatofuz
parents:
diff changeset
543 for (GlobalIFunc &GIF : ifuncs())
anatofuz
parents:
diff changeset
544 GIF.dropAllReferences();
anatofuz
parents:
diff changeset
545 }
anatofuz
parents:
diff changeset
546
anatofuz
parents:
diff changeset
547 unsigned Module::getNumberRegisterParameters() const {
anatofuz
parents:
diff changeset
548 auto *Val =
anatofuz
parents:
diff changeset
549 cast_or_null<ConstantAsMetadata>(getModuleFlag("NumRegisterParameters"));
anatofuz
parents:
diff changeset
550 if (!Val)
anatofuz
parents:
diff changeset
551 return 0;
anatofuz
parents:
diff changeset
552 return cast<ConstantInt>(Val->getValue())->getZExtValue();
anatofuz
parents:
diff changeset
553 }
anatofuz
parents:
diff changeset
554
anatofuz
parents:
diff changeset
555 unsigned Module::getDwarfVersion() const {
anatofuz
parents:
diff changeset
556 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("Dwarf Version"));
anatofuz
parents:
diff changeset
557 if (!Val)
anatofuz
parents:
diff changeset
558 return 0;
anatofuz
parents:
diff changeset
559 return cast<ConstantInt>(Val->getValue())->getZExtValue();
anatofuz
parents:
diff changeset
560 }
anatofuz
parents:
diff changeset
561
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
562 bool Module::isDwarf64() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
563 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("DWARF64"));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
564 return Val && cast<ConstantInt>(Val->getValue())->isOne();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
565 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
566
150
anatofuz
parents:
diff changeset
567 unsigned Module::getCodeViewFlag() const {
anatofuz
parents:
diff changeset
568 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("CodeView"));
anatofuz
parents:
diff changeset
569 if (!Val)
anatofuz
parents:
diff changeset
570 return 0;
anatofuz
parents:
diff changeset
571 return cast<ConstantInt>(Val->getValue())->getZExtValue();
anatofuz
parents:
diff changeset
572 }
anatofuz
parents:
diff changeset
573
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
574 unsigned Module::getInstructionCount() const {
150
anatofuz
parents:
diff changeset
575 unsigned NumInstrs = 0;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
576 for (const Function &F : FunctionList)
150
anatofuz
parents:
diff changeset
577 NumInstrs += F.getInstructionCount();
anatofuz
parents:
diff changeset
578 return NumInstrs;
anatofuz
parents:
diff changeset
579 }
anatofuz
parents:
diff changeset
580
anatofuz
parents:
diff changeset
581 Comdat *Module::getOrInsertComdat(StringRef Name) {
anatofuz
parents:
diff changeset
582 auto &Entry = *ComdatSymTab.insert(std::make_pair(Name, Comdat())).first;
anatofuz
parents:
diff changeset
583 Entry.second.Name = &Entry;
anatofuz
parents:
diff changeset
584 return &Entry.second;
anatofuz
parents:
diff changeset
585 }
anatofuz
parents:
diff changeset
586
anatofuz
parents:
diff changeset
587 PICLevel::Level Module::getPICLevel() const {
anatofuz
parents:
diff changeset
588 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("PIC Level"));
anatofuz
parents:
diff changeset
589
anatofuz
parents:
diff changeset
590 if (!Val)
anatofuz
parents:
diff changeset
591 return PICLevel::NotPIC;
anatofuz
parents:
diff changeset
592
anatofuz
parents:
diff changeset
593 return static_cast<PICLevel::Level>(
anatofuz
parents:
diff changeset
594 cast<ConstantInt>(Val->getValue())->getZExtValue());
anatofuz
parents:
diff changeset
595 }
anatofuz
parents:
diff changeset
596
anatofuz
parents:
diff changeset
597 void Module::setPICLevel(PICLevel::Level PL) {
anatofuz
parents:
diff changeset
598 addModuleFlag(ModFlagBehavior::Max, "PIC Level", PL);
anatofuz
parents:
diff changeset
599 }
anatofuz
parents:
diff changeset
600
anatofuz
parents:
diff changeset
601 PIELevel::Level Module::getPIELevel() const {
anatofuz
parents:
diff changeset
602 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("PIE Level"));
anatofuz
parents:
diff changeset
603
anatofuz
parents:
diff changeset
604 if (!Val)
anatofuz
parents:
diff changeset
605 return PIELevel::Default;
anatofuz
parents:
diff changeset
606
anatofuz
parents:
diff changeset
607 return static_cast<PIELevel::Level>(
anatofuz
parents:
diff changeset
608 cast<ConstantInt>(Val->getValue())->getZExtValue());
anatofuz
parents:
diff changeset
609 }
anatofuz
parents:
diff changeset
610
anatofuz
parents:
diff changeset
611 void Module::setPIELevel(PIELevel::Level PL) {
anatofuz
parents:
diff changeset
612 addModuleFlag(ModFlagBehavior::Max, "PIE Level", PL);
anatofuz
parents:
diff changeset
613 }
anatofuz
parents:
diff changeset
614
anatofuz
parents:
diff changeset
615 Optional<CodeModel::Model> Module::getCodeModel() const {
anatofuz
parents:
diff changeset
616 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("Code Model"));
anatofuz
parents:
diff changeset
617
anatofuz
parents:
diff changeset
618 if (!Val)
anatofuz
parents:
diff changeset
619 return None;
anatofuz
parents:
diff changeset
620
anatofuz
parents:
diff changeset
621 return static_cast<CodeModel::Model>(
anatofuz
parents:
diff changeset
622 cast<ConstantInt>(Val->getValue())->getZExtValue());
anatofuz
parents:
diff changeset
623 }
anatofuz
parents:
diff changeset
624
anatofuz
parents:
diff changeset
625 void Module::setCodeModel(CodeModel::Model CL) {
anatofuz
parents:
diff changeset
626 // Linking object files with different code models is undefined behavior
anatofuz
parents:
diff changeset
627 // because the compiler would have to generate additional code (to span
anatofuz
parents:
diff changeset
628 // longer jumps) if a larger code model is used with a smaller one.
anatofuz
parents:
diff changeset
629 // Therefore we will treat attempts to mix code models as an error.
anatofuz
parents:
diff changeset
630 addModuleFlag(ModFlagBehavior::Error, "Code Model", CL);
anatofuz
parents:
diff changeset
631 }
anatofuz
parents:
diff changeset
632
anatofuz
parents:
diff changeset
633 void Module::setProfileSummary(Metadata *M, ProfileSummary::Kind Kind) {
anatofuz
parents:
diff changeset
634 if (Kind == ProfileSummary::PSK_CSInstr)
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
635 setModuleFlag(ModFlagBehavior::Error, "CSProfileSummary", M);
150
anatofuz
parents:
diff changeset
636 else
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
637 setModuleFlag(ModFlagBehavior::Error, "ProfileSummary", M);
150
anatofuz
parents:
diff changeset
638 }
anatofuz
parents:
diff changeset
639
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
640 Metadata *Module::getProfileSummary(bool IsCS) const {
150
anatofuz
parents:
diff changeset
641 return (IsCS ? getModuleFlag("CSProfileSummary")
anatofuz
parents:
diff changeset
642 : getModuleFlag("ProfileSummary"));
anatofuz
parents:
diff changeset
643 }
anatofuz
parents:
diff changeset
644
anatofuz
parents:
diff changeset
645 bool Module::getSemanticInterposition() const {
anatofuz
parents:
diff changeset
646 Metadata *MF = getModuleFlag("SemanticInterposition");
anatofuz
parents:
diff changeset
647
anatofuz
parents:
diff changeset
648 auto *Val = cast_or_null<ConstantAsMetadata>(MF);
anatofuz
parents:
diff changeset
649 if (!Val)
anatofuz
parents:
diff changeset
650 return false;
anatofuz
parents:
diff changeset
651
anatofuz
parents:
diff changeset
652 return cast<ConstantInt>(Val->getValue())->getZExtValue();
anatofuz
parents:
diff changeset
653 }
anatofuz
parents:
diff changeset
654
anatofuz
parents:
diff changeset
655 void Module::setSemanticInterposition(bool SI) {
anatofuz
parents:
diff changeset
656 addModuleFlag(ModFlagBehavior::Error, "SemanticInterposition", SI);
anatofuz
parents:
diff changeset
657 }
anatofuz
parents:
diff changeset
658
anatofuz
parents:
diff changeset
659 void Module::setOwnedMemoryBuffer(std::unique_ptr<MemoryBuffer> MB) {
anatofuz
parents:
diff changeset
660 OwnedMemoryBuffer = std::move(MB);
anatofuz
parents:
diff changeset
661 }
anatofuz
parents:
diff changeset
662
anatofuz
parents:
diff changeset
663 bool Module::getRtLibUseGOT() const {
anatofuz
parents:
diff changeset
664 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("RtLibUseGOT"));
anatofuz
parents:
diff changeset
665 return Val && (cast<ConstantInt>(Val->getValue())->getZExtValue() > 0);
anatofuz
parents:
diff changeset
666 }
anatofuz
parents:
diff changeset
667
anatofuz
parents:
diff changeset
668 void Module::setRtLibUseGOT() {
anatofuz
parents:
diff changeset
669 addModuleFlag(ModFlagBehavior::Max, "RtLibUseGOT", 1);
anatofuz
parents:
diff changeset
670 }
anatofuz
parents:
diff changeset
671
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
672 bool Module::getUwtable() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
673 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("uwtable"));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
674 return Val && (cast<ConstantInt>(Val->getValue())->getZExtValue() > 0);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
675 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
676
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
677 void Module::setUwtable() { addModuleFlag(ModFlagBehavior::Max, "uwtable", 1); }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
678
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
679 FramePointerKind Module::getFramePointer() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
680 auto *Val = cast_or_null<ConstantAsMetadata>(getModuleFlag("frame-pointer"));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
681 return static_cast<FramePointerKind>(
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
682 Val ? cast<ConstantInt>(Val->getValue())->getZExtValue() : 0);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
683 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
684
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
685 void Module::setFramePointer(FramePointerKind Kind) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
686 addModuleFlag(ModFlagBehavior::Max, "frame-pointer", static_cast<int>(Kind));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
687 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
688
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
689 StringRef Module::getStackProtectorGuard() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
690 Metadata *MD = getModuleFlag("stack-protector-guard");
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
691 if (auto *MDS = dyn_cast_or_null<MDString>(MD))
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
692 return MDS->getString();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
693 return {};
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
694 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
695
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
696 void Module::setStackProtectorGuard(StringRef Kind) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
697 MDString *ID = MDString::get(getContext(), Kind);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
698 addModuleFlag(ModFlagBehavior::Error, "stack-protector-guard", ID);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
699 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
700
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
701 StringRef Module::getStackProtectorGuardReg() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
702 Metadata *MD = getModuleFlag("stack-protector-guard-reg");
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
703 if (auto *MDS = dyn_cast_or_null<MDString>(MD))
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
704 return MDS->getString();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
705 return {};
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
706 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
707
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
708 void Module::setStackProtectorGuardReg(StringRef Reg) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
709 MDString *ID = MDString::get(getContext(), Reg);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
710 addModuleFlag(ModFlagBehavior::Error, "stack-protector-guard-reg", ID);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
711 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
712
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
713 int Module::getStackProtectorGuardOffset() const {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
714 Metadata *MD = getModuleFlag("stack-protector-guard-offset");
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
715 if (auto *CI = mdconst::dyn_extract_or_null<ConstantInt>(MD))
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
716 return CI->getSExtValue();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
717 return INT_MAX;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
718 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
719
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
720 void Module::setStackProtectorGuardOffset(int Offset) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
721 addModuleFlag(ModFlagBehavior::Error, "stack-protector-guard-offset", Offset);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
722 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
723
150
anatofuz
parents:
diff changeset
724 void Module::setSDKVersion(const VersionTuple &V) {
anatofuz
parents:
diff changeset
725 SmallVector<unsigned, 3> Entries;
anatofuz
parents:
diff changeset
726 Entries.push_back(V.getMajor());
anatofuz
parents:
diff changeset
727 if (auto Minor = V.getMinor()) {
anatofuz
parents:
diff changeset
728 Entries.push_back(*Minor);
anatofuz
parents:
diff changeset
729 if (auto Subminor = V.getSubminor())
anatofuz
parents:
diff changeset
730 Entries.push_back(*Subminor);
anatofuz
parents:
diff changeset
731 // Ignore the 'build' component as it can't be represented in the object
anatofuz
parents:
diff changeset
732 // file.
anatofuz
parents:
diff changeset
733 }
anatofuz
parents:
diff changeset
734 addModuleFlag(ModFlagBehavior::Warning, "SDK Version",
anatofuz
parents:
diff changeset
735 ConstantDataArray::get(Context, Entries));
anatofuz
parents:
diff changeset
736 }
anatofuz
parents:
diff changeset
737
anatofuz
parents:
diff changeset
738 VersionTuple Module::getSDKVersion() const {
anatofuz
parents:
diff changeset
739 auto *CM = dyn_cast_or_null<ConstantAsMetadata>(getModuleFlag("SDK Version"));
anatofuz
parents:
diff changeset
740 if (!CM)
anatofuz
parents:
diff changeset
741 return {};
anatofuz
parents:
diff changeset
742 auto *Arr = dyn_cast_or_null<ConstantDataArray>(CM->getValue());
anatofuz
parents:
diff changeset
743 if (!Arr)
anatofuz
parents:
diff changeset
744 return {};
anatofuz
parents:
diff changeset
745 auto getVersionComponent = [&](unsigned Index) -> Optional<unsigned> {
anatofuz
parents:
diff changeset
746 if (Index >= Arr->getNumElements())
anatofuz
parents:
diff changeset
747 return None;
anatofuz
parents:
diff changeset
748 return (unsigned)Arr->getElementAsInteger(Index);
anatofuz
parents:
diff changeset
749 };
anatofuz
parents:
diff changeset
750 auto Major = getVersionComponent(0);
anatofuz
parents:
diff changeset
751 if (!Major)
anatofuz
parents:
diff changeset
752 return {};
anatofuz
parents:
diff changeset
753 VersionTuple Result = VersionTuple(*Major);
anatofuz
parents:
diff changeset
754 if (auto Minor = getVersionComponent(1)) {
anatofuz
parents:
diff changeset
755 Result = VersionTuple(*Major, *Minor);
anatofuz
parents:
diff changeset
756 if (auto Subminor = getVersionComponent(2)) {
anatofuz
parents:
diff changeset
757 Result = VersionTuple(*Major, *Minor, *Subminor);
anatofuz
parents:
diff changeset
758 }
anatofuz
parents:
diff changeset
759 }
anatofuz
parents:
diff changeset
760 return Result;
anatofuz
parents:
diff changeset
761 }
anatofuz
parents:
diff changeset
762
anatofuz
parents:
diff changeset
763 GlobalVariable *llvm::collectUsedGlobalVariables(
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
764 const Module &M, SmallVectorImpl<GlobalValue *> &Vec, bool CompilerUsed) {
150
anatofuz
parents:
diff changeset
765 const char *Name = CompilerUsed ? "llvm.compiler.used" : "llvm.used";
anatofuz
parents:
diff changeset
766 GlobalVariable *GV = M.getGlobalVariable(Name);
anatofuz
parents:
diff changeset
767 if (!GV || !GV->hasInitializer())
anatofuz
parents:
diff changeset
768 return GV;
anatofuz
parents:
diff changeset
769
anatofuz
parents:
diff changeset
770 const ConstantArray *Init = cast<ConstantArray>(GV->getInitializer());
anatofuz
parents:
diff changeset
771 for (Value *Op : Init->operands()) {
anatofuz
parents:
diff changeset
772 GlobalValue *G = cast<GlobalValue>(Op->stripPointerCasts());
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
773 Vec.push_back(G);
150
anatofuz
parents:
diff changeset
774 }
anatofuz
parents:
diff changeset
775 return GV;
anatofuz
parents:
diff changeset
776 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
777
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
778 void Module::setPartialSampleProfileRatio(const ModuleSummaryIndex &Index) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
779 if (auto *SummaryMD = getProfileSummary(/*IsCS*/ false)) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
780 std::unique_ptr<ProfileSummary> ProfileSummary(
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
781 ProfileSummary::getFromMD(SummaryMD));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
782 if (ProfileSummary) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
783 if (ProfileSummary->getKind() != ProfileSummary::PSK_Sample ||
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
784 !ProfileSummary->isPartialProfile())
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
785 return;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
786 uint64_t BlockCount = Index.getBlockCount();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
787 uint32_t NumCounts = ProfileSummary->getNumCounts();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
788 if (!NumCounts)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
789 return;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
790 double Ratio = (double)BlockCount / NumCounts;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
791 ProfileSummary->setPartialProfileRatio(Ratio);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
792 setProfileSummary(ProfileSummary->getMD(getContext()),
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
793 ProfileSummary::PSK_Sample);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
794 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
795 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
796 }