fp64.h

Go to the documentation of this file.

#ifndef __compiler_rt_fp_64_h__
#define __compiler_rt_fp_64_h__
 
#include <limits.h>
#include <stdint.h>
 
typedef uint64_t rep_t;
 
#define REP_C (uint64_t)
#define significandBits 52 
#define typeWidth       (sizeof(rep_t)*CHAR_BIT)
#define exponentBits    (typeWidth - significandBits - 1)
#define maxExponent     ((1 << exponentBits) - 1)
#define exponentBias    (maxExponent >> 1)
 
#define implicitBit     (REP_C(1) << significandBits)
#define significandMask (implicitBit - 1U)
#define signBit         (REP_C(1) << (significandBits + exponentBits))
#define absMask         (signBit - 1U)
#define exponentMask    (absMask ^ significandMask)
#define oneRep          ((rep_t)exponentBias << significandBits)
#define infRep          exponentMask
#define quietBit        (implicitBit >> 1)
#define qnanRep         (exponentMask | quietBit)
 
#endif //__compiler_rt_fp_h__