[Bug tree-optimization/107808] New: gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[Bug tree-optimization/107808] New: gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[ro at gcc dot gnu.org]

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

            Bug ID: 107808
           Summary: gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: avieira at gcc dot gnu.org
  Target Milestone: ---
            Target: sparc*-sun-solaris2.11

The gcc.dg/vect/vect-bitfield-write-[23].c tests FAIL on SPARC (32 and 64-bit)
since their introduction:

+FAIL: gcc.dg/vect/vect-bitfield-write-2.c -flto -ffat-lto-objects 
scan-tree-dump-times vect "vectorized 1 loops" 1
+FAIL: gcc.dg/vect/vect-bitfield-write-2.c scan-tree-dump-times vect
"vectorized 1 loops" 1
+FAIL: gcc.dg/vect/vect-bitfield-write-3.c -flto -ffat-lto-objects 
scan-tree-dump-times vect "vectorized 1 loops" 1
+FAIL: gcc.dg/vect/vect-bitfield-write-3.c scan-tree-dump-times vect
"vectorized 1 loops" 1

Dump attached.

[Bug tree-optimization/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[ro at gcc dot gnu.org]

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

--- Comment #1 from Rainer Orth <ro at gcc dot gnu.org> ---
Created attachment 53943
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53943&action=edit
32-bit sparc-sun-solaris2.11 vect-bitfield-write-2.c.172t.vect

[Bug tree-optimization/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[ro at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

[Bug tree-optimization/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[avieira at gcc dot gnu.org]

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

--- Comment #2 from avieira at gcc dot gnu.org ---
Hi Rainer,

I suspect this means SPARC should be added to the list of targets that fail
check_effective_target_vect_long_long. From the dump it looks like the target
doesn't support a long long vectype.

[Bug tree-optimization/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #3 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #2 from avieira at gcc dot gnu.org ---
> Hi Rainer,
>
> I suspect this means SPARC should be added to the list of targets that fail
> check_effective_target_vect_long_long. From the dump it looks like the target
> doesn't support a long long vectype.

Just the opposite, I'd say: the list in
check_effective_target_vect_long_long is a positive list of targets
supporting that, so it's fine as is.  However, the affected testcases
don't require that feature, although they depend on it.

[Bug testsuite/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Rainer Orth <ro@gcc.gnu.org>:

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

commit r13-5321-ge304e9283a97e28dc0074d8d30715d3f626b4e87
Author: Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
Date:   Tue Jan 24 08:49:44 2023 +0100

    testsuite: Fix gcc.dg/vect/vect-bitfield-write-[23].c on SPARC [PR107808]

    The gcc.dg/vect/vect-bitfield-write-[23].c tests FAIL on 32 and 64-bit
    SPARC:

    FAIL: gcc.dg/vect/vect-bitfield-write-2.c -flto -ffat-lto-objects
    scan-tree-dump-times vect "vectorized 1 loops" 1
    FAIL: gcc.dg/vect/vect-bitfield-write-2.c scan-tree-dump-times vect
    "vectorized 1 loops" 1
    FAIL: gcc.dg/vect/vect-bitfield-write-3.c -flto -ffat-lto-objects
    scan-tree-dump-times vect "vectorized 1 loops" 1
    FAIL: gcc.dg/vect/vect-bitfield-write-3.c scan-tree-dump-times vect
    "vectorized 1 loops" 1

    As discussed in the PR, they require vect_long_long support, but fail
    to require that.

    This patch fixes this.

    Tested on sparc-sun-solaris2.11 and i386-pc-solaris2.11.

    2023-01-20  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

            gcc/testsuite:
            PR testsuite/107808
            * gcc.dg/vect/vect-bitfield-write-2.c: Require vect_long_long.
            * gcc.dg/vect/vect-bitfield-write-3.c: Likewise.

[Bug testsuite/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

[ro at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |https://gcc.gnu.org/piperma
                   |                            |il/gcc-patches/2023-January
                   |                            |/610458.html
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED
           Assignee|unassigned at gcc dot gnu.org      |ro at gcc dot gnu.org

--- Comment #5 from Rainer Orth <ro at gcc dot gnu.org> ---
Fixed for GCC 13.