[PATCH][aarch64] Put vector fnma instruction into canonical form for better code generation.
Steve Ellcey
sellcey@cavium.com
Fri Oct 6 22:06:00 GMT 2017
This patch is a follow up to a discussion at:
https://gcc.gnu.org/ml/gcc/2017-06/msg00126.html
For some reason the simd version of fnma in aarch64-simd.md
is not in the canonical form of having the neg operator onÂ
the first operand and instead has it on the second.  ThisÂ
results in sub-optimal code generation (an extra dup instruction).
I have moved the 'neg', rebuilt GCC and retested with this patch
There were no regressions.  OK to checkin?
2017-10-06  Steve Ellcey  <sellcey@cavium.com>
* config/aarch64/aarch64-simd.md (fnma<mode>4): Move neg operator
to canonical location.
diff --git a/gcc/config/aarch64/aarch64-simd.md b/gcc/config/aarch64/aarch64-sim
d.md
index 12da8be..d9ced50 100644
--- a/gcc/config/aarch64/aarch64-simd.md
+++ b/gcc/config/aarch64/aarch64-simd.md
@@ -1777,9 +1777,8 @@
 (define_insn "fnma<mode>4"
   [(set (match_operand:VHSDF 0 "register_operand" "=w")
 (fma:VHSDF
- Â Â (match_operand:VHSDF 1 "register_operand" "w")
-Â Â Â Â Â Â Â Â Â Â (neg:VHSDF
- Â Â Â Â (match_operand:VHSDF 2 "register_operand" "w"))
+ Â Â (neg:VHSDF (match_operand:VHSDF 1 "register_operand" "w"))
+ Â Â (match_operand:VHSDF 2 "register_operand" "w")
   (match_operand:VHSDF 3 "register_operand" "0")))]
   "TARGET_SIMD"
   "fmls\\t%0.<Vtype>, %1.<Vtype>, %2.<Vtype>"
2017-10-06  Steve Ellcey  <sellcey@cavium.com>
* gcc.target/aarch64/fmls.c: New test.
diff --git a/gcc/testsuite/gcc.target/aarch64/fmls.c b/gcc/testsuite/gcc.target/
aarch64/fmls.c
index e69de29..1ea0e6a 100644
--- a/gcc/testsuite/gcc.target/aarch64/fmls.c
+++ b/gcc/testsuite/gcc.target/aarch64/fmls.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+
+#define vector __attribute__((vector_size(16)))
+vector double a = {1.0,1.0};
+vector double b = {2.0,2.0};
+double x = 3.0;
+
+
+void __attribute__ ((noinline))
+vf (double x, vector double *v1, vector double *v2, vector double *result)
+{
+Â Â vector double s = v1[0];
+Â Â vector double t = -v2[0];
+Â Â vector double m = {x,x};
+Â Â vector double r = t * m + s;
+Â Â result[0] = r;
+}
+/* { dg-final { scan-assembler-not "dup" } } */
More information about the Gcc-patches
mailing list