diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-06-20 12:38:15 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2024-06-20 12:41:21 +0200 |
| commit | 6012de2b4ec24826574fe9f2d74c7d2ff2b52f23 (patch) | |
| tree | a18572d3a84fc54c09402fc01d76cea190c3a923 /llvm/lib/CodeGen/MachineBasicBlock.cpp | |
| parent | 105a9f347ac6f59484d29798ac3d116c57080759 (diff) | |
| download | llvm-6012de2b4ec24826574fe9f2d74c7d2ff2b52f23.zip llvm-6012de2b4ec24826574fe9f2d74c7d2ff2b52f23.tar.gz llvm-6012de2b4ec24826574fe9f2d74c7d2ff2b52f23.tar.bz2 | |
[ValueTracking] Support gep nuw in isKnownNonZero()
gep nuw can be null if and only if both the base pointer and offset
are null. Unlike the inbounds case this does not depend on whether
the null pointer is valid.
Proofs: https://alive2.llvm.org/ce/z/PLoqK5
Diffstat (limited to 'llvm/lib/CodeGen/MachineBasicBlock.cpp')
0 files changed, 0 insertions, 0 deletions