[Bug target/106994] New: ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[Bug target/106994] New: ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[marxin at gcc dot gnu.org]

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

            Bug ID: 106994
           Summary: ICE in extract_insn, at recog.cc:2791 since
                    r13-2730-gd0c73b6c85677e67
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: crazylht at gmail dot com
            Blocks: 26163
  Target Milestone: ---

The following is reduced from 526.blender_r:

$ cat view2d.i
typedef struct {
  float ymin, ymax;
} rctf;

rctf view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked;
float view2d_map_cur_using_maskUI_view2d_view_ortho_yofs;

void BLI_rctf_translate();
void glLoadIdentity();

void
view2d_map_cur_using_maskUI_view2d_view_ortho() {
  BLI_rctf_translate(&view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked);
  view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked.ymin =
     
__builtin_floor(view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked.ymin) -
      view2d_map_cur_using_maskUI_view2d_view_ortho_yofs;
  view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked.ymax =
     
__builtin_floor(view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked.ymax) -
      view2d_map_cur_using_maskUI_view2d_view_ortho_yofs;
  glLoadIdentity();
}

$ gcc view2d.i -Ofast -march=skylake -flto -shared
view2d.i: In function 'view2d_map_cur_using_maskUI_view2d_view_ortho':
view2d.i:21:1: error: unrecognizable insn:
   21 | }
      | ^
(insn 9 8 10 2 (set (reg:V2SF 84 [ vect__9.5 ])
        (unspec:V2SF [
                (mem/c:V2SF (reg/f:DI 87) [1 MEM <vector(2) float> [(float
*)&view2d_map_cur_using_maskUI_view2d_view_ortho_curmasked]+0 S8 A64])
                (const_int 9 [0x9])
            ] UNSPEC_ROUND)) "view2d.i":15:7 -1
     (nil))
during RTL pass: vregs
view2d.i:21:1: internal compiler error: in extract_insn, at recog.cc:2791
0x72c52c _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.cc:108
0x72c54e _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.cc:116
0x72a75b extract_insn(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/recog.cc:2791
0xab72a5 instantiate_virtual_regs_in_insn
        /home/marxin/Programming/gcc/gcc/function.cc:1611
0xab72a5 instantiate_virtual_regs
        /home/marxin/Programming/gcc/gcc/function.cc:1985
0xab72a5 execute
        /home/marxin/Programming/gcc/gcc/function.cc:2034
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.
lto-wrapper: fatal error: gcc returned 1 exit status
compilation terminated.
mold: fatal: lto-wrapper failed
collect2: error: ld returned 1 exit status


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=26163
[Bug 26163] [meta-bug] missed optimization in SPEC (2k17, 2k and 2k6 and 95)

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
            Summary|ICE in extract_insn, at     |[13 Regression] ICE in
                   |recog.cc:2791 since         |extract_insn, at
                   |r13-2730-gd0c73b6c85677e67  |recog.cc:2791 since
                   |                            |r13-2730-gd0c73b6c85677e67
           Keywords|                            |ice-on-valid-code
               Host|                            |x86_64-linux-gnu
             Status|UNCONFIRMED                 |NEW
           Priority|P3                          |P1
   Target Milestone|---                         |13.0
   Last reconfirmed|                            |2022-09-21

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[crazylht at gmail dot com]

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

--- Comment #1 from Hongtao.liu <crazylht at gmail dot com> ---
(define_expand "floorv2sf2"
  [(set (match_operand:V2SF 0 "register_operand")
        (unspec:V2SF
          [(match_operand:V2SF 1 "vector_operand")
           (match_dup 2)]
          UNSPEC_ROUND))]
  "TARGET_SSE4_1 && !flag_trapping_math
  && TARGET_MMX_WITH_SSE"
  "operands[2] = GEN_INT (ROUND_FLOOR | ROUND_NO_EXC);")

Uoops, it should be register_operand for 1, not vector_operand, I must forget
to change this one.

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[crazylht at gmail dot com]

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

--- Comment #2 from Hongtao.liu <crazylht at gmail dot com> ---
Created attachment 53598
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53598&action=edit
Patch under testing.

I'm testing the patch.

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r13-2767-gcbaa0ed34e1429dd9861350532534a85a07d220d
Author: liuhongt <hongtao.liu@intel.com>
Date:   Wed Sep 21 16:07:39 2022 +0800

    Fix typo in floorv2sf2, should be register_operand for op1, not
vector_operand.

    gcc/ChangeLog:

            PR target/106994
            * config/i386/mmx.md (floorv2sf2): Fix typo, use
            register_operand instead of vector_operand for operands[1].

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/pr106994.c: New test.

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[crazylht at gmail dot com]

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

--- Comment #4 from Hongtao.liu <crazylht at gmail dot com> ---
Fixed in GCC13.

[Bug target/106994] [13 Regression] ICE in extract_insn, at recog.cc:2791 since r13-2730-gd0c73b6c85677e67

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
.