mirror of
https://github.com/RobTillaart/Arduino.git
synced 2024-10-03 18:09:02 -04:00
284 lines
5.5 KiB
C++
284 lines
5.5 KiB
C++
//
|
|
// FILE: float16ext.cpp
|
|
// AUTHOR: Rob Tillaart
|
|
// VERSION: 0.2.0
|
|
// PURPOSE: library for Float16s for Arduino
|
|
// URL: http://en.wikipedia.org/wiki/Half-precision_floating-point_format
|
|
|
|
|
|
#include "float16ext.h"
|
|
|
|
|
|
// CONSTRUCTOR
|
|
float16ext::float16ext(double f)
|
|
{
|
|
_value = f32tof16(f);
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// CONVERTING & PRINTING
|
|
//
|
|
double float16ext::toDouble() const
|
|
{
|
|
return f16tof32(_value);
|
|
}
|
|
|
|
float float16ext::toFloat() const
|
|
{
|
|
return f16tof32(_value);
|
|
}
|
|
|
|
String float16ext::toString(unsigned int decimals) const
|
|
{
|
|
return String((double)f16tof32(_value), decimals);
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// EQUALITIES
|
|
//
|
|
bool float16ext::operator == (const float16ext &f)
|
|
{
|
|
return (_value == f._value);
|
|
}
|
|
|
|
bool float16ext::operator != (const float16ext &f)
|
|
{
|
|
return (_value != f._value);
|
|
}
|
|
|
|
bool float16ext::operator > (const float16ext &f)
|
|
{
|
|
if ((_value & 0x8000) && ( f._value & 0x8000)) return _value < f._value;
|
|
if (_value & 0x8000) return false;
|
|
if (f._value & 0x8000) return true;
|
|
return _value > f._value;
|
|
}
|
|
|
|
bool float16ext::operator >= (const float16ext &f)
|
|
{
|
|
if ((_value & 0x8000) && (f._value & 0x8000)) return _value <= f._value;
|
|
if (_value & 0x8000) return false;
|
|
if (f._value & 0x8000) return true;
|
|
return _value >= f._value;
|
|
}
|
|
|
|
bool float16ext::operator < (const float16ext &f)
|
|
{
|
|
if ((_value & 0x8000) && (f._value & 0x8000)) return _value > f._value;
|
|
if (_value & 0x8000) return true;
|
|
if (f._value & 0x8000) return false;
|
|
return _value < f._value;
|
|
}
|
|
|
|
bool float16ext::operator <= (const float16ext &f)
|
|
{
|
|
if ((_value & 0x8000) && (f._value & 0x8000)) return _value >= f._value;
|
|
if (_value & 0x8000) return true;
|
|
if (f._value & 0x8000) return false;
|
|
return _value <= f._value;
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// NEGATION
|
|
//
|
|
float16ext float16ext::operator - ()
|
|
{
|
|
float16ext f16;
|
|
f16.setBinary(_value ^ 0x8000);
|
|
return f16;
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// MATH
|
|
//
|
|
float16ext float16ext::operator + (const float16ext &f)
|
|
{
|
|
return float16ext(this->toDouble() + f.toDouble());
|
|
}
|
|
|
|
float16ext float16ext::operator - (const float16ext &f)
|
|
{
|
|
return float16ext(this->toDouble() - f.toDouble());
|
|
}
|
|
|
|
float16ext float16ext::operator * (const float16ext &f)
|
|
{
|
|
return float16ext(this->toDouble() * f.toDouble());
|
|
}
|
|
|
|
float16ext float16ext::operator / (const float16ext &f)
|
|
{
|
|
return float16ext(this->toDouble() / f.toDouble());
|
|
}
|
|
|
|
float16ext& float16ext::operator += (const float16ext &f)
|
|
{
|
|
*this = this->toDouble() + f.toDouble();
|
|
return *this;
|
|
}
|
|
|
|
float16ext& float16ext::operator -= (const float16ext &f)
|
|
{
|
|
*this = this->toDouble() - f.toDouble();
|
|
return *this;
|
|
}
|
|
|
|
float16ext& float16ext::operator *= (const float16ext &f)
|
|
{
|
|
*this = this->toDouble() * f.toDouble();
|
|
return *this;
|
|
}
|
|
|
|
float16ext& float16ext::operator /= (const float16ext &f)
|
|
{
|
|
*this = this->toDouble() / f.toDouble();
|
|
return *this;
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// MATH HELPER FUNCTIONS
|
|
//
|
|
int float16ext::sign()
|
|
{
|
|
if (_value & 0x8000) return -1;
|
|
if (_value & 0xFFFF) return 1;
|
|
return 0;
|
|
}
|
|
|
|
bool float16ext::isZero()
|
|
{
|
|
return ((_value & 0x7FFF) == 0x0000);
|
|
}
|
|
|
|
|
|
//////////////////////////////////////////////////////////
|
|
//
|
|
// CORE CONVERSION
|
|
//
|
|
float float16ext::f16tof32(uint16_t _value) const
|
|
{
|
|
uint16_t sgn, man;
|
|
int exp;
|
|
double f;
|
|
|
|
sgn = (_value & 0x8000) > 0;
|
|
exp = (_value & 0x7C00) >> 10;
|
|
man = (_value & 0x03FF);
|
|
|
|
// ZERO
|
|
if ((_value & 0x7FFF) == 0)
|
|
{
|
|
return sgn ? -0 : 0;
|
|
}
|
|
// NAN & INF not supported
|
|
|
|
// NORMAL
|
|
if (exp > 0)
|
|
{
|
|
f = pow(2.0, exp - 15) * (1 + man * 0.0009765625);
|
|
return sgn ? -f : f;
|
|
}
|
|
// SUBNORMAL
|
|
// exp == 0;
|
|
f = pow(2.0, -24) * man;
|
|
return sgn ? -f : f;
|
|
}
|
|
|
|
|
|
uint16_t float16ext::f32tof16(float f) const
|
|
{
|
|
uint32_t t = *(uint32_t *) &f;
|
|
// man bits = 10; but we keep 11 for rounding
|
|
uint16_t man = (t & 0x007FFFFF) >> 12;
|
|
int16_t exp = (t & 0x7F800000) >> 23;
|
|
bool sgn = (t & 0x80000000);
|
|
|
|
// Serial.print("BEFOR:\t ");
|
|
// Serial.print(sgn, HEX);
|
|
// Serial.print(" ");
|
|
// Serial.print(man, HEX);
|
|
// Serial.print(" ");
|
|
// Serial.println(exp, HEX);
|
|
|
|
// handle 0
|
|
if ((t & 0x7FFFFFFF) == 0)
|
|
{
|
|
return sgn ? 0x8000 : 0x0000;
|
|
}
|
|
|
|
// denormalized float32 does not fit in float16ext
|
|
if (exp == 0x00)
|
|
{
|
|
return sgn ? 0x8000 : 0x0000;
|
|
}
|
|
|
|
// handle INF and NAN == infinity and not a number
|
|
// map these to most positive and most negative numbers.
|
|
if (exp == 0x00FF)
|
|
{
|
|
if (man) return 0x7FFF; // sort of NAN
|
|
return sgn ? 0xFFFF : 0x7FFF; // sort of -INF : INF
|
|
}
|
|
|
|
// rescale exponent
|
|
exp = exp - 127 + 15;
|
|
|
|
// overflow does not fit => INF (infinity)
|
|
if (exp > 31)
|
|
{
|
|
return sgn ? 0xFFFF : 0x7FFF; // sort of -INF : INF
|
|
}
|
|
|
|
// subnormal numbers out of range => 0.
|
|
if (exp < -9)
|
|
{
|
|
return sgn ? 0x8000 : 0x0000; // -0 or 0 ? just 0 ?
|
|
}
|
|
|
|
// subnormal numbers
|
|
if (exp <= 0)
|
|
{
|
|
exp = 0;
|
|
man = abs(f) * 16777216; // pow(2.0, 24);
|
|
if (sgn) return 0x8000 | man;
|
|
return man;
|
|
}
|
|
|
|
|
|
// normal numbers
|
|
// rounding
|
|
man++;
|
|
man >>= 1;
|
|
// correction mantissa overflow issue #10 float16
|
|
if (man == 0x0400)
|
|
{
|
|
exp++;
|
|
man = 0;
|
|
}
|
|
exp <<= 10;
|
|
|
|
// Serial.print("AFTER:\t ");
|
|
// Serial.print(sgn, HEX);
|
|
// Serial.print(" ");
|
|
// Serial.print(man, HEX);
|
|
// Serial.print(" ");
|
|
// Serial.println(exp, HEX);
|
|
|
|
if (sgn) return 0x8000 | exp | man;
|
|
return exp | man;
|
|
}
|
|
|
|
|
|
// -- END OF FILE --
|
|
|