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"
|
2014-10-15 21:54:35 +00:00
|
|
|
#include "llvm/Support/Options.h"
|
2012-09-17 07:16:40 +00:00
|
|
|
|
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"
|
Add scoped-noalias metadata
This commit adds scoped noalias metadata. The primary motivations for this
feature are:
1. To preserve noalias function attribute information when inlining
2. To provide the ability to model block-scope C99 restrict pointers
Neither of these two abilities are added here, only the necessary
infrastructure. In fact, there should be no change to existing functionality,
only the addition of new features. The logic that converts noalias function
parameters into this metadata during inlining will come in a follow-up commit.
What is added here is the ability to generally specify noalias memory-access
sets. Regarding the metadata, alias-analysis scopes are defined similar to TBAA
nodes:
!scope0 = metadata !{ metadata !"scope of foo()" }
!scope1 = metadata !{ metadata !"scope 1", metadata !scope0 }
!scope2 = metadata !{ metadata !"scope 2", metadata !scope0 }
!scope3 = metadata !{ metadata !"scope 2.1", metadata !scope2 }
!scope4 = metadata !{ metadata !"scope 2.2", metadata !scope2 }
Loads and stores can be tagged with an alias-analysis scope, and also, with a
noalias tag for a specific scope:
... = load %ptr1, !alias.scope !{ !scope1 }
... = load %ptr2, !alias.scope !{ !scope1, !scope2 }, !noalias !{ !scope1 }
When evaluating an aliasing query, if one of the instructions is associated
with an alias.scope id that is identical to the noalias scope associated with
the other instruction, or is a descendant (in the scope hierarchy) of the
noalias scope associated with the other instruction, then the two memory
accesses are assumed not to alias.
Note that is the first element of the scope metadata is a string, then it can
be combined accross functions and translation units. The string can be replaced
by a self-reference to create globally unqiue scope identifiers.
[Note: This overview is slightly stylized, since the metadata nodes really need
to just be numbers (!0 instead of !scope0), and the scope lists are also global
unnamed metadata.]
Existing noalias metadata in a callee is "cloned" for use by the inlined code.
This is necessary because the aliasing scopes are unique to each call site
(because of possible control dependencies on the aliasing properties). For
example, consider a function: foo(noalias a, noalias b) { *a = *b; } that gets
inlined into bar() { ... if (...) foo(a1, b1); ... if (...) foo(a2, b2); } --
now just because we know that a1 does not alias with b1 at the first call site,
and a2 does not alias with b2 at the second call site, we cannot let inlining
these functons have the metadata imply that a1 does not alias with b2.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213864 91177308-0d34-0410-b5e6-96231b3b80d8
2014-07-24 14:25:39 +00:00
|
|
|
MD_invariant_load = 6, // "invariant.load"
|
|
|
|
MD_alias_scope = 7, // "alias.scope"
|
2014-10-21 00:13:20 +00:00
|
|
|
MD_noalias = 8, // "noalias",
|
|
|
|
MD_nontemporal = 9, // "nontemporal"
|
|
|
|
MD_mem_parallel_loop_access = 10, // "llvm.mem.parallel_loop_access"
|
2015-05-19 20:10:19 +00:00
|
|
|
MD_nonnull = 11, // "nonnull"
|
|
|
|
MD_dereferenceable = 12, // "dereferenceable"
|
|
|
|
MD_dereferenceable_or_null = 13 // "dereferenceable_or_null"
|
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
|
2014-10-01 18:36:03 +00:00
|
|
|
/// gets passed into the DiagHandler. The third argument should be set to
|
|
|
|
/// true if the handler only expects enabled diagnostics.
|
2013-12-17 17:47:22 +00:00
|
|
|
///
|
|
|
|
/// LLVMContext doesn't take ownership or interpret either of these
|
|
|
|
/// pointers.
|
|
|
|
void setDiagnosticHandler(DiagnosticHandlerTy DiagHandler,
|
2014-10-01 18:36:03 +00:00
|
|
|
void *DiagContext = nullptr,
|
|
|
|
bool RespectFilters = false);
|
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;
|
|
|
|
|
2014-08-04 21:49:15 +00:00
|
|
|
/// \brief Report a message to the currently installed diagnostic handler.
|
|
|
|
///
|
2013-12-17 17:47:22 +00:00
|
|
|
/// This function returns, in particular in the case of error reporting
|
2014-08-04 21:49:15 +00:00
|
|
|
/// (DI.Severity == \a DS_Error), so the caller should leave the compilation
|
2013-12-17 17:47:22 +00:00
|
|
|
/// process in a self-consistent state, even though the generated code
|
|
|
|
/// need not be correct.
|
2014-08-04 21:49:15 +00:00
|
|
|
///
|
|
|
|
/// The diagnostic message will be implicitly prefixed with a severity keyword
|
|
|
|
/// according to \p DI.getSeverity(), i.e., "error: " for \a DS_Error,
|
|
|
|
/// "warning: " for \a DS_Warning, and "note: " for \a DS_Note.
|
2013-12-17 17:47:22 +00:00
|
|
|
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
|
|
|
|
2014-10-15 21:54:35 +00:00
|
|
|
/// \brief Query for a debug option's value.
|
|
|
|
///
|
|
|
|
/// This function returns typed data populated from command line parsing.
|
|
|
|
template <typename ValT, typename Base, ValT(Base::*Mem)>
|
|
|
|
ValT getOption() const {
|
|
|
|
return OptionRegistry::instance().template get<ValT, Base, Mem>();
|
|
|
|
}
|
|
|
|
|
2010-09-08 18:41:07 +00:00
|
|
|
private:
|
2015-02-15 22:54:22 +00:00
|
|
|
LLVMContext(LLVMContext&) = delete;
|
|
|
|
void operator=(LLVMContext&) = delete;
|
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
|