[llvm-dev] RFC: Killing undef and spreading poison

[Krzysztof Parzyszek via llvm-dev]

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?
Is %a == %b true?

-Krzysztof

-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation