Displaying 2 results from an estimated 2 matches for "0c2fb0bb".
2016 Oct 20
3
RFC: Killing undef and spreading poison
Hi Krzysztof,
Krzysztof Parzyszek wrote:
> On 10/18/2016 4:29 PM, Nuno Lopes wrote:
>> Even %a and %b might not be the same in "%a = freeze(%x), %b =
>> freeze(%x)" (each freeze returns an arbitrary, but fixed, value).
>
> Assume that %x is known to be a poison value and have:
> %a = freeze(%x)
> %b = freeze(%x)
>
> Is %a == %a true?
Yes, %a is always
2016 Oct 20
6
RFC: Killing undef and spreading poison
..._____________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161020/0c2fb0bb/attachment.html>