]> www.ginac.de Git - cln.git/blob - src/float/ffloat/elem/cl_FF_futrunc.cc
f14f09d12a8b567b4cd1970489f26bc0b776db50
[cln.git] / src / float / ffloat / elem / cl_FF_futrunc.cc
1 // futruncate().
2
3 // General includes.
4 #include "cl_sysdep.h"
5
6 // Specification.
7 #include "cl_FF.h"
8
9
10 // Implementation.
11
12 const cl_FF futruncate (const cl_FF& x)
13 {
14 // Methode:
15 // x = 0.0 -> Ergebnis 0.0
16 // e<=0 -> Ergebnis 1.0 oder -1.0, je nach Vorzeichen von x.
17 // 1<=e<=23 -> Greife die letzten (24-e) Bits von x heraus.
18 //             Sind sie alle =0 -> Ergebnis x.
19 //             Sonst setze sie alle und erhöhe dann die letzte Stelle um 1.
20 //             Kein Überlauf der 23 Bit -> fertig.
21 //             Sonst (Ergebnis eine Zweierpotenz): Mantisse := .1000...000,
22 //               e:=e+1. (Test auf Überlauf wegen e<=24 überflüssig)
23 // e>=24 -> Ergebnis x.
24       var ffloat x_ = cl_ffloat_value(x);
25       var uintL uexp = FF_uexp(x_); // e + FF_exp_mid
26       if (uexp==0) // 0.0 ?
27         { return x; }
28       if (uexp <= FF_exp_mid) // e<=0 ?
29         { // Exponent auf 1, Mantisse auf .1000...000 setzen.
30           return ((x_ & bit(31))==0 ? cl_FF_1 : cl_FF_minus1);
31         }
32         else
33         { if (uexp > FF_exp_mid+FF_mant_len) // e > 23 ?
34             { return x; }
35             else
36             { var uint32 mask = // Bitmaske: Bits 23-e..0 gesetzt, alle anderen gelöscht
37                 bit(FF_mant_len+1+FF_exp_mid-uexp)-1;
38               if ((x_ & mask)==0) // alle diese Bits =0 ?
39                 { return x; }
40               return allocate_ffloat
41                 ((x_ | mask) // alle diese Bits setzen
42                  + 1 // letzte Stelle erhöhen, dabei evtl. Exponenten incrementieren
43                 );
44         }   }
45 }