[PATCH] D67846: [InstCombine] (a+b) <= a && (a+b) != 0 -> (0-b) < a (PR43259)

Mon Sep 23 09:37:54 PDT 2019

lebedev.ri added a comment.

In D67846#1679344 <https://reviews.llvm.org/D67846#1679344>, @spatel wrote:

> LGTM

Thank you for the review!
There's also D67849 <https://reviews.llvm.org/D67849>.

In principle, that is all to fix PR43259, which as far as i'm currently aware
is the last instcombine/instsimplify part of sanitizer patch (D67122 <https://reviews.llvm.org/D67122>).
Though i should follow-up with a last patch to handle instsimplify patterns.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67846/new/

https://reviews.llvm.org/D67846