diff options
author | Shuxin Yang <shuxin.llvm@gmail.com> | 2013-03-06 17:48:48 +0000 |
---|---|---|
committer | Shuxin Yang <shuxin.llvm@gmail.com> | 2013-03-06 17:48:48 +0000 |
commit | 985dac65791b9f6f631bdd51c18fe66592a67469 (patch) | |
tree | 9265b2aa99cf3753755535652b74ad4683c4bcaf /lib/IR/LLVMContext.cpp | |
parent | 186d8a3d67ccd2b2401c5d7d4e2cc15c4d1fdeae (diff) | |
download | llvm-985dac65791b9f6f631bdd51c18fe66592a67469.tar.gz llvm-985dac65791b9f6f631bdd51c18fe66592a67469.tar.bz2 llvm-985dac65791b9f6f631bdd51c18fe66592a67469.tar.xz |
Memory Dependence Analysis (not mem-dep test) take advantage of "invariant.load" metadata.
The "invariant.load" metadata indicates the memory unit being accessed is immutable.
A load annotated with this metadata can be moved across any store.
As I am not sure if it is legal to move such loads across barrier/fence, this
change dose not allow such transformation.
rdar://11311484
Thank Arnold for code review.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@176562 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR/LLVMContext.cpp')
-rw-r--r-- | lib/IR/LLVMContext.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/IR/LLVMContext.cpp b/lib/IR/LLVMContext.cpp index b73cd03ddd..883bb9878f 100644 --- a/lib/IR/LLVMContext.cpp +++ b/lib/IR/LLVMContext.cpp @@ -58,6 +58,11 @@ LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) { unsigned TBAAStructID = getMDKindID("tbaa.struct"); assert(TBAAStructID == MD_tbaa_struct && "tbaa.struct kind id drifted"); (void)TBAAStructID; + + // Create the 'invariant.load' metadata kind. + unsigned InvariantLdId = getMDKindID("invariant.load"); + assert(InvariantLdId == MD_invariant_load && "invariant.load kind id drifted"); + (void)InvariantLdId; } LLVMContext::~LLVMContext() { delete pImpl; } |