[Bug tree-optimization/106360] New: [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[Bug tree-optimization/106360] New: [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[seurer at gcc dot gnu.org]

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

            Bug ID: 106360
           Summary: [13 regression] ICE in many test cases after
                    r13-1745-g4c323130257744
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:4c3231302577445417715a7c22e879e4159376d3, r13-1745-g4c323130257744

I saw this on a power 9 LE machine:

FAIL: gcc.dg/vect/slp-reduc-sad-2.c (internal compiler error: in fold_vec_perm,
at fold-const.cc:10548)
FAIL: gcc.dg/vect/slp-reduc-sad-2.c (test for excess errors)
FAIL: gcc.dg/vect/slp-reduc-sad-2.c -flto -ffat-lto-objects (internal compiler
error: in fold_vec_perm, at fold-const.cc:10548)
FAIL: gcc.dg/vect/slp-reduc-sad-2.c -flto -ffat-lto-objects (test for excess
errors)
FAIL: gcc.target/powerpc/vec-perm-ctor-run.c (internal compiler error: in
fold_vec_perm, at fold-const.cc:10548)
FAIL: gcc.target/powerpc/vec-perm-ctor-run.c (test for excess errors)
FAIL: gcc.target/powerpc/vec-perm-ctor.c (internal compiler error: in
fold_vec_perm, at fold-const.cc:10548)
FAIL: gcc.target/powerpc/vec-perm-ctor.c (test for excess errors)

There were some similar errors for other test cases on other hardware, too.

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/gcc/
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/slp-reduc-sad-2.c
-fdiagnostics-plain-output -maltivec -mpower9-vector -ftree-vectorize
-fno-tree-loop-distribute-patterns -fno-vect-cost-model -fno-common -O2
-fdump-tree-vect-details --param vect-epilogues-nomask=0 -S -o
slp-reduc-sad-2.s^M
during GIMPLE pass: forwprop^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/slp-reduc-sad-2.c: In
function 'x264_pixel_sad_8x8':^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/slp-reduc-sad-2.c:9:5:
internal compiler error: in fold_vec_perm, at fold-const.cc:10548^M
0x1073188b fold_vec_perm(tree_node*, tree_node*, tree_node*, vec_perm_indices
const&)^M
        /home/seurer/gcc/git/gcc-test/gcc/fold-const.cc:10546^M
0x1177bb17 generic_simplify_VEC_PERM_EXPR^M
        /home/seurer/gcc/git/build/gcc-test/gcc/generic-match.cc:98733^M
0x1073a8bb fold_ternary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/fold-const.cc:12844^M
0x10e31dfb simplify_permutation^M
        /home/seurer/gcc/git/gcc-test/gcc/tree-ssa-forwprop.cc:2665^M
0x10e3ec63 execute^M
        /home/seurer/gcc/git/gcc-test/gcc/tree-ssa-forwprop.cc:3748^M


commit 4c3231302577445417715a7c22e879e4159376d3 (HEAD, refs/bisect/bad)
Author: Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
Date:   Tue Jul 19 17:43:26 2022 +0530

    forwprop: Use lhs type instead of arg0 in folding VEC_PERM_EXPR.

[Bug tree-optimization/106360] [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[prathamesh3492 at gcc dot gnu.org]

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

--- Comment #1 from prathamesh3492 at gcc dot gnu.org ---
Hi,
Sorry for the breakage. I will take a look.

[Bug tree-optimization/106360] [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-07-20

[Bug tree-optimization/106360] [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[rguenth at gcc dot gnu.org]

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

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

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

[Bug tree-optimization/106360] [13 regression] ICE in many test cases after r13-1745-g4c323130257744

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Apparently fixed as the revision was reverted (r13-1780-g9a52d6871a268a)

Note there's a x86_64-linux-gnu test-case:

$ cat gegl.i
int gegl_downscale_2x2_u8_dst_data_x;
char *data;

int babl_format_get_bytes_per_pixel();

void
gegl_downscale_2x2_u8_dst_data() {
  int bpp = babl_format_get_bytes_per_pixel();
  switch (bpp)
  case 4: {
    char *src, *dst = gegl_downscale_2x2_u8_dst_data;
    for (; gegl_downscale_2x2_u8_dst_data_x;
         gegl_downscale_2x2_u8_dst_data_x++) {
      dst[0] = (src[0] + (unsigned)src[0]) / 4;
      dst[1] = (src[1] + (unsigned)src[1]) / 4;
      dst[2] = (src[2] + (unsigned)src[2]) / 4;
      dst[3] = (src[3] + (unsigned)src[3]) / 4;
      dst += bpp;
      src += bpp * 2;
    }
  }
}

$ gcc gegl.i -c -O2 -ftree-vectorize -w
during GIMPLE pass: forwprop
gegl.i: In function ‘gegl_downscale_2x2_u8_dst_data’:
gegl.i:7:1: internal compiler error: in fold_vec_perm, at fold-const.cc:10546
    7 | gegl_downscale_2x2_u8_dst_data() {
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0x7027e4 fold_vec_perm(tree_node*, tree_node*, tree_node*, vec_perm_indices
const&)
        /home/marxin/Programming/gcc/gcc/fold-const.cc:10546
0x16da940 generic_simplify_VEC_PERM_EXPR
        /dev/shm/objdir/gcc/generic-match.cc:98764
0xbd5ce7 fold_ternary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*, tree_node*)
        /home/marxin/Programming/gcc/gcc/fold-const.cc:12844
0x10a75c3 simplify_permutation
        /home/marxin/Programming/gcc/gcc/tree-ssa-forwprop.cc:2665
0x10aae40 execute
        /home/marxin/Programming/gcc/gcc/tree-ssa-forwprop.cc:3748
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.