Page MenuHomePhabricator

[InstCombine] (~(a | b) & c) | ~(a | b | c) -> ~(a | b)
AbandonedPublic

Authored by rampitec on Dec 23 2021, 2:55 PM.

Details

Reviewers
spatel
Summary

This moves ((~a & ~b & c) | ~(a | b | c) -> ~(a | b) into the
block with common LHS. Even though the expression is processed
by other means handle it just for completeness. As a result it
also restores tests from abandoned D113216.

Diff Detail