[PATCH] D140666: [InstCombine] combine intersection for inequality icmps

chenglin.bi via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jan 3 00:51:23 PST 2023

Previous message: [PATCH] D140699: [OptTable] Make ValuesCode initialisation of Options constexpr
Next message: [PATCH] D140666: [InstCombine] combine intersection for inequality icmps
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

bcl5980 added a comment.

We should write proof with variables(not constant like 3, 15 in current alive2 link) also.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140666

Previous message: [PATCH] D140699: [OptTable] Make ValuesCode initialisation of Options constexpr
Next message: [PATCH] D140666: [InstCombine] combine intersection for inequality icmps
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list