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