mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-09-30 06:19:45 +00:00
Add option for controlling inclusion of global AA.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31040 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@@ -51,6 +51,10 @@ namespace {
|
|||||||
CombinerAA("combiner-alias-analysis", cl::Hidden,
|
CombinerAA("combiner-alias-analysis", cl::Hidden,
|
||||||
cl::desc("Turn on alias analysis during testing"));
|
cl::desc("Turn on alias analysis during testing"));
|
||||||
|
|
||||||
|
static cl::opt<bool>
|
||||||
|
CombinerGlobalAA("combiner-global-alias-analysis", cl::Hidden,
|
||||||
|
cl::desc("Include global information in alias analysis"));
|
||||||
|
|
||||||
//------------------------------ DAGCombiner ---------------------------------//
|
//------------------------------ DAGCombiner ---------------------------------//
|
||||||
|
|
||||||
class VISIBILITY_HIDDEN DAGCombiner {
|
class VISIBILITY_HIDDEN DAGCombiner {
|
||||||
@@ -4036,6 +4040,7 @@ bool DAGCombiner::isAlias(SDOperand Ptr1, int64_t Size1,
|
|||||||
// If we know both bases then they can't alias.
|
// If we know both bases then they can't alias.
|
||||||
if (KnownBase1 && KnownBase2) return false;
|
if (KnownBase1 && KnownBase2) return false;
|
||||||
|
|
||||||
|
if (CombinerGlobalAA) {
|
||||||
// Use alias analysis information.
|
// Use alias analysis information.
|
||||||
int Overlap1 = Size1 + SrcValueOffset1 + Offset1;
|
int Overlap1 = Size1 + SrcValueOffset1 + Offset1;
|
||||||
int Overlap2 = Size2 + SrcValueOffset2 + Offset2;
|
int Overlap2 = Size2 + SrcValueOffset2 + Offset2;
|
||||||
@@ -4043,6 +4048,7 @@ bool DAGCombiner::isAlias(SDOperand Ptr1, int64_t Size1,
|
|||||||
AA.alias(SrcValue1, Overlap1, SrcValue2, Overlap2);
|
AA.alias(SrcValue1, Overlap1, SrcValue2, Overlap2);
|
||||||
if (AAResult == AliasAnalysis::NoAlias)
|
if (AAResult == AliasAnalysis::NoAlias)
|
||||||
return false;
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
// Otherwise we have to assume they alias.
|
// Otherwise we have to assume they alias.
|
||||||
return true;
|
return true;
|
||||||
|
Reference in New Issue
Block a user