These tests cases were converted using the script at
https://gist.github.com/nikic/98357b71fd67756b0f064c9517b62a34,
but there was also a need to re-run update_test_checks.py (impacting
nonnull/dereferencable attributes).
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
LGTM
but there was also a need to re-run update_test_checks.py (impacting nonnull/dereferencable attributes).
I looked into this, and it's quite embarrassing: isKnownNonZero() does not support bitcast and GEP constant expressions: https://github.com/llvm/llvm-project/blob/main/llvm/lib/Analysis/ValueTracking.cpp#L2484-L2492
While the bitcast case is no longer relevant, we should probably add const expr GEP support.