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

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

            Bug ID: 106524
           Summary: [12/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: aarch64-linux-gnu

gcc 13.0.0 20220731 snapshot (g:525a1a73a5a563c829a5f76858fe122c9b39f254) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/aarch64/sve/vcond_4_zero.c, w/ -march=armv8-a+sve -O2
-fno-move-loop-invariants:

void
test__zero (int *restrict dest, int *restrict src, float *a, int count)
{
  int i;

  for (i = 0; i < count; ++i)
    dest[i] = !__builtin_isunordered (a[i], 0) ? src[i] : 0;
}

% aarch64-linux-gnu-gcc-13.0.0 -march=armv8-a+sve -O2 -fno-move-loop-invariants
-c ezv9mlin.c
ezv9mlin.c: In function 'test__zero':
ezv9mlin.c:8:1: error: unrecognizable insn:
    8 | }
      | ^
(insn 58 23 59 4 (set (reg:VNx4BI 122)
        (unspec:VNx4BI [
                (reg:VNx4BI 97 [ loop_mask_46 ])
                (const_int 0 [0])
                (reg:VNx4SF 98 [ vect__4.10 ])
                (const_vector:VNx4SF repeat [
                        (const_double:SF 0.0 [0x0.0p+0])
                    ])
            ] UNSPEC_COND_FCMUO)) -1
     (expr_list:REG_DEAD (reg:VNx4SF 98 [ vect__4.10 ])
        (nil)))
during RTL pass: sched1
ezv9mlin.c:8:1: internal compiler error: in extract_insn, at recog.cc:2791
0x75b3e6 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/rtl-error.cc:108
0x75b404 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/rtl-error.cc:116
0x759d4d extract_insn(rtx_insn*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/recog.cc:2791
0xd2ddcf scan_one_insn
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/ira-costs.cc:1464
0xd2ddcf process_bb_for_costs
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/ira-costs.cc:1632
0xd2f4b7 find_costs_and_classes
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/ira-costs.cc:1739
0xd2fafa ira_set_pseudo_classes(bool, _IO_FILE*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/ira-costs.cc:2293
0x1b66137 alloc_global_sched_pressure_data
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/haifa-sched.cc:7201
0x1b66137 sched_init()
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/haifa-sched.cc:7356
0x1b678ca haifa_sched_init()
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/haifa-sched.cc:7368
0xec7bba schedule_insns()
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/sched-rgn.cc:3510
0xec832c schedule_insns()
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/sched-rgn.cc:3504
0xec832c rest_of_handle_sched
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/sched-rgn.cc:3722
0xec832c execute
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20220731/work/gcc-13-20220731/gcc/sched-rgn.cc:3832

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.2

[Bug target/106524] [12/13 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13 Regression] ICE in   |[12/13 Regression] ICE in
                   |extract_insn, at            |extract_insn, at
                   |recog.cc:2791 (error:       |recog.cc:2791 (error:
                   |unrecognizable insn)        |unrecognizable insn) since
                   |                            |r12-4349-ge36206c9940d22.
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |tnfchris at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-08-09

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-4349-ge36206c9940d22.

[Bug target/106524] [12/13 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug target/106524] [12/13 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |tnfchris at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

[Bug target/106524] [12/13 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r13-2030-gf4ff20d464f90c85919ce2e7fa63e204dcda4e40
Author: Tamar Christina <tamar.christina@arm.com>
Date:   Fri Aug 12 12:28:41 2022 +0100

    sve: Fix fcmuo combine patterns [PR106524]

    There's no encoding for fcmuo with zero.  This restricts the combine
patterns
    from accepting zero registers.

    gcc/ChangeLog:

            PR target/106524
            * config/aarch64/aarch64-sve.md (*fcmuo<mode>_nor_combine,
            *fcmuo<mode>_bic_combine): Don't accept comparisons against zero.

    gcc/testsuite/ChangeLog:

            PR target/106524
            * gcc.target/aarch64/sve/pr106524.c: New test.

[Bug target/106524] [12 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13 Regression] ICE in   |[12 Regression] ICE in
                   |extract_insn, at            |extract_insn, at
                   |recog.cc:2791 (error:       |recog.cc:2791 (error:
                   |unrecognizable insn) since  |unrecognizable insn) since
                   |r12-4349-ge36206c9940d22.   |r12-4349-ge36206c9940d22.
   Target Milestone|12.2                        |12.3

--- Comment #3 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Fixed on trunk, will backport to 12 once branch unfrozen.

[Bug target/106524] [12 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Tamar Christina
<tnfchris@gcc.gnu.org>:

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

commit r12-8728-ge927d1cf141f221c5a32574bde0913307e140984
Author: Tamar Christina <tamar.christina@arm.com>
Date:   Fri Aug 12 12:28:41 2022 +0100

    sve: Fix fcmuo combine patterns [PR106524]

    There's no encoding for fcmuo with zero.  This restricts the combine
patterns
    from accepting zero registers.

    gcc/ChangeLog:

            PR target/106524
            * config/aarch64/aarch64-sve.md (*fcmuo<mode>_nor_combine,
            *fcmuo<mode>_bic_combine): Don't accept comparisons against zero.

    gcc/testsuite/ChangeLog:

            PR target/106524
            * gcc.target/aarch64/sve/pr106524.c: New test.

    (cherry picked from commit f4ff20d464f90c85919ce2e7fa63e204dcda4e40)

[Bug target/106524] [12 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r12-4349-ge36206c9940d22.

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

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

--- Comment #5 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Fixed in GCC 12 as well. Thanks for the report.