[PATCH] D71799: [Attributor] AAUndefinedBehavior: Check for branches on undef value.
Hideto Ueno via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Dec 26 23:57:16 PST 2019
uenoku added a comment.
In D71799#1796829 <https://reviews.llvm.org/D71799#1796829>, @baziotis wrote:
> - I still don't understand why `getPointerOperand()` returns `null` on `volatile` instructions (although I have guess it is to prevent further processing). Is it correct what I do?
`getPointerOperand` was added as a helper for `dereferenceable`(volatile store/load doesn't imply dereferenceable). And you can change it if you want.
I'd say I'm not sure whether volatile store/load for `undef` is UB.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D71799/new/
https://reviews.llvm.org/D71799
More information about the llvm-commits
mailing list