[PATCH] D136582: [InstCombine] fold sub pattern to and

chenglin.bi via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 24 01:16:15 PDT 2022

Previous message: [PATCH] D136582: [InstCombine] fold sub pattern to and
Next message: [PATCH] D136582: [InstCombine] fold sub pattern to and
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

bcl5980 planned changes to this revision.
bcl5980 added a comment.

the alive2 proof is not match the code. Need to fix.


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

https://reviews.llvm.org/D136582

Previous message: [PATCH] D136582: [InstCombine] fold sub pattern to and
Next message: [PATCH] D136582: [InstCombine] fold sub pattern to and
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list