[PATCH] D21512: [InstSimplify] analyze (optionally casted) icmps to eliminate obviously false logic (PR27869)

[Sanjay Patel via llvm-commits]

spatel retitled this revision from "[InstSimplify] look through zexts of icmps to eliminate obviously false logic (PR27869)" to "[InstSimplify] analyze (optionally casted) icmps to eliminate obviously false logic (PR27869)".
spatel updated the summary for this revision.
spatel updated this revision to Diff 61284.
spatel added a comment.

Patch updated:

1. Use slightly modified version of David's suggested code to make the transform more general.
2. Add tests to cover more possible cases and some negative cases.
3. Remove the equivalent transform from InstCombine and move its regression tests to InstSimplify.

This now includes what I thought would be the follow-up step in one patch. I can make step #3 a separate commit if that seems safer. Or if I'm wrong in assuming that everything in the InstCombine path is now handled by InstSimplify, please let me know.


http://reviews.llvm.org/D21512

Files:
  lib/Analysis/InstructionSimplify.cpp
  lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  test/Transforms/InstCombine/and.ll
  test/Transforms/InstCombine/and2.ll
  test/Transforms/InstSimplify/AndOrXor.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D21512.61284.patch
Type: text/x-patch
Size: 9298 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160620/be09f9af/attachment.bin>