diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-06-23 12:50:27 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-06-29 09:09:17 +0200 |
| commit | 3cd4571405ba9de14072439c23257d9de3a0673b (patch) | |
| tree | d521248a8e985a85c336fb515018a6736ad878ee /lldb/source/Commands/CommandObjectPlatform.cpp | |
| parent | ac1b69b9db5ceaba1d168de47509ab4cf190a93c (diff) | |
| download | llvm-3cd4571405ba9de14072439c23257d9de3a0673b.zip llvm-3cd4571405ba9de14072439c23257d9de3a0673b.tar.gz llvm-3cd4571405ba9de14072439c23257d9de3a0673b.tar.bz2 | |
[SCEV] Make use of non-null pointers for range calculation
We know that certain pointers (e.g. non-extern-weak globals or
allocas in default address space) are not null, in which case the
lowest address they can be allocated at is their alignment.
This allows us to calculate better exit counts for loops that have
an additional null check in the guarding condition
(see alloca_icmp_null_exit_count).
Differential Revision: https://reviews.llvm.org/D153624
Diffstat (limited to 'lldb/source/Commands/CommandObjectPlatform.cpp')
0 files changed, 0 insertions, 0 deletions