blob: 1e6cbd4aa399c960891af81d3c857cc9f28b93e1 [file] [log] [blame]
/*
Copyright (c) 2014, Intel Corporation
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
* Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
* Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
* Neither the name of Intel Corporation nor the names of its contributors
* may be used to endorse or promote products derived from this software
* without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
/******************************************************************************/
// ALGORITHM DESCRIPTION
// ---------------------
//
// 1. RANGE REDUCTION
//
// We perform an initial range reduction from X to r with
//
// X =~= N * pi/32 + r
//
// so that |r| <= pi/64 + epsilon. We restrict inputs to those
// where |N| <= 932560. Beyond this, the range reduction is
// insufficiently accurate. For extremely small inputs,
// denormalization can occur internally, impacting performance.
// This means that the main path is actually only taken for
// 2^-252 <= |X| < 90112.
//
// To avoid branches, we perform the range reduction to full
// accuracy each time.
//
// X - N * (P_1 + P_2 + P_3)
//
// where P_1 and P_2 are 32-bit numbers (so multiplication by N
// is exact) and P_3 is a 53-bit number. Together, these
// approximate pi well enough for all cases in the restricted
// range.
//
// The main reduction sequence is:
//
// y = 32/pi * x
// N = integer(y)
// (computed by adding and subtracting off SHIFTER)
//
// m_1 = N * P_1
// m_2 = N * P_2
// r_1 = x - m_1
// r = r_1 - m_2
// (this r can be used for most of the calculation)
//
// c_1 = r_1 - r
// m_3 = N * P_3
// c_2 = c_1 - m_2
// c = c_2 - m_3
//
// 2. MAIN ALGORITHM
//
// The algorithm uses a table lookup based on B = M * pi / 32
// where M = N mod 64. The stored values are:
// sigma closest power of 2 to cos(B)
// C_hl 53-bit cos(B) - sigma
// S_hi + S_lo 2 * 53-bit sin(B)
//
// The computation is organized as follows:
//
// sin(B + r + c) = [sin(B) + sigma * r] +
// r * (cos(B) - sigma) +
// sin(B) * [cos(r + c) - 1] +
// cos(B) * [sin(r + c) - r]
//
// which is approximately:
//
// [S_hi + sigma * r] +
// C_hl * r +
// S_lo + S_hi * [(cos(r) - 1) - r * c] +
// (C_hl + sigma) * [(sin(r) - r) + c]
//
// and this is what is actually computed. We separate this sum
// into four parts:
//
// hi + med + pols + corr
//
// where
//
// hi = S_hi + sigma r
// med = C_hl * r
// pols = S_hi * (cos(r) - 1) + (C_hl + sigma) * (sin(r) - r)
// corr = S_lo + c * ((C_hl + sigma) - S_hi * r)
//
// 3. POLYNOMIAL
//
// The polynomial S_hi * (cos(r) - 1) + (C_hl + sigma) *
// (sin(r) - r) can be rearranged freely, since it is quite
// small, so we exploit parallelism to the fullest.
//
// psc4 = SC_4 * r_1
// msc4 = psc4 * r
// r2 = r * r
// msc2 = SC_2 * r2
// r4 = r2 * r2
// psc3 = SC_3 + msc4
// psc1 = SC_1 + msc2
// msc3 = r4 * psc3
// sincospols = psc1 + msc3
// pols = sincospols *
// <S_hi * r^2 | (C_hl + sigma) * r^3>
//
// 4. CORRECTION TERM
//
// This is where the "c" component of the range reduction is
// taken into account; recall that just "r" is used for most of
// the calculation.
//
// -c = m_3 - c_2
// -d = S_hi * r - (C_hl + sigma)
// corr = -c * -d + S_lo
//
// 5. COMPENSATED SUMMATIONS
//
// The two successive compensated summations add up the high
// and medium parts, leaving just the low parts to add up at
// the end.
//
// rs = sigma * r
// res_int = S_hi + rs
// k_0 = S_hi - res_int
// k_2 = k_0 + rs
// med = C_hl * r
// res_hi = res_int + med
// k_1 = res_int - res_hi
// k_3 = k_1 + med
//
// 6. FINAL SUMMATION
//
// We now add up all the small parts:
//
// res_lo = pols(hi) + pols(lo) + corr + k_1 + k_3
//
// Now the overall result is just:
//
// res_hi + res_lo
//
// 7. SMALL ARGUMENTS
//
// If |x| < SNN (SNN meaning the smallest normal number), we
// simply perform 0.1111111 cdots 1111 * x. For SNN <= |x|, we
// do 2^-55 * (2^55 * x - x).
//
// Special cases:
// sin(NaN) = quiet NaN, and raise invalid exception
// sin(INF) = NaN and raise invalid exception
// sin(+/-0) = +/-0
//
/******************************************************************************/
#include <private/bionic_asm.h>
# -- Begin static_func
.text
.align __bionic_asm_align
.type static_func, @function
static_func:
..B1.1:
call ..L2
..L2:
popl %eax
lea _GLOBAL_OFFSET_TABLE_+[. - ..L2](%eax), %eax
lea static_const_table@GOTOFF(%eax), %eax
ret
.size static_func,.-static_func
# -- End static_func
# -- Begin sin
ENTRY(sin)
# parameter 1: 8 + %ebp
..B2.1:
..B2.2:
pushl %ebp
movl %esp, %ebp
subl $120, %esp
movl %ebx, 56(%esp)
call static_func
movl %eax, %ebx
movsd 128(%esp), %xmm0
pextrw $3, %xmm0, %eax
andl $32767, %eax
subl $12336, %eax
cmpl $4293, %eax
ja .L_2TAG_PACKET_0.0.2
movsd 2160(%ebx), %xmm1
mulsd %xmm0, %xmm1
movsd 2272(%ebx), %xmm5
movapd 2256(%ebx), %xmm4
andpd %xmm0, %xmm4
orps %xmm4, %xmm5
movsd 2128(%ebx), %xmm3
movapd 2112(%ebx), %xmm2
addpd %xmm5, %xmm1
cvttsd2si %xmm1, %edx
cvtsi2sdl %edx, %xmm1
mulsd %xmm1, %xmm3
unpcklpd %xmm1, %xmm1
addl $1865216, %edx
movapd %xmm0, %xmm4
andl $63, %edx
movapd 2096(%ebx), %xmm5
lea (%ebx), %eax
shll $5, %edx
addl %edx, %eax
mulpd %xmm1, %xmm2
subsd %xmm3, %xmm0
mulsd 2144(%ebx), %xmm1
subsd %xmm3, %xmm4
movsd 8(%eax), %xmm7
unpcklpd %xmm0, %xmm0
movapd %xmm4, %xmm3
subsd %xmm2, %xmm4
mulpd %xmm0, %xmm5
subpd %xmm2, %xmm0
movapd 2064(%ebx), %xmm6
mulsd %xmm4, %xmm7
subsd %xmm4, %xmm3
mulpd %xmm0, %xmm5
mulpd %xmm0, %xmm0
subsd %xmm2, %xmm3
movapd (%eax), %xmm2
subsd %xmm3, %xmm1
movsd 24(%eax), %xmm3
addsd %xmm3, %xmm2
subsd %xmm2, %xmm7
mulsd %xmm4, %xmm2
mulpd %xmm0, %xmm6
mulsd %xmm4, %xmm3
mulpd %xmm0, %xmm2
mulpd %xmm0, %xmm0
addpd 2080(%ebx), %xmm5
mulsd (%eax), %xmm4
addpd 2048(%ebx), %xmm6
mulpd %xmm0, %xmm5
movapd %xmm3, %xmm0
addsd 8(%eax), %xmm3
mulpd %xmm7, %xmm1
movapd %xmm4, %xmm7
addsd %xmm3, %xmm4
addpd %xmm5, %xmm6
movsd 8(%eax), %xmm5
subsd %xmm3, %xmm5
subsd %xmm4, %xmm3
addsd 16(%eax), %xmm1
mulpd %xmm2, %xmm6
addsd %xmm0, %xmm5
addsd %xmm7, %xmm3
addsd %xmm5, %xmm1
addsd %xmm3, %xmm1
addsd %xmm6, %xmm1
unpckhpd %xmm6, %xmm6
addsd %xmm6, %xmm1
addsd %xmm1, %xmm4
movsd %xmm4, (%esp)
fldl (%esp)
jmp .L_2TAG_PACKET_1.0.2
.L_2TAG_PACKET_0.0.2:
jg .L_2TAG_PACKET_2.0.2
shrl $4, %eax
cmpl $268434685, %eax
jne .L_2TAG_PACKET_3.0.2
movsd %xmm0, (%esp)
fldl (%esp)
jmp .L_2TAG_PACKET_1.0.2
.L_2TAG_PACKET_3.0.2:
movsd 2192(%ebx), %xmm3
mulsd %xmm0, %xmm3
subsd %xmm0, %xmm3
mulsd 2208(%ebx), %xmm3
movsd %xmm0, (%esp)
fldl (%esp)
jmp .L_2TAG_PACKET_1.0.2
.L_2TAG_PACKET_2.0.2:
movl 132(%esp), %eax
andl $2146435072, %eax
cmpl $2146435072, %eax
je .L_2TAG_PACKET_4.0.2
subl $32, %esp
movsd %xmm0, (%esp)
lea 40(%esp), %eax
movl %eax, 8(%esp)
movl $2, %eax
movl %eax, 12(%esp)
call __libm_sincos_huge
addl $32, %esp
fldl 16(%esp)
jmp .L_2TAG_PACKET_1.0.2
.L_2TAG_PACKET_4.0.2:
fldl 128(%esp)
fmull 2240(%ebx)
.L_2TAG_PACKET_1.0.2:
movl 56(%esp), %ebx
movl %ebp, %esp
popl %ebp
ret
..B2.3:
END(sin)
# -- End sin
# Start file scope ASM
ALIAS_SYMBOL(sinl, sin);
# End file scope ASM
.section .rodata, "a"
.align 16
.align 16
static_const_table:
.long 0
.long 0
.long 0
.long 0
.long 0
.long 0
.long 0
.long 1072693248
.long 393047345
.long 3212032302
.long 3156849708
.long 1069094822
.long 3758096384
.long 3158189848
.long 0
.long 1072693248
.long 18115067
.long 3214126342
.long 1013556747
.long 1070135480
.long 3221225472
.long 3160567065
.long 0
.long 1072693248
.long 2476548698
.long 3215330282
.long 785751814
.long 1070765062
.long 2684354560
.long 3161838221
.long 0
.long 1072693248
.long 2255197647
.long 3216211105
.long 2796464483
.long 1071152610
.long 3758096384
.long 3160878317
.long 0
.long 1072693248
.long 1945768569
.long 3216915048
.long 939980347
.long 1071524701
.long 536870912
.long 1012796809
.long 0
.long 1072693248
.long 1539668340
.long 3217396327
.long 967731400
.long 1071761211
.long 536870912
.long 1015752157
.long 0
.long 1072693248
.long 1403757309
.long 3217886718
.long 621354454
.long 1071926515
.long 536870912
.long 1013450602
.long 0
.long 1072693248
.long 2583490354
.long 1070236281
.long 1719614413
.long 1072079006
.long 536870912
.long 3163282740
.long 0
.long 1071644672
.long 2485417816
.long 1069626316
.long 1796544321
.long 1072217216
.long 536870912
.long 3162686945
.long 0
.long 1071644672
.long 2598800519
.long 1068266419
.long 688824739
.long 1072339814
.long 3758096384
.long 1010431536
.long 0
.long 1071644672
.long 2140183630
.long 3214756396
.long 4051746225
.long 1072445618
.long 2147483648
.long 3161907377
.long 0
.long 1071644672
.long 1699043957
.long 3216902261
.long 3476196678
.long 1072533611
.long 536870912
.long 1014257638
.long 0
.long 1071644672
.long 1991047213
.long 1067753521
.long 1455828442
.long 1072602945
.long 3758096384
.long 1015505073
.long 0
.long 1070596096
.long 240740309
.long 3215727903
.long 3489094832
.long 1072652951
.long 536870912
.long 1014325783
.long 0
.long 1070596096
.long 257503056
.long 3214647653
.long 2748392742
.long 1072683149
.long 1073741824
.long 3163061750
.long 0
.long 1069547520
.long 0
.long 0
.long 0
.long 1072693248
.long 0
.long 0
.long 0
.long 0
.long 257503056
.long 1067164005
.long 2748392742
.long 1072683149
.long 1073741824
.long 3163061750
.long 0
.long 3217031168
.long 240740309
.long 1068244255
.long 3489094832
.long 1072652951
.long 536870912
.long 1014325783
.long 0
.long 3218079744
.long 1991047213
.long 3215237169
.long 1455828442
.long 1072602945
.long 3758096384
.long 1015505073
.long 0
.long 3218079744
.long 1699043957
.long 1069418613
.long 3476196678
.long 1072533611
.long 536870912
.long 1014257638
.long 0
.long 3219128320
.long 2140183630
.long 1067272748
.long 4051746225
.long 1072445618
.long 2147483648
.long 3161907377
.long 0
.long 3219128320
.long 2598800519
.long 3215750067
.long 688824739
.long 1072339814
.long 3758096384
.long 1010431536
.long 0
.long 3219128320
.long 2485417816
.long 3217109964
.long 1796544321
.long 1072217216
.long 536870912
.long 3162686945
.long 0
.long 3219128320
.long 2583490354
.long 3217719929
.long 1719614413
.long 1072079006
.long 536870912
.long 3163282740
.long 0
.long 3219128320
.long 1403757309
.long 1070403070
.long 621354454
.long 1071926515
.long 536870912
.long 1013450602
.long 0
.long 3220176896
.long 1539668340
.long 1069912679
.long 967731400
.long 1071761211
.long 536870912
.long 1015752157
.long 0
.long 3220176896
.long 1945768569
.long 1069431400
.long 939980347
.long 1071524701
.long 536870912
.long 1012796809
.long 0
.long 3220176896
.long 2255197647
.long 1068727457
.long 2796464483
.long 1071152610
.long 3758096384
.long 3160878317
.long 0
.long 3220176896
.long 2476548698
.long 1067846634
.long 785751814
.long 1070765062
.long 2684354560
.long 3161838221
.long 0
.long 3220176896
.long 18115067
.long 1066642694
.long 1013556747
.long 1070135480
.long 3221225472
.long 3160567065
.long 0
.long 3220176896
.long 393047345
.long 1064548654
.long 3156849708
.long 1069094822
.long 3758096384
.long 3158189848
.long 0
.long 3220176896
.long 0
.long 0
.long 0
.long 0
.long 0
.long 0
.long 0
.long 3220176896
.long 393047345
.long 1064548654
.long 3156849708
.long 3216578470
.long 3758096384
.long 1010706200
.long 0
.long 3220176896
.long 18115067
.long 1066642694
.long 1013556747
.long 3217619128
.long 3221225472
.long 1013083417
.long 0
.long 3220176896
.long 2476548698
.long 1067846634
.long 785751814
.long 3218248710
.long 2684354560
.long 1014354573
.long 0
.long 3220176896
.long 2255197647
.long 1068727457
.long 2796464483
.long 3218636258
.long 3758096384
.long 1013394669
.long 0
.long 3220176896
.long 1945768569
.long 1069431400
.long 939980347
.long 3219008349
.long 536870912
.long 3160280457
.long 0
.long 3220176896
.long 1539668340
.long 1069912679
.long 967731400
.long 3219244859
.long 536870912
.long 3163235805
.long 0
.long 3220176896
.long 1403757309
.long 1070403070
.long 621354454
.long 3219410163
.long 536870912
.long 3160934250
.long 0
.long 3220176896
.long 2583490354
.long 3217719929
.long 1719614413
.long 3219562654
.long 536870912
.long 1015799092
.long 0
.long 3219128320
.long 2485417816
.long 3217109964
.long 1796544321
.long 3219700864
.long 536870912
.long 1015203297
.long 0
.long 3219128320
.long 2598800519
.long 3215750067
.long 688824739
.long 3219823462
.long 3758096384
.long 3157915184
.long 0
.long 3219128320
.long 2140183630
.long 1067272748
.long 4051746225
.long 3219929266
.long 2147483648
.long 1014423729
.long 0
.long 3219128320
.long 1699043957
.long 1069418613
.long 3476196678
.long 3220017259
.long 536870912
.long 3161741286
.long 0
.long 3219128320
.long 1991047213
.long 3215237169
.long 1455828442
.long 3220086593
.long 3758096384
.long 3162988721
.long 0
.long 3218079744
.long 240740309
.long 1068244255
.long 3489094832
.long 3220136599
.long 536870912
.long 3161809431
.long 0
.long 3218079744
.long 257503056
.long 1067164005
.long 2748392742
.long 3220166797
.long 1073741824
.long 1015578102
.long 0
.long 3217031168
.long 0
.long 0
.long 0
.long 3220176896
.long 0
.long 0
.long 0
.long 0
.long 257503056
.long 3214647653
.long 2748392742
.long 3220166797
.long 1073741824
.long 1015578102
.long 0
.long 1069547520
.long 240740309
.long 3215727903
.long 3489094832
.long 3220136599
.long 536870912
.long 3161809431
.long 0
.long 1070596096
.long 1991047213
.long 1067753521
.long 1455828442
.long 3220086593
.long 3758096384
.long 3162988721
.long 0
.long 1070596096
.long 1699043957
.long 3216902261
.long 3476196678
.long 3220017259
.long 536870912
.long 3161741286
.long 0
.long 1071644672
.long 2140183630
.long 3214756396
.long 4051746225
.long 3219929266
.long 2147483648
.long 1014423729
.long 0
.long 1071644672
.long 2598800519
.long 1068266419
.long 688824739
.long 3219823462
.long 3758096384
.long 3157915184
.long 0
.long 1071644672
.long 2485417816
.long 1069626316
.long 1796544321
.long 3219700864
.long 536870912
.long 1015203297
.long 0
.long 1071644672
.long 2583490354
.long 1070236281
.long 1719614413
.long 3219562654
.long 536870912
.long 1015799092
.long 0
.long 1071644672
.long 1403757309
.long 3217886718
.long 621354454
.long 3219410163
.long 536870912
.long 3160934250
.long 0
.long 1072693248
.long 1539668340
.long 3217396327
.long 967731400
.long 3219244859
.long 536870912
.long 3163235805
.long 0
.long 1072693248
.long 1945768569
.long 3216915048
.long 939980347
.long 3219008349
.long 536870912
.long 3160280457
.long 0
.long 1072693248
.long 2255197647
.long 3216211105
.long 2796464483
.long 3218636258
.long 3758096384
.long 1013394669
.long 0
.long 1072693248
.long 2476548698
.long 3215330282
.long 785751814
.long 3218248710
.long 2684354560
.long 1014354573
.long 0
.long 1072693248
.long 18115067
.long 3214126342
.long 1013556747
.long 3217619128
.long 3221225472
.long 1013083417
.long 0
.long 1072693248
.long 393047345
.long 3212032302
.long 3156849708
.long 3216578470
.long 3758096384
.long 1010706200
.long 0
.long 1072693248
.long 1431655765
.long 3217380693
.long 0
.long 3219128320
.long 286331153
.long 1065423121
.long 1431655765
.long 1067799893
.long 436314138
.long 3207201184
.long 381774871
.long 3210133868
.long 2773927732
.long 1053236707
.long 436314138
.long 1056571808
.long 442499072
.long 1032893537
.long 442499072
.long 1032893537
.long 1413480448
.long 1069097467
.long 0
.long 0
.long 771977331
.long 996350346
.long 0
.long 0
.long 1841940611
.long 1076125488
.long 0
.long 0
.long 0
.long 1127743488
.long 0
.long 0
.long 0
.long 1130364928
.long 0
.long 0
.long 0
.long 1015021568
.long 0
.long 0
.long 4294967295
.long 1072693247
.long 0
.long 0
.long 0
.long 2147483648
.long 0
.long 0
.long 0
.long 2147483648
.long 0
.long 2147483648
.long 0
.long 1071644672
.long 0
.long 1071644672
.type static_const_table,@object
.size static_const_table,2288
.data
.hidden __libm_sincos_huge
.section .note.GNU-stack, ""
# End