diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-12-25 11:43:08 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-12-25 12:58:19 +0100 |
| commit | a3614a31c46a41b76fd6a6c6b30b353bc4131b94 (patch) | |
| tree | c84ac47ca0ae04fa831f899827853c91b8867489 /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | b96a6ea0a94e45ede46f534c6b5319f4ffb9d986 (diff) | |
| download | llvm-a3614a31c46a41b76fd6a6c6b30b353bc4131b94.zip llvm-a3614a31c46a41b76fd6a6c6b30b353bc4131b94.tar.gz llvm-a3614a31c46a41b76fd6a6c6b30b353bc4131b94.tar.bz2 | |
[BasicAA] Pass context instruction to isKnownNonZero()
This allows us to handle additional cases like assumes.
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 4a30e07..2dca644 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1280,7 +1280,7 @@ AliasResult BasicAAResult::aliasGEP( if (DecompGEP1.VarIndices.size() == 1) { // VarIndex = Scale*V. If V != 0 then abs(VarIndex) >= abs(Scale). const VariableGEPIndex &Var = DecompGEP1.VarIndices[0]; - if (isKnownNonZero(Var.V, DL)) + if (isKnownNonZero(Var.V, DL, 0, &AC, Var.CxtI, DT)) MinAbsVarIndex = Var.Scale.abs(); } else if (DecompGEP1.VarIndices.size() == 2) { // VarIndex = Scale*V0 + (-Scale)*V1. |