[ARC] Update fma expansions.

Accept at most a single constant for fma patterns.

gcc/
2018-03-21  Claudiu Zissulescu  <claziss@synopsys.com>

	* config/arc/fpu.md (fmasf4): Force operand to register.
	(fnmasf4): Likewise.

gcc/testsuite
2018-03-21  Claudiu Zissulescu  <claziss@synopsys.com>

	* gcc.target/arc/fma-1.c: New test.

From-SVN: r261543

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ce7197bf27c201f259f24e5b44e7592d5d34701c..34eb1d962a7db081370c5e98d7582a334f60b229 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-06-12  Claudiu Zissulescu  <claziss@synopsys.com>
+
+       * config/arc/fpu.md (fmasf4): Force operand to register.
+       (fnmasf4): Likewise.
+
 2018-06-12  Claudiu Zissulescu  <claziss@synopsys.com>
 
        * config/arc/arc-protos.h (arc_pad_return): Remove.

diff --git a/gcc/config/arc/fpu.md b/gcc/config/arc/fpu.md
index 5c56f76c67996ac542974fc2347b4d46bda2025c..66a4d91616fdb5fe7f5b6ae45a573a7acb080078 100644 (file)
--- a/gcc/config/arc/fpu.md
+++ b/gcc/config/arc/fpu.md
@@ -64,6 +64,9 @@
    tmp = gen_rtx_REG (SFmode, ACCL_REGNO);
    emit_move_insn (tmp, operands[3]);
    operands[3] = tmp;
+   if (!register_operand (operands[1], SFmode)
+        && !register_operand (operands[2], SFmode))
+     operands[2] = force_reg (SFmode, operands[2]);
    }")
 
 (define_expand "fnmasf4"
@@ -77,6 +80,9 @@
    tmp = gen_rtx_REG (SFmode, ACCL_REGNO);
    emit_move_insn (tmp, operands[3]);
    operands[3] = tmp;
+   if (!register_operand (operands[1], SFmode)
+        && !register_operand (operands[2], SFmode))
+     operands[2] = force_reg (SFmode, operands[2]);
 }")
 
 (define_insn "fmasf4_fpu"

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 572424df1faa0b89d3d007d5f27372c71d9e602e..cb680c727ae617d051c3c74e17be31245ff406b8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2018-06-12  Claudiu Zissulescu  <claziss@synopsys.com>
+
+       * gcc.target/arc/fma-1.c: New test.
+
 2018-06-12  Claudiu Zissulescu  <claziss@synopsys.com>
 
        * gcc.target/arc/pr9001107555.c: New file.

diff --git a/gcc/testsuite/gcc.target/arc/fma-1.c b/gcc/testsuite/gcc.target/arc/fma-1.c
new file mode 100644 (file)
index 0000000..c195ad9
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arc/fma-1.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-skip-if "FPU not available" { arc700 || arc6xx } } */
+/* { dg-options "-s -std=gnu11  -O2 -frounding-math -mfpu=fpus_all" } */
+
+const float a, b = 7.8539818525e01;
+
+/* Check if the fma operation is generated correctly.  */
+
+int foo (void)
+{
+  return (float)3.0 * b + a;
+}
+/* { dg-final { scan-assembler "fsmadd" } } */