Page MenuHomePhabricator

Added InstCombine Transform for pattern "(A | B)^(~A) = (~A)^(A | B) -> (A | ~B)"
AbandonedPublic

Authored by suyog on Jul 18 2014, 12:02 PM.

Details

Summary

This patch implements transformation for pattern

(A | B)^(~A) = (~A)^(A | B) -> (A | ~B)

Please help in reviewing the same.

Thanks,
Suyog

Diff Detail

Event Timeline

suyog updated this revision to Diff 11655.Jul 18 2014, 12:02 PM
suyog retitled this revision from to Added InstCombine Transform for pattern "(A | B)^(~A) = (~A)^(A | B) -> (A | ~B)".
suyog updated this object.
suyog edited the test plan for this revision. (Show Details)
suyog updated this object.
suyog added reviewers: rafael, nicholas, dexonsmith.
suyog added a subscriber: Unknown Object (MLST).
suyog abandoned this revision.Jul 18 2014, 12:11 PM