This is an archive of the discontinued LLVM Phabricator instance.

Added InstCombine Tranformation for (A | B) ^ ((A ^ C) & B) -> (A ^ (B & (~C)))
Needs ReviewPublic

Authored by ankur29.garg on Aug 26 2014, 2:02 AM.

Details

Summary

Hi everyone,
This patch implements the transformation (A | B) ^ ((A ^ C) & B) -> (A ^ (B & (~C))).
Please help in reviewing it.

Z3 Link: http://rise4fun.com/Z3/FoZS

Thanks,
Ankur Garg

Diff Detail

Event Timeline

ankur29.garg retitled this revision from to Added InstCombine Tranformation for (A | B) ^ ((A ^ C) & B) -> (A ^ (B & (~C))).
ankur29.garg updated this object.
ankur29.garg edited the test plan for this revision. (Show Details)
ankur29.garg set the repository for this revision to rL LLVM.
ankur29.garg added a subscriber: Unknown Object (MLST).

Gentle Ping! David Can you please review this patch. It wont take much time :)

Thanks

asl added a subscriber: asl.Sep 4 2014, 11:11 PM

Please provide the information asked in other thread for similar pattern:

  1. How often this transformation triggers in LLVM testsuite. Where, in which tests.
  2. How often this transformation triggers in SPEC. Where, in which tests.
espindola edited reviewers, added: espindola; removed: rafael.Mar 15 2018, 11:05 AM
dexonsmith resigned from this revision.Sep 2 2019, 3:52 PM