From 2bef63e105f0fb8f857ec72ce6f6322aa605fa1a Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Mon, 15 Dec 2014 23:03:11 +0100 Subject: [PATCH] sreal.h (to_double): New method. * sreal.h (to_double): New method. (shift): Do not ICE on 0. * sreal.c: Include math.h (sreal::to_double): New. From-SVN: r218765 --- gcc/ChangeLog | 7 +++++++ gcc/sreal.c | 13 +++++++++++++ gcc/sreal.h | 9 ++++++--- 3 files changed, 26 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 07aa48c4ba5..e050f032757 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2014-12-15 Jan Hubicka + + * sreal.h (to_double): New method. + (shift): Do not ICE on 0. + * sreal.c: Include math.h + (sreal::to_double): New. + 2014-12-15 Jakub Jelinek PR rtl-optimization/64316 diff --git a/gcc/sreal.c b/gcc/sreal.c index bc3af2309db..10de80b7702 100644 --- a/gcc/sreal.c +++ b/gcc/sreal.c @@ -47,6 +47,7 @@ along with GCC; see the file COPYING3. If not see sig == 0 && exp == -SREAL_MAX_EXP */ +#include #include "config.h" #include "system.h" #include "coretypes.h" @@ -171,6 +172,18 @@ sreal::to_int () const return m_sig; } +/* Return value of *this as double. + This should be used for debug output only. */ + +double +sreal::to_double () const +{ + double val = m_sig; + if (m_exp) + val *= exp2 (m_exp); + return val; +} + /* Return *this + other. */ sreal diff --git a/gcc/sreal.h b/gcc/sreal.h index 730f49c4d89..6314cea0fc4 100644 --- a/gcc/sreal.h +++ b/gcc/sreal.h @@ -46,6 +46,7 @@ public: void dump (FILE *) const; int64_t to_int () const; + double to_double () const; sreal operator+ (const sreal &other) const; sreal operator- (const sreal &other) const; sreal operator* (const sreal &other) const; @@ -83,12 +84,14 @@ public: sreal shift (int s) const { + /* Zero needs no shifting. */ + if (!m_sig) + return *this; gcc_checking_assert (s <= SREAL_BITS); gcc_checking_assert (s >= -SREAL_BITS); - /* Exponent should never be so large because shift_right is used only by - sreal_add and sreal_sub ant thus the number cannot be shifted out from - exponent range. */ + /* Overflows/drop to 0 could be handled gracefully, but hopefully we do not + need to do so. */ gcc_checking_assert (m_exp + s <= SREAL_MAX_EXP); gcc_checking_assert (m_exp + s >= -SREAL_MAX_EXP); -- 2.30.2