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

Florian Hahn via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Apr 14 05:41:03 PDT 2023

Previous message: [PATCH] D148326: [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0
Next message: [PATCH] D148326: [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

fhahn added a comment.

Please add a proof using Alive2 (https://alive2.llvm.org/ce/) for the newly added reasoning to the patch description.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D148326

Previous message: [PATCH] D148326: [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0
Next message: [PATCH] D148326: [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list