[Bug target/96127] New: ICE in extract_insn, at recog.c:2294

[Bug target/96127] New: ICE in extract_insn, at recog.c:2294

[marxin at gcc dot gnu.org]

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

            Bug ID: 96127
           Summary: ICE in extract_insn, at recog.c:2294
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: krebbel at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: s390x-linux-gnu

The following fails:

$ s390x-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c -O1
-fno-tree-loop-im --param=sccvn-max-alias-queries-per-access=0
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c: In
function ‘c1’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c:10:18:
warning: initialization of ‘long int *’ from incompatible pointer type ‘int *’
[-Wincompatible-pointer-types]
   10 |   long int *th = &dk;
      |                  ^
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c:20:22:
warning: initialization of ‘long int *’ from incompatible pointer type ‘int *’
[-Wincompatible-pointer-types]
   20 |       long int *lq = &oz;
      |                      ^
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c:29:1:
error: unrecognizable insn:
   29 | }
      | ^
(insn 27 26 28 6 (parallel [
            (set (strict_low_part (subreg:SI (reg/v:DI 64 [ oz+-4 ]) 4))
                (subreg:SI (reg:DI 68) 4))
            (clobber (reg:CC 33 %cc))
        ])
"/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c":22:19
-1
     (nil))
during RTL pass: vregs
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr92085-2.c:29:1:
internal compiler error: in extract_insn, at recog.c:2294
0x590f78 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/rtl-error.c:108
0x590f94 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/rtl-error.c:116
0x590408 extract_insn(rtx_insn*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/recog.c:2294
0x80800f instantiate_virtual_regs_in_insn
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/function.c:1607
0x80800f instantiate_virtual_regs
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/function.c:1977
0x80800f execute
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-s390x/build/gcc/function.c:2026
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 target/96127] ICE in extract_insn, at recog.c:2294

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-07-09
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
                 CC|                            |uweigand at gcc dot gnu.org

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andreas Krebbel <krebbel@gcc.gnu.org>:

https://gcc.gnu.org/g:80029561822fe4f010f72940527c4ee9ff8dbf56

commit r11-2188-g80029561822fe4f010f72940527c4ee9ff8dbf56
Author: Andreas Krebbel <krebbel@linux.ibm.com>
Date:   Fri Jul 17 08:49:29 2020 +0200

    Fix PR96127

    In s390_expand_insv the movstrict patterns are always generated with a
    CC clobber although only movstricthi actually needs one.  The patch
    invokes the expanders instead of constructing the pattern by hand.

    Bootstrapped and regression tested on s390x.

    gcc/ChangeLog:

            PR target/96127
            * config/s390/s390.c (s390_expand_insv): Invoke the movstrict
            expanders to generate the pattern.
            * config/s390/s390.md ("*movstricthi", "*movstrictqi"): Remove the
            '*' to have callable expanders.

    gcc/testsuite/ChangeLog:

            PR target/96127
            * gcc.target/s390/pr96127.c: New test.

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[asolokha at gmx dot com]

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

Arseny Solokha <asolokha at gmx dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |asolokha at gmx dot com

--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
Is there any work pending?

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[redi at gcc dot gnu.org]

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Andreas, do you need to backport this, or should it be closed as fixed for
11.0?

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[krebbel at gcc dot gnu.org]

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

--- Comment #4 from Andreas Krebbel <krebbel at gcc dot gnu.org> ---
The testcase does not appear to fail on current GCC 10 branch. So I would just
close it as fixed in GCC 11.

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|---                         |FIXED

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

[Bug target/96127] ICE in extract_insn, at recog.c:2294

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC 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:0d79636b8d2c7f0da16fbf5f786993783a4389ff

commit r14-6263-g0d79636b8d2c7f0da16fbf5f786993783a4389ff
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Dec 7 09:45:13 2023 +0100

    testsuite: Fix up gcc.target/s390/pr96127.c test for modern C [PR96127]

    I've noticed this test regressed on s390x-linux with the addition of the
    switch to modern C patchset.  Haven't tried to reproduce the ICE, but as it
    was a backend ICE and FE after warning used to add such casts before (now
    errors), I think this ought to keep the testcase testing what was intended
    before.

    2023-12-07  Jakub Jelinek  <jakub@redhat.com>

            PR target/96127
            * gcc.target/s390/pr96127.c (c1): Add casts to long int *.