[Bug target/78037] Incorrect code generated at optimization level -O2 for tzcnt and binary and

[uros at gcc dot gnu.org]

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

--- Comment #19 from uros at gcc dot gnu.org ---
Author: uros
Date: Thu Oct 20 17:53:10 2016
New Revision: 241381

URL: https://gcc.gnu.org/viewcvs?rev=241381&root=gcc&view=rev
Log:
        PR target/78037
        * config/i386/bmiintrin.h (__tzcnt_u16): Call __builtin_ia32_tzcnt_u16.
        (__tzcnt_u32, _tzcnt_u32): Call __builtin_ia32_tzcnt_u32.
        (__tzcnt_u64, _tzcnt_u64): Call __builtin_ia32_tzcnt_u64.
        * config/i386/lzcntintrin.h (__lzcnt_u16): Call
        __builtin_ia32_lzcnt_u16.
        (__lzcnt_u32, _lzcnt_u32): Call __builtin_ia32_lzcnt_u32.
        (__lzcnt_u64, _lzcnt_u64): Call __builtin_ia32_lzcnt_u64.
        * config/i386/i386.md (UNSPEC_LZCNT, UNSPEC_TZCNT): New unspecs.
        (ctz<mode>2, *ctz<mode>2): Use SWI48 mode iterator.
        (bmi_tzcnt_<mode>): New expander.
        (*bmi_tzcnt_<mode>_falsedep_1): New define_insn_and_split pattern.
        (*bmi_tzcnt_<mode>_falsedep, *bmi_tzcnt_<mode>): New insn patterns.
        (clz<mode>2_lzcnt, *clz<mode>2_lzcnt): Use SWI48 mode iterator.
        (lzcnt_<mode>): New expander.
        (*lzcnt_<mode>_falsedep_1): New define_insn_and_split pattern.
        (*lzcnt_<mode>_falsedep, *lzcnt_<mode>): New insn patterns.
        * config/i386/i386-builtin-types.def (UINT_FTYPE_UINT): New.
        (UINT64_FTYPE_UINT64): New.
        * config/i386/i386-builtin.def (__builtin_clzs): Remove description.
        (__builtin_ia32_lzcnt_u16): New description.
        (__builtin_ia32_lzcnt_u32): Ditto.
        (__builtin_ia32_lzcnt_u64): Ditto.
        (__builtin_ctzs): Remove description.
        (__builtin_ia32_tzcnt_u16): New description.
        (__builtin_ia32_tzcnt_u32): Ditto.
        (__builtin_ia32_tzcnt_u64): Ditto.
        * config/i386/i386.c (ix86_expand_args_builtin): Handle
        UINT_FTYPE_UINT and UINT64_FTYPE_UINT64.

testsuite/ChangeLog:

        PR target/78037
        * gcc.target/i386/pr78037.c: New test.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr78037.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/bmiintrin.h
    trunk/gcc/config/i386/i386-builtin-types.def
    trunk/gcc/config/i386/i386-builtin.def
    trunk/gcc/config/i386/i386.c
    trunk/gcc/config/i386/i386.md
    trunk/gcc/config/i386/lzcntintrin.h
    trunk/gcc/testsuite/ChangeLog