Improve the accuracy of memdep for determining the dependencies of loads.
This brings GVN to parity with GCSE+LoadVN. llvm-svn: 40882
This commit is contained in:
parent
a010822b45
commit
4898513d96
|
@ -275,8 +275,14 @@ Instruction* MemoryDependenceAnalysis::getDependency(Instruction* query,
|
||||||
pointerSize = ~0UL;
|
pointerSize = ~0UL;
|
||||||
} else if (CallSite::get(QI).getInstruction() != 0) {
|
} else if (CallSite::get(QI).getInstruction() != 0) {
|
||||||
// Call insts need special handling. Check is they can modify our pointer
|
// Call insts need special handling. Check is they can modify our pointer
|
||||||
if (AA.getModRefInfo(CallSite::get(QI), dependee, dependeeSize) !=
|
AliasAnalysis::ModRefResult MR = AA.getModRefInfo(CallSite::get(QI),
|
||||||
AliasAnalysis::NoModRef) {
|
dependee, dependeeSize);
|
||||||
|
|
||||||
|
if (MR != AliasAnalysis::NoModRef) {
|
||||||
|
// Loads don't depend on read-only calls
|
||||||
|
if (isa<LoadInst>(query) && MR == AliasAnalysis::Ref)
|
||||||
|
continue;
|
||||||
|
|
||||||
if (!start || block) {
|
if (!start || block) {
|
||||||
depGraphLocal.insert(std::make_pair(query, std::make_pair(QI, true)));
|
depGraphLocal.insert(std::make_pair(query, std::make_pair(QI, true)));
|
||||||
reverseDep.insert(std::make_pair(QI, query));
|
reverseDep.insert(std::make_pair(QI, query));
|
||||||
|
@ -294,6 +300,11 @@ Instruction* MemoryDependenceAnalysis::getDependency(Instruction* query,
|
||||||
dependee, dependeeSize);
|
dependee, dependeeSize);
|
||||||
|
|
||||||
if (R != AliasAnalysis::NoAlias) {
|
if (R != AliasAnalysis::NoAlias) {
|
||||||
|
// May-alias loads don't depend on each other
|
||||||
|
if (isa<LoadInst>(query) && isa<LoadInst>(QI) &&
|
||||||
|
R == AliasAnalysis::MayAlias)
|
||||||
|
continue;
|
||||||
|
|
||||||
if (!start || block) {
|
if (!start || block) {
|
||||||
depGraphLocal.insert(std::make_pair(query, std::make_pair(QI, true)));
|
depGraphLocal.insert(std::make_pair(query, std::make_pair(QI, true)));
|
||||||
reverseDep.insert(std::make_pair(QI, query));
|
reverseDep.insert(std::make_pair(QI, query));
|
||||||
|
|
Loading…
Reference in New Issue