[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 12:31:57 PDT 2017

> Only freezing it will
> replace it with something concrete such that if x is poison then
> freeze(x) == freeze(x), etc.

Nit: it's not true that freeze(x) == freeze(x) in the current proposal. 
Each freeze can choose its own value.


More information about the llvm-dev mailing list