src/float/sfloat/elem/cl_SF_fround.cc

   1 // fround().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_sfloat.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_SF.h"
  13
  14 const cl_SF fround (const cl_SF& x)
  15 {
  16 // Methode:
  17 // x = 0.0 oder e<0 -> Ergebnis 0.0
  18 // 0<=e<=16 -> letzte (17-e) Bits der Mantisse wegrunden,
  19 //             Exponent und Vorzeichen beibehalten.
  20 // e>16 -> Ergebnis x
  21       var uintL uexp = SF_uexp(x); // e + SF_exp_mid
  22       if (uexp < SF_exp_mid) // x = 0.0 oder e<0 ?
  23         { return SF_0; }
  24         else
  25         { if (uexp > SF_exp_mid+SF_mant_len) // e > 16 ?
  26             { return x; }
  27             else
  28             if (uexp > SF_exp_mid+1) // e>1 ?
  29               { var cl_uint bitmask = // Bitmaske: Bit 16-e gesetzt, alle anderen gelöscht
  30                   bit(SF_mant_len+SF_mant_shift + SF_exp_mid-uexp);
  31                 var cl_uint mask = // Bitmaske: Bits 15-e..0 gesetzt, alle anderen gelöscht
  32                   bitmask - bit(SF_mant_shift);
  33                 if ( ((x.word & bitmask) ==0) // Bit 16-e =0 -> abrunden
  34                      || ( ((x.word & mask) ==0) // Bit 16-e =1 und Bits 15-e..0 >0 -> aufrunden
  35                           // round-to-even, je nach Bit 17-e :
  36                           && ((x.word & (bitmask<<1)) ==0)
  37                    )    )
  38                   // abrunden
  39                   { mask |= bitmask; // Bitmaske: Bits 16-e..0 gesetzt, alle anderen gelöscht
  40                     return cl_SF_from_word(x.word & ~mask);
  41                   }
  42                   else
  43                   // aufrunden
  44                   { return cl_SF_from_word(
  45                       (x.word | mask) // alle diese Bits 15-e..0 setzen (Bit 16-e schon gesetzt)
  46                       + bit(SF_mant_shift) // letzte Stelle erhöhen, dabei evtl. Exponenten incrementieren
  47                       );
  48                   }
  49               }
  50             elif (uexp == SF_exp_mid+1) // e=1 ?
  51               // Wie bei 1 < e <= 16, nur daß Bit 17-e stets gesetzt ist.
  52               { if ((x.word & bit(SF_mant_len+SF_mant_shift-1)) ==0) // Bit 16-e =0 -> abrunden
  53                   // abrunden
  54                   { return cl_SF_from_word(x.word & ~(bit(SF_mant_len+SF_mant_shift)-bit(SF_mant_shift))); }
  55                   else
  56                   // aufrunden
  57                   { return cl_SF_from_word(
  58                       (x.word | (bit(SF_mant_len+SF_mant_shift)-bit(SF_mant_shift))) // alle diese Bits 16-e..0 setzen
  59                       + bit(SF_mant_shift) // letzte Stelle erhöhen, dabei evtl. Exponenten incrementieren
  60                       );
  61                   }
  62               }
  63             else // e=0 ?
  64               // Wie bei 1 < e <= 16, nur daß Bit 16-e stets gesetzt
  65               // und Bit 17-e stets gelöscht ist.
  66               { if ((x.word & (bit(SF_mant_len+SF_mant_shift)-bit(SF_mant_shift))) ==0)
  67                   // abrunden von +-0.5 zu 0.0
  68                   { return SF_0; }
  69                   else
  70                   // aufrunden
  71                   { return cl_SF_from_word(
  72                       (x.word | (bit(SF_mant_len+SF_mant_shift)-bit(SF_mant_shift))) // alle Bits 15-e..0 setzen
  73                       + bit(SF_mant_shift) // letzte Stelle erhöhen, dabei Exponenten incrementieren
  74                       );
  75               }   }
  76         }
  77 }