LLVM 24.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 <string>
29#include <utility>
30
31using namespace llvm;
32
33static StringRef knownBundleName(unsigned BundleTagID) {
34 switch (BundleTagID) {
35#define ATTR(Name, Str) \
36 case LLVMContext::OB_##Name: \
37 return #Str;
38#include "llvm/IR/BundleAttributes.def"
40 return "deopt";
42 return "funclet";
44 return "gc-transition";
46 return "cfguardtarget";
48 return "preallocated";
50 return "gc-live";
52 return "clang.arc.attachedcall";
54 return "ptrauth";
56 return "kcfi";
58 return "convergencectrl";
60 return "deactivation-symbol";
61 default:
62 llvm_unreachable("unknown bundle id");
63 }
64
65 llvm_unreachable("covered switch");
66}
67
69 // Create the fixed metadata kinds. This is done in the same order as the
70 // MD_* enum values so that they correspond.
71 std::pair<unsigned, StringRef> MDKinds[] = {
72#define LLVM_FIXED_MD_KIND(EnumID, Name, Value) {EnumID, Name},
73#include "llvm/IR/FixedMetadataKinds.def"
74#undef LLVM_FIXED_MD_KIND
75 };
76
77 for (auto &MDKind : MDKinds) {
78 unsigned ID = getMDKindID(MDKind.second);
79 assert(ID == MDKind.first && "metadata kind id drifted");
80 (void)ID;
81 }
82
83 for (unsigned BundleTagID = 0; BundleTagID <= LLVMContext::OB_LastBundleID;
84 ++BundleTagID) {
85 [[maybe_unused]] const auto *Entry =
86 pImpl->getOrInsertBundleTag(knownBundleName(BundleTagID));
87 assert(Entry->second == BundleTagID && "operand bundle id drifted!");
88 }
89
90 SyncScope::ID SingleThreadSSID =
91 pImpl->getOrInsertSyncScopeID("singlethread");
92 assert(SingleThreadSSID == SyncScope::SingleThread &&
93 "singlethread synchronization scope ID drifted!");
94 (void)SingleThreadSSID;
95
96 SyncScope::ID SystemSSID =
97 pImpl->getOrInsertSyncScopeID("");
98 assert(SystemSSID == SyncScope::System &&
99 "system synchronization scope ID drifted!");
100 (void)SystemSSID;
101}
102
104
105void LLVMContext::addModule(Module *M) {
107}
108
109void LLVMContext::removeModule(Module *M) {
111 pImpl->MachineFunctionNums.erase(M);
112}
113
115 Module *M = F.getParent();
116 assert(pImpl->OwnedModules.contains(M) && "Unexpected module!");
117 return pImpl->MachineFunctionNums[M]++;
118}
119
120//===----------------------------------------------------------------------===//
121// Recoverable Backend Errors
122//===----------------------------------------------------------------------===//
123
126 void *DiagnosticContext, bool RespectFilters) {
127 pImpl->DiagHandler->DiagHandlerCallback = DiagnosticHandler;
128 pImpl->DiagHandler->DiagnosticContext = DiagnosticContext;
129 pImpl->RespectDiagnosticFilters = RespectFilters;
130}
131
132void LLVMContext::setDiagnosticHandler(std::unique_ptr<DiagnosticHandler> &&DH,
133 bool RespectFilters) {
134 pImpl->DiagHandler = std::move(DH);
135 pImpl->RespectDiagnosticFilters = RespectFilters;
136}
137
139 pImpl->DiagnosticsHotnessRequested = Requested;
140}
142 return pImpl->DiagnosticsHotnessRequested;
143}
144
145void LLVMContext::setDiagnosticsHotnessThreshold(std::optional<uint64_t> Threshold) {
146 pImpl->DiagnosticsHotnessThreshold = Threshold;
147}
149 pImpl->MisExpectWarningRequested = Requested;
150}
152 return pImpl->MisExpectWarningRequested;
153}
155 return pImpl->DiagnosticsHotnessThreshold.value_or(UINT64_MAX);
156}
158 std::optional<uint32_t> Tolerance) {
159 pImpl->DiagnosticsMisExpectTolerance = Tolerance;
160}
162 return pImpl->DiagnosticsMisExpectTolerance.value_or(0);
163}
164
166 return !pImpl->DiagnosticsHotnessThreshold.has_value();
167}
168
170 return pImpl->MainRemarkStreamer.get();
171}
176 std::unique_ptr<remarks::RemarkStreamer> RemarkStreamer) {
177 pImpl->MainRemarkStreamer = std::move(RemarkStreamer);
178}
179
184 return const_cast<LLVMContext *>(this)->getLLVMRemarkStreamer();
185}
187 std::unique_ptr<LLVMRemarkStreamer> RemarkStreamer) {
188 pImpl->LLVMRS = std::move(RemarkStreamer);
189}
190
193 return pImpl->DiagHandler->DiagHandlerCallback;
194}
195
197 return pImpl->DiagHandler->DiagnosticContext;
198}
199
200void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
201{
202 pImpl->YieldCallback = Callback;
203 pImpl->YieldOpaqueHandle = OpaqueHandle;
204}
205
207 if (pImpl->YieldCallback)
208 pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
209}
210
211void LLVMContext::emitError(const Twine &ErrorStr) {
213}
214
215void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
216 assert(I && "Invalid instruction");
217 diagnose(DiagnosticInfoGeneric(I, ErrorStr));
218}
219
220static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
221 // Optimization remarks are selective. They need to check whether the regexp
222 // pattern, passed via one of the -pass-remarks* flags, matches the name of
223 // the pass that is emitting the diagnostic. If there is no match, ignore the
224 // diagnostic and return.
225 //
226 // Also noisy remarks are only enabled if we have hotness information to sort
227 // them.
229 return Remark->isEnabled() &&
230 (!Remark->isVerbose() || Remark->getHotness());
231
232 return true;
233}
234
235const char *
237 switch (Severity) {
238 case DS_Error:
239 return "error";
240 case DS_Warning:
241 return "warning";
242 case DS_Remark:
243 return "remark";
244 case DS_Note:
245 return "note";
246 }
247 llvm_unreachable("Unknown DiagnosticSeverity");
248}
249
251 if (auto *OptDiagBase = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
253 RS->emit(*OptDiagBase);
254
255 // If there is a report handler, use it.
256 if (pImpl->DiagHandler) {
257 if (DI.getSeverity() == DS_Error)
258 pImpl->DiagHandler->HasErrors = true;
259 if ((!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI)) &&
260 pImpl->DiagHandler->handleDiagnostics(DI))
261 return;
262 }
263
264 if (!isDiagnosticEnabled(DI))
265 return;
266
267 // Otherwise, print the message with a prefix based on the severity.
270 DI.print(DP);
271 errs() << "\n";
272}
273
274//===----------------------------------------------------------------------===//
275// Metadata Kind Uniquing
276//===----------------------------------------------------------------------===//
277
278/// Return a unique non-zero ID for the specified metadata kind.
280 // If this is new, assign it its ID.
281 return pImpl->CustomMDKindNames.insert(
282 std::make_pair(
283 Name, pImpl->CustomMDKindNames.size()))
284 .first->second;
285}
286
287/// getHandlerNames - Populate client-supplied smallvector using custom
288/// metadata name and ID.
290 Names.resize(pImpl->CustomMDKindNames.size());
291 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
292 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
293 Names[I->second] = I->first();
294}
295
297 pImpl->getOperandBundleTags(Tags);
298}
299
302 return pImpl->getOrInsertBundleTag(TagName);
303}
304
306 return pImpl->getOperandBundleTagID(Tag);
307}
308
310 return pImpl->getOrInsertSyncScopeID(SSN);
311}
312
314 pImpl->getSyncScopeNames(SSNs);
315}
316
317std::optional<StringRef> LLVMContext::getSyncScopeName(SyncScope::ID Id) const {
318 return pImpl->getSyncScopeName(Id);
319}
320
321void LLVMContext::setGC(const Function &Fn, std::string GCName) {
322 pImpl->GCNames[&Fn] = std::move(GCName);
323}
324
325const std::string &LLVMContext::getGC(const Function &Fn) {
326 return pImpl->GCNames[&Fn];
327}
328
330 pImpl->GCNames.erase(&Fn);
331}
332
334 return pImpl->DiscardValueNames;
335}
336
337bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
338
340 if (pImpl->DITypeMap)
341 return;
342
343 pImpl->DITypeMap.emplace();
344}
345
347
349 pImpl->DiscardValueNames = Discard;
350}
351
353 return pImpl->getOptPassGate();
354}
355
357 pImpl->setOptPassGate(OPG);
358}
359
361 return pImpl->DiagHandler.get();
362}
363
364std::unique_ptr<DiagnosticHandler> LLVMContext::getDiagnosticHandler() {
365 return std::move(pImpl->DiagHandler);
366}
367
369 return pImpl->DefaultTargetCPU;
370}
371
373 pImpl->DefaultTargetCPU = CPU;
374}
375
377 return pImpl->DefaultTargetFeatures;
378}
379
381 pImpl->DefaultTargetFeatures = Features;
382}
383
385 pImpl->NextAtomGroup = std::max(pImpl->NextAtomGroup, V);
386}
387
389 return pImpl->NextAtomGroup++;
390}
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:54
#define I(x, y, z)
Definition MD5.cpp:57
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:207
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
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.
@ 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:643
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