Home | History | Annotate | Line # | Download | only in fpe
fpu_hyperb.c revision 1.9
      1  1.9    isaki /*	$NetBSD: fpu_hyperb.c,v 1.9 2013/04/19 13:31:11 isaki Exp $	*/
      2  1.1   briggs 
      3  1.1   briggs /*
      4  1.1   briggs  * Copyright (c) 1995  Ken Nakata
      5  1.1   briggs  *	All rights reserved.
      6  1.1   briggs  *
      7  1.1   briggs  * Redistribution and use in source and binary forms, with or without
      8  1.1   briggs  * modification, are permitted provided that the following conditions
      9  1.1   briggs  * are met:
     10  1.1   briggs  * 1. Redistributions of source code must retain the above copyright
     11  1.1   briggs  *    notice, this list of conditions and the following disclaimer.
     12  1.1   briggs  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.1   briggs  *    notice, this list of conditions and the following disclaimer in the
     14  1.1   briggs  *    documentation and/or other materials provided with the distribution.
     15  1.1   briggs  * 3. Neither the name of the author nor the names of its contributors
     16  1.1   briggs  *    may be used to endorse or promote products derived from this software
     17  1.1   briggs  *    without specific prior written permission.
     18  1.1   briggs  *
     19  1.1   briggs  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
     20  1.1   briggs  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     21  1.1   briggs  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     22  1.1   briggs  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     23  1.1   briggs  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     24  1.1   briggs  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     25  1.1   briggs  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     26  1.1   briggs  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     27  1.1   briggs  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     28  1.1   briggs  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     29  1.1   briggs  * SUCH DAMAGE.
     30  1.1   briggs  *
     31  1.1   briggs  *	@(#)fpu_hyperb.c	10/24/95
     32  1.1   briggs  */
     33  1.2    lukem 
     34  1.6  tsutsui /*
     35  1.6  tsutsui  * Copyright (c) 2011 Tetsuya Isaki. All rights reserved.
     36  1.6  tsutsui  *
     37  1.6  tsutsui  * Redistribution and use in source and binary forms, with or without
     38  1.6  tsutsui  * modification, are permitted provided that the following conditions
     39  1.6  tsutsui  * are met:
     40  1.6  tsutsui  * 1. Redistributions of source code must retain the above copyright
     41  1.6  tsutsui  *    notice, this list of conditions and the following disclaimer.
     42  1.6  tsutsui  * 2. Redistributions in binary form must reproduce the above copyright
     43  1.6  tsutsui  *    notice, this list of conditions and the following disclaimer in the
     44  1.6  tsutsui  *    documentation and/or other materials provided with the distribution.
     45  1.6  tsutsui  *
     46  1.6  tsutsui  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     47  1.6  tsutsui  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     48  1.6  tsutsui  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     49  1.6  tsutsui  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     50  1.6  tsutsui  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
     51  1.6  tsutsui  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
     52  1.6  tsutsui  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
     53  1.6  tsutsui  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     54  1.6  tsutsui  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     55  1.6  tsutsui  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     56  1.6  tsutsui  * SUCH DAMAGE.
     57  1.6  tsutsui  */
     58  1.6  tsutsui 
     59  1.2    lukem #include <sys/cdefs.h>
     60  1.9    isaki __KERNEL_RCSID(0, "$NetBSD: fpu_hyperb.c,v 1.9 2013/04/19 13:31:11 isaki Exp $");
     61  1.1   briggs 
     62  1.1   briggs #include "fpu_emulate.h"
     63  1.1   briggs 
     64  1.1   briggs /*
     65  1.1   briggs  * fpu_hyperb.c: defines the following functions
     66  1.1   briggs  *
     67  1.1   briggs  *	fpu_atanh(), fpu_cosh(), fpu_sinh(), and fpu_tanh()
     68  1.1   briggs  */
     69  1.1   briggs 
     70  1.1   briggs struct fpn *
     71  1.4      dsl fpu_atanh(struct fpemu *fe)
     72  1.1   briggs {
     73  1.5    isaki 	/* stub */
     74  1.5    isaki 	return &fe->fe_f2;
     75  1.1   briggs }
     76  1.1   briggs 
     77  1.9    isaki /*
     78  1.9    isaki  * taylor expansion used by sinh(), cosh().
     79  1.9    isaki  */
     80  1.9    isaki static struct fpn *
     81  1.9    isaki __fpu_sinhcosh_taylor(struct fpemu *fe, struct fpn *s0, uint32_t f)
     82  1.9    isaki {
     83  1.9    isaki 	struct fpn res;
     84  1.9    isaki 	struct fpn x2;
     85  1.9    isaki 	struct fpn *s1;
     86  1.9    isaki 	struct fpn *r;
     87  1.9    isaki 	int sign;
     88  1.9    isaki 	uint32_t k;
     89  1.9    isaki 
     90  1.9    isaki 	/* x2 := x * x */
     91  1.9    isaki 	CPYFPN(&fe->fe_f1, &fe->fe_f2);
     92  1.9    isaki 	r = fpu_mul(fe);
     93  1.9    isaki 	CPYFPN(&x2, r);
     94  1.9    isaki 
     95  1.9    isaki 	/* res := s0 */
     96  1.9    isaki 	CPYFPN(&res, s0);
     97  1.9    isaki 
     98  1.9    isaki 	sign = 1;	/* sign := (-1)^n */
     99  1.9    isaki 
    100  1.9    isaki 	for (;;) {
    101  1.9    isaki 		/* (f1 :=) s0 * x^2 */
    102  1.9    isaki 		CPYFPN(&fe->fe_f1, s0);
    103  1.9    isaki 		CPYFPN(&fe->fe_f2, &x2);
    104  1.9    isaki 		r = fpu_mul(fe);
    105  1.9    isaki 		CPYFPN(&fe->fe_f1, r);
    106  1.9    isaki 
    107  1.9    isaki 		/*
    108  1.9    isaki 		 * for sin(),  s1 := s0 * x^2 / (2n+1)2n
    109  1.9    isaki 		 * for cos(),  s1 := s0 * x^2 / 2n(2n-1)
    110  1.9    isaki 		 */
    111  1.9    isaki 		k = f * (f + 1);
    112  1.9    isaki 		fpu_explode(fe, &fe->fe_f2, FTYPE_LNG, &k);
    113  1.9    isaki 		s1 = fpu_div(fe);
    114  1.9    isaki 
    115  1.9    isaki 		/* break if s1 is enough small */
    116  1.9    isaki 		if (ISZERO(s1))
    117  1.9    isaki 			break;
    118  1.9    isaki 		if (res.fp_exp - s1->fp_exp >= FP_NMANT)
    119  1.9    isaki 			break;
    120  1.9    isaki 
    121  1.9    isaki 		/* s0 := s1 for next loop */
    122  1.9    isaki 		CPYFPN(s0, s1);
    123  1.9    isaki 
    124  1.9    isaki 		/* res += s1 */
    125  1.9    isaki 		CPYFPN(&fe->fe_f2, s1);
    126  1.9    isaki 		CPYFPN(&fe->fe_f1, &res);
    127  1.9    isaki 		r = fpu_add(fe);
    128  1.9    isaki 		CPYFPN(&res, r);
    129  1.9    isaki 
    130  1.9    isaki 		f += 2;
    131  1.9    isaki 		sign ^= 1;
    132  1.9    isaki 	}
    133  1.9    isaki 
    134  1.9    isaki 	CPYFPN(&fe->fe_f2, &res);
    135  1.9    isaki 	return &fe->fe_f2;
    136  1.9    isaki }
    137  1.9    isaki 
    138  1.1   briggs struct fpn *
    139  1.4      dsl fpu_cosh(struct fpemu *fe)
    140  1.1   briggs {
    141  1.6  tsutsui 	struct fpn s0;
    142  1.6  tsutsui 	struct fpn *r;
    143  1.6  tsutsui 
    144  1.6  tsutsui 	if (ISNAN(&fe->fe_f2))
    145  1.6  tsutsui 		return &fe->fe_f2;
    146  1.6  tsutsui 
    147  1.6  tsutsui 	if (ISINF(&fe->fe_f2)) {
    148  1.6  tsutsui 		fe->fe_f2.fp_sign = 0;
    149  1.6  tsutsui 		return &fe->fe_f2;
    150  1.6  tsutsui 	}
    151  1.6  tsutsui 
    152  1.8    isaki 	fpu_const(&s0, FPU_CONST_1);
    153  1.9    isaki 	r = __fpu_sinhcosh_taylor(fe, &s0, 1);
    154  1.6  tsutsui 	CPYFPN(&fe->fe_f2, r);
    155  1.6  tsutsui 
    156  1.5    isaki 	return &fe->fe_f2;
    157  1.1   briggs }
    158  1.1   briggs 
    159  1.1   briggs struct fpn *
    160  1.4      dsl fpu_sinh(struct fpemu *fe)
    161  1.1   briggs {
    162  1.6  tsutsui 	struct fpn s0;
    163  1.6  tsutsui 	struct fpn *r;
    164  1.6  tsutsui 
    165  1.6  tsutsui 	if (ISNAN(&fe->fe_f2))
    166  1.6  tsutsui 		return &fe->fe_f2;
    167  1.6  tsutsui 	if (ISINF(&fe->fe_f2))
    168  1.6  tsutsui 		return &fe->fe_f2;
    169  1.6  tsutsui 
    170  1.6  tsutsui 	CPYFPN(&s0, &fe->fe_f2);
    171  1.9    isaki 	r = __fpu_sinhcosh_taylor(fe, &s0, 2);
    172  1.6  tsutsui 	CPYFPN(&fe->fe_f2, r);
    173  1.6  tsutsui 
    174  1.5    isaki 	return &fe->fe_f2;
    175  1.1   briggs }
    176  1.1   briggs 
    177  1.1   briggs struct fpn *
    178  1.4      dsl fpu_tanh(struct fpemu *fe)
    179  1.1   briggs {
    180  1.6  tsutsui 	struct fpn x;
    181  1.6  tsutsui 	struct fpn s;
    182  1.6  tsutsui 	struct fpn *r;
    183  1.6  tsutsui 	int sign;
    184  1.6  tsutsui 
    185  1.6  tsutsui 	if (ISNAN(&fe->fe_f2))
    186  1.6  tsutsui 		return &fe->fe_f2;
    187  1.6  tsutsui 
    188  1.6  tsutsui 	if (ISINF(&fe->fe_f2)) {
    189  1.6  tsutsui 		sign = fe->fe_f2.fp_sign;
    190  1.8    isaki 		fpu_const(&fe->fe_f2, FPU_CONST_1);
    191  1.6  tsutsui 		fe->fe_f2.fp_sign = sign;
    192  1.6  tsutsui 		return &fe->fe_f2;
    193  1.6  tsutsui 	}
    194  1.6  tsutsui 
    195  1.6  tsutsui 	CPYFPN(&x, &fe->fe_f2);
    196  1.6  tsutsui 
    197  1.6  tsutsui 	/* sinh(x) */
    198  1.6  tsutsui 	CPYFPN(&fe->fe_f2, &x);
    199  1.6  tsutsui 	r = fpu_sinh(fe);
    200  1.6  tsutsui 	CPYFPN(&s, r);
    201  1.6  tsutsui 
    202  1.6  tsutsui 	/* cosh(x) */
    203  1.6  tsutsui 	CPYFPN(&fe->fe_f2, &x);
    204  1.6  tsutsui 	r = fpu_cosh(fe);
    205  1.6  tsutsui 	CPYFPN(&fe->fe_f2, r);
    206  1.6  tsutsui 
    207  1.6  tsutsui 	CPYFPN(&fe->fe_f1, &s);
    208  1.6  tsutsui 	r = fpu_div(fe);
    209  1.6  tsutsui 
    210  1.6  tsutsui 	CPYFPN(&fe->fe_f2, r);
    211  1.6  tsutsui 
    212  1.5    isaki 	return &fe->fe_f2;
    213  1.1   briggs }
    214