[PATCH] D13074: [InstSimplify] Fold simple known implications to true

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

This looks good to me (both with or without the `sle` change, as you see fit), but given that I haven't worked on instsimplify, I'd wait for @hfinkel to take a final look.

I don't know if instcombine transforms `Not(A) | B` to `A ULE B`.  If it does not, adding that seems like a logical thing to do (in a later change) -- I think that's a more idiomatic way to represent implication.


http://reviews.llvm.org/D13074