[PATCH] D142803: [ComplexLogicCombine 1/?] Implement a general way to simplify complex logical operations.

Tue Feb 14 22:55:19 PST 2023

bcl5980 added a comment.

In D142803#4124135 <https://reviews.llvm.org/D142803#4124135>, @spatel wrote:

> I'm still trying to understand how this works, so I only looked at the high-level comments to start.
>
> Is it possible to convert existing logic tests in InstCombien/InstSimplify to use branches, then run those tests with "opt -aggressive-instcombine" and verify that the results are correct?

@spatel I try to run all tests of InstCombine and some of current tests can be improved. The detail diff is D144071 <https://reviews.llvm.org/D144071>.

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

https://reviews.llvm.org/D142803