search for: 98317b10

Dan Gohman <gohman at apple.com> writes: > Prohibiting poison values from propogating through memory would mean > that the reg2mem pass would no longer be a semantics-preserving pass. Or it means you couldn't demote those values. > Prohibiting it from propogating through control flow would mean that a > select instruction wouldn't be equivalent to a conditional branch

On Nov 30, 2011, at 12:21 PM, Paul Robinson wrote: > Part of the confusion seems to come from overloading "undefined." > The VAX architecture spec nicely dealt with the distinction between > unspecified results and unspecified behavior by consistently using > distinct terms: _unpredictable_ results, and _undefined_ behavior. > An operation producing an unpredictable

...ted as being observable locations. So, it's not really "all of memory" that could be poisoned, only these compiler-generated things. Pogo -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20111205/98317b10/attachment.html>