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";
59 return "deactivation-symbol";
60 default:
61 llvm_unreachable("unknown bundle id");
62 }
63
64 llvm_unreachable("covered switch");
65}
66
68 // Create the fixed metadata kinds. This is done in the same order as the
69 // MD_* enum values so that they correspond.
70 std::pair<unsigned, StringRef> MDKinds[] = {
71#define LLVM_FIXED_MD_KIND(EnumID, Name, Value) {EnumID, Name},
72#include "llvm/IR/FixedMetadataKinds.def"
73#undef LLVM_FIXED_MD_KIND
74 };
75
76 for (auto &MDKind : MDKinds) {
77 unsigned ID = getMDKindID(MDKind.second);
78 assert(ID == MDKind.first && "metadata kind id drifted");
79 (void)ID;
80 }
81
82 for (unsigned BundleTagID = LLVMContext::OB_deopt;
83 BundleTagID <= LLVMContext::OB_LastBundleID; ++BundleTagID) {
84 [[maybe_unused]] const auto *Entry =
85 pImpl->getOrInsertBundleTag(knownBundleName(BundleTagID));
86 assert(Entry->second == BundleTagID && "operand bundle id drifted!");
87 }
88
89 SyncScope::ID SingleThreadSSID =
90 pImpl->getOrInsertSyncScopeID("singlethread");
91 assert(SingleThreadSSID == SyncScope::SingleThread &&
92 "singlethread synchronization scope ID drifted!");
93 (void)SingleThreadSSID;
94
95 SyncScope::ID SystemSSID =
96 pImpl->getOrInsertSyncScopeID("");
97 assert(SystemSSID == SyncScope::System &&
98 "system synchronization scope ID drifted!");
99 (void)SystemSSID;
100}
101
103
104void LLVMContext::addModule(Module *M) {
106}
107
108void LLVMContext::removeModule(Module *M) {
110 pImpl->MachineFunctionNums.erase(M);
111}
112
114 Module *M = F.getParent();
115 assert(pImpl->OwnedModules.contains(M) && "Unexpected module!");
116 return pImpl->MachineFunctionNums[M]++;
117}
118
119//===----------------------------------------------------------------------===//
120// Recoverable Backend Errors
121//===----------------------------------------------------------------------===//
122
125 void *DiagnosticContext, bool RespectFilters) {
126 pImpl->DiagHandler->DiagHandlerCallback = DiagnosticHandler;
127 pImpl->DiagHandler->DiagnosticContext = DiagnosticContext;
128 pImpl->RespectDiagnosticFilters = RespectFilters;
129}
130
131void LLVMContext::setDiagnosticHandler(std::unique_ptr<DiagnosticHandler> &&DH,
132 bool RespectFilters) {
133 pImpl->DiagHandler = std::move(DH);
134 pImpl->RespectDiagnosticFilters = RespectFilters;
135}
136
138 pImpl->DiagnosticsHotnessRequested = Requested;
139}
141 return pImpl->DiagnosticsHotnessRequested;
142}
143
144void LLVMContext::setDiagnosticsHotnessThreshold(std::optional<uint64_t> Threshold) {
145 pImpl->DiagnosticsHotnessThreshold = Threshold;
146}
148 pImpl->MisExpectWarningRequested = Requested;
149}
151 return pImpl->MisExpectWarningRequested;
152}
154 return pImpl->DiagnosticsHotnessThreshold.value_or(UINT64_MAX);
155}
157 std::optional<uint32_t> Tolerance) {
158 pImpl->DiagnosticsMisExpectTolerance = Tolerance;
159}
161 return pImpl->DiagnosticsMisExpectTolerance.value_or(0);
162}
163
165 return !pImpl->DiagnosticsHotnessThreshold.has_value();
166}
167
169 return pImpl->MainRemarkStreamer.get();
170}
175 std::unique_ptr<remarks::RemarkStreamer> RemarkStreamer) {
176 pImpl->MainRemarkStreamer = std::move(RemarkStreamer);
177}
178
183 return const_cast<LLVMContext *>(this)->getLLVMRemarkStreamer();
184}
186 std::unique_ptr<LLVMRemarkStreamer> RemarkStreamer) {
187 pImpl->LLVMRS = std::move(RemarkStreamer);
188}
189
192 return pImpl->DiagHandler->DiagHandlerCallback;
193}
194
196 return pImpl->DiagHandler->DiagnosticContext;
197}
198
199void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
200{
201 pImpl->YieldCallback = Callback;
202 pImpl->YieldOpaqueHandle = OpaqueHandle;
203}
204
206 if (pImpl->YieldCallback)
207 pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
208}
209
210void LLVMContext::emitError(const Twine &ErrorStr) {
212}
213
214void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
215 assert(I && "Invalid instruction");
216 diagnose(DiagnosticInfoGeneric(I, ErrorStr));
217}
218
219static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
220 // Optimization remarks are selective. They need to check whether the regexp
221 // pattern, passed via one of the -pass-remarks* flags, matches the name of
222 // the pass that is emitting the diagnostic. If there is no match, ignore the
223 // diagnostic and return.
224 //
225 // Also noisy remarks are only enabled if we have hotness information to sort
226 // them.
228 return Remark->isEnabled() &&
229 (!Remark->isVerbose() || Remark->getHotness());
230
231 return true;
232}
233
234const char *
236 switch (Severity) {
237 case DS_Error:
238 return "error";
239 case DS_Warning:
240 return "warning";
241 case DS_Remark:
242 return "remark";
243 case DS_Note:
244 return "note";
245 }
246 llvm_unreachable("Unknown DiagnosticSeverity");
247}
248
250 if (auto *OptDiagBase = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
252 RS->emit(*OptDiagBase);
253
254 // If there is a report handler, use it.
255 if (pImpl->DiagHandler) {
256 if (DI.getSeverity() == DS_Error)
257 pImpl->DiagHandler->HasErrors = true;
258 if ((!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI)) &&
259 pImpl->DiagHandler->handleDiagnostics(DI))
260 return;
261 }
262
263 if (!isDiagnosticEnabled(DI))
264 return;
265
266 // Otherwise, print the message with a prefix based on the severity.
269 DI.print(DP);
270 errs() << "\n";
271 if (DI.getSeverity() == DS_Error)
272 exit(1);
273}
274
275//===----------------------------------------------------------------------===//
276// Metadata Kind Uniquing
277//===----------------------------------------------------------------------===//
278
279/// Return a unique non-zero ID for the specified metadata kind.
281 // If this is new, assign it its ID.
282 return pImpl->CustomMDKindNames.insert(
283 std::make_pair(
284 Name, pImpl->CustomMDKindNames.size()))
285 .first->second;
286}
287
288/// getHandlerNames - Populate client-supplied smallvector using custom
289/// metadata name and ID.
291 Names.resize(pImpl->CustomMDKindNames.size());
292 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
293 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
294 Names[I->second] = I->first();
295}
296
298 pImpl->getOperandBundleTags(Tags);
299}
300
303 return pImpl->getOrInsertBundleTag(TagName);
304}
305
307 return pImpl->getOperandBundleTagID(Tag);
308}
309
311 return pImpl->getOrInsertSyncScopeID(SSN);
312}
313
315 pImpl->getSyncScopeNames(SSNs);
316}
317
318std::optional<StringRef> LLVMContext::getSyncScopeName(SyncScope::ID Id) const {
319 return pImpl->getSyncScopeName(Id);
320}
321
322void LLVMContext::setGC(const Function &Fn, std::string GCName) {
323 pImpl->GCNames[&Fn] = std::move(GCName);
324}
325
326const std::string &LLVMContext::getGC(const Function &Fn) {
327 return pImpl->GCNames[&Fn];
328}
329
331 pImpl->GCNames.erase(&Fn);
332}
333
335 return pImpl->DiscardValueNames;
336}
337
338bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
339
341 if (pImpl->DITypeMap)
342 return;
343
344 pImpl->DITypeMap.emplace();
345}
346
348
350 pImpl->DiscardValueNames = Discard;
351}
352
354 return pImpl->getOptPassGate();
355}
356
358 pImpl->setOptPassGate(OPG);
359}
360
362 return pImpl->DiagHandler.get();
363}
364
365std::unique_ptr<DiagnosticHandler> LLVMContext::getDiagnosticHandler() {
366 return std::move(pImpl->DiagHandler);
367}
368
370 return pImpl->DefaultTargetCPU;
371}
372
374 pImpl->DefaultTargetCPU = CPU;
375}
376
378 return pImpl->DefaultTargetFeatures;
379}
380
382 pImpl->DefaultTargetFeatures = Features;
383}
384
386 pImpl->NextAtomGroup = std::max(pImpl->NextAtomGroup, V);
387}
388
390 return pImpl->NextAtomGroup++;
391}
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: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: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