diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-12-25 18:26:00 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-12-25 18:29:20 +0100 |
| commit | c795dd19265d80e835ea1137f19f73624d7983e4 (patch) | |
| tree | a505a54f2ec032aa55623abf55bff41df257b77d /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | ea399912514eb0a128821b3edc6da52594656ef1 (diff) | |
| download | llvm-c795dd19265d80e835ea1137f19f73624d7983e4.zip llvm-c795dd19265d80e835ea1137f19f73624d7983e4.tar.gz llvm-c795dd19265d80e835ea1137f19f73624d7983e4.tar.bz2 | |
[BasicAA] Pass AC/DT to isKnownNonEqual()
This allows us to handle assumes etc in the recursive
isKnownNonZero() checks.
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index 2dca644..f9275da 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1291,7 +1291,7 @@ AliasResult BasicAAResult::aliasGEP( const VariableGEPIndex &Var1 = DecompGEP1.VarIndices[1]; if (Var0.Scale == -Var1.Scale && Var0.ZExtBits == Var1.ZExtBits && Var0.SExtBits == Var1.SExtBits && VisitedPhiBBs.empty() && - isKnownNonEqual(Var0.V, Var1.V, DL)) + isKnownNonEqual(Var0.V, Var1.V, DL, &AC, /* CxtI */ nullptr, DT)) MinAbsVarIndex = Var0.Scale.abs(); } |