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
This commit is contained in:
Shuxin Yang
2013-10-23 17:28:19 +00:00
parent f39fe46062
commit 8e3851a6eb
18 changed files with 72 additions and 11 deletions

View File

@ -1848,6 +1848,9 @@ bool BitcodeReader::ParseModule(bool Resume) {
new GlobalVariable(*TheModule, Ty, isConstant, Linkage, 0, "", 0,
TLM, AddressSpace, ExternallyInitialized);
NewGV->setAlignment(Alignment);
if (Record.size() > 10)
NewGV->setAddressMaybeTaken(Record[10]);
if (!Section.empty())
NewGV->setSection(Section);
NewGV->setVisibility(Visibility);

View File

@ -616,11 +616,13 @@ static void WriteModuleInfo(const Module *M, const ValueEnumerator &VE,
Vals.push_back(GV->hasSection() ? SectionMap[GV->getSection()] : 0);
if (GV->isThreadLocal() ||
GV->getVisibility() != GlobalValue::DefaultVisibility ||
GV->hasUnnamedAddr() || GV->isExternallyInitialized()) {
GV->hasUnnamedAddr() || GV->isExternallyInitialized() ||
!GV->AddressMaybeTaken()) {
Vals.push_back(getEncodedVisibility(GV));
Vals.push_back(getEncodedThreadLocalMode(GV));
Vals.push_back(GV->hasUnnamedAddr());
Vals.push_back(GV->isExternallyInitialized());
Vals.push_back(GV->AddressMaybeTaken());
} else {
AbbrevToUse = SimpleGVarAbbrev;
}