[Bug c/107969] New: ICE in extract_insn, at recog.cc:2791 since r13-3292-gc2565a31c1622ab0

[marxin at gcc dot gnu.org]

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

            Bug ID: 107969
           Summary: ICE in extract_insn, at recog.cc:2791 since
                    r13-3292-gc2565a31c1622ab0
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: jakub at gcc dot gnu.org
  Target Milestone: ---

The follow crashes:

$ cat prec.c
int i;
__bf16 f;

void
bar() { i *= 0 <= f; }

$ gcc prec.c -Ofast -fexcess-precision=16 -m32 -msoft-float -c
prec.c: In function ‘bar’:
prec.c:5:22: error: unrecognizable insn:
    5 | bar() { i *= 0 <= f; }
      |                      ^
(insn 10 9 12 2 (set (reg:CCFP 17 flags)
        (compare:CCFP (reg:SF 89)
            (reg:SF 90))) "prec.c":5:11 -1
     (nil))
during RTL pass: vregs
prec.c:5:22: internal compiler error: in extract_insn, at recog.cc:2791
0x75acd4 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.cc:108
0x75acf0 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.cc:116
0x7592b5 extract_insn(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/recog.cc:2791
0xb88100 instantiate_virtual_regs_in_insn
        /home/marxin/Programming/gcc/gcc/function.cc:1611
0xb88100 instantiate_virtual_regs
        /home/marxin/Programming/gcc/gcc/function.cc:1985
0xb88100 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.