[Bug target/105068] New: ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[Bug target/105068] New: ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[zsojka at seznam dot cz]

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

            Bug ID: 105068
           Summary: ICE: in extract_constrain_insn, at recog.cc:2692 (insn
                    does not satisfy its constraints: ssse3_pshufbv16qi3)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu

Created attachment 52690
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52690&action=edit
reduced testcase

Compiler output:
$ x86_64-pc-linux-gnu-gcc -Og -fsanitize=thread -fstack-protector-all
-mavx512vl testcase.c 
testcase.c: In function 'foo0':
testcase.c:44:1: error: insn does not satisfy its constraints:
   44 | }
      | ^
(insn 244 243 140 2 (set (reg:V16QI 44 xmm8 [142])
        (unspec:V16QI [
                (reg:V16QI 20 xmm0 [orig:82 c.0_1 ] [82])
                (reg:V16QI 52 xmm16 [210])
            ] UNSPEC_PSHUFB)) "testcase.c":25:11 7140 {ssse3_pshufbv16qi3}
     (nil))
during RTL pass: pro_and_epilogue
testcase.c:44:1: internal compiler error: in extract_constrain_insn, at
recog.cc:2692
0x76c594 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /repo/gcc-trunk/gcc/rtl-error.cc:108
0x76c61a _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /repo/gcc-trunk/gcc/rtl-error.cc:118
0x75b3fc extract_constrain_insn(rtx_insn*)
        /repo/gcc-trunk/gcc/recog.cc:2692
0x12ea69b copyprop_hardreg_forward_1
        /repo/gcc-trunk/gcc/regcprop.cc:826
0x12eb8d1 copyprop_hardreg_forward_bb_without_debug_insn(basic_block_def*)
        /repo/gcc-trunk/gcc/regcprop.cc:1220
0x1355fd7 prepare_shrink_wrap
        /repo/gcc-trunk/gcc/shrink-wrap.cc:451
0x1355fd7 try_shrink_wrapping(edge_def**, rtx_insn*)
        /repo/gcc-trunk/gcc/shrink-wrap.cc:674
0x101840b thread_prologue_and_epilogue_insns()
        /repo/gcc-trunk/gcc/function.cc:6047
0x1018ce2 rest_of_handle_thread_prologue_and_epilogue
        /repo/gcc-trunk/gcc/function.cc:6532
0x1018ce2 execute
        /repo/gcc-trunk/gcc/function.cc:6608
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.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r12-7835-20220327001633-gd2906412ada-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu
--with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r12-7835-20220327001633-gd2906412ada-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.1 20220327 (experimental) (GCC)

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by H.J. Lu <hjl@gcc.gnu.org>:

https://gcc.gnu.org/g:08e69332881f8d28ce8b559ffba1900ae5c0d5ee

commit r12-7837-g08e69332881f8d28ce8b559ffba1900ae5c0d5ee
Author: H.J. Lu <hjl.tools@gmail.com>
Date:   Sun Mar 27 11:07:39 2022 -0700

    x86: Use Yw constraint on *ssse3_pshufbv8qi3

    Since AVX512VL and AVX512BW are required for AVX512 VPSHUFB, replace the
    "Yv" register constraint with the "Yw" register constraint.

    gcc/

            PR target/105068
            * config/i386/sse.md (*ssse3_pshufbv8qi3): Replace "Yv" with
            "Yw".

    gcc/testsuite/

            PR target/105068
            * gcc.target/i386/pr105068.c: New test.

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by H.J. Lu <hjl@gcc.gnu.org>:

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

commit r11-9701-ga374915186ecab108c983a84b6afcede680100a4
Author: H.J. Lu <hjl.tools@gmail.com>
Date:   Sun Mar 27 11:07:39 2022 -0700

    x86: Use Yw constraint on *ssse3_pshufbv8qi3

    Since AVX512VL and AVX512BW are required for AVX512 VPSHUFB, replace the
    "Yv" register constraint with the "Yw" register constraint.

    gcc/

            PR target/105068
            * config/i386/sse.md (*ssse3_pshufbv8qi3): Replace "Yv" with
            "Yw".

    (cherry picked from commit 08e69332881f8d28ce8b559ffba1900ae5c0d5ee)

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.3
         Depends on|                            |99321

--- Comment #4 from H.J. Lu <hjl.tools at gmail dot com> ---
Fixed for GCC 12 and GCC 11.3.  Won't backport to GCC 10 branch since this fix
depends on the PR 99321 fix.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99321
[Bug 99321] [11 Regression] ICE: in extract_constrain_insn, at recog.c:2670:
insn does not satisfy its constraints: {*uminv16qi3} since
r11-7121-g37876976b0511ec9

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by H.J. Lu <hjl@gcc.gnu.org>:

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

commit r12-7859-gcccbb776589c1825de1bd2eefabb11d72ef28de8
Author: H.J. Lu <hjl.tools@gmail.com>
Date:   Mon Mar 28 09:32:53 2022 -0700

    x86: Also use Yw in *ssse3_pshufbv8qi3 clobber

            PR target/105068
            * config/i386/sse.md (*ssse3_pshufbv8qi3): Also replace "Yv" with
            "Yw" in clobber.

[Bug target/105068] ICE: in extract_constrain_insn, at recog.cc:2692 (insn does not satisfy its constraints: ssse3_pshufbv16qi3)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by H.J. Lu <hjl@gcc.gnu.org>:

https://gcc.gnu.org/g:00d12a4a0fd56d8e9be1672e5e7637416b27fbb1

commit r11-9750-g00d12a4a0fd56d8e9be1672e5e7637416b27fbb1
Author: H.J. Lu <hjl.tools@gmail.com>
Date:   Mon Mar 28 09:32:53 2022 -0700

    x86: Also use Yw in *ssse3_pshufbv8qi3 clobber

            PR target/105068
            * config/i386/sse.md (*ssse3_pshufbv8qi3): Also replace "Yv" with
            "Yw" in clobber.

    (cherry picked from commit cccbb776589c1825de1bd2eefabb11d72ef28de8)