2009-06-30 00:48:55 +00:00
|
|
|
//===-- llvm/LLVMContext.h - Class for managing "global" state --*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2009-06-30 17:06:46 +00:00
|
|
|
//
|
|
|
|
// This file declares LLVMContext, a container of "global" state in LLVM, such
|
|
|
|
// as the global type and constant uniquing tables.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2009-06-30 00:48:55 +00:00
|
|
|
|
2013-01-10 00:45:19 +00:00
|
|
|
#ifndef LLVM_IR_LLVMCONTEXT_H
|
|
|
|
#define LLVM_IR_LLVMCONTEXT_H
|
2009-06-30 00:48:55 +00:00
|
|
|
|
2014-01-07 11:48:04 +00:00
|
|
|
#include "llvm-c/Core.h"
|
2013-05-01 20:59:00 +00:00
|
|
|
#include "llvm/Support/CBindingWrapping.h"
|
2012-09-17 07:16:40 +00:00
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
|
2009-06-30 00:48:55 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2014-04-28 18:19:25 +00:00
|
|
|
class LLVMContextImpl;
|
|
|
|
class StringRef;
|
|
|
|
class Twine;
|
2014-05-15 17:49:20 +00:00
|
|
|
class Instruction;
|
|
|
|
class Module;
|
|
|
|
class SMDiagnostic;
|
|
|
|
class DiagnosticInfo;
|
|
|
|
template <typename T> class SmallVectorImpl;
|
|
|
|
class Function;
|
|
|
|
class DebugLoc;
|
2009-10-06 17:43:57 +00:00
|
|
|
|
2009-06-30 17:06:46 +00:00
|
|
|
/// This is an important class for using LLVM in a threaded context. It
|
2013-05-24 22:53:06 +00:00
|
|
|
/// (opaquely) owns and manages the core "global" data of LLVM's core
|
2009-06-30 17:06:46 +00:00
|
|
|
/// infrastructure, including the type and constant uniquing tables.
|
|
|
|
/// LLVMContext itself provides no locking guarantees, so you should be careful
|
|
|
|
/// to have one context per thread.
|
2009-08-11 17:45:13 +00:00
|
|
|
class LLVMContext {
|
2010-09-08 18:22:11 +00:00
|
|
|
public:
|
|
|
|
LLVMContextImpl *const pImpl;
|
|
|
|
LLVMContext();
|
|
|
|
~LLVMContext();
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2010-03-30 23:03:27 +00:00
|
|
|
// Pinned metadata names, which always have the same value. This is a
|
|
|
|
// compile-time performance optimization, not a correctness optimization.
|
|
|
|
enum {
|
2010-09-14 21:25:10 +00:00
|
|
|
MD_dbg = 0, // "dbg"
|
2011-07-06 18:22:43 +00:00
|
|
|
MD_tbaa = 1, // "tbaa"
|
2011-10-27 19:19:14 +00:00
|
|
|
MD_prof = 2, // "prof"
|
2012-04-14 12:36:06 +00:00
|
|
|
MD_fpmath = 3, // "fpmath"
|
2012-09-13 17:56:17 +00:00
|
|
|
MD_range = 4, // "range"
|
2013-03-06 17:48:48 +00:00
|
|
|
MD_tbaa_struct = 5, // "tbaa.struct"
|
|
|
|
MD_invariant_load = 6 // "invariant.load"
|
2010-03-30 23:03:27 +00:00
|
|
|
};
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2009-12-29 09:01:33 +00:00
|
|
|
/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
|
|
|
|
/// This ID is uniqued across modules in the current LLVMContext.
|
|
|
|
unsigned getMDKindID(StringRef Name) const;
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2009-12-29 09:01:33 +00:00
|
|
|
/// getMDKindNames - Populate client supplied SmallVector with the name for
|
2010-07-20 21:45:17 +00:00
|
|
|
/// custom metadata IDs registered in this LLVMContext.
|
2009-12-29 09:01:33 +00:00
|
|
|
void getMDKindNames(SmallVectorImpl<StringRef> &Result) const;
|
2013-05-24 22:53:06 +00:00
|
|
|
|
|
|
|
|
2013-02-11 05:37:07 +00:00
|
|
|
typedef void (*InlineAsmDiagHandlerTy)(const SMDiagnostic&, void *Context,
|
|
|
|
unsigned LocCookie);
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2013-12-17 17:47:22 +00:00
|
|
|
/// Defines the type of a diagnostic handler.
|
|
|
|
/// \see LLVMContext::setDiagnosticHandler.
|
|
|
|
/// \see LLVMContext::diagnose.
|
|
|
|
typedef void (*DiagnosticHandlerTy)(const DiagnosticInfo &DI, void *Context);
|
|
|
|
|
2014-05-16 02:33:15 +00:00
|
|
|
/// Defines the type of a yield callback.
|
|
|
|
/// \see LLVMContext::setYieldCallback.
|
|
|
|
typedef void (*YieldCallbackTy)(LLVMContext *Context, void *OpaqueHandle);
|
|
|
|
|
2013-02-11 05:37:07 +00:00
|
|
|
/// setInlineAsmDiagnosticHandler - This method sets a handler that is invoked
|
|
|
|
/// when problems with inline asm are detected by the backend. The first
|
|
|
|
/// argument is a function pointer and the second is a context pointer that
|
|
|
|
/// gets passed into the DiagHandler.
|
2010-04-06 00:44:45 +00:00
|
|
|
///
|
2010-11-17 08:13:01 +00:00
|
|
|
/// LLVMContext doesn't take ownership or interpret either of these
|
2010-04-06 00:44:45 +00:00
|
|
|
/// pointers.
|
2013-02-11 05:37:07 +00:00
|
|
|
void setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
|
2014-04-09 06:08:46 +00:00
|
|
|
void *DiagContext = nullptr);
|
2010-04-06 00:44:45 +00:00
|
|
|
|
2013-02-11 05:37:07 +00:00
|
|
|
/// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
|
|
|
|
/// setInlineAsmDiagnosticHandler.
|
|
|
|
InlineAsmDiagHandlerTy getInlineAsmDiagnosticHandler() const;
|
2010-04-06 00:44:45 +00:00
|
|
|
|
2013-02-11 05:37:07 +00:00
|
|
|
/// getInlineAsmDiagnosticContext - Return the diagnostic context set by
|
|
|
|
/// setInlineAsmDiagnosticHandler.
|
|
|
|
void *getInlineAsmDiagnosticContext() const;
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2013-12-17 17:47:22 +00:00
|
|
|
/// setDiagnosticHandler - This method sets a handler that is invoked
|
|
|
|
/// when the backend needs to report anything to the user. The first
|
|
|
|
/// argument is a function pointer and the second is a context pointer that
|
|
|
|
/// gets passed into the DiagHandler.
|
|
|
|
///
|
|
|
|
/// LLVMContext doesn't take ownership or interpret either of these
|
|
|
|
/// pointers.
|
|
|
|
void setDiagnosticHandler(DiagnosticHandlerTy DiagHandler,
|
2014-04-09 06:08:46 +00:00
|
|
|
void *DiagContext = nullptr);
|
2013-12-17 17:47:22 +00:00
|
|
|
|
|
|
|
/// getDiagnosticHandler - Return the diagnostic handler set by
|
|
|
|
/// setDiagnosticHandler.
|
|
|
|
DiagnosticHandlerTy getDiagnosticHandler() const;
|
|
|
|
|
|
|
|
/// getDiagnosticContext - Return the diagnostic context set by
|
|
|
|
/// setDiagnosticContext.
|
|
|
|
void *getDiagnosticContext() const;
|
|
|
|
|
|
|
|
/// diagnose - Report a message to the currently installed diagnostic handler.
|
|
|
|
/// This function returns, in particular in the case of error reporting
|
|
|
|
/// (DI.Severity == RS_Error), so the caller should leave the compilation
|
|
|
|
/// process in a self-consistent state, even though the generated code
|
|
|
|
/// need not be correct.
|
|
|
|
/// The diagnostic message will be implicitly prefixed with a severity
|
|
|
|
/// keyword according to \p DI.getSeverity(), i.e., "error: "
|
|
|
|
/// for RS_Error, "warning: " for RS_Warning, and "note: " for RS_Note.
|
|
|
|
void diagnose(const DiagnosticInfo &DI);
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2014-05-16 02:33:15 +00:00
|
|
|
/// \brief Registers a yield callback with the given context.
|
|
|
|
///
|
|
|
|
/// The yield callback function may be called by LLVM to transfer control back
|
|
|
|
/// to the client that invoked the LLVM compilation. This can be used to yield
|
|
|
|
/// control of the thread, or perform periodic work needed by the client.
|
|
|
|
/// There is no guaranteed frequency at which callbacks must occur; in fact,
|
|
|
|
/// the client is not guaranteed to ever receive this callback. It is at the
|
|
|
|
/// sole discretion of LLVM to do so and only if it can guarantee that
|
|
|
|
/// suspending the thread won't block any forward progress in other LLVM
|
|
|
|
/// contexts in the same process.
|
|
|
|
///
|
|
|
|
/// At a suspend point, the state of the current LLVM context is intentionally
|
|
|
|
/// undefined. No assumptions about it can or should be made. Only LLVM
|
|
|
|
/// context API calls that explicitly state that they can be used during a
|
|
|
|
/// yield callback are allowed to be used. Any other API calls into the
|
|
|
|
/// context are not supported until the yield callback function returns
|
|
|
|
/// control to LLVM. Other LLVM contexts are unaffected by this restriction.
|
|
|
|
void setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle);
|
|
|
|
|
|
|
|
/// \brief Calls the yield callback (if applicable).
|
|
|
|
///
|
|
|
|
/// This transfers control of the current thread back to the client, which may
|
|
|
|
/// suspend the current thread. Only call this method when LLVM doesn't hold
|
|
|
|
/// any global mutex or cannot block the execution in another LLVM context.
|
|
|
|
void yield();
|
|
|
|
|
introduce a new recoverable error handling API to LLVMContext
and use it in one place in inline asm handling stuff. Before
we'd generate this for an invalid modifier letter:
$ clang asm.c -c -o t.o
fatal error: error in backend: Invalid operand found in inline asm: 'abc incl ${0:Z}'
INLINEASM <es:abc incl ${0:Z}>, 10, %EAX<def>, 2147483657, %EAX, 14, %EFLAGS<earlyclobber,def,dead>, <!-1>
Now we generate this:
$ clang asm.c -c -o t.o
error: invalid operand in inline asm: 'incl ${0:Z}'
asm.c:3:12: note: generated from here
__asm__ ("incl %Z0" : "+r" (X));
^
1 error generated.
This is much better but still admittedly not great ("why" is the operand
invalid??), codegen should try harder with its diagnostics :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100723 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-07 23:40:44 +00:00
|
|
|
/// emitError - Emit an error message to the currently installed error handler
|
|
|
|
/// with optional location information. This function returns, so code should
|
|
|
|
/// be prepared to drop the erroneous construct on the floor and "not crash".
|
|
|
|
/// The generated code need not be correct. The error message will be
|
|
|
|
/// implicitly prefixed with "error: " and should not end with a ".".
|
2012-01-03 23:47:05 +00:00
|
|
|
void emitError(unsigned LocCookie, const Twine &ErrorStr);
|
|
|
|
void emitError(const Instruction *I, const Twine &ErrorStr);
|
|
|
|
void emitError(const Twine &ErrorStr);
|
2010-09-08 18:41:07 +00:00
|
|
|
|
|
|
|
private:
|
2012-09-17 07:16:40 +00:00
|
|
|
LLVMContext(LLVMContext&) LLVM_DELETED_FUNCTION;
|
|
|
|
void operator=(LLVMContext&) LLVM_DELETED_FUNCTION;
|
2010-09-08 18:41:07 +00:00
|
|
|
|
|
|
|
/// addModule - Register a module as being instantiated in this context. If
|
|
|
|
/// the context is deleted, the module will be deleted as well.
|
|
|
|
void addModule(Module*);
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2010-09-08 18:41:07 +00:00
|
|
|
/// removeModule - Unregister a module from this context.
|
|
|
|
void removeModule(Module*);
|
2013-05-24 22:53:06 +00:00
|
|
|
|
2010-09-08 18:41:07 +00:00
|
|
|
// Module needs access to the add/removeModule methods.
|
|
|
|
friend class Module;
|
2009-06-30 00:48:55 +00:00
|
|
|
};
|
|
|
|
|
2009-12-29 09:01:33 +00:00
|
|
|
/// getGlobalContext - Returns a global context. This is for LLVM clients that
|
|
|
|
/// only care about operating on a single thread.
|
|
|
|
extern LLVMContext &getGlobalContext();
|
2009-06-30 23:39:59 +00:00
|
|
|
|
2013-05-01 20:59:00 +00:00
|
|
|
// Create wrappers for C Binding types (see CBindingWrapping.h).
|
|
|
|
DEFINE_SIMPLE_CONVERSION_FUNCTIONS(LLVMContext, LLVMContextRef)
|
|
|
|
|
|
|
|
/* Specialized opaque context conversions.
|
|
|
|
*/
|
|
|
|
inline LLVMContext **unwrap(LLVMContextRef* Tys) {
|
|
|
|
return reinterpret_cast<LLVMContext**>(Tys);
|
|
|
|
}
|
|
|
|
|
|
|
|
inline LLVMContextRef *wrap(const LLVMContext **Tys) {
|
|
|
|
return reinterpret_cast<LLVMContextRef*>(const_cast<LLVMContext**>(Tys));
|
|
|
|
}
|
|
|
|
|
2009-06-30 00:48:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|