[PATCH] Enhance boolean simplification to handle more cases

[Michael Liao]

Hi,

The attached patch (based on patch from Victor Umansky
<victor.umansky at intel.com>) enhances the boolean simplification in X86
backend. It allows more cases to be simplified as well, such as
SETCC_CARRY is used to produce the boolean result and the a boolean
value (i8) is truncated to i1 first (through AND $1). This helps
improving code quality for PTEST & other cases.

As a by-product, PR5443 is also fixed. Now, we could generate the same
neat sequence with or without use of overflow intrinsic.

Thanks for review.
- Michael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Enhance-boolean-simplfication-to-handle-more-cases.patch
Type: text/x-patch
Size: 14368 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130410/b0edcc8b/attachment.bin>