From 0796dee86b0798e0e4e37f8d086d82bc7c6a49bd Mon Sep 17 00:00:00 2001 From: Marek Polacek Date: Wed, 14 Oct 2015 14:08:51 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 12 ++++ gcc/testsuite/gcc.dg/tree-ssa/reassoc-39.c | 70 +++++++++++++++++++++- 2 files changed, 80 insertions(+), 2 deletions(-) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e6a457b4f7f..04dbdcc2a8f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,15 @@ +2015-10-14 Marek Polacek + + * 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 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 589d06be3f6..9befe184a01 100644 --- 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"} }*/ -- 2.30.2