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

Peter Lawrence via llvm-dev llvm-dev at lists.llvm.org
Fri Jun 16 08:01:00 PDT 2017

         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.

More information about the llvm-dev mailing list