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

Krzysztof Parzyszek via llvm-dev llvm-dev at lists.llvm.org
Fri Jun 16 08:41:46 PDT 2017

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 


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

More information about the llvm-dev mailing list