maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Make DAGCombiner's global alias analysis query more precise in the case 

where both pointers have non-zero offsets.

llvm-svn: 41491
This commit is contained in:
Dan Gohman 2007-08-27 16:32:11 +00:00
parent 90064ed445
commit 9625d812c9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
View File

@ -4606,8 +4606,9 @@ bool DAGCombiner::isAlias(SDOperand Ptr1, int64_t Size1,
if (CombinerGlobalAA) { if (CombinerGlobalAA) {
// Use alias analysis information. // Use alias analysis information.
int Overlap1 = Size1 + SrcValueOffset1; int64_t MinOffset = std::min(SrcValueOffset1, SrcValueOffset2);
int Overlap2 = Size2 + SrcValueOffset2; int64_t Overlap1 = Size1 + SrcValueOffset1 - MinOffset;
int64_t Overlap2 = Size2 + SrcValueOffset2 - MinOffset;
AliasAnalysis::AliasResult AAResult = AliasAnalysis::AliasResult AAResult =
AA.alias(SrcValue1, Overlap1, SrcValue2, Overlap2); AA.alias(SrcValue1, Overlap1, SrcValue2, Overlap2);
if (AAResult == AliasAnalysis::NoAlias) if (AAResult == AliasAnalysis::NoAlias)