llvm-project
6012de2b - [ValueTracking] Support gep nuw in isKnownNonZero()

Commit
1 year ago
[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
Author
Committer
Parents
Loading