[Bug tree-optimization/98568] New: [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[Bug tree-optimization/98568] New: [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[dimhen at gmail dot com]

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

            Bug ID: 98568
           Summary: [11 regression] ICE in verify_gimple() during GIMPLE
                    pass: store-merging
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com
  Target Milestone: ---

r11-6442 PASS
r11-6475 FAIL

$ cat x.i
char a[2];
void c()
{
  int b;
  a[1] = b >> 8;
  a[0] = b;
}
// creduced from openssl-1.1.0/ssl/s3_cbc.c

$ ~/arch-gcc/r11-6475/bin/gcc -fpreprocessed -O3 -c x.i
x.i: In function 'c':
x.i:2:6: error: conversion of register to a different size in
'view_convert_expr'
    2 | void c()
      |      ^
VIEW_CONVERT_EXPR<vector(2) char>(b_4(D));

_12 = VIEW_CONVERT_EXPR<vector(2) char>(b_4(D));
during GIMPLE pass: store-merging
x.i:2:6: internal compiler error: verify_gimple failed
0x10420ba verify_gimple_in_cfg(function*, bool)
        /home/dimhen/src/gcc_current/gcc/tree-cfg.c:5467
0xef8497 execute_function_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:2042
0xef8ebb execute_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:2096
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-01-06
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[dimhen at gmail dot com]

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

--- Comment #1 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
$ ~/arch-gcc/r11-6475/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/dimhen/arch-gcc/r11-6475/bin/gcc
COLLECT_LTO_WRAPPER=/home/dimhen/arch-gcc/r11-6475/bin/../libexec/gcc/x86_64-pc-linux-gnu/11.0.0/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
Target: x86_64-pc-linux-gnu
Configured with: /home/dimhen/src/gcc_current/configure
--prefix=/home/dimhen/arch-gcc/gcc_current
--enable-checking=yes,df,fold,rtl,extra --enable-languages=c,c++,lto
--disable-multilib --enable-shared --enable-threads=posix --enable-__cxa_atexit
--enable-gnu-unique-object --enable-linker-build-id
--with-linker-hash-style=gnu --enable-plugin --enable-initfini-array --with-isl
--enable-offload-targets=nvptx-none --without-cuda-driver
--enable-gnu-indirect-function --enable-cet --with-tune=native
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.0.0 20210105 (experimental) [master revision
26b5062be99:3cf8b6daf8d:27aad521570cbc1050ba957c0ee47aed18033dc1] (GCC)

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 49903
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49903&action=edit
gcc11-pr98568.patch

Untested fix.

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

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

commit r11-6515-gd02a8b63e5aef49ab6973c64a2225236895763a1
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Jan 7 09:57:40 2021 +0100

    bswap: Fix up recent vector CONSTRUCTOR optimization [PR98568]

    As the testcase shows, bswap can match even byte-swapping or indentity
    from low part of some wider SSA_NAME.
    For bswap replacement other than for vector CONSTRUCTOR the code has been
    using NOP_EXPR casts if the types weren't compatible, but for vectors
    we need to use VIEW_CONVERT_EXPR.  The problem with the latter is that
    we require that it has the same size, which isn't guaranteed, so this patch
    in those cases first adds a narrowing NOP_EXPR cast and only afterwards
    does a VIEW_CONVERT_EXPR.

    2021-01-07  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/98568
            * gimple-ssa-store-merging.c (bswap_view_convert): New function.
            (bswap_replace): Use it.

            * g++.dg/torture/pr98568.C: New test.

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

[Bug tree-optimization/98568] [11 regression] ICE in verify_gimple() during GIMPLE pass: store-merging

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doko at debian dot org

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
*** Bug 98562 has been marked as a duplicate of this bug. ***