[PATCH] D13756: sgt on i1s also encodes implication
Sanjoy Das via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 22 13:42:09 PDT 2015
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
More information about the llvm-commits
mailing list