[PATCH] D148326: [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0

[Florian Hahn via Phabricator via llvm-commits]

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

In D148326#4268548 <https://reviews.llvm.org/D148326#4268548>, @zjaffal wrote:

> alive 2 proof
> https://alive2.llvm.org/ce/z/cCGqEb

Thanks! The above only proves it for a specific constant value of B (= 2). Better to have the proof use an arbitrary value of B: https://alive2.llvm.org/ce/z/uFN8xW

LGTM. Please make sure to include the link to the alive2 proof in the commit message.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D148326