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"
16ef860a24SChandler Carruth #include "LLVMContextImpl.h"
179fb823bbSChandler Carruth #include "llvm/IR/Constants.h"
18a9298b22SDiego Novillo #include "llvm/IR/DebugLoc.h"
19b4c44d23SQuentin Colombet #include "llvm/IR/DiagnosticInfo.h"
20b4c44d23SQuentin Colombet #include "llvm/IR/DiagnosticPrinter.h"
219fb823bbSChandler Carruth #include "llvm/IR/Instruction.h"
229fb823bbSChandler Carruth #include "llvm/IR/Metadata.h"
23ef860a24SChandler Carruth #include "llvm/Support/ManagedStatic.h"
24ef860a24SChandler Carruth #include "llvm/Support/SourceMgr.h"
25ef860a24SChandler Carruth #include <cctype>
26ef860a24SChandler Carruth using namespace llvm;
27ef860a24SChandler Carruth 
28ef860a24SChandler Carruth static ManagedStatic<LLVMContext> GlobalContext;
29ef860a24SChandler Carruth 
30ef860a24SChandler Carruth LLVMContext& llvm::getGlobalContext() {
31ef860a24SChandler Carruth   return *GlobalContext;
32ef860a24SChandler Carruth }
33ef860a24SChandler Carruth 
34ef860a24SChandler Carruth LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) {
35ef860a24SChandler Carruth   // Create the fixed metadata kinds. This is done in the same order as the
36ef860a24SChandler Carruth   // MD_* enum values so that they correspond.
37ef860a24SChandler Carruth 
38ef860a24SChandler Carruth   // Create the 'dbg' metadata kind.
39ef860a24SChandler Carruth   unsigned DbgID = getMDKindID("dbg");
40ef860a24SChandler Carruth   assert(DbgID == MD_dbg && "dbg kind id drifted"); (void)DbgID;
41ef860a24SChandler Carruth 
42ef860a24SChandler Carruth   // Create the 'tbaa' metadata kind.
43ef860a24SChandler Carruth   unsigned TBAAID = getMDKindID("tbaa");
44ef860a24SChandler Carruth   assert(TBAAID == MD_tbaa && "tbaa kind id drifted"); (void)TBAAID;
45ef860a24SChandler Carruth 
46ef860a24SChandler Carruth   // Create the 'prof' metadata kind.
47ef860a24SChandler Carruth   unsigned ProfID = getMDKindID("prof");
48ef860a24SChandler Carruth   assert(ProfID == MD_prof && "prof kind id drifted"); (void)ProfID;
49ef860a24SChandler Carruth 
50ef860a24SChandler Carruth   // Create the 'fpmath' metadata kind.
51ef860a24SChandler Carruth   unsigned FPAccuracyID = getMDKindID("fpmath");
52ef860a24SChandler Carruth   assert(FPAccuracyID == MD_fpmath && "fpmath kind id drifted");
53ef860a24SChandler Carruth   (void)FPAccuracyID;
54ef860a24SChandler Carruth 
55ef860a24SChandler Carruth   // Create the 'range' metadata kind.
56ef860a24SChandler Carruth   unsigned RangeID = getMDKindID("range");
57ef860a24SChandler Carruth   assert(RangeID == MD_range && "range kind id drifted");
58ef860a24SChandler Carruth   (void)RangeID;
59ef860a24SChandler Carruth 
60ef860a24SChandler Carruth   // Create the 'tbaa.struct' metadata kind.
61ef860a24SChandler Carruth   unsigned TBAAStructID = getMDKindID("tbaa.struct");
62ef860a24SChandler Carruth   assert(TBAAStructID == MD_tbaa_struct && "tbaa.struct kind id drifted");
63ef860a24SChandler Carruth   (void)TBAAStructID;
64408bdad5SShuxin Yang 
65408bdad5SShuxin Yang   // Create the 'invariant.load' metadata kind.
66408bdad5SShuxin Yang   unsigned InvariantLdId = getMDKindID("invariant.load");
67408bdad5SShuxin Yang   assert(InvariantLdId == MD_invariant_load && "invariant.load kind id drifted");
68408bdad5SShuxin Yang   (void)InvariantLdId;
69ef860a24SChandler Carruth }
70ef860a24SChandler Carruth LLVMContext::~LLVMContext() { delete pImpl; }
71ef860a24SChandler Carruth 
72ef860a24SChandler Carruth void LLVMContext::addModule(Module *M) {
73ef860a24SChandler Carruth   pImpl->OwnedModules.insert(M);
74ef860a24SChandler Carruth }
75ef860a24SChandler Carruth 
76ef860a24SChandler Carruth void LLVMContext::removeModule(Module *M) {
77ef860a24SChandler Carruth   pImpl->OwnedModules.erase(M);
78ef860a24SChandler Carruth }
79ef860a24SChandler Carruth 
80ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
81ef860a24SChandler Carruth // Recoverable Backend Errors
82ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
83ef860a24SChandler Carruth 
84a594fab4SBob Wilson void LLVMContext::
85a594fab4SBob Wilson setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
86ef860a24SChandler Carruth                               void *DiagContext) {
87a594fab4SBob Wilson   pImpl->InlineAsmDiagHandler = DiagHandler;
88a594fab4SBob Wilson   pImpl->InlineAsmDiagContext = DiagContext;
89ef860a24SChandler Carruth }
90ef860a24SChandler Carruth 
91a594fab4SBob Wilson /// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
92a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
93a594fab4SBob Wilson LLVMContext::InlineAsmDiagHandlerTy
94a594fab4SBob Wilson LLVMContext::getInlineAsmDiagnosticHandler() const {
95a594fab4SBob Wilson   return pImpl->InlineAsmDiagHandler;
96ef860a24SChandler Carruth }
97ef860a24SChandler Carruth 
98a594fab4SBob Wilson /// getInlineAsmDiagnosticContext - Return the diagnostic context set by
99a594fab4SBob Wilson /// setInlineAsmDiagnosticHandler.
100a594fab4SBob Wilson void *LLVMContext::getInlineAsmDiagnosticContext() const {
101a594fab4SBob Wilson   return pImpl->InlineAsmDiagContext;
102ef860a24SChandler Carruth }
103ef860a24SChandler Carruth 
104b4c44d23SQuentin Colombet void LLVMContext::setDiagnosticHandler(DiagnosticHandlerTy DiagnosticHandler,
105b4c44d23SQuentin Colombet                                        void *DiagnosticContext) {
106b4c44d23SQuentin Colombet   pImpl->DiagnosticHandler = DiagnosticHandler;
107b4c44d23SQuentin Colombet   pImpl->DiagnosticContext = DiagnosticContext;
108b4c44d23SQuentin Colombet }
109b4c44d23SQuentin Colombet 
110b4c44d23SQuentin Colombet LLVMContext::DiagnosticHandlerTy LLVMContext::getDiagnosticHandler() const {
111b4c44d23SQuentin Colombet   return pImpl->DiagnosticHandler;
112b4c44d23SQuentin Colombet }
113b4c44d23SQuentin Colombet 
114b4c44d23SQuentin Colombet void *LLVMContext::getDiagnosticContext() const {
115b4c44d23SQuentin Colombet   return pImpl->DiagnosticContext;
116b4c44d23SQuentin Colombet }
117b4c44d23SQuentin Colombet 
118ef860a24SChandler Carruth void LLVMContext::emitError(const Twine &ErrorStr) {
119dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(ErrorStr));
120ef860a24SChandler Carruth }
121ef860a24SChandler Carruth 
122bfb44ef9SBob Wilson void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
123dec8d55bSQuentin Colombet   assert (I && "Invalid instruction");
124dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
125ef860a24SChandler Carruth }
126ef860a24SChandler Carruth 
127b4c44d23SQuentin Colombet void LLVMContext::diagnose(const DiagnosticInfo &DI) {
128b4c44d23SQuentin Colombet   // If there is a report handler, use it.
129b4c44d23SQuentin Colombet   if (pImpl->DiagnosticHandler != 0) {
130b4c44d23SQuentin Colombet     pImpl->DiagnosticHandler(DI, pImpl->DiagnosticContext);
131b4c44d23SQuentin Colombet     return;
132b4c44d23SQuentin Colombet   }
133b4c44d23SQuentin Colombet   // Otherwise, print the message with a prefix based on the severity.
134b4c44d23SQuentin Colombet   std::string MsgStorage;
135b4c44d23SQuentin Colombet   raw_string_ostream Stream(MsgStorage);
136b4c44d23SQuentin Colombet   DiagnosticPrinterRawOStream DP(Stream);
137b4c44d23SQuentin Colombet   DI.print(DP);
138b4c44d23SQuentin Colombet   Stream.flush();
139b4c44d23SQuentin Colombet   switch (DI.getSeverity()) {
140b4c44d23SQuentin Colombet   case DS_Error:
141b4c44d23SQuentin Colombet     errs() << "error: " << MsgStorage << "\n";
142b4c44d23SQuentin Colombet     exit(1);
143b4c44d23SQuentin Colombet   case DS_Warning:
144b4c44d23SQuentin Colombet     errs() << "warning: " << MsgStorage << "\n";
145b4c44d23SQuentin Colombet     break;
146e8d4c9a2STobias Grosser   case DS_Remark:
147e8d4c9a2STobias Grosser     errs() << "remark: " << MsgStorage << "\n";
148e8d4c9a2STobias Grosser     break;
149b4c44d23SQuentin Colombet   case DS_Note:
150b4c44d23SQuentin Colombet     errs() << "note: " << MsgStorage << "\n";
151b4c44d23SQuentin Colombet     break;
152b4c44d23SQuentin Colombet   }
153b4c44d23SQuentin Colombet }
154b4c44d23SQuentin Colombet 
155ef860a24SChandler Carruth void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
156dec8d55bSQuentin Colombet   diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
157ef860a24SChandler Carruth }
158ef860a24SChandler Carruth 
159a9298b22SDiego Novillo void LLVMContext::emitOptimizationRemark(const char *PassName,
160a9298b22SDiego Novillo                                          const Function &Fn,
161a9298b22SDiego Novillo                                          const DebugLoc &DLoc,
162a9298b22SDiego Novillo                                          const Twine &Msg) {
163*c6574c1aSDiego Novillo   if (pImpl->optimizationRemarksEnabledFor(PassName))
164a9298b22SDiego Novillo     diagnose(DiagnosticInfoOptimizationRemark(PassName, Fn, DLoc, Msg));
165a9298b22SDiego Novillo }
166a9298b22SDiego Novillo 
167ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
168ef860a24SChandler Carruth // Metadata Kind Uniquing
169ef860a24SChandler Carruth //===----------------------------------------------------------------------===//
170ef860a24SChandler Carruth 
171ef860a24SChandler Carruth #ifndef NDEBUG
172ef860a24SChandler Carruth /// isValidName - Return true if Name is a valid custom metadata handler name.
173ef860a24SChandler Carruth static bool isValidName(StringRef MDName) {
174ef860a24SChandler Carruth   if (MDName.empty())
175ef860a24SChandler Carruth     return false;
176ef860a24SChandler Carruth 
17783c74e9fSGuy Benyei   if (!std::isalpha(static_cast<unsigned char>(MDName[0])))
178ef860a24SChandler Carruth     return false;
179ef860a24SChandler Carruth 
180ef860a24SChandler Carruth   for (StringRef::iterator I = MDName.begin() + 1, E = MDName.end(); I != E;
181ef860a24SChandler Carruth        ++I) {
18283c74e9fSGuy Benyei     if (!std::isalnum(static_cast<unsigned char>(*I)) && *I != '_' &&
18383c74e9fSGuy Benyei         *I != '-' && *I != '.')
184ef860a24SChandler Carruth       return false;
185ef860a24SChandler Carruth   }
186ef860a24SChandler Carruth   return true;
187ef860a24SChandler Carruth }
188ef860a24SChandler Carruth #endif
189ef860a24SChandler Carruth 
190ef860a24SChandler Carruth /// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
191ef860a24SChandler Carruth unsigned LLVMContext::getMDKindID(StringRef Name) const {
192ef860a24SChandler Carruth   assert(isValidName(Name) && "Invalid MDNode name");
193ef860a24SChandler Carruth 
194ef860a24SChandler Carruth   // If this is new, assign it its ID.
195ef860a24SChandler Carruth   return
196ef860a24SChandler Carruth     pImpl->CustomMDKindNames.GetOrCreateValue(
197ef860a24SChandler Carruth       Name, pImpl->CustomMDKindNames.size()).second;
198ef860a24SChandler Carruth }
199ef860a24SChandler Carruth 
200ef860a24SChandler Carruth /// getHandlerNames - Populate client supplied smallvector using custome
201ef860a24SChandler Carruth /// metadata name and ID.
202ef860a24SChandler Carruth void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
203ef860a24SChandler Carruth   Names.resize(pImpl->CustomMDKindNames.size());
204ef860a24SChandler Carruth   for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
205ef860a24SChandler Carruth        E = pImpl->CustomMDKindNames.end(); I != E; ++I)
206ef860a24SChandler Carruth     Names[I->second] = I->first();
207ef860a24SChandler Carruth }
208