[PATCH] D13756: sgt on i1s also encodes implication

[Sanjoy Das via llvm-commits]

sanjoy accepted this revision.
sanjoy added a comment.
This revision is now accepted and ready to land.

The change itself is fine, but I think the comments on what inequalities are equivalent to implication should not be on `implies` itself; but on the code that simplifies inequalities as implication.


http://reviews.llvm.org/D13756