diff options
| author | Florian Hahn <flo@fhahn.com> | 2023-11-21 10:09:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-21 10:09:35 +0000 |
| commit | 4ccdab363618afbfd6958c4351c5a9ab3e37dcc8 (patch) | |
| tree | 871b095160c3c31547ee6fc316a99d7a06454284 /llvm/lib/CodeGen/MachineSink.cpp | |
| parent | c77d79b6fe6aa55ef50a3b828581068a21dce71d (diff) | |
| download | llvm-4ccdab363618afbfd6958c4351c5a9ab3e37dcc8.zip llvm-4ccdab363618afbfd6958c4351c5a9ab3e37dcc8.tar.gz llvm-4ccdab363618afbfd6958c4351c5a9ab3e37dcc8.tar.bz2 | |
[ConstraintElim] Use isKnownNonNegative for condition transfer. (#72879)
Use isKnownNonNegative for information transfer. This can improve
results, in cases where ValueTracking can infer additional non-negative
info, e.g. for phi nodes.
This allows simplifying the check from
https://github.com/llvm/llvm-project/issues/63126 by
ConstraintElimination. It is also simplified by IndVarSimplify now; note
the changes in llvm/test/Transforms/PhaseOrdering/loop-access-checks.ll,
due to this now being simplified earlier.
Diffstat (limited to 'llvm/lib/CodeGen/MachineSink.cpp')
0 files changed, 0 insertions, 0 deletions