diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2025-02-01 15:13:11 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-01 15:13:11 +0800 |
| commit | 626c23112fe25c1e327f5b17ad94f805588cec1c (patch) | |
| tree | 08437fec06df1138bf4d0755179c0911380c0626 /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | 83cad6805d144d941bdda99d71a6df2cf113a76d (diff) | |
| download | llvm-626c23112fe25c1e327f5b17ad94f805588cec1c.zip llvm-626c23112fe25c1e327f5b17ad94f805588cec1c.tar.gz llvm-626c23112fe25c1e327f5b17ad94f805588cec1c.tar.bz2 | |
[ValueTracking] Use `SimplifyQuery` in `isKnownNonEqual` (#124942)
It is needed by https://github.com/llvm/llvm-project/pull/117442.
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index b2a3f33..85b8253 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1349,8 +1349,10 @@ AliasResult BasicAAResult::aliasGEP( const VariableGEPIndex &Var1 = DecompGEP1.VarIndices[1]; if (Var0.hasNegatedScaleOf(Var1) && Var0.Val.TruncBits == 0 && Var0.Val.hasSameCastsAs(Var1.Val) && !AAQI.MayBeCrossIteration && - isKnownNonEqual(Var0.Val.V, Var1.Val.V, DL, &AC, /* CxtI */ nullptr, - DT)) + isKnownNonEqual(Var0.Val.V, Var1.Val.V, + SimplifyQuery(DL, DT, &AC, /*CxtI=*/Var0.CxtI + ? Var0.CxtI + : Var1.CxtI))) MinAbsVarIndex = Var0.Scale.abs(); } |