head     56.3;
access   ;
symbols  ;
locks    ; strict;
comment  @# @;


56.3
date     93.01.27.13.56.56;  author jwh;  state Exp;
branches ;
next     56.2;

56.2
date     93.01.27.12.28.33;  author jwh;  state Exp;
branches ;
next     56.1;

56.1
date     91.11.07.12.29.52;  author jwh;  state Exp;
branches ;
next     1.1;

1.1
date     91.03.13.08.50.36;  author jwh;  state Exp;
branches ;
next     ;


desc
@@


56.3
log
@
pws2rcs automatic delta on Wed Jan 27 13:14:25 MST 1993
@
text
@*
*       satanh.sa 3.1 12/10/90
*
*       The entry point satanh computes the inverse
*       hyperbolic tangent of
*       an input argument; satanhd does the same except for denormalized
*       input.
*
*       Input: Double-extended number X in location pointed to
*               by address register a0.
*
*       Output: The value arctanh(X) returned in floating-point register Fp0.
*
*       Accuracy and Monotonicity: The returned result is within 3 ulps in
*               64 significant bit, i.e. within 0.5001 ulp to 53 bits if the
*               result is subsequently rounded to double precision. The
*               result is provably monotonic in double precision.
*
*       Speed: The program satanh takes approximately 270 cycles.
*
*       Algorithm:
*
*       ATANH
*       1. If |X| >= 1, go to 3.
*
*       2. (|X| < 1) Calculate atanh(X) by
*               sgn := sign(X)
*               y := |X|
*               z := 2y/(1-y)
*               atanh(X) := sgn * (1/2) * logp1(z)
*               Exit.
*
*       3. If |X| > 1, go to 5.
*
*       4. (|X| = 1) Generate infinity with an appropriate sign and
*               divide-by-zero by
*               sgn := sign(X)
*               atan(X) := sgn / (+0).
*               Exit.
*
*       5. (|X| > 1) Generate an invalid operation by 0 * infinity.
*               Exit.
*

*               Copyright (C) Motorola, Inc. 1990
*                       All Rights Reserved
*
*       THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF MOTOROLA
*       The copyright notice above does not evidence any
*       actual or intended publication of such source code.



	refr    t_dz
	refr    t_operr
	refr    t_frcinx
	refr    t_extdnrm
	refr    slognp1

* added to replace single-precision floating point immediates JWH 1/9/91
V3F800000  DC.L  $3F800000

	def     satanhd
satanhd    equ    *
*--ATANH(X) = X FOR DENORMALIZED X

	bra             t_extdnrm

	def     satanh
satanh    equ    *
	move.l          (a0),d0
	move.w          4(a0),d0
	ANDI.L          #$7FFFFFFF,D0
	CMPI.L          #$3FFF8000,D0
	BGE.B           ATANHBIG

*--THIS IS THE USUAL CASE, |X| < 1
*--Y = |X|, Z = 2Y/(1-Y), ATANH(X) = SIGN(X) * (1/2) * LOG1P(Z).

	FABS.X          (a0),FP0        ...Y = |X|
	FMOVE.X         FP0,FP1
	FNEG.X          FP1             ...-Y
	FADD.X          FP0,FP0         ...2Y
*       FADD.S          #:3F800000,FP1  ...1-Y
	FADD.S          V3F800000,FP1   ...1-Y
	FDIV.X          FP1,FP0         ...2Y/(1-Y)
	move.l          (a0),d0
	ANDI.L          #$80000000,D0
	ORI.L           #$3F000000,D0   ...SIGN(X)*HALF
	move.l          d0,-(sp)

	fmovem.x        fp0,(a0)        ...overwrite input
	move.l          d1,-(sp)
	clr.l           d1
	bsr             slognp1         ...LOG1P(Z)
	fmove.l         (sp)+,FPCONTROL
	FMUL.S          (sp)+,FP0
	bra             t_frcinx

ATANHBIG    equ    *
	FABS.X          (a0),FP0        ...|X|
*       FCMP.S          #:3F800000,FP0
	FCMP.S          V3F800000,FP0
	fbgt            t_operr
	bra             t_dz

	end
@


56.2
log
@
pws2rcs automatic delta on Wed Jan 27 11:57:27 MST 1993
@
text
@d1 107
@


56.1
log
@Automatic bump of revision number for PWS version 3.25
@
text
@a0 107
*
*       satanh.sa 3.1 12/10/90
*
*       The entry point satanh computes the inverse
*       hyperbolic tangent of
*       an input argument; satanhd does the same except for denormalized
*       input.
*
*       Input: Double-extended number X in location pointed to
*               by address register a0.
*
*       Output: The value arctanh(X) returned in floating-point register Fp0.
*
*       Accuracy and Monotonicity: The returned result is within 3 ulps in
*               64 significant bit, i.e. within 0.5001 ulp to 53 bits if the
*               result is subsequently rounded to double precision. The
*               result is provably monotonic in double precision.
*
*       Speed: The program satanh takes approximately 270 cycles.
*
*       Algorithm:
*
*       ATANH
*       1. If |X| >= 1, go to 3.
*
*       2. (|X| < 1) Calculate atanh(X) by
*               sgn := sign(X)
*               y := |X|
*               z := 2y/(1-y)
*               atanh(X) := sgn * (1/2) * logp1(z)
*               Exit.
*
*       3. If |X| > 1, go to 5.
*
*       4. (|X| = 1) Generate infinity with an appropriate sign and
*               divide-by-zero by
*               sgn := sign(X)
*               atan(X) := sgn / (+0).
*               Exit.
*
*       5. (|X| > 1) Generate an invalid operation by 0 * infinity.
*               Exit.
*

*               Copyright (C) Motorola, Inc. 1990
*                       All Rights Reserved
*
*       THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF MOTOROLA
*       The copyright notice above does not evidence any
*       actual or intended publication of such source code.



	refr    t_dz
	refr    t_operr
	refr    t_frcinx
	refr    t_extdnrm
	refr    slognp1

* added to replace single-precision floating point immediates JWH 1/9/91
V3F800000  DC.L  $3F800000

	def     satanhd
satanhd    equ    *
*--ATANH(X) = X FOR DENORMALIZED X

	bra             t_extdnrm

	def     satanh
satanh    equ    *
	move.l          (a0),d0
	move.w          4(a0),d0
	ANDI.L          #$7FFFFFFF,D0
	CMPI.L          #$3FFF8000,D0
	BGE.B           ATANHBIG

*--THIS IS THE USUAL CASE, |X| < 1
*--Y = |X|, Z = 2Y/(1-Y), ATANH(X) = SIGN(X) * (1/2) * LOG1P(Z).

	FABS.X          (a0),FP0        ...Y = |X|
	FMOVE.X         FP0,FP1
	FNEG.X          FP1             ...-Y
	FADD.X          FP0,FP0         ...2Y
*       FADD.S          #:3F800000,FP1  ...1-Y
	FADD.S          V3F800000,FP1   ...1-Y
	FDIV.X          FP1,FP0         ...2Y/(1-Y)
	move.l          (a0),d0
	ANDI.L          #$80000000,D0
	ORI.L           #$3F000000,D0   ...SIGN(X)*HALF
	move.l          d0,-(sp)

	fmovem.x        fp0,(a0)        ...overwrite input
	move.l          d1,-(sp)
	clr.l           d1
	bsr             slognp1         ...LOG1P(Z)
	fmove.l         (sp)+,FPCONTROL
	FMUL.S          (sp)+,FP0
	bra             t_frcinx

ATANHBIG    equ    *
	FABS.X          (a0),FP0        ...|X|
*       FCMP.S          #:3F800000,FP0
	FCMP.S          V3F800000,FP0
	fbgt            t_operr
	bra             t_dz

	end
@


1.1
log
@Initial revision
@
text
@@
