Add new FMA test case
authormeissner <meissner@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 30 Nov 2010 20:32:07 +0000 (20:32 +0000)
committermeissner <meissner@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 30 Nov 2010 20:32:07 +0000 (20:32 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@167312 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/powerpc/ppc-fma-7.c [new file with mode: 0644]

index 0417dec..1514fd0 100644 (file)
@@ -1,3 +1,9 @@
+2010-11-30  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       * gcc.target/powerpc/ppc-fma-7.c: New file, test that (a*b)+c and
+       (a*b)-c generates two fma instructions, instead of separate
+       multiply, add, and subtract.
+
 2010-11-30  Tobias Burnus  <burnus@net-b.de>
 
        * gfortran.dg/realloc_on_assign_2.f03 (invima): Assign
diff --git a/gcc/testsuite/gcc.target/powerpc/ppc-fma-7.c b/gcc/testsuite/gcc.target/powerpc/ppc-fma-7.c
new file mode 100644 (file)
index 0000000..ec0c3d7
--- /dev/null
@@ -0,0 +1,18 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-skip-if "" { powerpc*-*-darwin* } { "*" } { "" } } */
+/* { dg-require-effective-target powerpc_altivec_ok } */
+/* { dg-options "-O3 -ftree-vectorize -mcpu=power6 -ffast-math" } */
+/* { dg-final { scan-assembler-times "fmadd" 1 } } */
+/* { dg-final { scan-assembler-times "fmsub " 1 } } */
+/* { dg-final { scan-assembler-not "fmul" } } */
+/* { dg-final { scan-assembler-not "fadd " } } */
+
+/* Check whether the common FFT idiom (a*b)+c and (a*b)-c generates two fma
+   instructions, instead of a multiply, add, and subtract.  */
+
+void
+fft (double *result, double a, double b, double c)
+{
+  result[0] = (a*b) + c;
+  result[1] = (a*b) - c;
+}