LLVM 22.0.0git
LLVMContext.cpp
Go to the documentation of this file.
1//===-- LLVMContext.cpp - Implement LLVMContext ---------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements LLVMContext, as a wrapper around the opaque
10// class LLVMContextImpl.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/IR/LLVMContext.h"
15#include "LLVMContextImpl.h"
17#include "llvm/ADT/StringMap.h"
18#include "llvm/ADT/StringRef.h"
19#include "llvm/ADT/Twine.h"
27#include <cassert>
28#include <cstdlib>
29#include <string>
30#include <utility>
31
32using namespace llvm;
33
34static StringRef knownBundleName(unsigned BundleTagID) {
35 switch (BundleTagID) {
37 return "deopt";
39 return "funclet";
41 return "gc-transition";
43 return "cfguardtarget";
45 return "preallocated";
47 return "gc-live";
49 return "clang.arc.attachedcall";
51 return "ptrauth";
53 return "kcfi";
55 return "convergencectrl";
57 return "align";
58 default:
59 llvm_unreachable("unknown bundle id");
60 }
61
62 llvm_unreachable("covered switch");
63}
64
66 // Create the fixed metadata kinds. This is done in the same order as the
67 // MD_* enum values so that they correspond.
68 std::pair<unsigned, StringRef> MDKinds[] = {
69#define LLVM_FIXED_MD_KIND(EnumID, Name, Value) {EnumID, Name},
70#include "llvm/IR/FixedMetadataKinds.def"
71#undef LLVM_FIXED_MD_KIND
72 };
73
74 for (auto &MDKind : MDKinds) {
75 unsigned ID = getMDKindID(MDKind.second);
76 assert(ID == MDKind.first && "metadata kind id drifted");
77 (void)ID;
78 }
79
80 for (unsigned BundleTagID = LLVMContext::OB_deopt;
81 BundleTagID <= LLVMContext::OB_LastBundleID; ++BundleTagID) {
82 [[maybe_unused]] const auto *Entry =
83 pImpl->getOrInsertBundleTag(knownBundleName(BundleTagID));
84 assert(Entry->second == BundleTagID && "operand bundle id drifted!");
85 }
86
87 SyncScope::ID SingleThreadSSID =
88 pImpl->getOrInsertSyncScopeID("singlethread");
89 assert(SingleThreadSSID == SyncScope::SingleThread &&
90 "singlethread synchronization scope ID drifted!");
91 (void)SingleThreadSSID;
92
93 SyncScope::ID SystemSSID =
94 pImpl->getOrInsertSyncScopeID("");
95 assert(SystemSSID == SyncScope::System &&
96 "system synchronization scope ID drifted!");
97 (void)SystemSSID;
98}
99
101
102void LLVMContext::addModule(Module *M) {
104}
105
106void LLVMContext::removeModule(Module *M) {
108 pImpl->MachineFunctionNums.erase(M);
109}
110
112 Module *M = F.getParent();
113 assert(pImpl->OwnedModules.contains(M) && "Unexpected module!");
114 return pImpl->MachineFunctionNums[M]++;
115}
116
117//===----------------------------------------------------------------------===//
118// Recoverable Backend Errors
119//===----------------------------------------------------------------------===//
120
123 void *DiagnosticContext, bool RespectFilters) {
124 pImpl->DiagHandler->DiagHandlerCallback = DiagnosticHandler;
125 pImpl->DiagHandler->DiagnosticContext = DiagnosticContext;
126 pImpl->RespectDiagnosticFilters = RespectFilters;
127}
128
129void LLVMContext::setDiagnosticHandler(std::unique_ptr<DiagnosticHandler> &&DH,
130 bool RespectFilters) {
131 pImpl->DiagHandler = std::move(DH);
132 pImpl->RespectDiagnosticFilters = RespectFilters;
133}
134
136 pImpl->DiagnosticsHotnessRequested = Requested;
137}
139 return pImpl->DiagnosticsHotnessRequested;
140}
141
142void LLVMContext::setDiagnosticsHotnessThreshold(std::optional<uint64_t> Threshold) {
143 pImpl->DiagnosticsHotnessThreshold = Threshold;
144}
146 pImpl->MisExpectWarningRequested = Requested;
147}
149 return pImpl->MisExpectWarningRequested;
150}
152 return pImpl->DiagnosticsHotnessThreshold.value_or(UINT64_MAX);
153}
155 std::optional<uint32_t> Tolerance) {
156 pImpl->DiagnosticsMisExpectTolerance = Tolerance;
157}
159 return pImpl->DiagnosticsMisExpectTolerance.value_or(0);
160}
161
163 return !pImpl->DiagnosticsHotnessThreshold.has_value();
164}
165
167 return pImpl->MainRemarkStreamer.get();
168}
173 std::unique_ptr<remarks::RemarkStreamer> RemarkStreamer) {
174 pImpl->MainRemarkStreamer = std::move(RemarkStreamer);
175}
176
181 return const_cast<LLVMContext *>(this)->getLLVMRemarkStreamer();
182}
184 std::unique_ptr<LLVMRemarkStreamer> RemarkStreamer) {
185 pImpl->LLVMRS = std::move(RemarkStreamer);
186}
187
190 return pImpl->DiagHandler->DiagHandlerCallback;
191}
192
194 return pImpl->DiagHandler->DiagnosticContext;
195}
196
197void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
198{
199 pImpl->YieldCallback = Callback;
200 pImpl->YieldOpaqueHandle = OpaqueHandle;
201}
202
204 if (pImpl->YieldCallback)
205 pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
206}
207
208void LLVMContext::emitError(const Twine &ErrorStr) {
210}
211
212void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
213 assert(I && "Invalid instruction");
214 diagnose(DiagnosticInfoGeneric(I, ErrorStr));
215}
216
217static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
218 // Optimization remarks are selective. They need to check whether the regexp
219 // pattern, passed via one of the -pass-remarks* flags, matches the name of
220 // the pass that is emitting the diagnostic. If there is no match, ignore the
221 // diagnostic and return.
222 //
223 // Also noisy remarks are only enabled if we have hotness information to sort
224 // them.
226 return Remark->isEnabled() &&
227 (!Remark->isVerbose() || Remark->getHotness());
228
229 return true;
230}
231
232const char *
234 switch (Severity) {
235 case DS_Error:
236 return "error";
237 case DS_Warning:
238 return "warning";
239 case DS_Remark:
240 return "remark";
241 case DS_Note:
242 return "note";
243 }
244 llvm_unreachable("Unknown DiagnosticSeverity");
245}
246
248 if (auto *OptDiagBase = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
250 RS->emit(*OptDiagBase);
251
252 // If there is a report handler, use it.
253 if (pImpl->DiagHandler) {
254 if (DI.getSeverity() == DS_Error)
255 pImpl->DiagHandler->HasErrors = true;
256 if ((!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI)) &&
257 pImpl->DiagHandler->handleDiagnostics(DI))
258 return;
259 }
260
261 if (!isDiagnosticEnabled(DI))
262 return;
263
264 // Otherwise, print the message with a prefix based on the severity.
267 DI.print(DP);
268 errs() << "\n";
269 if (DI.getSeverity() == DS_Error)
270 exit(1);
271}
272
273//===----------------------------------------------------------------------===//
274// Metadata Kind Uniquing
275//===----------------------------------------------------------------------===//
276
277/// Return a unique non-zero ID for the specified metadata kind.
279 // If this is new, assign it its ID.
280 return pImpl->CustomMDKindNames.insert(
281 std::make_pair(
282 Name, pImpl->CustomMDKindNames.size()))
283 .first->second;
284}
285
286/// getHandlerNames - Populate client-supplied smallvector using custom
287/// metadata name and ID.
289 Names.resize(pImpl->CustomMDKindNames.size());
290 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
291 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
292 Names[I->second] = I->first();
293}
294
296 pImpl->getOperandBundleTags(Tags);
297}
298
301 return pImpl->getOrInsertBundleTag(TagName);
302}
303
305 return pImpl->getOperandBundleTagID(Tag);
306}
307
309 return pImpl->getOrInsertSyncScopeID(SSN);
310}
311
313 pImpl->getSyncScopeNames(SSNs);
314}
315
316std::optional<StringRef> LLVMContext::getSyncScopeName(SyncScope::ID Id) const {
317 return pImpl->getSyncScopeName(Id);
318}
319
320void LLVMContext::setGC(const Function &Fn, std::string GCName) {
321 pImpl->GCNames[&Fn] = std::move(GCName);
322}
323
324const std::string &LLVMContext::getGC(const Function &Fn) {
325 return pImpl->GCNames[&Fn];
326}
327
329 pImpl->GCNames.erase(&Fn);
330}
331
333 return pImpl->DiscardValueNames;
334}
335
336bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
337
339 if (pImpl->DITypeMap)
340 return;
341
342 pImpl->DITypeMap.emplace();
343}
344
346
348 pImpl->DiscardValueNames = Discard;
349}
350
352 return pImpl->getOptPassGate();
353}
354
356 pImpl->setOptPassGate(OPG);
357}
358
360 return pImpl->DiagHandler.get();
361}
362
363std::unique_ptr<DiagnosticHandler> LLVMContext::getDiagnosticHandler() {
364 return std::move(pImpl->DiagHandler);
365}
366
368 return pImpl->DefaultTargetCPU;
369}
370
372 pImpl->DefaultTargetCPU = CPU;
373}
374
376 return pImpl->DefaultTargetFeatures;
377}
378
380 pImpl->DefaultTargetFeatures = Features;
381}
382
384 pImpl->NextAtomGroup = std::max(pImpl->NextAtomGroup, V);
385}
386
388 return pImpl->NextAtomGroup++;
389}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file defines the StringMap class.
static bool isDiagnosticEnabled(const DiagnosticInfo &DI)
static StringRef knownBundleName(unsigned BundleTagID)
#define F(x, y, z)
Definition MD5.cpp:55
#define I(x, y, z)
Definition MD5.cpp:58
This file defines the SmallVector class.
This is the base abstract class for diagnostic reporting in the backend.
DiagnosticSeverity getSeverity() const
virtual void print(DiagnosticPrinter &DP) const =0
Print using the given DP a user-friendly message.
Basic diagnostic printer that uses an underlying raw_ostream.
SmallPtrSet< Module *, 4 > OwnedModules
OwnedModules - The set of modules instantiated in this context, and which will be automatically delet...
DenseMap< Module *, unsigned > MachineFunctionNums
MachineFunctionNums - Keep the next available unique number available for a MachineFunction in given ...
LLVM_ABI uint64_t incNextDILocationAtomGroup()
Key Instructions: get the next free atom group number and increment the global tracker.
LLVM_ABI void setMisExpectWarningRequested(bool Requested)
LLVM_ABI std::optional< StringRef > getSyncScopeName(SyncScope::ID Id) const
getSyncScopeName - Returns the name of a SyncScope::ID registered with LLVMContext,...
LLVM_ABI remarks::RemarkStreamer * getMainRemarkStreamer()
The "main remark streamer" used by all the specialized remark streamers.
LLVM_ABI uint32_t getOperandBundleTagID(StringRef Tag) const
getOperandBundleTagID - Maps a bundle tag to an integer ID.
friend class Module
LLVM_ABI void disableDebugTypeODRUniquing()
LLVM_ABI void setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
Registers a yield callback with the given context.
LLVM_ABI void deleteGC(const Function &Fn)
Remove the GC for a function.
LLVM_ABI const std::string & getGC(const Function &Fn)
Return the GC for a function.
LLVM_ABI DiagnosticHandler::DiagnosticHandlerTy getDiagnosticHandlerCallBack() const
getDiagnosticHandlerCallBack - Return the diagnostic handler call back set by setDiagnosticHandlerCal...
LLVM_ABI void setLLVMRemarkStreamer(std::unique_ptr< LLVMRemarkStreamer > RemarkStreamer)
LLVM_ABI unsigned getMDKindID(StringRef Name) const
getMDKindID - Return a unique non-zero ID for the specified metadata kind.
LLVM_ABI void emitError(const Instruction *I, const Twine &ErrorStr)
emitError - Emit an error message to the currently installed error handler with optional location inf...
static LLVM_ABI const char * getDiagnosticMessagePrefix(DiagnosticSeverity Severity)
Get the prefix that should be printed in front of a diagnostic of the given Severity.
LLVM_ABI void enableDebugTypeODRUniquing()
LLVM_ABI ~LLVMContext()
LLVM_ABI std::unique_ptr< DiagnosticHandler > getDiagnosticHandler()
getDiagnosticHandler - transfers ownership of DiagnosticHandler unique_ptr to caller.
LLVM_ABI void setDefaultTargetCPU(StringRef CPU)
LLVM_ABI LLVMContext()
LLVM_ABI bool getDiagnosticsHotnessRequested() const
Return if a code hotness metric should be included in optimization diagnostics.
LLVM_ABI bool getMisExpectWarningRequested() const
LLVM_ABI void yield()
Calls the yield callback (if applicable).
LLVM_ABI void setDiagnosticsHotnessThreshold(std::optional< uint64_t > Threshold)
Set the minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
LLVM_ABI void setMainRemarkStreamer(std::unique_ptr< remarks::RemarkStreamer > MainRemarkStreamer)
LLVM_ABI bool isDiagnosticsHotnessThresholdSetFromPSI() const
Return if hotness threshold is requested from PSI.
LLVM_ABI void setOptPassGate(OptPassGate &)
Set the object which can disable optional passes and individual optimizations at compile time.
LLVM_ABI StringMapEntry< uint32_t > * getOrInsertBundleTag(StringRef TagName) const
getOrInsertBundleTag - Returns the Tag to use for an operand bundle of name TagName.
LLVM_ABI void setDiagnosticsHotnessRequested(bool Requested)
Set if a code hotness metric should be included in optimization diagnostics.
LLVM_ABI void setGC(const Function &Fn, std::string GCName)
Define the GC for a function.
LLVM_ABI bool shouldDiscardValueNames() const
Return true if the Context runtime configuration is set to discard all value names.
void(*)(LLVMContext *Context, void *OpaqueHandle) YieldCallbackTy
Defines the type of a yield callback.
LLVM_ABI bool isODRUniquingDebugTypes() const
Whether there is a string map for uniquing debug info identifiers across the context.
LLVM_ABI unsigned generateMachineFunctionNum(Function &)
generateMachineFunctionNum - Get a unique number for MachineFunction that associated with the given F...
LLVM_ABI StringRef getDefaultTargetFeatures()
Similar to {get,set}DefaultTargetCPU() but for default target-features.
LLVM_ABI void setDiagnosticsMisExpectTolerance(std::optional< uint32_t > Tolerance)
LLVMContextImpl *const pImpl
Definition LLVMContext.h:70
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
LLVM_ABI void getOperandBundleTags(SmallVectorImpl< StringRef > &Result) const
getOperandBundleTags - Populate client supplied SmallVector with the bundle tags registered in this L...
LLVM_ABI void setDiagnosticHandlerCallBack(DiagnosticHandler::DiagnosticHandlerTy DiagHandler, void *DiagContext=nullptr, bool RespectFilters=false)
setDiagnosticHandlerCallBack - This method sets a handler call back that is invoked when the backend ...
LLVM_ABI void setDiscardValueNames(bool Discard)
Set the Context runtime configuration to discard all value name (but GlobalValue).
LLVM_ABI StringRef getDefaultTargetCPU()
Get or set the current "default" target CPU (target-cpu function attribute).
LLVM_ABI void getMDKindNames(SmallVectorImpl< StringRef > &Result) const
getMDKindNames - Populate client supplied SmallVector with the name for custom metadata IDs registere...
LLVM_ABI void * getDiagnosticContext() const
getDiagnosticContext - Return the diagnostic context set by setDiagnosticContext.
LLVM_ABI void updateDILocationAtomGroupWaterline(uint64_t G)
Key Instructions: update the highest number atom group emitted for any function.
LLVM_ABI SyncScope::ID getOrInsertSyncScopeID(StringRef SSN)
getOrInsertSyncScopeID - Maps synchronization scope name to synchronization scope ID.
LLVM_ABI uint64_t getDiagnosticsHotnessThreshold() const
Return the minimum hotness value a diagnostic would need in order to be included in optimization diag...
LLVM_ABI void setDefaultTargetFeatures(StringRef Features)
LLVM_ABI const DiagnosticHandler * getDiagHandlerPtr() const
getDiagHandlerPtr - Returns const raw pointer of DiagnosticHandler set by setDiagnosticHandler.
LLVM_ABI void setDiagnosticHandler(std::unique_ptr< DiagnosticHandler > &&DH, bool RespectFilters=false)
setDiagnosticHandler - This method sets unique_ptr to object of DiagnosticHandler to provide custom d...
LLVM_ABI OptPassGate & getOptPassGate() const
Access the object which can disable optional passes and individual optimizations at compile time.
LLVM_ABI LLVMRemarkStreamer * getLLVMRemarkStreamer()
The "LLVM remark streamer" used by LLVM to serialize remark diagnostics comming from IR and MIR passe...
LLVM_ABI void getSyncScopeNames(SmallVectorImpl< StringRef > &SSNs) const
getSyncScopeNames - Populates client supplied SmallVector with synchronization scope names registered...
LLVM_ABI uint32_t getDiagnosticsMisExpectTolerance() const
Streamer for LLVM remarks which has logic for dealing with DiagnosticInfo objects.
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
Extensions to this class implement mechanisms to disable passes and individual optimizations at compi...
Definition OptBisect.h:26
bool erase(PtrType Ptr)
Remove pointer from the set.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void resize(size_type N)
StringMapEntry - This is used to represent one value that is inserted into a StringMap.
StringMapIterBase< ValueTy, true > const_iterator
Definition StringMap.h:220
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
#define UINT64_MAX
Definition DataTypes.h:77
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ SingleThread
Synchronized with respect to signal handlers executing in the same thread.
Definition LLVMContext.h:55
@ System
Synchronized with respect to all concurrently executing threads.
Definition LLVMContext.h:58
This is an optimization pass for GlobalISel generic memory operations.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:649
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
DiagnosticSeverity
Defines the different supported severity of a diagnostic.
This is the base class for diagnostic handling in LLVM.
void(*)(const DiagnosticInfo *DI, void *Context) DiagnosticHandlerTy