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 BasicBlock;
|
|
|
|
class DebugLoc;
|
|
|
|
class DiagnosticInfo;
|
|
|
|
class Function;
|
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
|
|
|
class Instruction;
|
2014-04-28 18:19:25 +00:00
|
|
|
class LLVMContextImpl;
|
2010-09-08 18:03:32 +00:00
|
|
|
class Module;
|
2014-04-28 18:19:25 +00:00
|
|
|
class Pass;
|
|
|
|
struct PassRunListener;
|
2009-12-29 09:01:33 +00:00
|
|
|
template <typename T> class SmallVectorImpl;
|
2014-04-28 18:19:25 +00:00
|
|
|
class SMDiagnostic;
|
|
|
|
class StringRef;
|
|
|
|
class Twine;
|
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);
|
|
|
|
|
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
|
|
|
|
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
|
|
|
|
2014-04-08 16:42:34 +00:00
|
|
|
/// emitOptimizationRemark - Emit an optimization remark message. \p PassName
|
|
|
|
/// is the name of the pass emitting the message. If -Rpass= is given
|
|
|
|
/// and \p PassName matches the regular expression in -Rpass, then the
|
|
|
|
/// remark will be emitted. \p Fn is the function triggering the remark,
|
|
|
|
/// \p DLoc is the debug location where the diagnostic is generated.
|
|
|
|
/// \p Msg is the message string to use.
|
|
|
|
void emitOptimizationRemark(const char *PassName, const Function &Fn,
|
|
|
|
const DebugLoc &DLoc, const Twine &Msg);
|
|
|
|
|
2014-04-28 18:19:25 +00:00
|
|
|
/// \brief Notify that we finished running a pass.
|
|
|
|
void notifyPassRun(Pass *P, Module *M, Function *F = nullptr,
|
|
|
|
BasicBlock *BB = nullptr);
|
|
|
|
/// \brief Register the given PassRunListener to receive notifyPassRun()
|
|
|
|
/// callbacks whenever a pass ran. The context will take ownership of the
|
|
|
|
/// listener and free it when the context is destroyed.
|
|
|
|
void addRunListener(PassRunListener *L);
|
|
|
|
/// \brief Unregister a PassRunListener so that it no longer receives
|
|
|
|
/// notifyPassRun() callbacks. Remove and free the listener from the context.
|
|
|
|
void removeRunListener(PassRunListener *L);
|
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
|