[gcc r13-8359] arm: fix ICE with vectorized reciprocal division [PR108120]

[gcc r13-8359] arm: fix ICE with vectorized reciprocal division [PR108120]

[Richard Earnshaw]

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

commit r13-8359-gf78d1b9c26c2def0e9c54610e73e21f91b5eb05b
Author: Richard Earnshaw <rearnsha@arm.com>
Date:   Thu Feb 22 16:47:20 2024 +0000

    arm: fix ICE with vectorized reciprocal division [PR108120]
    
    The expand pattern for reciprocal division was enabled for all math
    optimization modes, but the patterns it was generating were not
    enabled unless -funsafe-math-optimizations were enabled, this leads to
    an ICE when the pattern we generate cannot be recognized.
    
    Fixed by only enabling vector division when doing unsafe math.
    
    gcc:
    
            PR target/108120
            * config/arm/neon.md (div<VCVTF:mode>3): Rename from div<mode>3.
            Gate with ARM_HAVE_NEON_<MODE>_ARITH.
    
    gcc/testsuite:
            PR target/108120
            * gcc.target/arm/neon-recip-div-1.c: New file.
    
    (cherry picked from commit 016c4eed368b80a97101f6156ed99e4c5474fbb7)

Diff:
---
 gcc/config/arm/neon.md                          |  4 ++--
 gcc/testsuite/gcc.target/arm/neon-recip-div-1.c | 16 ++++++++++++++++
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/gcc/config/arm/neon.md b/gcc/config/arm/neon.md
index d213369ffc38..fab7b07b1658 100644
--- a/gcc/config/arm/neon.md
+++ b/gcc/config/arm/neon.md
@@ -504,11 +504,11 @@
    Enabled with -funsafe-math-optimizations -freciprocal-math
    and disabled for -Os since it increases code size .  */
 
-(define_expand "div<mode>3"
+(define_expand "div<VCVTF:mode>3"
   [(set (match_operand:VCVTF 0 "s_register_operand")
         (div:VCVTF (match_operand:VCVTF 1 "s_register_operand")
 		  (match_operand:VCVTF 2 "s_register_operand")))]
-  "TARGET_NEON && !optimize_size
+  "ARM_HAVE_NEON_<MODE>_ARITH && !optimize_size
    && flag_reciprocal_math"
   {
     rtx rec = gen_reg_rtx (<MODE>mode);
diff --git a/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c b/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c
new file mode 100644
index 000000000000..e15c3ca5fe9d
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target arm_neon_ok } */
+/* { dg-options "-O3 -freciprocal-math -fno-unsafe-math-optimizations -save-temps" } */
+/* { dg-add-options arm_neon } */
+
+int *a;
+int n;
+void b() {
+  int c;
+  for (c = 0; c < 100000; c++)
+    a[c] = (float)c / n;
+}
+/* We should not ICE, or get a vectorized reciprocal instruction when unsafe
+   math optimizations are disabled.  */
+/* { dg-final { scan-assembler-not "vrecpe\\.f32\\t\[qd\].*" } } */
+/* { dg-final { scan-assembler-not "vrecps\\.f32\\t\[qd\].*" } } */