diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2015-10-13 07:34:41 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2015-10-13 07:34:41 +0000 |
| commit | 9b054b08813d37586d6765fd087b0fc85dc94daf (patch) | |
| tree | ce58f25ea3acb2f496d0e9a22bb891f6e38e668d /gcc/real.h | |
| parent | 6696de8a7f7e9bf37e2b9358ad5608dc863ad7a4 (diff) | |
To...
To: gcc-patches@gcc.gnu.org
Subject: Add an extra pow rule to match.pd
From: Richard Sandiford <richard.sandiford@arm.com>
Gcc: private.sent
--text follows this line--
Simplify pow(|x|,y) and pow(-x,y) to pow(x,y) if y is an even integer.
At the moment this duplicates a case in fold_builtin_pow, but an
upcoming patch will move all the fold_builtin_pow rules to match.pd.
I'm doing this one early to fix a regression in builtin-10.c for
soft-float ARM.
gcc/
* real.h (real_isinteger): Declare.
* real.c (real_isinteger): New function.
* match.pd: Simplify pow(|x|,y) and pow(-x,y) to pow(x,y)
if y is an even integer.
From-SVN: r228750
Diffstat (limited to 'gcc/real.h')
| -rw-r--r-- | gcc/real.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/real.h b/gcc/real.h index 706859b6c64..e65b5263e11 100644 --- a/gcc/real.h +++ b/gcc/real.h @@ -467,7 +467,8 @@ extern void real_round (REAL_VALUE_TYPE *, machine_mode, extern void real_copysign (REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *); /* Check whether the real constant value given is an integer. */ -extern bool real_isinteger (const REAL_VALUE_TYPE *c, machine_mode mode); +extern bool real_isinteger (const REAL_VALUE_TYPE *, machine_mode); +extern bool real_isinteger (const REAL_VALUE_TYPE *, HOST_WIDE_INT *); /* Write into BUF the maximum representable finite floating-point number, (1 - b**-p) * b**emax for a given FP format FMT as a hex |