[llvm-dev] RFC: Killing undef and spreading poison

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Thu Jun 8 16:33:26 PDT 2017

> 3:::   then  (X & 0)   does not translate to  (0)   when X is “poison” 
> ?,  that seems strange, can you explain / elaborate ?

This is how poison already works, please see the LangRef.


More information about the llvm-dev mailing list