Module: ppl/ppl Branch: master Commit: 004c134532a33753997d6a2a5a4b9f8a09ff4622 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=004c134532a33...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 22 15:45:11 2012 +0200

Fixed float_ieee754_half::POS_INF and float_ieee754_half::NEG_INF. They were swapped.

---

src/Float_defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Float_defs.hh b/src/Float_defs.hh index 3a4188f..1def00d 100644 --- a/src/Float_defs.hh +++ b/src/Float_defs.hh @@ -51,8 +51,8 @@ struct float_ieee754_half { uint16_t word; static const uint16_t SGN_MASK = 0x8000U; static const uint16_t EXP_MASK = 0xfc00U; - static const uint16_t POS_INF = 0xfc00U; - static const uint16_t NEG_INF = 0x7c00U; + static const uint16_t POS_INF = 0x7c00U; + static const uint16_t NEG_INF = 0xfc00U; static const uint16_t POS_ZERO = 0x0000U; static const uint16_t NEG_ZERO = 0x8000U; static const unsigned int BASE = 2;