[Bug target/105911] New: [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[Bug target/105911] New: [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[asolokha at gmx dot com]

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

            Bug ID: 105911
           Summary: [13 Regression] ICE: in extract_insn, at recog.cc:2791
                    (error: unrecognizable insn)
           Product: gcc
           Version: 13.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 13.0.0 20220605 snapshot (g:ad6919374beafac4ec1a2f8059620f261019b02f) ICEs
when compiling the following testcase w/ -O1:

__int128 v;

void
bar (__int128, __int128);

void
foo (void)
{
  bar (v /= v, v >> (v &= 0x100000001));
}

% x86_64-unknown-linux-gnu-gcc-13.0.0 -O1 yhk2zj2p.c
yhk2zj2p.c: In function 'foo':
yhk2zj2p.c:10:1: error: unrecognizable insn:
   10 | }
      | ^
(insn 20 8 21 2 (parallel [
            (set (reg:DI 94)
                (and:DI (subreg:DI (reg:TI 82 [ v.0_1 ]) 0)
                    (const_int 4294967297 [0x100000001])))
            (clobber (reg:CC 17 flags))
        ]) "yhk2zj2p.c":9:3 -1
     (nil))
during RTL pass: subreg3
yhk2zj2p.c:10:1: internal compiler error: in extract_insn, at recog.cc:2791
0x7258ef _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220605/work/gcc-13-20220605/gcc/rtl-error.cc:108
0x72590b _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220605/work/gcc-13-20220605/gcc/rtl-error.cc:116
0x723f05 extract_insn(rtx_insn*)
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220605/work/gcc-13-20220605/gcc/recog.cc:2791
0x1dbab37 decompose_multiword_subregs
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220605/work/gcc-13-20220605/gcc/lower-subreg.cc:1555
0x1dbbafd execute
       
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220605/work/gcc-13-20220605/gcc/lower-subreg.cc:1818

[Bug target/105911] [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-06-09
   Target Milestone|---                         |13.0
           Priority|P3                          |P1
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with my r13-927-gdcfdd2851b297e0005a8490b7f867ca45d1ad340
Thanks for the report!

[Bug target/105911] [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[jakub at gcc dot gnu.org]

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

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

Untested fix.

[Bug target/105911] [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:13ea4a6e830da1f245136601e636dec62e74d1a7

commit r13-1061-g13ea4a6e830da1f245136601e636dec62e74d1a7
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Jun 13 10:53:33 2022 +0200

    i386: Fix up *<dwi>3_doubleword_mask [PR105911]

    Another regression caused by my recent patch.

    This time because define_insn_and_split only requires that the
    constant mask is const_int_operand.  When it was only SImode,
    that wasn't a problem, HImode neither, but for DImode if we need
    to and the shift count we might run into a problem that it isn't
    a representable signed 32-bit immediate.

    But, we don't really care about the upper bits of the mask, so
    we can just mask the CONST_INT with the mode mask.

    2022-06-13  Jakub Jelinek  <jakub@redhat.com>

            PR target/105911
            * config/i386/i386.md (*ashl<dwi>3_doubleword_mask,
            *<insn><dwi>3_doubleword_mask): Use operands[3] masked with
            (<MODE_SIZE> * BITS_PER_UNIT) - 1 as AND operand instead of
            operands[3] unmodified.

            * gcc.dg/pr105911.c: New test.

[Bug target/105911] [13 Regression] ICE: in extract_insn, at recog.cc:2791 (error: unrecognizable insn)

[jakub at gcc dot gnu.org]

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

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

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

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