[gforth] / gforth / float.fs  

gforth: gforth/float.fs


1 : anton 1.1 \ High level floating point 14jan94py
2 :    
3 : pazsan 1.6 1 cells 4 = [IF]
4 :     ' cells Alias sfloats
5 :     ' cell+ Alias sfloat+
6 :     ' align Alias sfalign
7 :     ' aligned Alias sfaligned
8 :     [ELSE]
9 : pazsan 1.8 : sfloats 2* 2* ;
10 : pazsan 1.6 : sfloat+ 4 + ;
11 :     : sfaligned ( addr -- addr' ) 3 + -4 and ;
12 :     : sfalign ( -- ) here dup sfaligned swap ?DO bl c, LOOP ;
13 :     [THEN]
14 :    
15 :     1 floats 8 = [IF]
16 :     ' floats Alias dfloats
17 :     ' float+ Alias dfloat+
18 :     ' falign Alias dfalign
19 :     ' faligned Alias dfaligned
20 :     [ELSE]
21 : pazsan 1.8 : dfloats 2* 2* 2* ;
22 : pazsan 1.6 : dfloat+ 8 + ;
23 :     : dfaligned ( addr -- addr' ) 7 + -8 and ;
24 :     : dfalign ( -- ) here dup dfaligned swap ?DO bl c, LOOP ;
25 :     [THEN]
26 :    
27 : anton 1.1 : f, ( f -- ) here 1 floats allot f! ;
28 :    
29 : anton 1.2 \ !! have create produce faligned pfas
30 : anton 1.1 : fconstant ( r -- )
31 : pazsan 1.4 falign here f, Create A,
32 :     DOES> @ f@ ;
33 : anton 1.1
34 :     : fvariable
35 : pazsan 1.4 falign here 0. d>f f, AConstant ;
36 : anton 1.1
37 :     : fdepth ( -- n ) f0 @ fp@ - [ 1 floats ] Literal / ;
38 :    
39 :     : FLit ( -- r ) r> faligned dup f@ float+ >r ;
40 :     : FLiteral ( r -- ) postpone FLit falign f, ; immediate
41 :    
42 :     &16 Value precision
43 :     : set-precision to precision ;
44 :    
45 :     : scratch ( r -- addr len )
46 :     pad precision - precision ;
47 :    
48 :     : zeros ( n -- ) 0 max 0 ?DO '0 emit LOOP ;
49 :    
50 :     : -zeros ( addr u -- addr' u' )
51 :     BEGIN dup WHILE 1- 2dup + c@ '0 <> UNTIL 1+ THEN ;
52 :    
53 : pazsan 1.4 : f$ ( f -- n ) scratch represent 0=
54 :     IF 2drop scratch 3 min type rdrop EXIT THEN
55 :     IF '- emit THEN ;
56 :    
57 :     : f. ( r -- ) f$ dup >r 0<
58 :     IF '0 emit
59 : anton 1.1 ELSE scratch r@ min type r@ precision - zeros THEN
60 :     '. emit r@ negate zeros
61 :     scratch r> 0 max /string 0 max -zeros type space ;
62 : benschop 1.3 \ I'm afraid this does not really implement ansi semantics wrt precision.
63 :     \ Shouldn't precision indicate the number of places shown after the point?
64 : anton 1.1
65 : pazsan 1.4 : fe. ( r -- ) f$ 1- s>d 3 fm/mod 3 * >r 1+ >r
66 : anton 1.1 scratch r@ min type '. emit scratch r> /string type
67 :     'E emit r> . ;
68 :    
69 : pazsan 1.4 : fs. ( r -- ) f$ 1-
70 :     scratch over c@ emit '. emit 1 /string type
71 :     'E emit . ;
72 :    
73 : anton 1.7 : sfnumber ( c-addr u -- r / )
74 :     2dup >float
75 :     IF
76 :     2drop state @
77 :     IF
78 :     postpone FLiteral
79 :     THEN
80 :     ELSE
81 :     defers notfound
82 :     THEN ;
83 : anton 1.1
84 : anton 1.7 ' sfnumber IS notfound
85 : anton 1.1
86 :     1e0 fasin 2e0 f* fconstant pi
87 : pazsan 1.6
88 :     : f2* 2e0 f* ;
89 :     : f2/ 2e0 f/ ;
90 :     : 1/f 1e0 fswap f/ ;
91 :    
92 :     : falog ( f -- 10^f ) [ 10e0 fln ] FLiteral f* fexp ;
93 :    
94 :     : fsinh fexpm1 fdup fdup 1e0 f+ f/ f+ f2/ ;
95 :     : fcosh fexp fdup 1/f f+ f2/ ;
96 :     : ftanh f2* fexpm1 fdup 2e0 f+ f/ ;
97 :    
98 :     : fatanh fdup f0< >r fabs 1e0 fover f- f/ f2* flnp1 f2/
99 :     r> IF fnegate THEN ;
100 :     : facosh fdup fdup f* 1e0 f- fsqrt f+ fln ;
101 :     : fasinh fdup fdup f* 1e0 f+ fsqrt f/ fatanh ;
102 : pazsan 1.9
103 :     : f.s ." <" fdepth 0 .r ." > " fdepth 0 max maxdepth-.s @ min dup 0
104 :     ?DO dup i - 1- floats fp@ + f@ f. LOOP drop ;

CVS Admin

Powered by ViewCVS 1.0-dev
(Powered by ViewCVS)

ViewCVS and CVS Help