[gcc(refs/users/mikael/heads/pr121185_v01)] expand: Allow fixed-point arithmetic for RDIV_EXPR.

[Mikael Morin via Gcc-cvs]

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

commit fe4d379e6ebf7ef7124b1ba1ada927f9e7c89e34
Author: Robin Dapp <rd...@ventanamicro.com>
Date:   Tue Jul 15 10:55:36 2025 +0200

    expand: Allow fixed-point arithmetic for RDIV_EXPR.
    
    r16-2175-g5aa21765236730 introduced an assert for floating-point modes
    when expanding an RDIV_EXPR but forgot fixed-point modes.  This patch
    adds ALL_FIXED_POINT_MODE_P to the assert.
    
            PR middle-end/121065
    
    gcc/ChangeLog:
    
            * cfgexpand.cc (expand_debug_expr): Allow fixed-point modes for
            RDIV_EXPR.
            * optabs-tree.cc (optab_for_tree_code): Ditto.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.target/arm/pr121065.c: New test.

Diff:
---
 gcc/cfgexpand.cc                        |  3 ++-
 gcc/optabs-tree.cc                      |  3 ++-
 gcc/testsuite/gcc.target/arm/pr121065.c | 11 +++++++++++
 3 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/gcc/cfgexpand.cc b/gcc/cfgexpand.cc
index a656ccebf176..8a55f4f472a2 100644
--- a/gcc/cfgexpand.cc
+++ b/gcc/cfgexpand.cc
@@ -5358,7 +5358,8 @@ expand_debug_expr (tree exp)
       return simplify_gen_binary (MULT, mode, op0, op1);
 
     case RDIV_EXPR:
-      gcc_assert (FLOAT_MODE_P (mode));
+      gcc_assert (FLOAT_MODE_P (mode)
+                 || ALL_FIXED_POINT_MODE_P (mode));
       /* Fall through.  */
     case TRUNC_DIV_EXPR:
     case EXACT_DIV_EXPR:
diff --git a/gcc/optabs-tree.cc b/gcc/optabs-tree.cc
index 9308a6dfd65c..0de74c7966af 100644
--- a/gcc/optabs-tree.cc
+++ b/gcc/optabs-tree.cc
@@ -82,7 +82,8 @@ optab_for_tree_code (enum tree_code code, const_tree type,
        return unknown_optab;
       /* FALLTHRU */
     case RDIV_EXPR:
-      gcc_assert (FLOAT_TYPE_P (type));
+      gcc_assert (FLOAT_TYPE_P (type)
+                 || ALL_FIXED_POINT_MODE_P (TYPE_MODE (type)));
       /* FALLTHRU */
     case TRUNC_DIV_EXPR:
     case EXACT_DIV_EXPR:
diff --git a/gcc/testsuite/gcc.target/arm/pr121065.c 
b/gcc/testsuite/gcc.target/arm/pr121065.c
new file mode 100644
index 000000000000..dfc6059a46d2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/pr121065.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-options "-mcpu=cortex-m55" } */
+
+_Accum sa;
+char c;
+
+void
+div_csa ()
+{
+  c /= sa;
+}