[581] | 1 | /* |
---|
| 2 | * ==================================================== |
---|
| 3 | * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. |
---|
| 4 | * |
---|
| 5 | * Developed at SunPro, a Sun Microsystems, Inc. business. |
---|
| 6 | * Permission to use, copy, modify, and distribute this |
---|
| 7 | * software is freely granted, provided that this notice |
---|
| 8 | * is preserved. |
---|
| 9 | * ==================================================== |
---|
| 10 | */ |
---|
| 11 | |
---|
| 12 | /* Modified for GIET-VM static OS at UPMC, France 2015. |
---|
| 13 | */ |
---|
| 14 | |
---|
| 15 | /* sin(x) |
---|
| 16 | * Return sine function of x. |
---|
| 17 | * |
---|
| 18 | * kernel function: |
---|
| 19 | * __kernel_sin ... sine function on [-pi/4,pi/4] |
---|
| 20 | * __kernel_cos ... cose function on [-pi/4,pi/4] |
---|
| 21 | * __ieee754_rem_pio2 ... argument reduction routine |
---|
| 22 | * |
---|
| 23 | * Method. |
---|
| 24 | * Let S,C and T denote the sin, cos and tan respectively on |
---|
| 25 | * [-PI/4, +PI/4]. Reduce the argument x to y1+y2 = x-k*pi/2 |
---|
| 26 | * in [-pi/4 , +pi/4], and let n = k mod 4. |
---|
| 27 | * We have |
---|
| 28 | * |
---|
| 29 | * n sin(x) cos(x) tan(x) |
---|
| 30 | * ---------------------------------------------------------- |
---|
| 31 | * 0 S C T |
---|
| 32 | * 1 C -S -1/T |
---|
| 33 | * 2 -S -C T |
---|
| 34 | * 3 -C S -1/T |
---|
| 35 | * ---------------------------------------------------------- |
---|
| 36 | * |
---|
| 37 | * Special cases: |
---|
| 38 | * Let trig be any of sin, cos, or tan. |
---|
| 39 | * trig(+-INF) is NaN, with signals; |
---|
| 40 | * trig(NaN) is that NaN; |
---|
| 41 | * |
---|
| 42 | * Accuracy: |
---|
| 43 | * TRIG(x) returns trig(x) nearly rounded |
---|
| 44 | */ |
---|
| 45 | |
---|
| 46 | #include "math_private.h" |
---|
| 47 | |
---|
| 48 | double sin(double x) |
---|
| 49 | { |
---|
| 50 | double y[2],z=0.0; |
---|
| 51 | int32_t n, ix; |
---|
| 52 | |
---|
| 53 | /* High word of x. */ |
---|
| 54 | GET_HIGH_WORD(ix,x); |
---|
| 55 | |
---|
| 56 | /* |x| ~< pi/4 */ |
---|
| 57 | ix &= 0x7fffffff; |
---|
| 58 | if(ix <= 0x3fe921fb) return __kernel_sin(x,z,0); |
---|
| 59 | |
---|
| 60 | /* sin(Inf or NaN) is NaN */ |
---|
| 61 | else if (ix>=0x7ff00000) return x-x; |
---|
| 62 | |
---|
| 63 | /* argument reduction needed */ |
---|
| 64 | else { |
---|
| 65 | n = __ieee754_rem_pio2(x,y); |
---|
| 66 | switch(n&3) { |
---|
| 67 | case 0: return __kernel_sin(y[0],y[1],1); |
---|
| 68 | case 1: return __kernel_cos(y[0],y[1]); |
---|
| 69 | case 2: return -__kernel_sin(y[0],y[1],1); |
---|
| 70 | default: |
---|
| 71 | return -__kernel_cos(y[0],y[1]); |
---|
| 72 | } |
---|
| 73 | } |
---|
| 74 | } |
---|
| 75 | |
---|