xref: /llvm-project/llvm/include/llvm/IR/LLVMContext.h (revision ea632e1b34e1878b977f8adc406a89e91aa98b7e)
1 //===- llvm/LLVMContext.h - Class for managing "global" state ---*- C++ -*-===//
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 declares LLVMContext, a container of "global" state in LLVM, such
10 // as the global type and constant uniquing tables.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_IR_LLVMCONTEXT_H
15 #define LLVM_IR_LLVMCONTEXT_H
16 
17 #include "llvm-c/Types.h"
18 #include "llvm/IR/DiagnosticHandler.h"
19 #include "llvm/Support/CBindingWrapping.h"
20 #include <cstdint>
21 #include <memory>
22 #include <optional>
23 #include <string>
24 
25 namespace llvm {
26 
27 class DiagnosticInfo;
28 enum DiagnosticSeverity : char;
29 class Function;
30 class Instruction;
31 class LLVMContextImpl;
32 class Module;
33 class OptPassGate;
34 template <typename T> class SmallVectorImpl;
35 template <typename T> class StringMapEntry;
36 class StringRef;
37 class Twine;
38 class LLVMRemarkStreamer;
39 
40 namespace remarks {
41 class RemarkStreamer;
42 }
43 
44 namespace SyncScope {
45 
46 typedef uint8_t ID;
47 
48 /// Known synchronization scope IDs, which always have the same value.  All
49 /// synchronization scope IDs that LLVM has special knowledge of are listed
50 /// here.  Additionally, this scheme allows LLVM to efficiently check for
51 /// specific synchronization scope ID without comparing strings.
52 enum {
53   /// Synchronized with respect to signal handlers executing in the same thread.
54   SingleThread = 0,
55 
56   /// Synchronized with respect to all concurrently executing threads.
57   System = 1
58 };
59 
60 } // end namespace SyncScope
61 
62 /// This is an important class for using LLVM in a threaded context.  It
63 /// (opaquely) owns and manages the core "global" data of LLVM's core
64 /// infrastructure, including the type and constant uniquing tables.
65 /// LLVMContext itself provides no locking guarantees, so you should be careful
66 /// to have one context per thread.
67 class LLVMContext {
68 public:
69   LLVMContextImpl *const pImpl;
70   LLVMContext();
71   LLVMContext(const LLVMContext &) = delete;
72   LLVMContext &operator=(const LLVMContext &) = delete;
73   ~LLVMContext();
74 
75   // Pinned metadata names, which always have the same value.  This is a
76   // compile-time performance optimization, not a correctness optimization.
77   enum : unsigned {
78 #define LLVM_FIXED_MD_KIND(EnumID, Name, Value) EnumID = Value,
79 #include "llvm/IR/FixedMetadataKinds.def"
80 #undef LLVM_FIXED_MD_KIND
81   };
82 
83   /// Known operand bundle tag IDs, which always have the same value.  All
84   /// operand bundle tags that LLVM has special knowledge of are listed here.
85   /// Additionally, this scheme allows LLVM to efficiently check for specific
86   /// operand bundle tags without comparing strings. Keep this in sync with
87   /// LLVMContext::LLVMContext().
88   enum : unsigned {
89     OB_deopt = 0,                  // "deopt"
90     OB_funclet = 1,                // "funclet"
91     OB_gc_transition = 2,          // "gc-transition"
92     OB_cfguardtarget = 3,          // "cfguardtarget"
93     OB_preallocated = 4,           // "preallocated"
94     OB_gc_live = 5,                // "gc-live"
95     OB_clang_arc_attachedcall = 6, // "clang.arc.attachedcall"
96     OB_ptrauth = 7,                // "ptrauth"
97     OB_kcfi = 8,                   // "kcfi"
98     OB_convergencectrl = 9,        // "convergencectrl"
99   };
100 
101   /// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
102   /// This ID is uniqued across modules in the current LLVMContext.
103   unsigned getMDKindID(StringRef Name) const;
104 
105   /// getMDKindNames - Populate client supplied SmallVector with the name for
106   /// custom metadata IDs registered in this LLVMContext.
107   void getMDKindNames(SmallVectorImpl<StringRef> &Result) const;
108 
109   /// getOperandBundleTags - Populate client supplied SmallVector with the
110   /// bundle tags registered in this LLVMContext.  The bundle tags are ordered
111   /// by increasing bundle IDs.
112   /// \see LLVMContext::getOperandBundleTagID
113   void getOperandBundleTags(SmallVectorImpl<StringRef> &Result) const;
114 
115   /// getOrInsertBundleTag - Returns the Tag to use for an operand bundle of
116   /// name TagName.
117   StringMapEntry<uint32_t> *getOrInsertBundleTag(StringRef TagName) const;
118 
119   /// getOperandBundleTagID - Maps a bundle tag to an integer ID.  Every bundle
120   /// tag registered with an LLVMContext has an unique ID.
121   uint32_t getOperandBundleTagID(StringRef Tag) const;
122 
123   /// getOrInsertSyncScopeID - Maps synchronization scope name to
124   /// synchronization scope ID.  Every synchronization scope registered with
125   /// LLVMContext has unique ID except pre-defined ones.
126   SyncScope::ID getOrInsertSyncScopeID(StringRef SSN);
127 
128   /// getSyncScopeNames - Populates client supplied SmallVector with
129   /// synchronization scope names registered with LLVMContext.  Synchronization
130   /// scope names are ordered by increasing synchronization scope IDs.
131   void getSyncScopeNames(SmallVectorImpl<StringRef> &SSNs) const;
132 
133   /// getSyncScopeName - Returns the name of a SyncScope::ID
134   /// registered with LLVMContext, if any.
135   std::optional<StringRef> getSyncScopeName(SyncScope::ID Id) const;
136 
137   /// Define the GC for a function
138   void setGC(const Function &Fn, std::string GCName);
139 
140   /// Return the GC for a function
141   const std::string &getGC(const Function &Fn);
142 
143   /// Remove the GC for a function
144   void deleteGC(const Function &Fn);
145 
146   /// Return true if the Context runtime configuration is set to discard all
147   /// value names. When true, only GlobalValue names will be available in the
148   /// IR.
149   bool shouldDiscardValueNames() const;
150 
151   /// Set the Context runtime configuration to discard all value name (but
152   /// GlobalValue). Clients can use this flag to save memory and runtime,
153   /// especially in release mode.
154   void setDiscardValueNames(bool Discard);
155 
156   /// Whether there is a string map for uniquing debug info
157   /// identifiers across the context.  Off by default.
158   bool isODRUniquingDebugTypes() const;
159   void enableDebugTypeODRUniquing();
160   void disableDebugTypeODRUniquing();
161 
162   /// generateMachineFunctionNum - Get a unique number for MachineFunction
163   /// that associated with the given Function.
164   unsigned generateMachineFunctionNum(Function &);
165 
166   /// Defines the type of a yield callback.
167   /// \see LLVMContext::setYieldCallback.
168   using YieldCallbackTy = void (*)(LLVMContext *Context, void *OpaqueHandle);
169 
170   /// setDiagnosticHandlerCallBack - This method sets a handler call back
171   /// that is invoked when the backend needs to report anything to the user.
172   /// The first argument is a function pointer and the second is a context pointer
173   /// that gets passed into the DiagHandler.  The third argument should be set to
174   /// true if the handler only expects enabled diagnostics.
175   ///
176   /// LLVMContext doesn't take ownership or interpret either of these
177   /// pointers.
178   void setDiagnosticHandlerCallBack(
179       DiagnosticHandler::DiagnosticHandlerTy DiagHandler,
180       void *DiagContext = nullptr, bool RespectFilters = false);
181 
182   /// setDiagnosticHandler - This method sets unique_ptr to object of
183   /// DiagnosticHandler to provide custom diagnostic handling. The first
184   /// argument is unique_ptr of object of type DiagnosticHandler or a derived
185   /// of that. The second argument should be set to true if the handler only
186   /// expects enabled diagnostics.
187   ///
188   /// Ownership of this pointer is moved to LLVMContextImpl.
189   void setDiagnosticHandler(std::unique_ptr<DiagnosticHandler> &&DH,
190                             bool RespectFilters = false);
191 
192   /// getDiagnosticHandlerCallBack - Return the diagnostic handler call back set by
193   /// setDiagnosticHandlerCallBack.
194   DiagnosticHandler::DiagnosticHandlerTy getDiagnosticHandlerCallBack() const;
195 
196   /// getDiagnosticContext - Return the diagnostic context set by
197   /// setDiagnosticContext.
198   void *getDiagnosticContext() const;
199 
200   /// getDiagHandlerPtr - Returns const raw pointer of DiagnosticHandler set by
201   /// setDiagnosticHandler.
202   const DiagnosticHandler *getDiagHandlerPtr() const;
203 
204   /// getDiagnosticHandler - transfers ownership of DiagnosticHandler unique_ptr
205   /// to caller.
206   std::unique_ptr<DiagnosticHandler> getDiagnosticHandler();
207 
208   /// Return if a code hotness metric should be included in optimization
209   /// diagnostics.
210   bool getDiagnosticsHotnessRequested() const;
211   /// Set if a code hotness metric should be included in optimization
212   /// diagnostics.
213   void setDiagnosticsHotnessRequested(bool Requested);
214 
215   bool getMisExpectWarningRequested() const;
216   void setMisExpectWarningRequested(bool Requested);
217   void setDiagnosticsMisExpectTolerance(std::optional<uint32_t> Tolerance);
218   uint32_t getDiagnosticsMisExpectTolerance() const;
219 
220   /// Return the minimum hotness value a diagnostic would need in order
221   /// to be included in optimization diagnostics.
222   ///
223   /// Three possible return values:
224   /// 0            - threshold is disabled. Everything will be printed out.
225   /// positive int - threshold is set.
226   /// UINT64_MAX   - threshold is not yet set, and needs to be synced from
227   ///                profile summary. Note that in case of missing profile
228   ///                summary, threshold will be kept at "MAX", effectively
229   ///                suppresses all remarks output.
230   uint64_t getDiagnosticsHotnessThreshold() const;
231 
232   /// Set the minimum hotness value a diagnostic needs in order to be
233   /// included in optimization diagnostics.
234   void setDiagnosticsHotnessThreshold(std::optional<uint64_t> Threshold);
235 
236   /// Return if hotness threshold is requested from PSI.
237   bool isDiagnosticsHotnessThresholdSetFromPSI() const;
238 
239   /// The "main remark streamer" used by all the specialized remark streamers.
240   /// This streamer keeps generic remark metadata in memory throughout the life
241   /// of the LLVMContext. This metadata may be emitted in a section in object
242   /// files depending on the format requirements.
243   ///
244   /// All specialized remark streamers should convert remarks to
245   /// llvm::remarks::Remark and emit them through this streamer.
246   remarks::RemarkStreamer *getMainRemarkStreamer();
247   const remarks::RemarkStreamer *getMainRemarkStreamer() const;
248   void setMainRemarkStreamer(
249       std::unique_ptr<remarks::RemarkStreamer> MainRemarkStreamer);
250 
251   /// The "LLVM remark streamer" used by LLVM to serialize remark diagnostics
252   /// comming from IR and MIR passes.
253   ///
254   /// If it does not exist, diagnostics are not saved in a file but only emitted
255   /// via the diagnostic handler.
256   LLVMRemarkStreamer *getLLVMRemarkStreamer();
257   const LLVMRemarkStreamer *getLLVMRemarkStreamer() const;
258   void
259   setLLVMRemarkStreamer(std::unique_ptr<LLVMRemarkStreamer> RemarkStreamer);
260 
261   /// Get the prefix that should be printed in front of a diagnostic of
262   ///        the given \p Severity
263   static const char *getDiagnosticMessagePrefix(DiagnosticSeverity Severity);
264 
265   /// Report a message to the currently installed diagnostic handler.
266   ///
267   /// This function returns, in particular in the case of error reporting
268   /// (DI.Severity == \a DS_Error), so the caller should leave the compilation
269   /// process in a self-consistent state, even though the generated code
270   /// need not be correct.
271   ///
272   /// The diagnostic message will be implicitly prefixed with a severity keyword
273   /// according to \p DI.getSeverity(), i.e., "error: " for \a DS_Error,
274   /// "warning: " for \a DS_Warning, and "note: " for \a DS_Note.
275   void diagnose(const DiagnosticInfo &DI);
276 
277   /// Registers a yield callback with the given context.
278   ///
279   /// The yield callback function may be called by LLVM to transfer control back
280   /// to the client that invoked the LLVM compilation. This can be used to yield
281   /// control of the thread, or perform periodic work needed by the client.
282   /// There is no guaranteed frequency at which callbacks must occur; in fact,
283   /// the client is not guaranteed to ever receive this callback. It is at the
284   /// sole discretion of LLVM to do so and only if it can guarantee that
285   /// suspending the thread won't block any forward progress in other LLVM
286   /// contexts in the same process.
287   ///
288   /// At a suspend point, the state of the current LLVM context is intentionally
289   /// undefined. No assumptions about it can or should be made. Only LLVM
290   /// context API calls that explicitly state that they can be used during a
291   /// yield callback are allowed to be used. Any other API calls into the
292   /// context are not supported until the yield callback function returns
293   /// control to LLVM. Other LLVM contexts are unaffected by this restriction.
294   void setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle);
295 
296   /// Calls the yield callback (if applicable).
297   ///
298   /// This transfers control of the current thread back to the client, which may
299   /// suspend the current thread. Only call this method when LLVM doesn't hold
300   /// any global mutex or cannot block the execution in another LLVM context.
301   void yield();
302 
303   /// emitError - Emit an error message to the currently installed error handler
304   /// with optional location information.  This function returns, so code should
305   /// be prepared to drop the erroneous construct on the floor and "not crash".
306   /// The generated code need not be correct.  The error message will be
307   /// implicitly prefixed with "error: " and should not end with a ".".
308   void emitError(const Instruction *I, const Twine &ErrorStr);
309   void emitError(const Twine &ErrorStr);
310 
311   /// Access the object which can disable optional passes and individual
312   /// optimizations at compile time.
313   OptPassGate &getOptPassGate() const;
314 
315   /// Set the object which can disable optional passes and individual
316   /// optimizations at compile time.
317   ///
318   /// The lifetime of the object must be guaranteed to extend as long as the
319   /// LLVMContext is used by compilation.
320   void setOptPassGate(OptPassGate&);
321 
322   /// Get or set the current "default" target CPU (target-cpu function
323   /// attribute). The intent is that compiler frontends will set this to a value
324   /// that reflects the attribute that a function would get "by default" without
325   /// any specific function attributes, and compiler passes will attach the
326   /// attribute to newly created functions that are not associated with a
327   /// particular function, such as global initializers.
328   /// Function::createWithDefaultAttr() will create functions with this
329   /// attribute. This function should only be called by passes that run at
330   /// compile time and not by the backend or LTO passes.
331   StringRef getDefaultTargetCPU();
332   void setDefaultTargetCPU(StringRef CPU);
333 
334   /// Similar to {get,set}DefaultTargetCPU() but for default target-features.
335   StringRef getDefaultTargetFeatures();
336   void setDefaultTargetFeatures(StringRef Features);
337 
338 private:
339   // Module needs access to the add/removeModule methods.
340   friend class Module;
341 
342   /// addModule - Register a module as being instantiated in this context.  If
343   /// the context is deleted, the module will be deleted as well.
344   void addModule(Module*);
345 
346   /// removeModule - Unregister a module from this context.
347   void removeModule(Module *);
348 };
349 
350 // Create wrappers for C Binding types (see CBindingWrapping.h).
351 DEFINE_SIMPLE_CONVERSION_FUNCTIONS(LLVMContext, LLVMContextRef)
352 
353 /* Specialized opaque context conversions.
354  */
355 inline LLVMContext **unwrap(LLVMContextRef* Tys) {
356   return reinterpret_cast<LLVMContext**>(Tys);
357 }
358 
359 inline LLVMContextRef *wrap(const LLVMContext **Tys) {
360   return reinterpret_cast<LLVMContextRef*>(const_cast<LLVMContext**>(Tys));
361 }
362 
363 } // end namespace llvm
364 
365 #endif // LLVM_IR_LLVMCONTEXT_H
366