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

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Fri Jun 16 08:20:12 PDT 2017

I don't disagree with this but I don't see the concrete proposal yet.


On 6/16/17 9:01 AM, Peter Lawrence wrote:
> John,
>          Here’s what I’m getting at
> “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.
> Turning “poison” into a “value” means all “values” now have in addition to
> a bit pattern an extra attribute (IE a tag).
> Peter Lawrence.
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

More information about the llvm-dev mailing list