src/float/misc/cl_F_epspos.cc

   1 // float_epsilon().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 CL_PROVIDE(cl_F_epspos)
   7
   8 // Specification.
   9 #include "cln/float.h"
  10
  11 // Implementation.
  12
  13 #include "cl_F.h"
  14 #include "cl_SF.h"
  15 #include "cl_FF.h"
  16 #include "cl_DF.h"
  17 #include "cl_LF.h"
  18 #include "cl_LF_impl.h"
  19
  20 namespace cln {
  21
  22 // Bei Floats mit d Bits (incl. Hiddem Bit, also d = ?F_mant_len+1)
  23 // ist ?F_epsilon = 2^-d*(1+2^(1-d)), d.h. Mantisse 10...01, Vorzeichen +.
  24
  25 static const cl_SF SF_epsilon =
  26         make_SF(0,SF_exp_mid-SF_mant_len,bit(SF_mant_len)+1);
  27
  28 static const cl_FF FF_epsilon =
  29         encode_FF(0,-FF_mant_len,bit(FF_mant_len)+1);
  30
  31 static const cl_DF DF_epsilon =
  32         #if (cl_word_size==64)
  33           encode_DF(0,-DF_mant_len,bit(DF_mant_len)+1);
  34         #else
  35           encode_DF(0,-DF_mant_len,bit(DF_mant_len-32),1);
  36         #endif
  37
  38 inline const cl_LF LF_epsilon (uintC len)
  39 {
  40         var Lfloat erg = allocate_lfloat(len,LF_exp_mid+1-intDsize*(uintL)len,0);
  41         var uintD* ptr = &TheLfloat(erg)->data[0];
  42         #if CL_DS_BIG_ENDIAN_P
  43           *ptr++ = bit(intDsize-1);
  44           ptr = clear_loop_up(ptr,len-2);
  45           *ptr = bit(0);
  46         #else
  47           *ptr++ = bit(0);
  48           ptr = clear_loop_up(ptr,len-2);
  49           *ptr = bit(intDsize-1);
  50         #endif
  51         return erg;
  52 }
  53
  54 const cl_F float_epsilon (float_format_t f)
  55 {
  56         floatformatcase((uintL)f
  57         ,       return SF_epsilon;
  58         ,       return FF_epsilon;
  59         ,       return DF_epsilon;
  60         ,       return LF_epsilon(len);
  61         );
  62 }
  63
  64 }  // namespace cln
  65
  66 CL_PROVIDE_END(cl_F_epspos)