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

[Bug target/105271] New: 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=105271

            Bug ID: 105271
           Summary: ICE in extract_insn, at recog.cc:2791 (error:
                    unrecognizable insn)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: powerpc-e300c3-linux-gnu

gcc 12.0.1 20220410 snapshot (g:54c5e064cc3dc3c9b3dff12b6d48dc3efd482b07) ICEs
when compiling gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.p9.c w/
-mvsx for 32-bit BE powerpc target:

% powerpc-e300c3-linux-gnu-gcc-12.0.1 -mvsx -c
gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.p9.c
In file included from
gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.p9.c:8:
gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.h: In function 'test3':
gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.h:16:1: error:
unrecognizable insn:
   16 | }
      | ^
(insn 8 7 11 2 (set (reg:V2DI 117 [ _2 ])
        (minus:V2DI (reg:V2DI 120)
            (reg:V2DI 119)))
"gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.h":15:10 -1
     (nil))
during RTL pass: vregs
gcc/testsuite/gcc.target/powerpc/fold-vec-neg-longlong.h:16:1: internal
compiler error: in extract_insn, at recog.cc:2791
0x690b53 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/rtl-error.cc:108
0x690b71 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/rtl-error.cc:116
0x68f485 extract_insn(rtx_insn*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/recog.cc:2791
0xada6c5 instantiate_virtual_regs_in_insn
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/function.cc:1611
0xada6c5 instantiate_virtual_regs
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/function.cc:1985
0xada6c5 execute
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-12.0.1_p20220410/work/gcc-12-20220410/gcc/function.cc:2034

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

[linkw at gcc dot gnu.org]

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

Kewen Lin <linkw at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |linkw at gcc dot gnu.org
             Target|powerpc-e300c3-linux-gnu    |powerpc*-linux-gnu
   Last reconfirmed|                            |2022-04-14
     Ever confirmed|0                           |1
                 CC|                            |linkw at gcc dot gnu.org

--- Comment #1 from Kewen Lin <linkw at gcc dot gnu.org> ---
It can be reproduce even without cross build, and it's related to commit
r12-7925.

Unlike the other vector integer mode, V2DImode on vec_neg
(__builtin_altivec_neg_v2di) is special, it requires the pattern negv2di and
it's further expanded into vzero and subv2di, the latter has the condition
guard "VECTOR_UNIT_P8_VECTOR_P (V2DImode)", so it's wrong to move it out from
P8 vector stanza.  The fix can be to move it back to be under power8-vector
stanza.

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

[linkw at gcc dot gnu.org]

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

Kewen Lin <linkw at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE in extract_insn, at     |[12 Regression] ICE in
                   |recog.cc:2791 (error:       |extract_insn, at
                   |unrecognizable insn)        |recog.cc:2791 (error:
                   |                            |unrecognizable insn)

--- Comment #2 from Kewen Lin <linkw at gcc dot gnu.org> ---
GCC11's behavior:

/opt/at15.0/bin//gcc test.c -mvsx -mcpu=power7
test.c: In function ‘test3’:
test.c:7:5: note: builtin ‘__builtin_vec_neg’ requires builtin
‘__builtin_altivec_neg_v2di’
    7 |     return vec_neg (x);
      |     ^~~~~~
In file included from test.c:2:
test.c:7:12: error: ‘__builtin_altivec_neg_v2di’ requires the ‘-mpower8-vector’
option
    7 |     return vec_neg (x);
      |            ^~~~~~~

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

[linkw at gcc dot gnu.org]

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

Kewen Lin <linkw at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |https://gcc.gnu.org/piperma
                   |                            |il/gcc-patches/2022-April/5
                   |                            |93289.html

--- Comment #3 from Kewen Lin <linkw at gcc dot gnu.org> ---
Forgot to note, a patch was posted at
https://gcc.gnu.org/pipermail/gcc-patches/2022-April/593289.html.

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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug target/105271] [12 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=105271

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
                 CC|                            |jakub at gcc dot gnu.org

[Bug target/105271] [12 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=105271

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Kewen Lin <linkw@gcc.gnu.org>:

https://gcc.gnu.org/g:39d2411c787493adb1e1ae894cbef161cb7a114f

commit r12-8275-g39d2411c787493adb1e1ae894cbef161cb7a114f
Author: Kewen Lin <linkw@linux.ibm.com>
Date:   Tue Apr 26 06:34:24 2022 -0500

    rs6000: Move V2DI vec_neg under power8-vector [PR105271]

    As PR105271 shows, __builtin_altivec_neg_v2di requires option
    -mpower8-vector as its pattern expansion relies on subv2di which
    has guard VECTOR_UNIT_P8_VECTOR_P (V2DImode).  This fix is to move
    the related lines for __builtin_altivec_neg_v2di to the section
    of stanza power8-vector.

            PR target/105271

    gcc/ChangeLog:

            * config/rs6000/rs6000-builtins.def (NEG_V2DI): Move to
[power8-vector]
            stanza.

    gcc/testsuite/ChangeLog:

            * gcc.target/powerpc/pr105271.c: New test.

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

[linkw at gcc dot gnu.org]

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

Kewen Lin <linkw at gcc dot gnu.org> changed:

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

--- Comment #5 from Kewen Lin <linkw at gcc dot gnu.org> ---
Should be fixed on latest trunk now.