1996-03-05 21:41:30 +00:00
|
|
|
/*
|
2001-03-12 00:04:52 +00:00
|
|
|
* IBM Accurate Mathematical Library
|
2002-07-06 06:36:39 +00:00
|
|
|
* written by International Business Machines Corp.
|
2011-10-22 23:02:20 +00:00
|
|
|
* Copyright (C) 2001, 2011 Free Software Foundation
|
1996-03-05 21:41:30 +00:00
|
|
|
*
|
2001-03-12 00:04:52 +00:00
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
|
* it under the terms of the GNU Lesser General Public License as published by
|
2002-08-26 22:40:48 +00:00
|
|
|
* the Free Software Foundation; either version 2.1 of the License, or
|
2001-03-12 00:04:52 +00:00
|
|
|
* (at your option) any later version.
|
1996-03-05 21:41:30 +00:00
|
|
|
*
|
2001-03-12 00:04:52 +00:00
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
2002-08-20 21:51:55 +00:00
|
|
|
* GNU Lesser General Public License for more details.
|
1996-03-05 21:41:30 +00:00
|
|
|
*
|
2001-03-12 00:04:52 +00:00
|
|
|
* You should have received a copy of the GNU Lesser General Public License
|
|
|
|
|
* along with this program; if not, write to the Free Software
|
|
|
|
|
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
1996-03-05 21:41:30 +00:00
|
|
|
*/
|
2001-03-12 00:04:52 +00:00
|
|
|
/************************************************************************/
|
|
|
|
|
/* MODULE_NAME: atnat2.c */
|
|
|
|
|
/* */
|
|
|
|
|
/* FUNCTIONS: uatan2 */
|
|
|
|
|
/* atan2Mp */
|
|
|
|
|
/* signArctan2 */
|
|
|
|
|
/* normalized */
|
|
|
|
|
/* */
|
|
|
|
|
/* FILES NEEDED: dla.h endian.h mpa.h mydefs.h atnat2.h */
|
|
|
|
|
/* mpatan.c mpatan2.c mpsqrt.c */
|
|
|
|
|
/* uatan.tbl */
|
|
|
|
|
/* */
|
|
|
|
|
/* An ultimate atan2() routine. Given two IEEE double machine numbers y,*/
|
|
|
|
|
/* x it computes the correctly rounded (to nearest) value of atan2(y,x).*/
|
|
|
|
|
/* */
|
|
|
|
|
/* Assumption: Machine arithmetic operations are performed in */
|
|
|
|
|
/* round to nearest mode of IEEE 754 standard. */
|
|
|
|
|
/* */
|
|
|
|
|
/************************************************************************/
|
|
|
|
|
|
2011-10-23 16:50:28 +00:00
|
|
|
#include <dla.h>
|
2001-03-12 00:04:52 +00:00
|
|
|
#include "mpa.h"
|
|
|
|
|
#include "MathLib.h"
|
|
|
|
|
#include "uatan.tbl"
|
|
|
|
|
#include "atnat2.h"
|
2001-05-12 14:32:12 +00:00
|
|
|
#include "math_private.h"
|
|
|
|
|
|
2011-10-25 04:56:33 +00:00
|
|
|
#ifndef SECTION
|
|
|
|
|
# define SECTION
|
|
|
|
|
#endif
|
|
|
|
|
|
2001-03-12 00:04:52 +00:00
|
|
|
/************************************************************************/
|
|
|
|
|
/* An ultimate atan2 routine. Given two IEEE double machine numbers y,x */
|
|
|
|
|
/* it computes the correctly rounded (to nearest) value of atan2(y,x). */
|
|
|
|
|
/* Assumption: Machine arithmetic operations are performed in */
|
|
|
|
|
/* round to nearest mode of IEEE 754 standard. */
|
|
|
|
|
/************************************************************************/
|
|
|
|
|
static double atan2Mp(double ,double ,const int[]);
|
2011-10-25 00:19:17 +00:00
|
|
|
/* Fix the sign and return after stage 1 or stage 2 */
|
|
|
|
|
static double signArctan2(double y,double z)
|
|
|
|
|
{
|
|
|
|
|
return __copysign(z, y);
|
|
|
|
|
}
|
2001-03-12 00:04:52 +00:00
|
|
|
static double normalized(double ,double,double ,double);
|
|
|
|
|
void __mpatan2(mp_no *,mp_no *,mp_no *,int);
|
|
|
|
|
|
2011-10-25 04:56:33 +00:00
|
|
|
double
|
|
|
|
|
SECTION
|
|
|
|
|
__ieee754_atan2(double y,double x) {
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2001-03-12 07:57:09 +00:00
|
|
|
int i,de,ux,dx,uy,dy;
|
|
|
|
|
#if 0
|
|
|
|
|
int p;
|
|
|
|
|
#endif
|
2001-03-12 00:04:52 +00:00
|
|
|
static const int pr[MM]={6,8,10,20,32};
|
2011-10-22 23:02:20 +00:00
|
|
|
double ax,ay,u,du,u9,ua,v,vv,dv,t1,t2,t3,t7,t8,
|
2011-10-12 15:27:51 +00:00
|
|
|
z,zz,cor,s1,ss1,s2,ss2;
|
2011-10-24 18:21:18 +00:00
|
|
|
#ifndef DLA_FMS
|
2011-10-22 23:02:20 +00:00
|
|
|
double t4,t5,t6;
|
|
|
|
|
#endif
|
2001-03-12 07:57:09 +00:00
|
|
|
#if 0
|
|
|
|
|
double z1,z2;
|
|
|
|
|
#endif
|
2001-03-12 00:04:52 +00:00
|
|
|
number num;
|
2001-03-12 07:57:09 +00:00
|
|
|
#if 0
|
2001-03-12 00:04:52 +00:00
|
|
|
mp_no mperr,mpt1,mpx,mpy,mpz,mpz1,mpz2;
|
2001-03-12 07:57:09 +00:00
|
|
|
#endif
|
2001-03-12 00:04:52 +00:00
|
|
|
|
|
|
|
|
static const int ep= 59768832, /* 57*16**5 */
|
2011-10-12 15:27:51 +00:00
|
|
|
em=-59768832; /* -57*16**5 */
|
2001-03-12 00:04:52 +00:00
|
|
|
|
|
|
|
|
/* x=NaN or y=NaN */
|
|
|
|
|
num.d = x; ux = num.i[HIGH_HALF]; dx = num.i[LOW_HALF];
|
|
|
|
|
if ((ux&0x7ff00000) ==0x7ff00000) {
|
|
|
|
|
if (((ux&0x000fffff)|dx)!=0x00000000) return x+x; }
|
|
|
|
|
num.d = y; uy = num.i[HIGH_HALF]; dy = num.i[LOW_HALF];
|
|
|
|
|
if ((uy&0x7ff00000) ==0x7ff00000) {
|
|
|
|
|
if (((uy&0x000fffff)|dy)!=0x00000000) return y+y; }
|
|
|
|
|
|
|
|
|
|
/* y=+-0 */
|
|
|
|
|
if (uy==0x00000000) {
|
|
|
|
|
if (dy==0x00000000) {
|
|
|
|
|
if ((ux&0x80000000)==0x00000000) return ZERO;
|
|
|
|
|
else return opi.d; } }
|
|
|
|
|
else if (uy==0x80000000) {
|
|
|
|
|
if (dy==0x00000000) {
|
|
|
|
|
if ((ux&0x80000000)==0x00000000) return MZERO;
|
|
|
|
|
else return mopi.d;} }
|
|
|
|
|
|
|
|
|
|
/* x=+-0 */
|
|
|
|
|
if (x==ZERO) {
|
|
|
|
|
if ((uy&0x80000000)==0x00000000) return hpi.d;
|
|
|
|
|
else return mhpi.d; }
|
|
|
|
|
|
|
|
|
|
/* x=+-INF */
|
|
|
|
|
if (ux==0x7ff00000) {
|
|
|
|
|
if (dx==0x00000000) {
|
|
|
|
|
if (uy==0x7ff00000) {
|
2011-10-12 15:27:51 +00:00
|
|
|
if (dy==0x00000000) return qpi.d; }
|
2001-03-12 00:04:52 +00:00
|
|
|
else if (uy==0xfff00000) {
|
2011-10-12 15:27:51 +00:00
|
|
|
if (dy==0x00000000) return mqpi.d; }
|
2001-03-12 00:04:52 +00:00
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
if ((uy&0x80000000)==0x00000000) return ZERO;
|
|
|
|
|
else return MZERO; }
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (ux==0xfff00000) {
|
|
|
|
|
if (dx==0x00000000) {
|
|
|
|
|
if (uy==0x7ff00000) {
|
2011-10-12 15:27:51 +00:00
|
|
|
if (dy==0x00000000) return tqpi.d; }
|
2001-03-12 00:04:52 +00:00
|
|
|
else if (uy==0xfff00000) {
|
2011-10-12 15:27:51 +00:00
|
|
|
if (dy==0x00000000) return mtqpi.d; }
|
2001-03-12 00:04:52 +00:00
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
if ((uy&0x80000000)==0x00000000) return opi.d;
|
|
|
|
|
else return mopi.d; }
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* y=+-INF */
|
|
|
|
|
if (uy==0x7ff00000) {
|
|
|
|
|
if (dy==0x00000000) return hpi.d; }
|
|
|
|
|
else if (uy==0xfff00000) {
|
|
|
|
|
if (dy==0x00000000) return mhpi.d; }
|
|
|
|
|
|
|
|
|
|
/* either x/y or y/x is very close to zero */
|
|
|
|
|
ax = (x<ZERO) ? -x : x; ay = (y<ZERO) ? -y : y;
|
|
|
|
|
de = (uy & 0x7ff00000) - (ux & 0x7ff00000);
|
|
|
|
|
if (de>=ep) { return ((y>ZERO) ? hpi.d : mhpi.d); }
|
|
|
|
|
else if (de<=em) {
|
|
|
|
|
if (x>ZERO) {
|
|
|
|
|
if ((z=ay/ax)<TWOM1022) return normalized(ax,ay,y,z);
|
|
|
|
|
else return signArctan2(y,z); }
|
|
|
|
|
else { return ((y>ZERO) ? opi.d : mopi.d); } }
|
|
|
|
|
|
|
|
|
|
/* if either x or y is extremely close to zero, scale abs(x), abs(y). */
|
|
|
|
|
if (ax<twom500.d || ay<twom500.d) { ax*=two500.d; ay*=two500.d; }
|
|
|
|
|
|
|
|
|
|
/* x,y which are neither special nor extreme */
|
|
|
|
|
if (ay<ax) {
|
|
|
|
|
u=ay/ax;
|
|
|
|
|
EMULV(ax,u,v,vv,t1,t2,t3,t4,t5)
|
|
|
|
|
du=((ay-v)-vv)/ax; }
|
|
|
|
|
else {
|
|
|
|
|
u=ax/ay;
|
|
|
|
|
EMULV(ay,u,v,vv,t1,t2,t3,t4,t5)
|
|
|
|
|
du=((ax-v)-vv)/ay; }
|
1996-03-05 21:41:30 +00:00
|
|
|
|
2001-03-12 00:04:52 +00:00
|
|
|
if (x>ZERO) {
|
|
|
|
|
|
|
|
|
|
/* (i) x>0, abs(y)< abs(x): atan(ay/ax) */
|
|
|
|
|
if (ay<ax) {
|
|
|
|
|
if (u<inv16.d) {
|
2011-10-12 15:27:51 +00:00
|
|
|
v=u*u; zz=du+u*v*(d3.d+v*(d5.d+v*(d7.d+v*(d9.d+v*(d11.d+v*d13.d)))));
|
|
|
|
|
if ((z=u+(zz-u1.d*u)) == u+(zz+u1.d*u)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
MUL2(u,du,u,du,v,vv,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
s1=v*(f11.d+v*(f13.d+v*(f15.d+v*(f17.d+v*f19.d))));
|
|
|
|
|
ADD2(f9.d,ff9.d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f7.d,ff7.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f5.d,ff5.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f3.d,ff3.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
MUL2(u,du,s1,ss1,s2,ss2,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(u,du,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
if ((z=s1+(ss1-u5.d*s1)) == s1+(ss1+u5.d*s1)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
i=(TWO52+TWO8*u)-TWO52; i-=16;
|
|
|
|
|
t3=u-cij[i][0].d;
|
|
|
|
|
EADD(t3,du,v,dv)
|
|
|
|
|
t1=cij[i][1].d; t2=cij[i][2].d;
|
|
|
|
|
zz=v*t2+(dv*t2+v*v*(cij[i][3].d+v*(cij[i][4].d+
|
|
|
|
|
v*(cij[i][5].d+v* cij[i][6].d))));
|
|
|
|
|
if (i<112) {
|
|
|
|
|
if (i<48) u9=u91.d; /* u < 1/4 */
|
|
|
|
|
else u9=u92.d; } /* 1/4 <= u < 1/2 */
|
|
|
|
|
else {
|
|
|
|
|
if (i<176) u9=u93.d; /* 1/2 <= u < 3/4 */
|
|
|
|
|
else u9=u94.d; } /* 3/4 <= u <= 1 */
|
|
|
|
|
if ((z=t1+(zz-u9*t1)) == t1+(zz+u9*t1)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
t1=u-hij[i][0].d;
|
|
|
|
|
EADD(t1,du,v,vv)
|
|
|
|
|
s1=v*(hij[i][11].d+v*(hij[i][12].d+v*(hij[i][13].d+
|
|
|
|
|
v*(hij[i][14].d+v* hij[i][15].d))));
|
|
|
|
|
ADD2(hij[i][9].d,hij[i][10].d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][7].d,hij[i][8].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][5].d,hij[i][6].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][3].d,hij[i][4].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][1].d,hij[i][2].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
if ((z=s2+(ss2-ub.d*s2)) == s2+(ss2+ub.d*s2)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* (ii) x>0, abs(x)<=abs(y): pi/2-atan(ax/ay) */
|
|
|
|
|
else {
|
|
|
|
|
if (u<inv16.d) {
|
2011-10-12 15:27:51 +00:00
|
|
|
v=u*u;
|
|
|
|
|
zz=u*v*(d3.d+v*(d5.d+v*(d7.d+v*(d9.d+v*(d11.d+v*d13.d)))));
|
|
|
|
|
ESUB(hpi.d,u,t2,cor)
|
|
|
|
|
t3=((hpi1.d+cor)-du)-zz;
|
|
|
|
|
if ((z=t2+(t3-u2.d)) == t2+(t3+u2.d)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
MUL2(u,du,u,du,v,vv,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
s1=v*(f11.d+v*(f13.d+v*(f15.d+v*(f17.d+v*f19.d))));
|
|
|
|
|
ADD2(f9.d,ff9.d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f7.d,ff7.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f5.d,ff5.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f3.d,ff3.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
MUL2(u,du,s1,ss1,s2,ss2,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(u,du,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
SUB2(hpi.d,hpi1.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
if ((z=s2+(ss2-u6.d)) == s2+(ss2+u6.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
i=(TWO52+TWO8*u)-TWO52; i-=16;
|
|
|
|
|
v=(u-cij[i][0].d)+du;
|
|
|
|
|
zz=hpi1.d-v*(cij[i][2].d+v*(cij[i][3].d+v*(cij[i][4].d+
|
|
|
|
|
v*(cij[i][5].d+v* cij[i][6].d))));
|
|
|
|
|
t1=hpi.d-cij[i][1].d;
|
|
|
|
|
if (i<112) ua=ua1.d; /* w < 1/2 */
|
|
|
|
|
else ua=ua2.d; /* w >= 1/2 */
|
|
|
|
|
if ((z=t1+(zz-ua)) == t1+(zz+ua)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
t1=u-hij[i][0].d;
|
|
|
|
|
EADD(t1,du,v,vv)
|
|
|
|
|
s1=v*(hij[i][11].d+v*(hij[i][12].d+v*(hij[i][13].d+
|
|
|
|
|
v*(hij[i][14].d+v* hij[i][15].d))));
|
|
|
|
|
ADD2(hij[i][9].d,hij[i][10].d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][7].d,hij[i][8].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][5].d,hij[i][6].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][3].d,hij[i][4].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][1].d,hij[i][2].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
SUB2(hpi.d,hpi1.d,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
if ((z=s1+(ss1-uc.d)) == s1+(ss1+uc.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
|
|
|
|
|
/* (iii) x<0, abs(x)< abs(y): pi/2+atan(ax/ay) */
|
|
|
|
|
if (ax<ay) {
|
|
|
|
|
if (u<inv16.d) {
|
2011-10-12 15:27:51 +00:00
|
|
|
v=u*u;
|
|
|
|
|
zz=u*v*(d3.d+v*(d5.d+v*(d7.d+v*(d9.d+v*(d11.d+v*d13.d)))));
|
|
|
|
|
EADD(hpi.d,u,t2,cor)
|
|
|
|
|
t3=((hpi1.d+cor)+du)+zz;
|
|
|
|
|
if ((z=t2+(t3-u3.d)) == t2+(t3+u3.d)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
MUL2(u,du,u,du,v,vv,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
s1=v*(f11.d+v*(f13.d+v*(f15.d+v*(f17.d+v*f19.d))));
|
|
|
|
|
ADD2(f9.d,ff9.d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f7.d,ff7.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f5.d,ff5.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f3.d,ff3.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
MUL2(u,du,s1,ss1,s2,ss2,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(u,du,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
ADD2(hpi.d,hpi1.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
if ((z=s2+(ss2-u7.d)) == s2+(ss2+u7.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
i=(TWO52+TWO8*u)-TWO52; i-=16;
|
|
|
|
|
v=(u-cij[i][0].d)+du;
|
|
|
|
|
zz=hpi1.d+v*(cij[i][2].d+v*(cij[i][3].d+v*(cij[i][4].d+
|
|
|
|
|
v*(cij[i][5].d+v* cij[i][6].d))));
|
|
|
|
|
t1=hpi.d+cij[i][1].d;
|
|
|
|
|
if (i<112) ua=ua1.d; /* w < 1/2 */
|
|
|
|
|
else ua=ua2.d; /* w >= 1/2 */
|
|
|
|
|
if ((z=t1+(zz-ua)) == t1+(zz+ua)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
t1=u-hij[i][0].d;
|
|
|
|
|
EADD(t1,du,v,vv)
|
|
|
|
|
s1=v*(hij[i][11].d+v*(hij[i][12].d+v*(hij[i][13].d+
|
|
|
|
|
v*(hij[i][14].d+v* hij[i][15].d))));
|
|
|
|
|
ADD2(hij[i][9].d,hij[i][10].d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][7].d,hij[i][8].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][5].d,hij[i][6].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][3].d,hij[i][4].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][1].d,hij[i][2].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
ADD2(hpi.d,hpi1.d,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
if ((z=s1+(ss1-uc.d)) == s1+(ss1+uc.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* (iv) x<0, abs(y)<=abs(x): pi-atan(ax/ay) */
|
|
|
|
|
else {
|
|
|
|
|
if (u<inv16.d) {
|
2011-10-12 15:27:51 +00:00
|
|
|
v=u*u;
|
|
|
|
|
zz=u*v*(d3.d+v*(d5.d+v*(d7.d+v*(d9.d+v*(d11.d+v*d13.d)))));
|
|
|
|
|
ESUB(opi.d,u,t2,cor)
|
|
|
|
|
t3=((opi1.d+cor)-du)-zz;
|
|
|
|
|
if ((z=t2+(t3-u4.d)) == t2+(t3+u4.d)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
MUL2(u,du,u,du,v,vv,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
s1=v*(f11.d+v*(f13.d+v*(f15.d+v*(f17.d+v*f19.d))));
|
|
|
|
|
ADD2(f9.d,ff9.d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f7.d,ff7.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f5.d,ff5.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(f3.d,ff3.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
MUL2(u,du,s1,ss1,s2,ss2,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(u,du,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
SUB2(opi.d,opi1.d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
if ((z=s2+(ss2-u8.d)) == s2+(ss2+u8.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
else {
|
2011-10-12 15:27:51 +00:00
|
|
|
i=(TWO52+TWO8*u)-TWO52; i-=16;
|
|
|
|
|
v=(u-cij[i][0].d)+du;
|
|
|
|
|
zz=opi1.d-v*(cij[i][2].d+v*(cij[i][3].d+v*(cij[i][4].d+
|
|
|
|
|
v*(cij[i][5].d+v* cij[i][6].d))));
|
|
|
|
|
t1=opi.d-cij[i][1].d;
|
|
|
|
|
if (i<112) ua=ua1.d; /* w < 1/2 */
|
|
|
|
|
else ua=ua2.d; /* w >= 1/2 */
|
|
|
|
|
if ((z=t1+(zz-ua)) == t1+(zz+ua)) return signArctan2(y,z);
|
2001-03-12 00:04:52 +00:00
|
|
|
|
2011-10-12 15:27:51 +00:00
|
|
|
t1=u-hij[i][0].d;
|
|
|
|
|
EADD(t1,du,v,vv)
|
|
|
|
|
s1=v*(hij[i][11].d+v*(hij[i][12].d+v*(hij[i][13].d+
|
|
|
|
|
v*(hij[i][14].d+v* hij[i][15].d))));
|
|
|
|
|
ADD2(hij[i][9].d,hij[i][10].d,s1,ZERO,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][7].d,hij[i][8].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][5].d,hij[i][6].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][3].d,hij[i][4].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
MUL2(v,vv,s2,ss2,s1,ss1,t1,t2,t3,t4,t5,t6,t7,t8)
|
|
|
|
|
ADD2(hij[i][1].d,hij[i][2].d,s1,ss1,s2,ss2,t1,t2)
|
|
|
|
|
SUB2(opi.d,opi1.d,s2,ss2,s1,ss1,t1,t2)
|
|
|
|
|
if ((z=s1+(ss1-uc.d)) == s1+(ss1+uc.d)) return signArctan2(y,z);
|
|
|
|
|
return atan2Mp(x,y,pr);
|
2001-03-12 00:04:52 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2011-10-25 00:19:17 +00:00
|
|
|
#ifndef __ieee754_atan2
|
2011-10-12 15:27:51 +00:00
|
|
|
strong_alias (__ieee754_atan2, __atan2_finite)
|
2011-10-25 00:19:17 +00:00
|
|
|
#endif
|
2011-10-12 15:27:51 +00:00
|
|
|
|
2001-03-12 00:04:52 +00:00
|
|
|
/* Treat the Denormalized case */
|
2011-10-25 04:56:33 +00:00
|
|
|
static double
|
|
|
|
|
SECTION
|
|
|
|
|
normalized(double ax,double ay,double y, double z)
|
2001-03-12 00:04:52 +00:00
|
|
|
{ int p;
|
|
|
|
|
mp_no mpx,mpy,mpz,mperr,mpz2,mpt1;
|
|
|
|
|
p=6;
|
2001-03-13 02:01:34 +00:00
|
|
|
__dbl_mp(ax,&mpx,p); __dbl_mp(ay,&mpy,p); __dvd(&mpy,&mpx,&mpz,p);
|
|
|
|
|
__dbl_mp(ue.d,&mpt1,p); __mul(&mpz,&mpt1,&mperr,p);
|
|
|
|
|
__sub(&mpz,&mperr,&mpz2,p); __mp_dbl(&mpz2,&z,p);
|
2001-03-12 00:04:52 +00:00
|
|
|
return signArctan2(y,z);
|
|
|
|
|
}
|
|
|
|
|
/* Stage 3: Perform a multi-Precision computation */
|
2011-10-25 04:56:33 +00:00
|
|
|
static double
|
|
|
|
|
SECTION
|
|
|
|
|
atan2Mp(double x,double y,const int pr[])
|
2001-03-12 00:04:52 +00:00
|
|
|
{
|
|
|
|
|
double z1,z2;
|
|
|
|
|
int i,p;
|
|
|
|
|
mp_no mpx,mpy,mpz,mpz1,mpz2,mperr,mpt1;
|
|
|
|
|
for (i=0; i<MM; i++) {
|
|
|
|
|
p = pr[i];
|
2001-03-13 02:01:34 +00:00
|
|
|
__dbl_mp(x,&mpx,p); __dbl_mp(y,&mpy,p);
|
2001-03-12 00:04:52 +00:00
|
|
|
__mpatan2(&mpy,&mpx,&mpz,p);
|
2001-03-13 02:01:34 +00:00
|
|
|
__dbl_mp(ud[i].d,&mpt1,p); __mul(&mpz,&mpt1,&mperr,p);
|
|
|
|
|
__add(&mpz,&mperr,&mpz1,p); __sub(&mpz,&mperr,&mpz2,p);
|
2001-03-12 07:57:09 +00:00
|
|
|
__mp_dbl(&mpz1,&z1,p); __mp_dbl(&mpz2,&z2,p);
|
2001-03-12 00:04:52 +00:00
|
|
|
if (z1==z2) return z1;
|
|
|
|
|
}
|
|
|
|
|
return z1; /*if unpossible to do exact computing */
|
1996-03-05 21:41:30 +00:00
|
|
|
}
|
