[Bug target/93720] [10/11 Regression] vector creation from two parts of two vectors produces TBL rather than ins

[cvs-commit at gcc dot gnu.org]

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

--- Comment #13 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Sandiford <rsand...@gcc.gnu.org>:

https://gcc.gnu.org/g:c9c87e6f9c795bb36e4570a07501fc182eaad035

commit r11-2192-gc9c87e6f9c795bb36e4570a07501fc182eaad035
Author: Dmitrij Pochepko <dmitrij.poche...@bell-sw.com>
Date:   Fri Jul 17 10:24:46 2020 +0100

    vector creation from two parts of two vectors produces TBL rather than ins
(PR 93720)

    The following patch enables vector permutations optimization by trying
    to use ins instruction instead of slow and generic tbl.

    example:

    vector float f0(vector float a, vector float b)
    {
      return __builtin_shuffle (a, a, (vector int){3, 1, 2, 3});
    }

    was compiled into:
    ...
            adrp    x0, .LC0
            ldr     q1, [x0, #:lo12:.LC0]
            tbl     v0.16b, {v0.16b}, v1.16b
    ...

    and after patch:
    ...
            ins     v0.s[0], v0.s[3]
    ...

    bootstrapped and tested on aarch64-linux-gnu with no regressions

    gcc/ChangeLog:

    2020-07-17  Andrew Pinski  <apin...@marvell.com>

            PR target/93720
            * config/aarch64/aarch64.c (aarch64_evpc_ins): New function.
            (aarch64_expand_vec_perm_const_1): Call it.
            * config/aarch64/aarch64-simd.md (aarch64_simd_vec_copy_lane): Make
            public, and add a "@" prefix.

    gcc/testsuite/ChangeLog:

    2020-07-17  Andrew Pinski  <apin...@marvell.com>

            PR target/93720
            * gcc.target/aarch64/vins-1.c: New test.
            * gcc.target/aarch64/vins-2.c: New test.
            * gcc.target/aarch64/vins-3.c: New test.

    Co-Authored-By: Dmitrij Pochepko <dmitrij.poche...@bell-sw.com>