1*412f47f9SXin Li /*
2*412f47f9SXin Li * Double-precision vector sincos function.
3*412f47f9SXin Li *
4*412f47f9SXin Li * Copyright (c) 2023, Arm Limited.
5*412f47f9SXin Li * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
6*412f47f9SXin Li */
7*412f47f9SXin Li
8*412f47f9SXin Li /* Define _GNU_SOURCE in order to include sincos declaration. If building
9*412f47f9SXin Li pre-GLIBC 2.1, or on a non-GNU conforming system, this routine will need to
10*412f47f9SXin Li be linked against the scalar sincosf from math/. */
11*412f47f9SXin Li #define _GNU_SOURCE
12*412f47f9SXin Li #include <math.h>
13*412f47f9SXin Li #undef _GNU_SOURCE
14*412f47f9SXin Li
15*412f47f9SXin Li #include "sv_sincos_common.h"
16*412f47f9SXin Li #include "sv_math.h"
17*412f47f9SXin Li #include "pl_test.h"
18*412f47f9SXin Li
19*412f47f9SXin Li static void NOINLINE
special_case(svfloat64_t x,svbool_t special,double * out_sin,double * out_cos)20*412f47f9SXin Li special_case (svfloat64_t x, svbool_t special, double *out_sin,
21*412f47f9SXin Li double *out_cos)
22*412f47f9SXin Li {
23*412f47f9SXin Li svbool_t p = svptrue_pat_b64 (SV_VL1);
24*412f47f9SXin Li for (int i = 0; i < svcntd (); i++)
25*412f47f9SXin Li {
26*412f47f9SXin Li if (svptest_any (special, p))
27*412f47f9SXin Li sincos (svlastb (p, x), out_sin + i, out_cos + i);
28*412f47f9SXin Li p = svpnext_b64 (svptrue_b64 (), p);
29*412f47f9SXin Li }
30*412f47f9SXin Li }
31*412f47f9SXin Li
32*412f47f9SXin Li /* Double-precision vector function allowing calculation of both sin and cos in
33*412f47f9SXin Li one function call, using shared argument reduction and separate polynomials.
34*412f47f9SXin Li Largest observed error is for sin, 3.22 ULP:
35*412f47f9SXin Li sv_sincos_sin (0x1.d70eef40f39b1p+12) got -0x1.ffe9537d5dbb7p-3
36*412f47f9SXin Li want -0x1.ffe9537d5dbb4p-3. */
37*412f47f9SXin Li void
_ZGVsMxvl8l8_sincos(svfloat64_t x,double * out_sin,double * out_cos,svbool_t pg)38*412f47f9SXin Li _ZGVsMxvl8l8_sincos (svfloat64_t x, double *out_sin, double *out_cos,
39*412f47f9SXin Li svbool_t pg)
40*412f47f9SXin Li {
41*412f47f9SXin Li const struct sv_sincos_data *d = ptr_barrier (&sv_sincos_data);
42*412f47f9SXin Li svbool_t special = check_ge_rangeval (pg, x, d);
43*412f47f9SXin Li
44*412f47f9SXin Li svfloat64x2_t sc = sv_sincos_inline (pg, x, d);
45*412f47f9SXin Li
46*412f47f9SXin Li svst1 (pg, out_sin, svget2 (sc, 0));
47*412f47f9SXin Li svst1 (pg, out_cos, svget2 (sc, 1));
48*412f47f9SXin Li
49*412f47f9SXin Li if (unlikely (svptest_any (pg, special)))
50*412f47f9SXin Li special_case (x, special, out_sin, out_cos);
51*412f47f9SXin Li }
52*412f47f9SXin Li
53*412f47f9SXin Li PL_TEST_ULP (_ZGVsMxv_sincos_sin, 2.73)
54*412f47f9SXin Li PL_TEST_ULP (_ZGVsMxv_sincos_cos, 2.73)
55*412f47f9SXin Li #define SV_SINCOS_INTERVAL(lo, hi, n) \
56*412f47f9SXin Li PL_TEST_INTERVAL (_ZGVsMxv_sincos_sin, lo, hi, n) \
57*412f47f9SXin Li PL_TEST_INTERVAL (_ZGVsMxv_sincos_cos, lo, hi, n)
58*412f47f9SXin Li SV_SINCOS_INTERVAL (0, 0x1p23, 500000)
59*412f47f9SXin Li SV_SINCOS_INTERVAL (-0, -0x1p23, 500000)
60*412f47f9SXin Li SV_SINCOS_INTERVAL (0x1p23, inf, 10000)
61*412f47f9SXin Li SV_SINCOS_INTERVAL (-0x1p23, -inf, 10000)
62