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