Page MenuHomePhabricator

[InstCombine] Fold sub (and A, B) (or A, B)) to neg (xor A, B)

Authored by xbolva00 on Wed, Sep 4, 5:23 AM.


Name: sub(and(x, y), or(x, y)) -> neg(xor(x, y))
%or = or i32 %y, %x
%and = and i32 %x, %y
%sub = sub i32 %and, %or
%sub1 = xor i32 %x, %y
%sub = sub i32 0, %sub1

Optimization: sub(and(x, y), or(x, y)) -> neg(xor(x, y))
Done: 1
Optimization is correct!

Found by @lebedev.ri. Also author of the proof.

Diff Detail


Event Timeline

xbolva00 created this revision.Wed, Sep 4, 5:23 AM
Herald added a project: Restricted Project. · View Herald TranscriptWed, Sep 4, 5:23 AM
lebedev.ri requested changes to this revision.Wed, Sep 4, 5:28 AM
lebedev.ri added inline comments.
1731–1732 ↗(On Diff #218655)

&& (Op0.hasOneUse() || Op1.hasOneUse())

1733 ↗(On Diff #218655)

Not != Neg

This revision now requires changes to proceed.Wed, Sep 4, 5:28 AM
xbolva00 updated this revision to Diff 218660.Wed, Sep 4, 5:45 AM
xbolva00 retitled this revision from [InstCombine] Fold sub (and A, B) (or A, B)) to not (xor A, B) to [InstCombine] Fold sub (and A, B) (or A, B)) to neg (xor A, B).

Addressed review notes

xbolva00 marked 3 inline comments as done.Wed, Sep 4, 5:45 AM
xbolva00 added inline comments.
1733 ↗(On Diff #218655)


lebedev.ri accepted this revision.Wed, Sep 4, 7:33 AM
lebedev.ri added a reviewer: spatel.


This revision is now accepted and ready to land.Wed, Sep 4, 7:33 AM
This revision was automatically updated to reflect the committed changes.
xbolva00 marked an inline comment as done.