diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2025-09-02 21:41:02 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-02 21:41:02 +0800 |
| commit | 89f53af3fffed3e41167fbb7bc10d4885cd97c7f (patch) | |
| tree | 419fad91cc9717e3f87b108c9e3fc9895273da3e /llvm/test/tools/llvm-profdata/merge-traces.proftext | |
| parent | 417bdb6672b891000bfa1ec3613074acf03f2616 (diff) | |
| download | llvm-89f53af3fffed3e41167fbb7bc10d4885cd97c7f.zip llvm-89f53af3fffed3e41167fbb7bc10d4885cd97c7f.tar.gz llvm-89f53af3fffed3e41167fbb7bc10d4885cd97c7f.tar.bz2 | |
[ConstraintElim] Use constraints from bounded memory accesses (#155253)
This patch removes bound checks that are dominated by bounded memory
accesses. For example, if we have an array `int A[5]` and `A[idx]` is
performed successfully, we know that `idx u< 5` after the load.
compile-time impact (+0.1%):
https://llvm-compile-time-tracker.com/compare.php?from=f0e9bba024d44b55d54b02025623ce4a3ba5a37c&to=5227b08a4a514159ec524d1b1ca18ed8ab5407df&stat=instructions%3Au
llvm-opt-benchmark:
https://github.com/dtcxzyw/llvm-opt-benchmark/pull/2709
Proof: https://alive2.llvm.org/ce/z/JEyjA2
Diffstat (limited to 'llvm/test/tools/llvm-profdata/merge-traces.proftext')
0 files changed, 0 insertions, 0 deletions