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"
165354a8aaSEugene Zelenko #include "llvm/ADT/SmallVector.h"
175354a8aaSEugene Zelenko #include "llvm/ADT/StringMap.h"
185354a8aaSEugene Zelenko #include "llvm/ADT/StringRef.h"
195354a8aaSEugene Zelenko #include "llvm/ADT/Twine.h"
20ef860a24SChandler Carruth #include "LLVMContextImpl.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"},
60*235c275bSPeter Collingbourne     {MD_absolute_symbol, "absolute_symbol"},
616f0b4f2eSPeter Collingbourne   };
62ef860a24SChandler Carruth 
636f0b4f2eSPeter Collingbourne   for (auto &MDKind : MDKinds) {
646f0b4f2eSPeter Collingbourne     unsigned ID = getMDKindID(MDKind.second);
656f0b4f2eSPeter Collingbourne     assert(ID == MDKind.first && "metadata kind id drifted");
666f0b4f2eSPeter Collingbourne     (void)ID;
676f0b4f2eSPeter Collingbourne   }
68302b69c9SDehao Chen 
69cdafd849SSanjoy Das   auto *DeoptEntry = pImpl->getOrInsertBundleTag("deopt");
70cdafd849SSanjoy Das   assert(DeoptEntry->second == LLVMContext::OB_deopt &&
71cdafd849SSanjoy Das          "deopt operand bundle id drifted!");
72cdafd849SSanjoy Das   (void)DeoptEntry;
733bb88c02SDavid Majnemer 
743bb88c02SDavid Majnemer   auto *FuncletEntry = pImpl->getOrInsertBundleTag("funclet");
753bb88c02SDavid Majnemer   assert(FuncletEntry->second == LLVMContext::OB_funclet &&
763bb88c02SDavid Majnemer          "funclet operand bundle id drifted!");
773bb88c02SDavid Majnemer   (void)FuncletEntry;
78a34ce95bSSanjoy Das 
79a34ce95bSSanjoy Das   auto *GCTransitionEntry = pImpl->getOrInsertBundleTag("gc-transition");
80a34ce95bSSanjoy Das   assert(GCTransitionEntry->second == LLVMContext::OB_gc_transition &&
81a34ce95bSSanjoy Das          "gc-transition operand bundle id drifted!");
82a34ce95bSSanjoy Das   (void)GCTransitionEntry;
83ef860a24SChandler Carruth }
845354a8aaSEugene Zelenko 
85ef860a24SChandler Carruth LLVMContext::~LLVMContext() { delete pImpl; }
86ef860a24SChandler Carruth 
87ef860a24SChandler Carruth void LLVMContext::addModule(Module *M) {
88ef860a24SChandler Carruth   pImpl->OwnedModules.insert(M);
89ef860a24SChandler Carruth }
90ef860a24SChandler Carruth 
91ef860a24SChandler Carruth void LLVMContext::removeModule(Module *M) {
92ef860a24SChandler Carruth   pImpl->OwnedModules.erase(M);
93ef860a24SChandler Carruth }
94ef860a24SChandler Carruth 
95ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
96ef860a24SChandler Carruth // Recoverable Backend Errors
97ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
98ef860a24SChandler Carruth 
99a594fab4SBob Wilson void LLVMContext::
100a594fab4SBob Wilson setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
101ef860a24SChandler Carruth                               void *DiagContext) {
102a594fab4SBob Wilson   pImpl->InlineAsmDiagHandler = DiagHandler;
103a594fab4SBob Wilson   pImpl->InlineAsmDiagContext = DiagContext;
104ef860a24SChandler Carruth }
105ef860a24SChandler Carruth 
106a594fab4SBob Wilson /// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
107a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
108a594fab4SBob Wilson LLVMContext::InlineAsmDiagHandlerTy
109a594fab4SBob Wilson LLVMContext::getInlineAsmDiagnosticHandler() const {
110a594fab4SBob Wilson   return pImpl->InlineAsmDiagHandler;
111ef860a24SChandler Carruth }
112ef860a24SChandler Carruth 
113a594fab4SBob Wilson /// getInlineAsmDiagnosticContext - Return the diagnostic context set by
114a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
115a594fab4SBob Wilson void *LLVMContext::getInlineAsmDiagnosticContext() const {
116a594fab4SBob Wilson   return pImpl->InlineAsmDiagContext;
117ef860a24SChandler Carruth }
118ef860a24SChandler Carruth 
119b4c44d23SQuentin Colombet void LLVMContext::setDiagnosticHandler(DiagnosticHandlerTy DiagnosticHandler,
12030c9242cSDuncan P. N. Exon Smith                                        void *DiagnosticContext,
12130c9242cSDuncan P. N. Exon Smith                                        bool RespectFilters) {
122b4c44d23SQuentin Colombet   pImpl->DiagnosticHandler = DiagnosticHandler;
123b4c44d23SQuentin Colombet   pImpl->DiagnosticContext = DiagnosticContext;
12430c9242cSDuncan P. N. Exon Smith   pImpl->RespectDiagnosticFilters = RespectFilters;
125b4c44d23SQuentin Colombet }
126b4c44d23SQuentin Colombet 
127aad81608SAdam Nemet void LLVMContext::setDiagnosticHotnessRequested(bool Requested) {
128aad81608SAdam Nemet   pImpl->DiagnosticHotnessRequested = Requested;
129aad81608SAdam Nemet }
130aad81608SAdam Nemet bool LLVMContext::getDiagnosticHotnessRequested() const {
131aad81608SAdam Nemet   return pImpl->DiagnosticHotnessRequested;
132aad81608SAdam Nemet }
133aad81608SAdam Nemet 
134a62b7e1aSAdam Nemet yaml::Output *LLVMContext::getDiagnosticsOutputFile() {
135a62b7e1aSAdam Nemet   return pImpl->DiagnosticsOutputFile.get();
136a62b7e1aSAdam Nemet }
137a62b7e1aSAdam Nemet 
1386f408368SMehdi Amini void LLVMContext::setDiagnosticsOutputFile(std::unique_ptr<yaml::Output> F) {
1396f408368SMehdi Amini   pImpl->DiagnosticsOutputFile = std::move(F);
140a62b7e1aSAdam Nemet }
141a62b7e1aSAdam Nemet 
142b4c44d23SQuentin Colombet LLVMContext::DiagnosticHandlerTy LLVMContext::getDiagnosticHandler() const {
143b4c44d23SQuentin Colombet   return pImpl->DiagnosticHandler;
144b4c44d23SQuentin Colombet }
145b4c44d23SQuentin Colombet 
146b4c44d23SQuentin Colombet void *LLVMContext::getDiagnosticContext() const {
147b4c44d23SQuentin Colombet   return pImpl->DiagnosticContext;
148b4c44d23SQuentin Colombet }
149b4c44d23SQuentin Colombet 
15034390c70SJuergen Ributzka void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
15134390c70SJuergen Ributzka {
15234390c70SJuergen Ributzka   pImpl->YieldCallback = Callback;
15334390c70SJuergen Ributzka   pImpl->YieldOpaqueHandle = OpaqueHandle;
15434390c70SJuergen Ributzka }
15534390c70SJuergen Ributzka 
15634390c70SJuergen Ributzka void LLVMContext::yield() {
15734390c70SJuergen Ributzka   if (pImpl->YieldCallback)
15834390c70SJuergen Ributzka     pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
15934390c70SJuergen Ributzka }
16034390c70SJuergen Ributzka 
161ef860a24SChandler Carruth void LLVMContext::emitError(const Twine &ErrorStr) {
162dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(ErrorStr));
163ef860a24SChandler Carruth }
164ef860a24SChandler Carruth 
165bfb44ef9SBob Wilson void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
166dec8d55bSQuentin Colombet   assert (I && "Invalid instruction");
167dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
168ef860a24SChandler Carruth }
169ef860a24SChandler Carruth 
17030c9242cSDuncan P. N. Exon Smith static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
1717f8af8bfSDiego Novillo   // Optimization remarks are selective. They need to check whether the regexp
1727f8af8bfSDiego Novillo   // pattern, passed via one of the -pass-remarks* flags, matches the name of
1737f8af8bfSDiego Novillo   // the pass that is emitting the diagnostic. If there is no match, ignore the
1747f8af8bfSDiego Novillo   // diagnostic and return.
175e9148dd6SAkira Hatanaka   if (auto *Remark = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
176e9148dd6SAkira Hatanaka     return Remark->isEnabled();
177e9148dd6SAkira Hatanaka 
17830c9242cSDuncan P. N. Exon Smith   return true;
17930c9242cSDuncan P. N. Exon Smith }
18030c9242cSDuncan P. N. Exon Smith 
1814b9c0d4dSRenato Golin const char *
1824b9c0d4dSRenato Golin LLVMContext::getDiagnosticMessagePrefix(DiagnosticSeverity Severity) {
183735c47ecSAlex Lorenz   switch (Severity) {
184735c47ecSAlex Lorenz   case DS_Error:
185735c47ecSAlex Lorenz     return "error";
186735c47ecSAlex Lorenz   case DS_Warning:
187735c47ecSAlex Lorenz     return "warning";
188735c47ecSAlex Lorenz   case DS_Remark:
189735c47ecSAlex Lorenz     return "remark";
190735c47ecSAlex Lorenz   case DS_Note:
191735c47ecSAlex Lorenz     return "note";
192735c47ecSAlex Lorenz   }
1935220476aSAaron Ballman   llvm_unreachable("Unknown DiagnosticSeverity");
194735c47ecSAlex Lorenz }
195735c47ecSAlex Lorenz 
19630c9242cSDuncan P. N. Exon Smith void LLVMContext::diagnose(const DiagnosticInfo &DI) {
19730c9242cSDuncan P. N. Exon Smith   // If there is a report handler, use it.
19830c9242cSDuncan P. N. Exon Smith   if (pImpl->DiagnosticHandler) {
19930c9242cSDuncan P. N. Exon Smith     if (!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI))
20030c9242cSDuncan P. N. Exon Smith       pImpl->DiagnosticHandler(DI, pImpl->DiagnosticContext);
20130c9242cSDuncan P. N. Exon Smith     return;
20230c9242cSDuncan P. N. Exon Smith   }
20330c9242cSDuncan P. N. Exon Smith 
20430c9242cSDuncan P. N. Exon Smith   if (!isDiagnosticEnabled(DI))
20530c9242cSDuncan P. N. Exon Smith     return;
206df655013SDiego Novillo 
207b4c44d23SQuentin Colombet   // Otherwise, print the message with a prefix based on the severity.
208735c47ecSAlex Lorenz   DiagnosticPrinterRawOStream DP(errs());
209735c47ecSAlex Lorenz   errs() << getDiagnosticMessagePrefix(DI.getSeverity()) << ": ";
210b4c44d23SQuentin Colombet   DI.print(DP);
211735c47ecSAlex Lorenz   errs() << "\n";
212735c47ecSAlex Lorenz   if (DI.getSeverity() == DS_Error)
213b4c44d23SQuentin Colombet     exit(1);
214b4c44d23SQuentin Colombet }
215b4c44d23SQuentin Colombet 
216ef860a24SChandler Carruth void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
217dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
218ef860a24SChandler Carruth }
219ef860a24SChandler Carruth 
220ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
221ef860a24SChandler Carruth // Metadata Kind Uniquing
222ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
223ef860a24SChandler Carruth 
2241ac0d2deSFilipe Cabecinhas /// Return a unique non-zero ID for the specified metadata kind.
225ef860a24SChandler Carruth unsigned LLVMContext::getMDKindID(StringRef Name) const {
226ef860a24SChandler Carruth   // If this is new, assign it its ID.
2271ac0d2deSFilipe Cabecinhas   return pImpl->CustomMDKindNames.insert(
2281ac0d2deSFilipe Cabecinhas                                      std::make_pair(
2291ac0d2deSFilipe Cabecinhas                                          Name, pImpl->CustomMDKindNames.size()))
2305106ce78SDavid Blaikie       .first->second;
231ef860a24SChandler Carruth }
232ef860a24SChandler Carruth 
2334104337dSSanjay Patel /// getHandlerNames - Populate client-supplied smallvector using custom
234ef860a24SChandler Carruth /// metadata name and ID.
235ef860a24SChandler Carruth void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
236ef860a24SChandler Carruth   Names.resize(pImpl->CustomMDKindNames.size());
237ef860a24SChandler Carruth   for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
238ef860a24SChandler Carruth        E = pImpl->CustomMDKindNames.end(); I != E; ++I)
239ef860a24SChandler Carruth     Names[I->second] = I->first();
240ef860a24SChandler Carruth }
2419303c246SSanjoy Das 
2429303c246SSanjoy Das void LLVMContext::getOperandBundleTags(SmallVectorImpl<StringRef> &Tags) const {
2439303c246SSanjoy Das   pImpl->getOperandBundleTags(Tags);
2449303c246SSanjoy Das }
2459303c246SSanjoy Das 
2469303c246SSanjoy Das uint32_t LLVMContext::getOperandBundleTagID(StringRef Tag) const {
2479303c246SSanjoy Das   return pImpl->getOperandBundleTagID(Tag);
2489303c246SSanjoy Das }
249599ebf27SMehdi Amini 
250599ebf27SMehdi Amini void LLVMContext::setGC(const Function &Fn, std::string GCName) {
251599ebf27SMehdi Amini   auto It = pImpl->GCNames.find(&Fn);
252599ebf27SMehdi Amini 
253599ebf27SMehdi Amini   if (It == pImpl->GCNames.end()) {
254599ebf27SMehdi Amini     pImpl->GCNames.insert(std::make_pair(&Fn, std::move(GCName)));
255599ebf27SMehdi Amini     return;
256599ebf27SMehdi Amini   }
257599ebf27SMehdi Amini   It->second = std::move(GCName);
258599ebf27SMehdi Amini }
2595354a8aaSEugene Zelenko 
260599ebf27SMehdi Amini const std::string &LLVMContext::getGC(const Function &Fn) {
261599ebf27SMehdi Amini   return pImpl->GCNames[&Fn];
262599ebf27SMehdi Amini }
2635354a8aaSEugene Zelenko 
264599ebf27SMehdi Amini void LLVMContext::deleteGC(const Function &Fn) {
265599ebf27SMehdi Amini   pImpl->GCNames.erase(&Fn);
266599ebf27SMehdi Amini }
26709b4a8daSMehdi Amini 
268e7090155SMehdi Amini bool LLVMContext::shouldDiscardValueNames() const {
269e7090155SMehdi Amini   return pImpl->DiscardValueNames;
270e7090155SMehdi Amini }
27109b4a8daSMehdi Amini 
272ed8fdb2aSDuncan P. N. Exon Smith bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
2735ab2be09SDuncan P. N. Exon Smith 
274ed8fdb2aSDuncan P. N. Exon Smith void LLVMContext::enableDebugTypeODRUniquing() {
2755ab2be09SDuncan P. N. Exon Smith   if (pImpl->DITypeMap)
2765ab2be09SDuncan P. N. Exon Smith     return;
2775ab2be09SDuncan P. N. Exon Smith 
278e8b555c6SDuncan P. N. Exon Smith   pImpl->DITypeMap.emplace();
2795ab2be09SDuncan P. N. Exon Smith }
2805ab2be09SDuncan P. N. Exon Smith 
281ed8fdb2aSDuncan P. N. Exon Smith void LLVMContext::disableDebugTypeODRUniquing() { pImpl->DITypeMap.reset(); }
2825ab2be09SDuncan P. N. Exon Smith 
28309b4a8daSMehdi Amini void LLVMContext::setDiscardValueNames(bool Discard) {
28409b4a8daSMehdi Amini   pImpl->DiscardValueNames = Discard;
28509b4a8daSMehdi Amini }
286aa641a51SAndrew Kaylor 
287aa641a51SAndrew Kaylor OptBisect &LLVMContext::getOptBisect() {
288aa641a51SAndrew Kaylor   return pImpl->getOptBisect();
289aa641a51SAndrew Kaylor }
290