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. 129*c620761cSCraig Topper if (pImpl->DiagnosticHandler) { 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) { 163c6574c1aSDiego 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