[Bug target/112394] New: ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[Bug target/112394] New: ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[zsojka at seznam dot cz]

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

            Bug ID: 112394
           Summary: ICE: in extract_constrain_insn, at recog.cc:2705 insn
                    does not satisfy its constraints: {*vec_extractv2di_1}
                    with -O -mavx512vbmi2 -mapxf -mno-sse4.2
           Product: gcc
           Version: 14.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 56510
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56510&action=edit
reduced testcase

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O -mavx512vbmi2 -mapxf -mno-sse4.2 testcase.c
testcase.c: In function 'foo':
testcase.c:20:1: error: insn does not satisfy its constraints:
   20 | }
      | ^
(insn 759 758 679 2 (set (reg:DI 77 r17 [ _27+8 ])
        (vec_select:DI (reg:V2DI 24 xmm4)
            (parallel [
                    (const_int 1 [0x1])
                ]))) "testcase.c":16:6 7407 {*vec_extractv2di_1}
     (nil))
during RTL pass: pro_and_epilogue
testcase.c:20:1: internal compiler error: in extract_constrain_insn, at
recog.cc:2705
0x7ee999 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /repo/gcc-trunk/gcc/rtl-error.cc:108
0x7eea20 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /repo/gcc-trunk/gcc/rtl-error.cc:118
0x7df135 extract_constrain_insn(rtx_insn*)
        /repo/gcc-trunk/gcc/recog.cc:2705
0x1424c75 copyprop_hardreg_forward_1
        /repo/gcc-trunk/gcc/regcprop.cc:836
0x1425e41 copyprop_hardreg_forward_bb_without_debug_insn(basic_block_def*)
        /repo/gcc-trunk/gcc/regcprop.cc:1235
0x1490b11 prepare_shrink_wrap
        /repo/gcc-trunk/gcc/shrink-wrap.cc:451
0x1490b11 try_shrink_wrapping(edge_def**, rtx_insn*)
        /repo/gcc-trunk/gcc/shrink-wrap.cc:674
0x110442b thread_prologue_and_epilogue_insns()
        /repo/gcc-trunk/gcc/function.cc:6046
0x1104d82 rest_of_handle_thread_prologue_and_epilogue
        /repo/gcc-trunk/gcc/function.cc:6543
0x1104d82 execute
        /repo/gcc-trunk/gcc/function.cc:6624
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-r14-5128-20231105174125-g9acea4376fd-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.0/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-r14-5128-20231105174125-g9acea4376fd-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20231105 (experimental) (GCC)

[Bug target/112394] ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r14-5242-gca281a7b97163273de9d73da556fb3f6dcc3b61b
Author: Hongyu Wang <hongyu.wang@intel.com>
Date:   Tue Nov 7 10:02:53 2023 +0800

    [i386] APX: Fix ICE due to movti postreload splitter [PR112394]

    When APX EGPR enabled, the TImode move pattern *movti_internal allows
    move between gpr and sse reg using constraint pair ("r","Yd"). Then a
    post-reload splitter transform such move to vec_extractv2di, while under
    -msse4.1 -mno-avx EGPR is not allowed for its enabled alternative, which
    caused ICE that insn does not match the constraint. To prevent such ICE,
    we need to adjust the constraint correspond to "Yd". Add a new
    constraint "jc" to disable EGPR under -mno-avx.

    gcc/ChangeLog:

            PR target/112394
            * config/i386/constraints.md (jc): New constraint that prohibits
            EGPR on -mno-avx.
            * config/i386/i386.md (*movdi_internal): Change r constraint
            corresponds to Yd.
            (*movti_internal): Likewise.

    gcc/testsuite/ChangeLog:

            PR target/112394
            * gcc.target/i386/pr112394.c: New test.

[Bug target/112394] ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[wwwhhhyyy333 at gmail dot com]

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

--- Comment #2 from Hongyu Wang <wwwhhhyyy333 at gmail dot com> ---
Should be fixed.

[Bug target/112394] ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[sjames at gcc dot gnu.org]

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

Sam James <sjames at gcc dot gnu.org> changed:

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

--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to Hongyu Wang from comment #2)
> Should be fixed.

If you set your bugzilla email to hongyuw@gcc.gnu.org, you should have more
permissions and then be able to assign/close bugs yourself.

[Bug target/112394] ICE: in extract_constrain_insn, at recog.cc:2705 insn does not satisfy its constraints: {*vec_extractv2di_1} with -O -mavx512vbmi2 -mapxf -mno-sse4.2

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
*** Bug 111939 has been marked as a duplicate of this bug. ***