[Bug c/98086] New: [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[Bug c/98086] New: [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[gscfq@t-online.de]

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

            Bug ID: 98086
           Summary: [9/10/11 Regression] ICE in extract_insn, at
                    recog.c:2315
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r6 :


$ cat z1.c
struct S {
  int a, b, c, d;
} x;
void f ()
{
  asm ("" : "=@ccc"(x));
}


$ gcc-5 -c z1.c
z1.c: In function 'f':
z1.c:6:3: error: inconsistent operand constraints in an 'asm'
   asm ("" : "=@ccc"(x));
   ^
$
$ gcc-11-20201129 -c z1.c
z1.c: In function 'f':
z1.c:7:1: error: unrecognizable insn:
    7 | }
      | ^
(insn 7 6 5 2 (set (reg:TI 82)
        (zero_extend:TI (reg:QI 83))) "z1.c":6:3 -1
     (nil))
during RTL pass: vregs
z1.c:7:1: internal compiler error: in extract_insn, at recog.c:2315
0x5f2645 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/rtl-error.c:108
0x5f2664 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/rtl-error.c:116
0xabf2b7 extract_insn(rtx_insn*)
        ../../gcc/recog.c:2315
0x89cc63 instantiate_virtual_regs_in_insn
        ../../gcc/function.c:1609
0x89cc63 instantiate_virtual_regs
        ../../gcc/function.c:1979
0x89cc63 execute
        ../../gcc/function.c:2028

[Bug c/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.4
           Keywords|                            |ice-on-invalid-code

[Bug middle-end/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |error-recovery
          Component|c                           |middle-end
             Target|                            |x86_64-*-*

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
x86_64 I presume?

[Bug middle-end/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |rth at gcc dot gnu.org
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-12-02

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Yes.
Started with r6-1854-gf767f58360e4a029.

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

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

Untested fix.

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #49661|0                           |1
        is obsolete|                            |

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 49674
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49674&action=edit
Proposed v2 patch

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[ubizjak at gmail dot com]

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

--- Comment #5 from Uroš Bizjak <ubizjak at gmail dot com> ---
https://gcc.gnu.org/g:756f55e62f73eb32787497eb9e564d4b21a6e637

commit r11-5713-g756f55e62f73eb32787497eb9e564d4b21a6e637
Author: Uros Bizjak <ubizjak@gmail.com>
Date:   Thu Dec 3 17:49:42 2020 +0100

    i386: Fix up ix86_md_asm_adjust for TImode [PR98086]

    ix86_md_asm_adjust assumes that dest_mode can be only [QHSD]Imode
    and nothing else.  The patch rewrites zero-extension part to use
    convert_to_mode to handle TImode and hypothetically even wider modes.

    2020-12-03  Uroš Bizjak  <ubizjak@gmail.com>
                Jakub Jelinek  <jakub@redhat.com>

    gcc/
            PR target/98086
            * config/i386/i386.c (ix86_md_asm_adjustmd): Rewrite
            zero-extension part to use convert_to_mode.

    gcc/testsuite/
            PR target/98086
            * gcc.target/i386/pr98086.c: New test.

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[ubizjak at gmail dot com]

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

--- Comment #6 from Uroš Bizjak <ubizjak at gmail dot com> ---
https://gcc.gnu.org/g:4fa2ab664324eca33bd67981698c453820f70b86

commit r10-9116-g4fa2ab664324eca33bd67981698c453820f70b86
Author: Uros Bizjak <ubizjak@gmail.com>
Date:   Thu Dec 3 17:49:42 2020 +0100

    i386: Fix up ix86_md_asm_adjust for TImode [PR98086]

    ix86_md_asm_adjust assumes that dest_mode can be only [QHSD]Imode
    and nothing else.  The patch rewrites zero-extension part to use
    convert_to_mode to handle TImode and hypothetically even wider modes.

    2020-12-03  Uroš Bizjak  <ubizjak@gmail.com>
                Jakub Jelinek  <jakub@redhat.com>

    gcc/
            PR target/98086
            * config/i386/i386.c (ix86_md_asm_adjustmd): Rewrite
            zero-extension part to use convert_to_mode.

    gcc/testsuite/
            PR target/98086
            * gcc.target/i386/pr98086.c: New test.

    (cherry picked from commit 756f55e62f73eb32787497eb9e564d4b21a6e637)

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[ubizjak at gmail dot com]

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

--- Comment #7 from Uroš Bizjak <ubizjak at gmail dot com> ---
https://gcc.gnu.org/g:521c839fad4e4a30cdadda254fb3f07706285033

commit r9-9096-g521c839fad4e4a30cdadda254fb3f07706285033
Author: Uros Bizjak <ubizjak@gmail.com>
Date:   Thu Dec 3 19:08:23 2020 +0100

    i386: Fix up ix86_md_asm_adjust for TImode [PR98086]

    ix86_md_asm_adjust assumes that dest_mode can be only [QHSD]Imode
    and nothing else.  The patch rewrites zero-extension part to use
    convert_to_mode to handle TImode and hypothetically even wider modes.

    2020-12-03  Uroš Bizjak  <ubizjak@gmail.com>
                Jakub Jelinek  <jakub@redhat.com>

    gcc/
            PR target/98086
            * config/i386/i386.c (ix86_md_asm_adjustmd): Rewrite
            zero-extension part to use convert_to_mode.

    gcc/testsuite/
            PR target/98086
            * gcc.target/i386/pr98086.c: New test.

[Bug target/98086] [9/10/11 Regression] ICE in extract_insn, at recog.c:2315

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED
           Assignee|jakub at gcc dot gnu.org           |ubizjak at gmail dot com

--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed for gcc-9.4, gcc-10.3 and gcc-11.0.