[PATCH] D71177: [ValueTracking] Use the assumption that if the pointer was loaded/stored, then it is nonnull.
Johannes Doerfert via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Dec 8 22:08:19 PST 2019
jdoerfert added a comment.
This seems correct.
"Similar" functionality will be introduced into the Attributor with D68934 <https://reviews.llvm.org/D68934> (I also copied the new tests). However, that should not stop this from going forward.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D71177/new/
https://reviews.llvm.org/D71177
More information about the llvm-commits
mailing list