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