[Bug testsuite/113685] New: [14 regression] xxx fails after yyy

[Bug testsuite/113685] New: [14 regression] xxx fails after yyy

[seurer at gcc dot gnu.org]

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

            Bug ID: 113685
           Summary: [14 regression] xxx fails after yyy
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:d45ddc2c04e471d0dcee016b6edacc00b8341b16, r14-4089-gd45ddc2c04e471
make  -k check-gcc RUNTESTFLAGS="vect.exp=gcc.dg/vect/vect-117.c"
FAIL: gcc.dg/vect/vect-117.c scan-tree-dump-not optimized "Invalid sum"
FAIL: gcc.dg/vect/vect-117.c -flto -ffat-lto-objects  scan-tree-dump-not
optimized "Invalid sum"
# of expected passes            8
# of unexpected failures        2

Note this was also reported in pr111462 but the fix for it did not fix this
failure.

commit d45ddc2c04e471d0dcee016b6edacc00b8341b16 (HEAD)
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Sep 14 13:06:51 2023 +0200

    tree-optimization/111294 - backwards threader PHI costing

            * gcc.dg/vect/vect-117.c: Make scan for not Invalid sum
            conditional on lp64.

[Bug testsuite/113685] [14 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-02-01
                 CC|                            |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.0
           Keywords|                            |testsuite-fail
            Summary|[14 regression] xxx fails   |[14 regression]
                   |after yyy                   |gcc.dg/vect/vect-117.c
                   |                            |fails profile checking with
                   |                            |Invalid sum after
                   |                            |r14-4089-gd45ddc2c04e471
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
As said in the other PR, this is more for Honza who thought checking we do not
end with invalid profiles for all vect testcases is a good thing ;)

Btw, the wrong count pops up in DOM3:

t.c.203t.dom3:;;   Invalid sum of incoming counts 138435014 (estimated locally,
freq 3.0936), should be 134239200 (estimated locally, freq 2.9999)

so it seems to be a jump threading issue.  It's gone with -fno-thread-jumps.

Very likely a latent issue, but of course the change triggering this does
have an effect on jump threading.

Confirmed.

[Bug testsuite/113685] [14 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

[ro at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ro at gcc dot gnu.org
               Host|powerpc64le-linux-gnu       |powerpc64le-linux-gnu,
                   |                            |sparc*-sun-solaris2.11
              Build|powerpc64le-linux-gnu       |powerpc64le-linux-gnu,
                   |                            |sparc*-sun-solaris2.11
             Target|powerpc64le-linux-gnu       |powerpc64le-linux-gnu,
                   |                            |sparc*-sun-solaris2.11

--- Comment #2 from Rainer Orth <ro at gcc dot gnu.org> ---
The same issue exists on 64-bit Solaris/SPARC:

+FAIL: gcc.dg/vect/vect-117.c -flto -ffat-lto-objects  scan-tree-dump-not
optimized "Invalid sum"
+FAIL: gcc.dg/vect/vect-117.c scan-tree-dump-not optimized "Invalid sum"

[Bug testsuite/113685] [14 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

[ro at gcc dot gnu.org]

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

--- Comment #3 from Rainer Orth <ro at gcc dot gnu.org> ---
Created attachment 57567
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57567&action=edit
64-bit sparc-sun-solaris2.11 vect-117.c.265t.optimized

[Bug testsuite/113685] [14 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |law at gcc dot gnu.org

[Bug testsuite/113685] [14/15 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|14.0                        |14.2

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 14.1 is being released, retargeting bugs to GCC 14.2.