[Bug rtl-optimization/68796] Make use of and-immediate+compare instructions more robust

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68796

--- Comment #2 from ktkachov at gcc dot gnu.org ---
Author: ktkachov
Date: Fri Dec 18 09:58:07 2015
New Revision: 231810

URL: https://gcc.gnu.org/viewcvs?rev=231810&root=gcc&view=rev
Log:
[AArch64] PR rtl-optimization/68796 Add compare-of-zero_extract pattern

        PR rtl-optimization/68796
        * config/aarch64/aarch64.md (*and<mode>3nr_compare0_zextract):
        New pattern.
        * config/aarch64/aarch64.c (aarch64_select_cc_mode): Handle
        ZERO_EXTRACT comparison with zero.
        (aarch64_mask_from_zextract_ops): New function.
        * config/aarch64/aarch64-protos.h (aarch64_mask_from_zextract_ops):
        New prototype.

        * gcc.target/aarch64/tst_3.c: New test.
        * gcc.target/aarch64/tst_4.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.target/aarch64/tst_3.c
    trunk/gcc/testsuite/gcc.target/aarch64/tst_4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/aarch64/aarch64-protos.h
    trunk/gcc/config/aarch64/aarch64.c
    trunk/gcc/config/aarch64/aarch64.md
    trunk/gcc/testsuite/ChangeLog