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

[Philip Reames via llvm-commits]

Ping.  Hal?  David?

On 09/23/2015 05:32 PM, Sanjoy Das wrote:
> 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
>
>
>