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 "cl_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 // Bei Floats mit d Bits (incl. Hiddem Bit, also d = ?F_mant_len+1)
  21 // ist ?F_epsilon = 2^-d*(1+2^(1-d)), d.h. Mantisse 10...01, Vorzeichen +.
  22
  23 static const cl_SF SF_epsilon =
  24         make_SF(0,SF_exp_mid-SF_mant_len,bit(SF_mant_len)+1);
  25
  26 static const cl_FF FF_epsilon =
  27         encode_FF(0,-FF_mant_len,bit(FF_mant_len)+1);
  28
  29 static const cl_DF DF_epsilon =
  30         #if (cl_word_size==64)
  31           encode_DF(0,-DF_mant_len,bit(DF_mant_len)+1);
  32         #else
  33           encode_DF(0,-DF_mant_len,bit(DF_mant_len-32),1);
  34         #endif
  35
  36 inline const cl_LF LF_epsilon (uintC len)
  37 {
  38         var Lfloat erg = allocate_lfloat(len,LF_exp_mid+1-intDsize*(uintL)len,0);
  39         var uintD* ptr = &TheLfloat(erg)->data[0];
  40         #if CL_DS_BIG_ENDIAN_P
  41           *ptr++ = bit(intDsize-1);
  42           ptr = clear_loop_up(ptr,len-2);
  43           *ptr = bit(0);
  44         #else
  45           *ptr++ = bit(0);
  46           ptr = clear_loop_up(ptr,len-2);
  47           *ptr = bit(intDsize-1);
  48         #endif
  49         return erg;
  50 }
  51
  52 const cl_F float_epsilon (cl_float_format_t f)
  53 {
  54         floatformatcase((uintL)f
  55         ,       return SF_epsilon;
  56         ,       return FF_epsilon;
  57         ,       return DF_epsilon;
  58         ,       return LF_epsilon(len);
  59         );
  60 }
  61
  62 CL_PROVIDE_END(cl_F_epspos)