[Bug target/110021] New: [14 Regression] ICE in extract_insn, at recog.cc:2791 on x86_64 with -mavx512vl since r14-1253-g0368fc54bc11f1

[Bug target/110021] New: [14 Regression] ICE in extract_insn, at recog.cc:2791 on x86_64 with -mavx512vl since r14-1253-g0368fc54bc11f1

[jamborm at gcc dot gnu.org]

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

            Bug ID: 110021
           Summary: [14 Regression] ICE in extract_insn, at recog.cc:2791
                    on x86_64 with -mavx512vl since
                    r14-1253-g0368fc54bc11f1
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jamborm at gcc dot gnu.org
                CC: ubizjak at gmail dot com
  Target Milestone: ---
              Host: x86_64-linux
            Target: x86_64-linux

Running (using gcc master revision r14-1355-g6c2b2de098af7d):

$ ~/gcc/trunk/inst/bin/gcc
~/gcc/trunk/src/gcc/testsuite/gcc.target/i386/sse2-shiftqihi-constant-2.c
-mavx512vl -S

Results in ICE:

/home/mjambor/gcc/trunk/src/gcc/testsuite/gcc.target/i386/sse2-shiftqihi-constant-2.c:61:1:
error: unrecognizable insn:
   61 | }
      | ^
(insn 1139 1138 1140 129 (set (reg:V16QI 248 [ _167 ])
        (truncate:V16QI (reg:V16HI 552)))
"/home/mjambor/gcc/trunk/src/gcc/testsuite/gcc.target/i386/sse2-shiftqihi-constant-2.c":60:3
discrim 4 -1
     (expr_list:REG_EQUAL (ashift:V16QI (reg:V16QI 247 [ _166 ])
            (reg:SI 548))
        (nil)))
during RTL pass: vregs
/home/mjambor/gcc/trunk/src/gcc/testsuite/gcc.target/i386/sse2-shiftqihi-constant-2.c:61:1:
internal compiler error: in extract_insn, at recog.cc:2791
0xc03e5d _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/mjambor/gcc/trunk/src/gcc/rtl-error.cc:108
0xc03e79 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/mjambor/gcc/trunk/src/gcc/rtl-error.cc:116
0x14764a2 extract_insn(rtx_insn*)
        /home/mjambor/gcc/trunk/src/gcc/recog.cc:2791
0x1078ee2 instantiate_virtual_regs_in_insn
        /home/mjambor/gcc/trunk/src/gcc/function.cc:1611
0x107a53c instantiate_virtual_regs
        /home/mjambor/gcc/trunk/src/gcc/function.cc:1984
0x107a60c execute
        /home/mjambor/gcc/trunk/src/gcc/function.cc:2033
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.



Bisecting script claims that this has started with:

commit 0368fc54bc11f15bfa0ed9913fd0017815dfaa5d
Author: Uros Bizjak <ubizjak@gmail.com>
Date:   Fri May 26 07:30:24 2023 +0200

    i386: Do not disable call to ix86_expand_vecop_qihi2

    gcc/ChangeLog:

            * config/i386/i386-expand.cc (ix86_expand_vecop_qihi):
            Do not disable call to ix86_expand_vecop_qihi2.

[Bug target/110021] [14 Regression] ICE in extract_insn, at recog.cc:2791 on x86_64 with -mavx512vl since r14-1253-g0368fc54bc11f1

[ubizjak at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |ubizjak at gmail dot com
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-05-29
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.0

--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> ---
Patch in testing:

--cut here--
diff --git a/gcc/config/i386/i386-expand.cc b/gcc/config/i386/i386-expand.cc
index 0d8953b8c75..5d21810669a 100644
--- a/gcc/config/i386/i386-expand.cc
+++ b/gcc/config/i386/i386-expand.cc
@@ -23361,7 +23361,7 @@ ix86_expand_vecop_qihi2 (enum rtx_code code, rtx dest,
rtx op1, rtx op2)
     {
     case E_V16QImode:
       himode = V16HImode;
-      if (TARGET_AVX512VL)
+      if (TARGET_AVX512VL && TARGET_AVX512BW)
        gen_truncate = gen_truncv16hiv16qi2;
       break;
     case E_V32QImode:
--cut here--

[Bug target/110021] [14 Regression] ICE in extract_insn, at recog.cc:2791 on x86_64 with -mavx512vl since r14-1253-g0368fc54bc11f1

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Uros Bizjak <uros@gcc.gnu.org>:

https://gcc.gnu.org/g:3c1e2b76e0f44a3a149dae8d803b03214025fd5e

commit r14-1364-g3c1e2b76e0f44a3a149dae8d803b03214025fd5e
Author: Uros Bizjak <ubizjak@gmail.com>
Date:   Mon May 29 16:10:33 2023 +0200

    i386: Also require TARGET_AVX512BW to generate truncv16hiv16qi2 [PR110021]

    gcc/ChangeLog:

            PR target/110021
            * config/i386/i386-expand.cc (ix86_expand_vecop_qihi2): Also
require
            TARGET_AVX512BW to generate truncv16hiv16qi2.

[Bug target/110021] [14 Regression] ICE in extract_insn, at recog.cc:2791 on x86_64 with -mavx512vl since r14-1253-g0368fc54bc11f1

[ubizjak at gmail dot com]

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

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

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed.