[Bug testsuite/113437] New: gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[Bug testsuite/113437] New: gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[clyon at gcc dot gnu.org]

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

            Bug ID: 113437
           Summary: gcc.dg/tree-ssa/pr95906.c fails on arm since
                    g:6686e16fda4
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: clyon at gcc dot gnu.org
                CC: liuhongt at gcc dot gnu.org
  Target Milestone: ---

We have detected the following regression since gcc-14-7124-g6686e16fda4:
FAIL: gcc.dg/tree-ssa/pr95906.c scan-tree-dump-times forwprop3 "max_expr" 1

on arm targets where Neon or MVE is not enabled by default.

In these cases VECTOR_MODE_P (V16QImode) returns false, thus the optimization
introduced by this commit.

I'm not sure how/if we want to add an effective-target to handle this case.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
            Summary|gcc.dg/tree-ssa/pr95906.c   |[14 Regression]
                   |fails on arm since          |gcc.dg/tree-ssa/pr95906.c
                   |g:6686e16fda4               |fails on arm since
                   |                            |g:6686e16fda4
           Keywords|                            |testsuite-fail
             Target|                            |arm

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
             Target|arm                         |arm, sparc*
                 CC|                            |ro at gcc dot gnu.org
   Last reconfirmed|                            |2024-01-17
     Ever confirmed|0                           |1

--- Comment #1 from Rainer Orth <ro at gcc dot gnu.org> ---
Also FAILs on 32 and 64-bit SPARC.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[liuhongt at gcc dot gnu.org]

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

--- Comment #2 from Hongtao Liu <liuhongt at gcc dot gnu.org> ---
Maybe we can add target vect_int.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Hongtao Liu from comment #2)
> Maybe we can add target vect_int.

Not really because vect_int depends on the vect.exp framework still.  See PR
113418 and the emails linked from there.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu.org

--- Comment #4 from John David Anglin <danglin at gcc dot gnu.org> ---
Also FAILS on 32 and 64-bit HPPA.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[liuhongt at gcc dot gnu.org]

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

--- Comment #5 from Hongtao Liu <liuhongt at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #3)
> (In reply to Hongtao Liu from comment #2)
> > Maybe we can add target vect_int.
> 
> Not really because vect_int depends on the vect.exp framework still.  See PR
> 113418 and the emails linked from there.

I see, then I'll adjust testcase to scan either MAX_EXPR or VEC_COND_EXPR

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[hp at gcc dot gnu.org]

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

Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|arm, sparc*                 |arm, sparc*, cris
                 CC|                            |hp at gcc dot gnu.org

--- Comment #6 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
cris-elf too...

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by hongtao Liu <liuhongt@gcc.gnu.org>:

https://gcc.gnu.org/g:1c51d0109a4730827c40c3bbd3a59d459828017e

commit r14-8266-g1c51d0109a4730827c40c3bbd3a59d459828017e
Author: liuhongt <hongtao.liu@intel.com>
Date:   Fri Jan 19 09:22:39 2024 +0800

    Fix testcase failure on many platforms which don't support vect_int_max.

    After r14-7124-g6686e16fda4190, the testcase can be optimized to
    MAX_EXPR if the backends support that. So I adjust the testcase to
    scan for MAX_EXPR, but it failed many platforms which don't support
    that.
    As pinski mentioned, target vect_no_int_min_max is only available
    under vect directory, so for simplicity, I adjust the testcase to scan
    either MAX_EXPR or original VEC_COND_EXPR.

    gcc/testsuite/ChangeLog:

            PR testsuite/113437
            * gcc.dg/tree-ssa/pr95906.c: Scan either MAX_EXPR or
            VEC_COND_EXPR.

[Bug testsuite/113437] [14 Regression] gcc.dg/tree-ssa/pr95906.c fails on arm since g:6686e16fda4

[liuhongt at gcc dot gnu.org]

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

Hongtao Liu <liuhongt at gcc dot gnu.org> changed:

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

--- Comment #8 from Hongtao Liu <liuhongt at gcc dot gnu.org> ---
Fixed.