* tree-ssa-reassoc.c (attempt_builtin_copysign): Call

	gimple_call_builtin instead of is_gimple_call.

	* gcc.dg/tree-ssa/reassoc-42.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228843 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 380f1ee..50c7f57 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-15  Marek Polacek  <polacek@redhat.com>
+
+       * tree-ssa-reassoc.c (attempt_builtin_copysign): Call
+       gimple_call_builtin instead of is_gimple_call.
+
 2015-10-15  Richard Biener  <rguenther@suse.de>
 
        * tree-vect-stmts.c (vect_init_vector): Remove unused vars.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 631d8a7..181e5e4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,9 @@
 2015-10-15  Marek Polacek  <polacek@redhat.com>
 
+       * gcc.dg/tree-ssa/reassoc-42.c: New test.
+
+2015-10-15  Marek Polacek  <polacek@redhat.com>
+
        PR tree-optimization/67953
        * gcc.dg/fold-minus-6.c (fn4): Change the type of A to
        unsigned.

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-42.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-42.c
new file mode 100644 (file)
index 0000000..9c8eb39
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-42.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+/* { dg-options "-Ofast" } */
+
+double
+foo (double f(void))
+{
+  return 2. * f ();
+}

diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index 62438dd..45b8d46 100644 (file)
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -4643,7 +4643,7 @@ attempt_builtin_copysign (vec<operand_entry *> *ops)
          && has_single_use (oe->op))
        {
          gimple *def_stmt = SSA_NAME_DEF_STMT (oe->op);
-         if (is_gimple_call (def_stmt))
+         if (gimple_call_builtin_p (def_stmt, BUILT_IN_NORMAL))
            {
              tree fndecl = gimple_call_fndecl (def_stmt);
              tree arg0, arg1;