search for: a7a11b89

Hi all, I was initially going to send this email to a thread on llvm-commits where David explained the issue with poison and select to me, but then some quick googling led me to this thread. I've been thinking about a possible semantics for poison values in a certain way: The key semantic difference between undef and poison, as I understand it, is that when justifying an execution trace the