diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2006-12-26 19:03:17 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2006-12-26 19:03:17 +0000 |
| commit | 5f641bd832eeed588936e4bd42a6c63f65b20f48 (patch) | |
| tree | 94b0ae7014af1903a73894e681b5975204487209 | |
| parent | 04b5b56c85dbb3b8f63ee432bf1f3798aa8067c5 (diff) | |
| download | gcc-5f641bd832eeed588936e4bd42a6c63f65b20f48.zip gcc-5f641bd832eeed588936e4bd42a6c63f65b20f48.tar.gz gcc-5f641bd832eeed588936e4bd42a6c63f65b20f48.tar.bz2 | |
re PR middle-end/29335 (transcendental functions with constant arguments should be resolved at compile-time)
PR middle-end/29335
* builtins.c (do_mpfr_arg1, do_mpfr_arg2, do_mpfr_arg3,
do_mpfr_sincos): Ensure target base equals two.
From-SVN: r120211
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/builtins.c | 22 |
2 files changed, 23 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b2b0397..d9a1535 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-12-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> + + PR middle-end/29335 + * builtins.c (do_mpfr_arg1, do_mpfr_arg2, do_mpfr_arg3, + do_mpfr_sincos): Ensure target base equals two. + 2006-12-26 Kazu Hirata <kazu@codesourcery.com> * tree-ssa-operands.c: Fix a comment typo. diff --git a/gcc/builtins.c b/gcc/builtins.c index f5798e7894..6f79b29 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -11737,7 +11737,10 @@ do_mpfr_arg1 (tree arg, tree type, int (*func)(mpfr_ptr, mpfr_srcptr, mp_rnd_t), STRIP_NOPS (arg); - if (TREE_CODE (arg) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg)) + /* To proceed, MPFR must exactly represent the target floating point + format, which only happens when the target base equals two. */ + if (REAL_MODE_FORMAT (TYPE_MODE (type))->b == 2 + && TREE_CODE (arg) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg)) { const REAL_VALUE_TYPE *const ra = &TREE_REAL_CST (arg); @@ -11776,7 +11779,10 @@ do_mpfr_arg2 (tree arg1, tree arg2, tree type, STRIP_NOPS (arg1); STRIP_NOPS (arg2); - if (TREE_CODE (arg1) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg1) + /* To proceed, MPFR must exactly represent the target floating point + format, which only happens when the target base equals two. */ + if (REAL_MODE_FORMAT (TYPE_MODE (type))->b == 2 + && TREE_CODE (arg1) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg1) && TREE_CODE (arg2) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg2)) { const REAL_VALUE_TYPE *const ra1 = &TREE_REAL_CST (arg1); @@ -11818,7 +11824,10 @@ do_mpfr_arg3 (tree arg1, tree arg2, tree arg3, tree type, STRIP_NOPS (arg2); STRIP_NOPS (arg3); - if (TREE_CODE (arg1) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg1) + /* To proceed, MPFR must exactly represent the target floating point + format, which only happens when the target base equals two. */ + if (REAL_MODE_FORMAT (TYPE_MODE (type))->b == 2 + && TREE_CODE (arg1) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg1) && TREE_CODE (arg2) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg2) && TREE_CODE (arg3) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg3)) { @@ -11858,17 +11867,20 @@ do_mpfr_arg3 (tree arg1, tree arg2, tree arg3, tree type, static tree do_mpfr_sincos (tree arg, tree arg_sinp, tree arg_cosp) { + tree const type = TREE_TYPE (arg); tree result = NULL_TREE; STRIP_NOPS (arg); - if (TREE_CODE (arg) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg)) + /* To proceed, MPFR must exactly represent the target floating point + format, which only happens when the target base equals two. */ + if (REAL_MODE_FORMAT (TYPE_MODE (type))->b == 2 + && TREE_CODE (arg) == REAL_CST && ! TREE_CONSTANT_OVERFLOW (arg)) { const REAL_VALUE_TYPE *const ra = &TREE_REAL_CST (arg); if (!real_isnan (ra) && !real_isinf (ra)) { - tree const type = TREE_TYPE (arg); const int prec = REAL_MODE_FORMAT (TYPE_MODE (type))->p; tree result_s, result_c; int inexact; |