+
+
+# external, non-method arithmetic
+
+cpdef Posit16 p16_neg(Posit16 a1):
+ cdef cposit.posit16_t f = _p16_neg(a1._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_abs(Posit16 a1):
+ cdef cposit.posit16_t f = _p16_abs(a1._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_round(Posit16 a1):
+ cdef cposit.posit16_t f = cposit.p16_roundToInt(a1._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_add(Posit16 a1, Posit16 a2):
+ cdef cposit.posit16_t f = cposit.p16_add(a1._c_posit, a2._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_sub(Posit16 a1, Posit16 a2):
+ cdef cposit.posit16_t f = cposit.p16_sub(a1._c_posit, a2._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_mul(Posit16 a1, Posit16 a2):
+ cdef cposit.posit16_t f = cposit.p16_mul(a1._c_posit, a2._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_fma(Posit16 acc, Posit16 a1, Posit16 a2):
+ cdef cposit.posit16_t f = cposit.p16_mulAdd(a1._c_posit, a2._c_posit, acc._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_div(Posit16 a1, Posit16 a2):
+ cdef cposit.posit16_t f = cposit.p16_div(a1._c_posit, a2._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Posit16 p16_sqrt(Posit16 a1):
+ cdef cposit.posit16_t f = cposit.p16_sqrt(a1._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef bint p16_eq(Posit16 a1, Posit16 a2):
+ return cposit.p16_eq(a1._c_posit, a2._c_posit)
+
+cpdef bint p16_le(Posit16 a1, Posit16 a2):
+ return cposit.p16_le(a1._c_posit, a2._c_posit)
+
+cpdef bint p16_lt(Posit16 a1, Posit16 a2):
+ return cposit.p16_lt(a1._c_posit, a2._c_posit)
+
+cpdef Posit8 p16_to_p8(Posit16 a1):
+ cdef cposit.posit8_t f = cposit.p16_to_p8(a1._c_posit)
+ return Posit8.from_c_posit(f)
+
+cpdef Posit32 p16_to_p32(Posit16 a1):
+ cdef cposit.posit32_t f = cposit.p16_to_p32(a1._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Quire16 p16_to_q16(Posit16 a1):
+ cdef cposit.quire16_t f
+ f = cposit.q16Clr()
+ f = cposit.q16_fdp_add(f, a1._c_posit, _p16_one)
+ return Quire16.from_c_quire(f)
+
+cpdef Quire16 q16_qma(Quire16 acc, Posit16 a1, Posit16 a2):
+ cdef cposit.quire16_t f = cposit.q16_fdp_add(acc._c_quire, a1._c_posit, a2._c_posit)
+ return Quire16.from_c_quire(f)
+
+cpdef Quire16 q16_qms(Quire16 acc, Posit16 a1, Posit16 a2):
+ cdef cposit.quire16_t f = cposit.q16_fdp_sub(acc._c_quire, a1._c_posit, a2._c_posit)
+ return Quire16.from_c_quire(f)
+
+cpdef Posit16 q16_to_p16(Quire16 a1):
+ cpdef cposit.posit16_t f = cposit.q16_to_p16(a1._c_quire)
+ return Posit16.from_c_posit(f)
+
+
+cdef class Posit32:
+
+ # the wrapped posit value
+ cdef cposit.posit32_t _c_posit
+
+ # factory function constructors that bypass __init__
+
+ @staticmethod
+ cdef Posit32 from_c_posit(cposit.posit32_t f):
+ """Factory function to create a Posit32 object directly from
+ a C posit32_t.
+ """
+ cdef Posit32 obj = Posit32.__new__(Posit32)
+ obj._c_posit = f
+ return obj
+
+ @staticmethod
+ def from_bits(uint32_t value):
+ """Factory function to create a Posit32 object from a bit pattern
+ represented as an integer.
+ """
+ cdef Posit32 obj = Posit32.__new__(Posit32)
+ obj._c_posit.v = value
+ return obj
+
+ @staticmethod
+ def from_double(double value):
+ """Factory function to create a Posit32 object from a double.
+ """
+ cdef Posit32 obj = Posit32.__new__(Posit32)
+ obj._c_posit = cposit.convertDoubleToP32(value)
+ return obj
+
+ # convenience interface for use inside Python
+
+ def __init__(self, value):
+ """Given an int, create a Posit32 from the bitpattern represented by
+ that int. Otherwise, given some value, create a Posit32 by rounding
+ float(value).
+ """
+ if isinstance(value, int):
+ self._c_posit.v = value
+ else:
+ f = float(value)
+ self._c_posit = cposit.convertDoubleToP32(f)
+
+ def __float__(self):
+ return cposit.convertP32ToDouble(self._c_posit)
+
+ def __int__(self):
+ return int(cposit.convertP32ToDouble(self._c_posit))
+
+ def __str__(self):
+ return repr(cposit.convertP32ToDouble(self._c_posit))
+
+ def __repr__(self):
+ return 'Posit32(' + repr(cposit.convertP32ToDouble(self._c_posit)) + ')'
+
+ cpdef uint32_t get_bits(self):
+ return self._c_posit.v
+ bits = property(get_bits)
+
+ # arithmetic
+
+ cpdef Posit32 neg(self):
+ cdef cposit.posit32_t f = _p32_neg(self._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __neg__(self):
+ return self.neg()
+
+ cpdef Posit32 abs(self):
+ cdef cposit.posit32_t f = _p32_abs(self._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __abs__(self):
+ return self.abs()
+
+ cpdef Posit32 round(self):
+ cdef cposit.posit32_t f = cposit.p32_roundToInt(self._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __round__(self):
+ return self.round()
+
+ cpdef Posit32 add(self, Posit32 other):
+ cdef cposit.posit32_t f = cposit.p32_add(self._c_posit, other._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __add__(self, Posit32 other):
+ return self.add(other)
+
+ cpdef Posit32 sub(self, Posit32 other):
+ cdef cposit.posit32_t f = cposit.p32_sub(self._c_posit, other._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __sub__(self, Posit32 other):
+ return self.sub(other)
+
+ cpdef Posit32 mul(self, Posit32 other):
+ cdef cposit.posit32_t f = cposit.p32_mul(self._c_posit, other._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __mul__(self, Posit32 other):
+ return self.mul(other)
+
+ cpdef Posit32 fma(self, Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_mulAdd(a1._c_posit, a2._c_posit, self._c_posit)
+ return Posit32.from_c_posit(f)
+
+ cpdef Posit32 div(self, Posit32 other):
+ cdef cposit.posit32_t f = cposit.p32_div(self._c_posit, other._c_posit)
+ return Posit32.from_c_posit(f)
+
+ def __truediv__(self, Posit32 other):
+ return self.div(other)
+
+ cpdef Posit32 sqrt(self):
+ cdef cposit.posit32_t f = cposit.p32_sqrt(self._c_posit)
+ return Posit32.from_c_posit(f)
+
+ # in-place arithmetic
+
+ cpdef void ineg(self):
+ self._c_posit = _p32_neg(self._c_posit)
+
+ cpdef void iabs(self):
+ self._c_posit = _p32_abs(self._c_posit)
+
+ cpdef void iround(self):
+ self._c_posit = cposit.p32_roundToInt(self._c_posit)
+
+ cpdef void iadd(self, Posit32 other):
+ self._c_posit = cposit.p32_add(self._c_posit, other._c_posit)
+
+ def __iadd__(self, Posit32 other):
+ self.iadd(other)
+ return self
+
+ cpdef void isub(self, Posit32 other):
+ self._c_posit = cposit.p32_sub(self._c_posit, other._c_posit)
+
+ def __isub__(self, Posit32 other):
+ self.isub(other)
+ return self
+
+ cpdef void imul(self, Posit32 other):
+ self._c_posit = cposit.p32_mul(self._c_posit, other._c_posit)
+
+ def __imul__(self, Posit32 other):
+ self.imul(other)
+ return self
+
+ cpdef void ifma(self, Posit32 a1, Posit32 a2):
+ self._c_posit = cposit.p32_mulAdd(a1._c_posit, a2._c_posit, self._c_posit)
+
+ cpdef void idiv(self, Posit32 other):
+ self._c_posit = cposit.p32_div(self._c_posit, other._c_posit)
+
+ def __itruediv__(self, Posit32 other):
+ self.idiv(other)
+ return self
+
+ cpdef void isqrt(self):
+ self._c_posit = cposit.p32_sqrt(self._c_posit)
+
+ # comparison
+
+ cpdef bint eq(self, Posit32 other):
+ return cposit.p32_eq(self._c_posit, other._c_posit)
+
+ cpdef bint le(self, Posit32 other):
+ return cposit.p32_le(self._c_posit, other._c_posit)
+
+ cpdef bint lt(self, Posit32 other):
+ return cposit.p32_lt(self._c_posit, other._c_posit)
+
+ def __lt__(self, Posit32 other):
+ return self.lt(other)
+
+ def __le__(self, Posit32 other):
+ return self.le(other)
+
+ def __eq__(self, Posit32 other):
+ return self.eq(other)
+
+ def __ne__(self, Posit32 other):
+ return not self.eq(other)
+
+ def __ge__(self, Posit32 other):
+ return other.le(self)
+
+ def __gt__(self, Posit32 other):
+ return other.lt(self)
+
+ # conversion to other posit types
+
+ cpdef to_p8(self):
+ cdef cposit.posit8_t f = cposit.p32_to_p8(self._c_posit)
+ return Posit8.from_c_posit(f)
+
+ cpdef to_p16(self):
+ cdef cposit.posit16_t f = cposit.p32_to_p16(self._c_posit)
+ return Posit16.from_c_posit(f)
+
+ cpdef to_quire(self):
+ cdef cposit.quire32_t f
+ f = cposit.q32Clr()
+ f = cposit.q32_fdp_add(f, self._c_posit, _p32_one)
+ return Quire32.from_c_quire(f)
+
+
+cdef class Quire32:
+
+ # the wrapped quire value
+ cdef cposit.quire32_t _c_quire
+
+ # factory function constructors that bypass init
+
+ @staticmethod
+ cdef Quire32 from_c_quire(cposit.quire32_t f):
+ """Factory function to create a Quire32 object directly from
+ a C quire32_t.
+ """
+ cdef Quire32 obj = Quire32.__new__(Quire32)
+ obj._c_quire = f
+ return obj
+
+ @staticmethod
+ def from_bits(value):
+ """Factory function to create a Quire32 object from a bit pattern
+ represented as an integer.
+ """
+ cdef Quire32 obj = Quire32.__new__(Quire32)
+
+ if not isinstance(value, int):
+ raise TypeError('expecting int, got {}'.format(repr(value)))
+
+ for idx in range(7, -1, -1):
+ obj._c_quire.v[idx] = value & 0xffffffffffffffff
+ value >>= 64
+
+ if not (value == 0):
+ raise OverflowError('value too large to fit in uint64_t[8]')
+
+ return obj
+
+ # convenience interface for use inside Python
+
+ def __init__(self, value):
+ """Given an int, create a Quire32 from the bitpattern represented by
+ that int. Otherwise, given some value, create a Quire32 by rounding
+ float(value) to a Posit32.
+ """
+ if isinstance(value, int):
+ for idx in range(7, -1, -1):
+ self._c_quire.v[idx] = value & 0xffffffffffffffff
+ value >>= 64
+ if not (value == 0):
+ raise OverflowError('value too large to fit in uint64_t[8]')
+ else:
+ f = float(value)
+ self._c_quire = cposit.q32Clr()
+ self._c_quire = cposit.q32_fdp_add(self._c_quire, cposit.convertDoubleToP32(f), _p32_one)
+
+ def __float__(self):
+ return cposit.convertP32ToDouble(cposit.q32_to_p32(self._c_quire))
+
+ def __int__(self):
+ return int(cposit.convertP32ToDouble(cposit.q32_to_p32(self._c_quire)))
+
+ def __str__(self):
+ return repr(cposit.convertP32ToDouble(cposit.q32_to_p32(self._c_quire)))
+
+ def __repr__(self):
+ return 'Quire32(' + repr(cposit.convertP32ToDouble(cposit.q32_to_p32(self._c_quire))) + ')'
+
+ def get_bits(self):
+ b = 0
+ for u in self._c_quire.v:
+ b <<= 64
+ b |= u
+ return b
+ bits = property(get_bits)
+
+ # arithmetic
+
+ cpdef Quire32 qma(self, Posit32 a1, Posit32 a2):
+ cdef cposit.quire32_t f = cposit.q32_fdp_add(self._c_quire, a1._c_posit, a2._c_posit)
+ return Quire32.from_c_quire(f)
+
+ cpdef Quire32 qms(self, Posit32 a1, Posit32 a2):
+ cdef cposit.quire32_t f = cposit.q32_fdp_sub(self._c_quire, a1._c_posit, a2._c_posit)
+ return Quire32.from_c_quire(f)
+
+ cpdef void iqma(self, Posit32 a1, Posit32 a2):
+ self._c_quire = cposit.q32_fdp_add(self._c_quire, a1._c_posit, a2._c_posit)
+
+ cpdef void iqms(self, Posit32 a1, Posit32 a2):
+ self._c_quire = cposit.q32_fdp_sub(self._c_quire, a1._c_posit, a2._c_posit)
+
+ cpdef void iclr(self):
+ self._c_quire = cposit.q32Clr()
+
+ # conversion back to posit
+
+ cpdef Posit32 to_posit(self):
+ cpdef cposit.posit32_t f = cposit.q32_to_p32(self._c_quire)
+ return Posit32.from_c_posit(f)
+
+
+# external, non-method arithmetic
+
+cpdef Posit32 p32_neg(Posit32 a1):
+ cdef cposit.posit32_t f = _p32_neg(a1._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_abs(Posit32 a1):
+ cdef cposit.posit32_t f = _p32_abs(a1._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_round(Posit32 a1):
+ cdef cposit.posit32_t f = cposit.p32_roundToInt(a1._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_add(Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_add(a1._c_posit, a2._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_sub(Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_sub(a1._c_posit, a2._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_mul(Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_mul(a1._c_posit, a2._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_fma(Posit32 acc, Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_mulAdd(a1._c_posit, a2._c_posit, acc._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_div(Posit32 a1, Posit32 a2):
+ cdef cposit.posit32_t f = cposit.p32_div(a1._c_posit, a2._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef Posit32 p32_sqrt(Posit32 a1):
+ cdef cposit.posit32_t f = cposit.p32_sqrt(a1._c_posit)
+ return Posit32.from_c_posit(f)
+
+cpdef bint p32_eq(Posit32 a1, Posit32 a2):
+ return cposit.p32_eq(a1._c_posit, a2._c_posit)
+
+cpdef bint p32_le(Posit32 a1, Posit32 a2):
+ return cposit.p32_le(a1._c_posit, a2._c_posit)
+
+cpdef bint p32_lt(Posit32 a1, Posit32 a2):
+ return cposit.p32_lt(a1._c_posit, a2._c_posit)
+
+cpdef Posit8 p32_to_p8(Posit32 a1):
+ cdef cposit.posit8_t f = cposit.p32_to_p8(a1._c_posit)
+ return Posit8.from_c_posit(f)
+
+cpdef Posit16 p32_to_p16(Posit32 a1):
+ cdef cposit.posit16_t f = cposit.p32_to_p16(a1._c_posit)
+ return Posit16.from_c_posit(f)
+
+cpdef Quire32 p32_to_q32(Posit32 a1):
+ cdef cposit.quire32_t f
+ f = cposit.q32Clr()
+ f = cposit.q32_fdp_add(f, a1._c_posit, _p32_one)
+ return Quire32.from_c_quire(f)
+
+cpdef Quire32 q32_qma(Quire32 acc, Posit32 a1, Posit32 a2):
+ cdef cposit.quire32_t f = cposit.q32_fdp_add(acc._c_quire, a1._c_posit, a2._c_posit)
+ return Quire32.from_c_quire(f)
+
+cpdef Quire32 q32_qms(Quire32 acc, Posit32 a1, Posit32 a2):
+ cdef cposit.quire32_t f = cposit.q32_fdp_sub(acc._c_quire, a1._c_posit, a2._c_posit)
+ return Quire32.from_c_quire(f)
+
+cpdef Posit32 q32_to_p32(Quire32 a1):
+ cpdef cposit.posit32_t f = cposit.q32_to_p32(a1._c_quire)
+ return Posit32.from_c_posit(f)