sanjoy abandoned this revision. sanjoy added a comment. The "icmp propagages poison" bit has been checked in in http://reviews.llvm.org/rL271150. The "branch on poison is UB" bit is incorrect, and has been abandoned. http://reviews.llvm.org/D19210