[llvm-commits] [PATCH] InstCombine missing canonicalization of select-and AND sext-not-and to select

[Muhammad Tauqir Ahmad]

    Transform sext-and --> select AND sext-not-and --> select.
    Fix the tests to match the new transform.
    Tests to be fixed again for the final transform:
    (or (bool?a:b), (bool?c:d)) --> (bool?(or c, a):(or b, d)).

Related to PR14664: http://llvm.org/bugs/show_bug.cgi?id=14664
"First part" of the patch:
http://llvm.org/viewvc/llvm-project?view=rev&revision=173093

Files:
-----------------------------------
M       lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
M       test/Transforms/InstCombine/logical-select.ll
M       test/Transforms/InstCombine/mul.ll

Please have a look. Thanks.

- Muhammad Tauqir
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-instcombine-missing-canonicalization-of-sext-and-to-select.patch
Type: application/octet-stream
Size: 4036 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130124/d6e0d6b6/attachment.obj>