1ef860a24SChandler Carruth //===-- LLVMContext.cpp - Implement LLVMContext ---------------------------===//
2ef860a24SChandler Carruth //
3ef860a24SChandler Carruth //                     The LLVM Compiler Infrastructure
4ef860a24SChandler Carruth //
5ef860a24SChandler Carruth // This file is distributed under the University of Illinois Open Source
6ef860a24SChandler Carruth // License. See LICENSE.TXT for details.
7ef860a24SChandler Carruth //
8ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
9ef860a24SChandler Carruth //
10ef860a24SChandler Carruth //  This file implements LLVMContext, as a wrapper around the opaque
11ef860a24SChandler Carruth //  class LLVMContextImpl.
12ef860a24SChandler Carruth //
13ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
14ef860a24SChandler Carruth 
159fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h"
16*6bda14b3SChandler Carruth #include "LLVMContextImpl.h"
175354a8aaSEugene Zelenko #include "llvm/ADT/SmallVector.h"
185354a8aaSEugene Zelenko #include "llvm/ADT/StringMap.h"
195354a8aaSEugene Zelenko #include "llvm/ADT/StringRef.h"
205354a8aaSEugene Zelenko #include "llvm/ADT/Twine.h"
21b4c44d23SQuentin Colombet #include "llvm/IR/DiagnosticInfo.h"
22b4c44d23SQuentin Colombet #include "llvm/IR/DiagnosticPrinter.h"
239fb823bbSChandler Carruth #include "llvm/IR/Metadata.h"
245354a8aaSEugene Zelenko #include "llvm/IR/Module.h"
255354a8aaSEugene Zelenko #include "llvm/Support/Casting.h"
265354a8aaSEugene Zelenko #include "llvm/Support/ErrorHandling.h"
275354a8aaSEugene Zelenko #include "llvm/Support/raw_ostream.h"
285354a8aaSEugene Zelenko #include <cassert>
295354a8aaSEugene Zelenko #include <cstdlib>
305354a8aaSEugene Zelenko #include <string>
315354a8aaSEugene Zelenko #include <utility>
325354a8aaSEugene Zelenko 
33ef860a24SChandler Carruth using namespace llvm;
34ef860a24SChandler Carruth 
35ef860a24SChandler Carruth LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) {
36ef860a24SChandler Carruth   // Create the fixed metadata kinds. This is done in the same order as the
37ef860a24SChandler Carruth   // MD_* enum values so that they correspond.
386f0b4f2eSPeter Collingbourne   std::pair<unsigned, StringRef> MDKinds[] = {
396f0b4f2eSPeter Collingbourne     {MD_dbg, "dbg"},
406f0b4f2eSPeter Collingbourne     {MD_tbaa, "tbaa"},
416f0b4f2eSPeter Collingbourne     {MD_prof, "prof"},
426f0b4f2eSPeter Collingbourne     {MD_fpmath, "fpmath"},
436f0b4f2eSPeter Collingbourne     {MD_range, "range"},
446f0b4f2eSPeter Collingbourne     {MD_tbaa_struct, "tbaa.struct"},
456f0b4f2eSPeter Collingbourne     {MD_invariant_load, "invariant.load"},
466f0b4f2eSPeter Collingbourne     {MD_alias_scope, "alias.scope"},
476f0b4f2eSPeter Collingbourne     {MD_noalias, "noalias"},
486f0b4f2eSPeter Collingbourne     {MD_nontemporal, "nontemporal"},
496f0b4f2eSPeter Collingbourne     {MD_mem_parallel_loop_access, "llvm.mem.parallel_loop_access"},
506f0b4f2eSPeter Collingbourne     {MD_nonnull, "nonnull"},
516f0b4f2eSPeter Collingbourne     {MD_dereferenceable, "dereferenceable"},
526f0b4f2eSPeter Collingbourne     {MD_dereferenceable_or_null, "dereferenceable_or_null"},
536f0b4f2eSPeter Collingbourne     {MD_make_implicit, "make.implicit"},
546f0b4f2eSPeter Collingbourne     {MD_unpredictable, "unpredictable"},
556f0b4f2eSPeter Collingbourne     {MD_invariant_group, "invariant.group"},
566f0b4f2eSPeter Collingbourne     {MD_align, "align"},
576f0b4f2eSPeter Collingbourne     {MD_loop, "llvm.loop"},
586f0b4f2eSPeter Collingbourne     {MD_type, "type"},
596f0b4f2eSPeter Collingbourne     {MD_section_prefix, "section_prefix"},
60235c275bSPeter Collingbourne     {MD_absolute_symbol, "absolute_symbol"},
6151c962f7SEvgeniy Stepanov     {MD_associated, "associated"},
626f0b4f2eSPeter Collingbourne   };
63ef860a24SChandler Carruth 
646f0b4f2eSPeter Collingbourne   for (auto &MDKind : MDKinds) {
656f0b4f2eSPeter Collingbourne     unsigned ID = getMDKindID(MDKind.second);
666f0b4f2eSPeter Collingbourne     assert(ID == MDKind.first && "metadata kind id drifted");
676f0b4f2eSPeter Collingbourne     (void)ID;
686f0b4f2eSPeter Collingbourne   }
69302b69c9SDehao Chen 
70cdafd849SSanjoy Das   auto *DeoptEntry = pImpl->getOrInsertBundleTag("deopt");
71cdafd849SSanjoy Das   assert(DeoptEntry->second == LLVMContext::OB_deopt &&
72cdafd849SSanjoy Das          "deopt operand bundle id drifted!");
73cdafd849SSanjoy Das   (void)DeoptEntry;
743bb88c02SDavid Majnemer 
753bb88c02SDavid Majnemer   auto *FuncletEntry = pImpl->getOrInsertBundleTag("funclet");
763bb88c02SDavid Majnemer   assert(FuncletEntry->second == LLVMContext::OB_funclet &&
773bb88c02SDavid Majnemer          "funclet operand bundle id drifted!");
783bb88c02SDavid Majnemer   (void)FuncletEntry;
79a34ce95bSSanjoy Das 
80a34ce95bSSanjoy Das   auto *GCTransitionEntry = pImpl->getOrInsertBundleTag("gc-transition");
81a34ce95bSSanjoy Das   assert(GCTransitionEntry->second == LLVMContext::OB_gc_transition &&
82a34ce95bSSanjoy Das          "gc-transition operand bundle id drifted!");
83a34ce95bSSanjoy Das   (void)GCTransitionEntry;
84ef860a24SChandler Carruth }
855354a8aaSEugene Zelenko 
86ef860a24SChandler Carruth LLVMContext::~LLVMContext() { delete pImpl; }
87ef860a24SChandler Carruth 
88ef860a24SChandler Carruth void LLVMContext::addModule(Module *M) {
89ef860a24SChandler Carruth   pImpl->OwnedModules.insert(M);
90ef860a24SChandler Carruth }
91ef860a24SChandler Carruth 
92ef860a24SChandler Carruth void LLVMContext::removeModule(Module *M) {
93ef860a24SChandler Carruth   pImpl->OwnedModules.erase(M);
94ef860a24SChandler Carruth }
95ef860a24SChandler Carruth 
96ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
97ef860a24SChandler Carruth // Recoverable Backend Errors
98ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
99ef860a24SChandler Carruth 
100a594fab4SBob Wilson void LLVMContext::
101a594fab4SBob Wilson setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
102ef860a24SChandler Carruth                               void *DiagContext) {
103a594fab4SBob Wilson   pImpl->InlineAsmDiagHandler = DiagHandler;
104a594fab4SBob Wilson   pImpl->InlineAsmDiagContext = DiagContext;
105ef860a24SChandler Carruth }
106ef860a24SChandler Carruth 
107a594fab4SBob Wilson /// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
108a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
109a594fab4SBob Wilson LLVMContext::InlineAsmDiagHandlerTy
110a594fab4SBob Wilson LLVMContext::getInlineAsmDiagnosticHandler() const {
111a594fab4SBob Wilson   return pImpl->InlineAsmDiagHandler;
112ef860a24SChandler Carruth }
113ef860a24SChandler Carruth 
114a594fab4SBob Wilson /// getInlineAsmDiagnosticContext - Return the diagnostic context set by
115a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
116a594fab4SBob Wilson void *LLVMContext::getInlineAsmDiagnosticContext() const {
117a594fab4SBob Wilson   return pImpl->InlineAsmDiagContext;
118ef860a24SChandler Carruth }
119ef860a24SChandler Carruth 
120b4c44d23SQuentin Colombet void LLVMContext::setDiagnosticHandler(DiagnosticHandlerTy DiagnosticHandler,
12130c9242cSDuncan P. N. Exon Smith                                        void *DiagnosticContext,
12230c9242cSDuncan P. N. Exon Smith                                        bool RespectFilters) {
123b4c44d23SQuentin Colombet   pImpl->DiagnosticHandler = DiagnosticHandler;
124b4c44d23SQuentin Colombet   pImpl->DiagnosticContext = DiagnosticContext;
12530c9242cSDuncan P. N. Exon Smith   pImpl->RespectDiagnosticFilters = RespectFilters;
126b4c44d23SQuentin Colombet }
127b4c44d23SQuentin Colombet 
128aad81608SAdam Nemet void LLVMContext::setDiagnosticHotnessRequested(bool Requested) {
129aad81608SAdam Nemet   pImpl->DiagnosticHotnessRequested = Requested;
130aad81608SAdam Nemet }
131aad81608SAdam Nemet bool LLVMContext::getDiagnosticHotnessRequested() const {
132aad81608SAdam Nemet   return pImpl->DiagnosticHotnessRequested;
133aad81608SAdam Nemet }
134aad81608SAdam Nemet 
135a62b7e1aSAdam Nemet yaml::Output *LLVMContext::getDiagnosticsOutputFile() {
136a62b7e1aSAdam Nemet   return pImpl->DiagnosticsOutputFile.get();
137a62b7e1aSAdam Nemet }
138a62b7e1aSAdam Nemet 
1396f408368SMehdi Amini void LLVMContext::setDiagnosticsOutputFile(std::unique_ptr<yaml::Output> F) {
1406f408368SMehdi Amini   pImpl->DiagnosticsOutputFile = std::move(F);
141a62b7e1aSAdam Nemet }
142a62b7e1aSAdam Nemet 
143b4c44d23SQuentin Colombet LLVMContext::DiagnosticHandlerTy LLVMContext::getDiagnosticHandler() const {
144b4c44d23SQuentin Colombet   return pImpl->DiagnosticHandler;
145b4c44d23SQuentin Colombet }
146b4c44d23SQuentin Colombet 
147b4c44d23SQuentin Colombet void *LLVMContext::getDiagnosticContext() const {
148b4c44d23SQuentin Colombet   return pImpl->DiagnosticContext;
149b4c44d23SQuentin Colombet }
150b4c44d23SQuentin Colombet 
15134390c70SJuergen Ributzka void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
15234390c70SJuergen Ributzka {
15334390c70SJuergen Ributzka   pImpl->YieldCallback = Callback;
15434390c70SJuergen Ributzka   pImpl->YieldOpaqueHandle = OpaqueHandle;
15534390c70SJuergen Ributzka }
15634390c70SJuergen Ributzka 
15734390c70SJuergen Ributzka void LLVMContext::yield() {
15834390c70SJuergen Ributzka   if (pImpl->YieldCallback)
15934390c70SJuergen Ributzka     pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
16034390c70SJuergen Ributzka }
16134390c70SJuergen Ributzka 
162ef860a24SChandler Carruth void LLVMContext::emitError(const Twine &ErrorStr) {
163dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(ErrorStr));
164ef860a24SChandler Carruth }
165ef860a24SChandler Carruth 
166bfb44ef9SBob Wilson void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
167dec8d55bSQuentin Colombet   assert (I && "Invalid instruction");
168dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
169ef860a24SChandler Carruth }
170ef860a24SChandler Carruth 
17130c9242cSDuncan P. N. Exon Smith static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
1727f8af8bfSDiego Novillo   // Optimization remarks are selective. They need to check whether the regexp
1737f8af8bfSDiego Novillo   // pattern, passed via one of the -pass-remarks* flags, matches the name of
1747f8af8bfSDiego Novillo   // the pass that is emitting the diagnostic. If there is no match, ignore the
1757f8af8bfSDiego Novillo   // diagnostic and return.
176e9148dd6SAkira Hatanaka   if (auto *Remark = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
177e9148dd6SAkira Hatanaka     return Remark->isEnabled();
178e9148dd6SAkira Hatanaka 
17930c9242cSDuncan P. N. Exon Smith   return true;
18030c9242cSDuncan P. N. Exon Smith }
18130c9242cSDuncan P. N. Exon Smith 
1824b9c0d4dSRenato Golin const char *
1834b9c0d4dSRenato Golin LLVMContext::getDiagnosticMessagePrefix(DiagnosticSeverity Severity) {
184735c47ecSAlex Lorenz   switch (Severity) {
185735c47ecSAlex Lorenz   case DS_Error:
186735c47ecSAlex Lorenz     return "error";
187735c47ecSAlex Lorenz   case DS_Warning:
188735c47ecSAlex Lorenz     return "warning";
189735c47ecSAlex Lorenz   case DS_Remark:
190735c47ecSAlex Lorenz     return "remark";
191735c47ecSAlex Lorenz   case DS_Note:
192735c47ecSAlex Lorenz     return "note";
193735c47ecSAlex Lorenz   }
1945220476aSAaron Ballman   llvm_unreachable("Unknown DiagnosticSeverity");
195735c47ecSAlex Lorenz }
196735c47ecSAlex Lorenz 
19730c9242cSDuncan P. N. Exon Smith void LLVMContext::diagnose(const DiagnosticInfo &DI) {
19830c9242cSDuncan P. N. Exon Smith   // If there is a report handler, use it.
19930c9242cSDuncan P. N. Exon Smith   if (pImpl->DiagnosticHandler) {
20030c9242cSDuncan P. N. Exon Smith     if (!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI))
20130c9242cSDuncan P. N. Exon Smith       pImpl->DiagnosticHandler(DI, pImpl->DiagnosticContext);
20230c9242cSDuncan P. N. Exon Smith     return;
20330c9242cSDuncan P. N. Exon Smith   }
20430c9242cSDuncan P. N. Exon Smith 
20530c9242cSDuncan P. N. Exon Smith   if (!isDiagnosticEnabled(DI))
20630c9242cSDuncan P. N. Exon Smith     return;
207df655013SDiego Novillo 
208b4c44d23SQuentin Colombet   // Otherwise, print the message with a prefix based on the severity.
209735c47ecSAlex Lorenz   DiagnosticPrinterRawOStream DP(errs());
210735c47ecSAlex Lorenz   errs() << getDiagnosticMessagePrefix(DI.getSeverity()) << ": ";
211b4c44d23SQuentin Colombet   DI.print(DP);
212735c47ecSAlex Lorenz   errs() << "\n";
213735c47ecSAlex Lorenz   if (DI.getSeverity() == DS_Error)
214b4c44d23SQuentin Colombet     exit(1);
215b4c44d23SQuentin Colombet }
216b4c44d23SQuentin Colombet 
217ef860a24SChandler Carruth void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
218dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
219ef860a24SChandler Carruth }
220ef860a24SChandler Carruth 
221ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
222ef860a24SChandler Carruth // Metadata Kind Uniquing
223ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
224ef860a24SChandler Carruth 
2251ac0d2deSFilipe Cabecinhas /// Return a unique non-zero ID for the specified metadata kind.
226ef860a24SChandler Carruth unsigned LLVMContext::getMDKindID(StringRef Name) const {
227ef860a24SChandler Carruth   // If this is new, assign it its ID.
2281ac0d2deSFilipe Cabecinhas   return pImpl->CustomMDKindNames.insert(
2291ac0d2deSFilipe Cabecinhas                                      std::make_pair(
2301ac0d2deSFilipe Cabecinhas                                          Name, pImpl->CustomMDKindNames.size()))
2315106ce78SDavid Blaikie       .first->second;
232ef860a24SChandler Carruth }
233ef860a24SChandler Carruth 
2344104337dSSanjay Patel /// getHandlerNames - Populate client-supplied smallvector using custom
235ef860a24SChandler Carruth /// metadata name and ID.
236ef860a24SChandler Carruth void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
237ef860a24SChandler Carruth   Names.resize(pImpl->CustomMDKindNames.size());
238ef860a24SChandler Carruth   for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
239ef860a24SChandler Carruth        E = pImpl->CustomMDKindNames.end(); I != E; ++I)
240ef860a24SChandler Carruth     Names[I->second] = I->first();
241ef860a24SChandler Carruth }
2429303c246SSanjoy Das 
2439303c246SSanjoy Das void LLVMContext::getOperandBundleTags(SmallVectorImpl<StringRef> &Tags) const {
2449303c246SSanjoy Das   pImpl->getOperandBundleTags(Tags);
2459303c246SSanjoy Das }
2469303c246SSanjoy Das 
2479303c246SSanjoy Das uint32_t LLVMContext::getOperandBundleTagID(StringRef Tag) const {
2489303c246SSanjoy Das   return pImpl->getOperandBundleTagID(Tag);
2499303c246SSanjoy Das }
250599ebf27SMehdi Amini 
251599ebf27SMehdi Amini void LLVMContext::setGC(const Function &Fn, std::string GCName) {
252599ebf27SMehdi Amini   auto It = pImpl->GCNames.find(&Fn);
253599ebf27SMehdi Amini 
254599ebf27SMehdi Amini   if (It == pImpl->GCNames.end()) {
255599ebf27SMehdi Amini     pImpl->GCNames.insert(std::make_pair(&Fn, std::move(GCName)));
256599ebf27SMehdi Amini     return;
257599ebf27SMehdi Amini   }
258599ebf27SMehdi Amini   It->second = std::move(GCName);
259599ebf27SMehdi Amini }
2605354a8aaSEugene Zelenko 
261599ebf27SMehdi Amini const std::string &LLVMContext::getGC(const Function &Fn) {
262599ebf27SMehdi Amini   return pImpl->GCNames[&Fn];
263599ebf27SMehdi Amini }
2645354a8aaSEugene Zelenko 
265599ebf27SMehdi Amini void LLVMContext::deleteGC(const Function &Fn) {
266599ebf27SMehdi Amini   pImpl->GCNames.erase(&Fn);
267599ebf27SMehdi Amini }
26809b4a8daSMehdi Amini 
269e7090155SMehdi Amini bool LLVMContext::shouldDiscardValueNames() const {
270e7090155SMehdi Amini   return pImpl->DiscardValueNames;
271e7090155SMehdi Amini }
27209b4a8daSMehdi Amini 
273ed8fdb2aSDuncan P. N. Exon Smith bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
2745ab2be09SDuncan P. N. Exon Smith 
275ed8fdb2aSDuncan P. N. Exon Smith void LLVMContext::enableDebugTypeODRUniquing() {
2765ab2be09SDuncan P. N. Exon Smith   if (pImpl->DITypeMap)
2775ab2be09SDuncan P. N. Exon Smith     return;
2785ab2be09SDuncan P. N. Exon Smith 
279e8b555c6SDuncan P. N. Exon Smith   pImpl->DITypeMap.emplace();
2805ab2be09SDuncan P. N. Exon Smith }
2815ab2be09SDuncan P. N. Exon Smith 
282ed8fdb2aSDuncan P. N. Exon Smith void LLVMContext::disableDebugTypeODRUniquing() { pImpl->DITypeMap.reset(); }
2835ab2be09SDuncan P. N. Exon Smith 
28409b4a8daSMehdi Amini void LLVMContext::setDiscardValueNames(bool Discard) {
28509b4a8daSMehdi Amini   pImpl->DiscardValueNames = Discard;
28609b4a8daSMehdi Amini }
287aa641a51SAndrew Kaylor 
288aa641a51SAndrew Kaylor OptBisect &LLVMContext::getOptBisect() {
289aa641a51SAndrew Kaylor   return pImpl->getOptBisect();
290aa641a51SAndrew Kaylor }
291