\ High level floating point 14jan94py
1 cells 4 = [IF]
' cells Alias sfloats
' cell+ Alias sfloat+
' align Alias sfalign
' aligned Alias sfaligned
[ELSE]
: sfloats 4 * ;
: sfloat+ 4 + ;
: sfaligned ( addr -- addr' ) 3 + -4 and ;
: sfalign ( -- ) here dup sfaligned swap ?DO bl c, LOOP ;
[THEN]
1 floats 8 = [IF]
' floats Alias dfloats
' float+ Alias dfloat+
' falign Alias dfalign
' faligned Alias dfaligned
[ELSE]
: dfloats 8 * ;
: dfloat+ 8 + ;
: dfaligned ( addr -- addr' ) 7 + -8 and ;
: dfalign ( -- ) here dup dfaligned swap ?DO bl c, LOOP ;
[THEN]
: f, ( f -- ) here 1 floats allot f! ;
\ !! have create produce faligned pfas
: fconstant ( r -- )
falign here f, Create A,
DOES> @ f@ ;
: fvariable
falign here 0. d>f f, AConstant ;
: fdepth ( -- n ) f0 @ fp@ - [ 1 floats ] Literal / ;
: FLit ( -- r ) r> faligned dup f@ float+ >r ;
: FLiteral ( r -- ) postpone FLit falign f, ; immediate
&16 Value precision
: set-precision to precision ;
: scratch ( r -- addr len )
pad precision - precision ;
: zeros ( n -- ) 0 max 0 ?DO '0 emit LOOP ;
: -zeros ( addr u -- addr' u' )
BEGIN dup WHILE 1- 2dup + c@ '0 <> UNTIL 1+ THEN ;
: f$ ( f -- n ) scratch represent 0=
IF 2drop scratch 3 min type rdrop EXIT THEN
IF '- emit THEN ;
: f. ( r -- ) f$ dup >r 0<
IF '0 emit
ELSE scratch r@ min type r@ precision - zeros THEN
'. emit r@ negate zeros
scratch r> 0 max /string 0 max -zeros type space ;
\ I'm afraid this does not really implement ansi semantics wrt precision.
\ Shouldn't precision indicate the number of places shown after the point?
: fe. ( r -- ) f$ 1- s>d 3 fm/mod 3 * >r 1+ >r
scratch r@ min type '. emit scratch r> /string type
'E emit r> . ;
: fs. ( r -- ) f$ 1-
scratch over c@ emit '. emit 1 /string type
'E emit . ;
: fnumber ( string -- r / )
?dup IF dup count >float 0=
IF defers notfound
ELSE drop state @
IF postpone FLiteral THEN THEN THEN ;
' fnumber IS notfound
1e0 fasin 2e0 f* fconstant pi
: f2* 2e0 f* ;
: f2/ 2e0 f/ ;
: 1/f 1e0 fswap f/ ;
: falog ( f -- 10^f ) [ 10e0 fln ] FLiteral f* fexp ;
: fsinh fexpm1 fdup fdup 1e0 f+ f/ f+ f2/ ;
: fcosh fexp fdup 1/f f+ f2/ ;
: ftanh f2* fexpm1 fdup 2e0 f+ f/ ;
: fatanh fdup f0< >r fabs 1e0 fover f- f/ f2* flnp1 f2/
r> IF fnegate THEN ;
: facosh fdup fdup f* 1e0 f- fsqrt f+ fln ;
: fasinh fdup fdup f* 1e0 f+ fsqrt f/ fatanh ;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>