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

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 23 17:32:53 PDT 2015

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.


More information about the llvm-commits mailing list