[Bug target/107987] New: [12/13 Regression] MVE vcmpq vector-scalar can trigger ICE

[Bug target/107987] New: [12/13 Regression] MVE vcmpq vector-scalar can trigger ICE

[avieira at gcc dot gnu.org]

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

            Bug ID: 107987
           Summary: [12/13 Regression] MVE vcmpq vector-scalar can trigger
                    ICE
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: avieira at gcc dot gnu.org
  Target Milestone: ---

Using the following testcase
$ cat t.c
#include <arm_mve.h>

uint32x4_t foo (uint32x4_t a, uint32x4_t b)
{
  mve_pred16_t p = vcmpneq_n_u32 (vandq_u32 (a, b), 0);
  return vaddq_x_u32 (a, b, p);
}

and compiling with arm-none-eabi-gcc -mcpu=cortex-m55 -mfloat-abi=hard -O2 will
trigger an ICE in combine.

This was caused by g:d083fbf72d4533d2009c725524983e1184981e74 as when removing
the unspec's around the vcmp's it now exposed the compiler to a comparison
operator with a vector and a scalar operand.

[Bug target/107987] [12/13 Regression] MVE vcmpq vector-scalar can trigger ICE

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.3

[Bug target/107987] [12/13 Regression] MVE vcmpq vector-scalar can trigger ICE

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andre Simoes Dias Vieira
<avieira@gcc.gnu.org>:

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

commit r13-4506-ged34c3bc3428bce663d42e9eeda10bc0c5d56d5c
Author: Andre Vieira <andre.simoesdiasvieira@arm.com>
Date:   Tue Dec 6 12:06:33 2022 +0000

    arm: Fix MVE's vcmp vector-scalar patterns [PR107987]

    This patch surrounds the scalar operand of the MVE vcmp patterns with a
    vec_duplicate to ensure both operands of the comparision operator have the
same
    (vector) mode.

    gcc/ChangeLog:

            PR target/107987
            * config/arm/mve.md (mve_vcmp<mve_cmp_op>q_n_<mode>,
            @mve_vcmp<mve_cmp_op>q_n_f<mode>): Apply vec_duplicate to scalar
            operand.

    gcc/testsuite/ChangeLog:

            * gcc.target/arm/mve/pr107987.c: New test.

[Bug target/107987] [12 Regression] MVE vcmpq vector-scalar can trigger ICE

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Andre Simoes Dias Vieira
<avieira@gcc.gnu.org>:

https://gcc.gnu.org/g:27b6fb155dfefae8dc6ac8d8264851f104dff4e4

commit r12-9073-g27b6fb155dfefae8dc6ac8d8264851f104dff4e4
Author: Andre Vieira <andre.simoesdiasvieira@arm.com>
Date:   Tue Dec 6 12:06:33 2022 +0000

    arm: Fix MVE's vcmp vector-scalar patterns [PR107987]

    This patch surrounds the scalar operand of the MVE vcmp patterns with a
    vec_duplicate to ensure both operands of the comparision operator have the
same
    (vector) mode.

    gcc/ChangeLog:

            PR target/107987
            * config/arm/mve.md (mve_vcmp<mve_cmp_op>q_n_<mode>,
            @mve_vcmp<mve_cmp_op>q_n_f<mode>): Apply vec_duplicate to scalar
            operand.

    gcc/testsuite/ChangeLog:

            * gcc.target/arm/mve/pr107987.c: New test.

    (cherry picked from commit ed34c3bc3428bce663d42e9eeda10bc0c5d56d5c)

[Bug target/107987] [12 Regression] MVE vcmpq vector-scalar can trigger ICE

[avieira at gcc dot gnu.org]

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

avieira at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #3 from avieira at gcc dot gnu.org ---
Fixed in GCC-13 and backported to GCC-12, closing.