diff options
author | Shuxin Yang <shuxin.llvm@gmail.com> | 2013-10-23 17:28:19 +0000 |
---|---|---|
committer | Shuxin Yang <shuxin.llvm@gmail.com> | 2013-10-23 17:28:19 +0000 |
commit | 8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd (patch) | |
tree | aa761eb31c1f7c14a3c9e313f4a1d29ea06e066b /lib/IR | |
parent | f39fe46062d2093fc3d7c092bc8c4561b744164c (diff) | |
download | llvm-8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd.tar.gz llvm-8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd.tar.bz2 llvm-8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd.tar.xz |
Use address-taken to disambiguate global variable and indirect memops.
Major steps include:
1). introduces a not-addr-taken bit-field in GlobalVariable
2). GlobalOpt pass sets "not-address-taken" if it proves a global varirable
dosen't have its address taken.
3). AA use this info for disambiguation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193251 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR')
-rw-r--r-- | lib/IR/AsmWriter.cpp | 1 | ||||
-rw-r--r-- | lib/IR/Globals.cpp | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/IR/AsmWriter.cpp b/lib/IR/AsmWriter.cpp index 6e3b853b39..dc337c16a6 100644 --- a/lib/IR/AsmWriter.cpp +++ b/lib/IR/AsmWriter.cpp @@ -1459,6 +1459,7 @@ void AssemblyWriter::printGlobal(const GlobalVariable *GV) { if (GV->hasUnnamedAddr()) Out << "unnamed_addr "; if (GV->isExternallyInitialized()) Out << "externally_initialized "; Out << (GV->isConstant() ? "constant " : "global "); + if (!GV->AddressMaybeTaken()) Out << "notaddrtaken "; TypePrinter.print(GV->getType()->getElementType(), Out); if (GV->hasInitializer()) { diff --git a/lib/IR/Globals.cpp b/lib/IR/Globals.cpp index da3b02a0fa..8c28ec176f 100644 --- a/lib/IR/Globals.cpp +++ b/lib/IR/Globals.cpp @@ -99,6 +99,7 @@ GlobalVariable::GlobalVariable(Type *Ty, bool constant, LinkageTypes Link, } LeakDetector::addGarbageObject(this); + setAddressMaybeTaken(true); } GlobalVariable::GlobalVariable(Module &M, Type *Ty, bool constant, @@ -125,6 +126,7 @@ GlobalVariable::GlobalVariable(Module &M, Type *Ty, bool constant, Before->getParent()->getGlobalList().insert(Before, this); else M.getGlobalList().push_back(this); + setAddressMaybeTaken(true); } void GlobalVariable::setParent(Module *parent) { @@ -185,6 +187,7 @@ void GlobalVariable::copyAttributesFrom(const GlobalValue *Src) { GlobalValue::copyAttributesFrom(Src); const GlobalVariable *SrcVar = cast<GlobalVariable>(Src); setThreadLocal(SrcVar->isThreadLocal()); + setAddressMaybeTaken(SrcVar->AddressMaybeTaken()); } |