[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