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.
llvm-svn: 193251
This commit is contained in:
@@ -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);
|
||||
|
||||
Reference in New Issue
Block a user