[llvm-dev] a tagged architecture, the elephant in the undef / poison room

[Krzysztof Parzyszek via llvm-dev]

On 6/16/2017 10:36 AM, Krzysztof Parzyszek via llvm-dev wrote:
> On 6/16/2017 10:01 AM, Peter Lawrence via llvm-dev wrote:
>> “Poison” is an attribute of a “value”, not a “value” itself.
>>
>> “Poison” is an analysis result, and we should think about implementing 
>> it as such,
>> just like we do constant and range analysis.
> 
> Why do you insist on treating it as an attribute? It's more like NaN for 
> floating point: "not a value".

I'm guessing here---are you thinking of "could-be-poison" as opposed to 
"is-poison"?

-Krzysztof

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