[PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.

Antonio Frighetto via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 13 09:31:11 PDT 2023

Previous message: [PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.
Next message: [PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

antoniofrighetto added a comment.

For some reason I didn't see `gep-arithmetic-signed-predicates.ll` :( Scratch that, signed comparisons seem to be already tested.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D151799

Previous message: [PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.
Next message: [PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list