[Bug target/96849] New: [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn)

[Bug target/96849] New: [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn)

[asolokha at gmx dot com]

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

            Bug ID: 96849
           Summary: [11 Regression] ICE: in extract_insn, at recog.c:2294
                    (error: unrecognizable insn)
           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: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu-gcc

gcc-11.0.0-alpha20200823 snapshot (g:87c753ac241f25d222d46ba1ac66ceba89d6a200)
ICEs when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-run-1.c, w/ -mavx512f -O1
-ftree-loop-vectorize:

double my[16];

void
lw (unsigned int dd)
{
  while (dd < 16)
    {
      my[dd] = dd;
      ++dd;
    }
}

% x86_64-unknown-linux-gnu-gcc-11.0.0 -mavx512f -O1 -ftree-loop-vectorize -c
ppoh4ko6.c
ppoh4ko6.c: In function 'lw':
ppoh4ko6.c:11:1: error: unrecognizable insn:
   11 | }
      | ^
(insn 33 32 34 5 (set (reg:QI 116)
        (lt:QI (reg:V8DF 115)
            (reg:V8DF 113))) "ppoh4ko6.c":8:14 -1
     (nil))
during RTL pass: vregs
ppoh4ko6.c:11:1: internal compiler error: in extract_insn, at recog.c:2294
0x689824 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/rtl-error.c:108
0x689840 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/rtl-error.c:116
0x687d04 extract_insn(rtx_insn*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/recog.c:2294
0xa91c95 instantiate_virtual_regs_in_insn
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/function.c:1607
0xa91c95 instantiate_virtual_regs
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/function.c:1977
0xa91c95 execute
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200823/work/gcc-11-20200823/gcc/function.c:2026

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11 Regression] ICE: in     |[11 Regression] ICE: in
                   |extract_insn, at            |extract_insn, at
                   |recog.c:2294 (error:        |recog.c:2294 (error:
                   |unrecognizable insn)        |unrecognizable insn) since
                   |                            |r11-2623
   Target Milestone|---                         |11.0
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |liuhongt at gcc dot gnu.org
   Last reconfirmed|                            |2020-08-30
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r11-2623-g99e4891ed552aca4ca147671701edd0b31015f66

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[jakub at gcc dot gnu.org]

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

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

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

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

Untested fix.

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[crazylht at gmail dot com]

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

Hongtao.liu <crazylht at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |crazylht at gmail dot com

--- Comment #3 from Hongtao.liu <crazylht at gmail dot com> ---
I think it's duplicated as PR96551, a patch is posted at
https://gcc.gnu.org/pipermail/gcc-patches/2020-August/552230.html

same fix.

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[crazylht at gmail dot com]

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

--- Comment #4 from Hongtao.liu <crazylht at gmail dot com> ---
Fixed in GCC11 by

https://gcc.gnu.org/g:1aa71af09350b9ff4d2fad88a440b682545682ec

commit r11-2947-g1aa71af09350b9ff4d2fad88a440b682545682ec
Author: liuhongt <hongtao.liu@intel.com>
Date:   Tue Aug 11 11:05:40 2020 +0800

    Refine expander vec_unpacku_float_hi_v16si/vec_unpacku_float_lo_v16si

    gcc/
            PR target/96551
            * config/i386/sse.md (vec_unpacku_float_hi_v16si): For vector
            compare to integer mask, don't use gen_rtx_LT, use
            ix86_expand_mask_vec_cmp instead.
            (vec_unpacku_float_hi_v16si): Ditto.

    gcc/testsuite
            * gcc.target/i386/avx512f-pr96551-1.c: New test.
            * gcc.target/i386/avx512f-pr96551-2.c: New test.

Also backport to GCC10.

[Bug target/96849] [11 Regression] ICE: in extract_insn, at recog.c:2294 (error: unrecognizable insn) since r11-2623

[jakub at gcc dot gnu.org]

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

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

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

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