reassoc-39.c: Use -g.

	* gcc.dg/tree-ssa/reassoc-39.c: Use -g.  Adjust dg-final.
	(f6): New.
	(f7): New.
	(f8): New.
	(f9): New.
	(f10): New.
	(f11): New.
	(f12): New.
	(f13): New.

From-SVN: r228812

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e6a457b4f7f6bd5ead7f1ef79bd2b4f425cb1743..04dbdcc2a8fb9d9304bb54ac30e511474c274ad9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,15 @@
+2015-10-14  Marek Polacek  <polacek@redhat.com>
+
+       * gcc.dg/tree-ssa/reassoc-39.c: Use -g.  Adjust dg-final.
+       (f6): New.
+       (f7): New.
+       (f8): New.
+       (f9): New.
+       (f10): New.
+       (f11): New.
+       (f12): New.
+       (f13): New.
+
 2015-10-14  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/67915

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-39.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-39.c
index 589d06be3f6cc91e4582388cad916fb6f6feacd9..9befe184a018515da50a4dd14782d79482fd07d9 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-39.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-39.c
@@ -1,6 +1,9 @@
 /* PR tree-optimization/67815 */
 /* { dg-do compile } */
-/* { dg-options "-Ofast -fdump-tree-reassoc1-details" } */
+/* { dg-options "-Ofast -g -fdump-tree-reassoc1-details" } */
+
+extern float barf (float, float);
+extern double bar (double, double);
 
 float
 f0 (float x)
@@ -38,4 +41,67 @@ f5 (double x, double y, double z)
   return (x * (-1.0/12)) * z * __builtin_copysign (2.0, y);
 }
 
-/* { dg-final { scan-tree-dump-times "Optimizing copysign" 6 "reassoc1"} }*/
+float
+f6 (float x, float y)
+{
+  return 7.5f * y * __builtin_copysignf (2.0f, x);
+}
+
+float
+f7 (float x, float y)
+{
+  return -7.5f * y * __builtin_copysignf (2.0f, x);
+}
+
+float
+f8 (float x)
+{
+  float tmp1 = 7.5f;
+  float tmp2 = __builtin_copysignf (2.0f, x);
+  return tmp1 * tmp2;
+}
+
+double
+f9 (double x)
+{
+  double tmp1 = 7.5;
+  double tmp2 = __builtin_copysign (2.0, x);
+  return tmp1 * tmp2;
+}
+
+float
+f10 (float x)
+{
+  float tmp1 = 7.5f;
+  float tmp2 = __builtin_copysignf (2.0f, x);
+  float tmp3 = tmp2 * 24.0f;
+  return tmp1 * tmp2;
+}
+
+double
+f11 (double x)
+{
+  double tmp1 = 7.5;
+  double tmp2 = __builtin_copysign (2.0, x);
+  double tmp3 = tmp2 * 24.0;
+  return tmp1 * tmp2;
+}
+
+float
+f12 (float x)
+{
+  float tmp1 = 7.5f;
+  float tmp2 = __builtin_copysignf (2.0f, x);
+  /* Can't reassoc here.  */
+  return barf (tmp1 * tmp2, tmp2);
+}
+
+double
+f13 (double x)
+{
+  double tmp1 = 7.5;
+  double tmp2 = __builtin_copysign (2.0, x);
+  /* Can't reassoc here.  */
+  return bar (tmp1 * tmp2, tmp2);
+}
+/* { dg-final { scan-tree-dump-times "Optimizing copysign" 12 "reassoc1"} }*/