Page MenuHomePhabricator

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

Authored by ankur29.garg on Aug 19 2014, 2:23 AM.

Details

Summary

Hi everyone,

This patch implements the transformation (A|B)^((A^C)|B) --> (~B)C

Please help in reviewing it.

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

Thanks,
Ankur Garg

Diff Detail

Event Timeline

ankur29.garg retitled this revision from to Added InstCombine Transformation for (A|B)^((A^C)|B) --> (~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).
suyog edited edge metadata.Aug 19 2014, 2:31 AM

Please run clang format before submitting any patch.

More info on the same can be found here - http://clang.llvm.org/docs/ClangFormat.html

ankur29.garg edited edge metadata.

Ran the clang-format on the code.

Gentle Ping! Please help in reviewing the patch.

Thanks.

asl added a subscriber: asl.Sep 4 2014, 11:12 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.
dexonsmith resigned from this revision.Aug 25 2019, 8:20 AM