[Bug target/98470] New: ICE: "error: insn does not satisfy its constraints" with hard FP on xtensa

[jcmvbkbc at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 98470
           Summary: ICE: "error: insn does not satisfy its constraints"
                    with hard FP on xtensa
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jcmvbkbc at gcc dot gnu.org
  Target Milestone: ---

Created attachment 49848
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49848&action=edit
float-ice.c

With the following change that enables hardware floating point for the xtensa
target
--->8---
diff --git a/include/xtensa-config.h b/include/xtensa-config.h
index 58d52db0c9b3..6ea55f94dc2a 100644
--- a/include/xtensa-config.h
+++ b/include/xtensa-config.h
@@ -25,7 +25,7 @@
    macros.  */

 #undef XCHAL_HAVE_BE
-#define XCHAL_HAVE_BE                  1
+#define XCHAL_HAVE_BE                  0

 #undef XCHAL_HAVE_DENSITY
 #define XCHAL_HAVE_DENSITY             1
@@ -85,22 +85,22 @@
 #define XCHAL_HAVE_S32C1I              1

 #undef XCHAL_HAVE_BOOLEANS
-#define XCHAL_HAVE_BOOLEANS            0
+#define XCHAL_HAVE_BOOLEANS            1

 #undef XCHAL_HAVE_FP
-#define XCHAL_HAVE_FP                  0
+#define XCHAL_HAVE_FP                  1

 #undef XCHAL_HAVE_FP_DIV
-#define XCHAL_HAVE_FP_DIV              0
+#define XCHAL_HAVE_FP_DIV              1

 #undef XCHAL_HAVE_FP_RECIP
-#define XCHAL_HAVE_FP_RECIP            0
+#define XCHAL_HAVE_FP_RECIP            1

 #undef XCHAL_HAVE_FP_SQRT
-#define XCHAL_HAVE_FP_SQRT             0
+#define XCHAL_HAVE_FP_SQRT             1

 #undef XCHAL_HAVE_FP_RSQRT
-#define XCHAL_HAVE_FP_RSQRT            0
+#define XCHAL_HAVE_FP_RSQRT            1

 #undef XCHAL_HAVE_DFP_accel
 #define XCHAL_HAVE_DFP_accel                   0

--->8---
the following compiler invocation with the attached example:

cc1 -O2 float-ice.c

results in the following ICE:

float-ice.c: In function ‘d’:
float-ice.c:15:1: error: insn does not satisfy its constraints:
   15 | }
      | ^
(insn 538 168 169 32 (set (reg:SF 19 f0 [orig:71 iftmp.0_87 ] [71])
        (mem/u/c:SF (symbol_ref/u:SI ("*.LC0") [flags 0x2]) [0  S4 A32]))
"float-ice.c":11:17 45 {movsf_internal}
     (nil))
during RTL pass: postreload
float-ice.c:15:1: internal compiler error: in extract_constrain_insn, at
recog.c:2670
0x113e0bd _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:108
0x113e11d _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/gcc/rtl-error.c:118
0x10ecd55 extract_constrain_insn(rtx_insn*)
        ../../gcc/gcc/recog.c:2670
0x10a1448 reload_cse_simplify_operands
        ../../gcc/gcc/postreload.c:407
0x10a08cd reload_cse_simplify
        ../../gcc/gcc/postreload.c:132
0x10a0ca8 reload_cse_regs_1
        ../../gcc/gcc/postreload.c:238
0x10a06c1 reload_cse_regs
        ../../gcc/gcc/postreload.c:66
0x10a6490 execute
        ../../gcc/gcc/postreload.c:2358