1*f3087befSAndrew Turner /* 2*f3087befSAndrew Turner * Double-precision vector sincos function. 3*f3087befSAndrew Turner * 4*f3087befSAndrew Turner * Copyright (c) 2023-2024, Arm Limited. 5*f3087befSAndrew Turner * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception 6*f3087befSAndrew Turner */ 7*f3087befSAndrew Turner 8*f3087befSAndrew Turner /* Define _GNU_SOURCE in order to include sincos declaration. If building 9*f3087befSAndrew Turner pre-GLIBC 2.1, or on a non-GNU conforming system, this routine will need to 10*f3087befSAndrew Turner be linked against the scalar sincosf from math/. */ 11*f3087befSAndrew Turner #define _GNU_SOURCE 12*f3087befSAndrew Turner #include <math.h> 13*f3087befSAndrew Turner 14*f3087befSAndrew Turner #include "v_math.h" 15*f3087befSAndrew Turner #include "test_defs.h" 16*f3087befSAndrew Turner #include "v_sincos_common.h" 17*f3087befSAndrew Turner 18*f3087befSAndrew Turner /* sincos not available for all scalar libm implementations. */ 19*f3087befSAndrew Turner #if defined(_MSC_VER) || !defined(__GLIBC__) 20*f3087befSAndrew Turner static void 21*f3087befSAndrew Turner sincos (double x, double *out_sin, double *out_cos) 22*f3087befSAndrew Turner { 23*f3087befSAndrew Turner *out_sin = sin (x); 24*f3087befSAndrew Turner *out_cos = cos (x); 25*f3087befSAndrew Turner } 26*f3087befSAndrew Turner #endif 27*f3087befSAndrew Turner 28*f3087befSAndrew Turner static void VPCS_ATTR NOINLINE 29*f3087befSAndrew Turner special_case (float64x2_t x, uint64x2_t special, double *out_sin, 30*f3087befSAndrew Turner double *out_cos) 31*f3087befSAndrew Turner { 32*f3087befSAndrew Turner if (special[0]) 33*f3087befSAndrew Turner sincos (x[0], out_sin, out_cos); 34*f3087befSAndrew Turner if (special[1]) 35*f3087befSAndrew Turner sincos (x[1], out_sin + 1, out_cos + 1); 36*f3087befSAndrew Turner } 37*f3087befSAndrew Turner 38*f3087befSAndrew Turner /* Double-precision vector function allowing calculation of both sin and cos in 39*f3087befSAndrew Turner one function call, using shared argument reduction and separate polynomials. 40*f3087befSAndrew Turner Largest observed error is for sin, 3.22 ULP: 41*f3087befSAndrew Turner v_sincos_sin (0x1.d70eef40f39b1p+12) got -0x1.ffe9537d5dbb7p-3 42*f3087befSAndrew Turner want -0x1.ffe9537d5dbb4p-3. */ 43*f3087befSAndrew Turner VPCS_ATTR void 44*f3087befSAndrew Turner _ZGVnN2vl8l8_sincos (float64x2_t x, double *out_sin, double *out_cos) 45*f3087befSAndrew Turner { 46*f3087befSAndrew Turner const struct v_sincos_data *d = ptr_barrier (&v_sincos_data); 47*f3087befSAndrew Turner uint64x2_t special = check_ge_rangeval (x, d); 48*f3087befSAndrew Turner 49*f3087befSAndrew Turner float64x2x2_t sc = v_sincos_inline (x, d); 50*f3087befSAndrew Turner 51*f3087befSAndrew Turner vst1q_f64 (out_sin, sc.val[0]); 52*f3087befSAndrew Turner vst1q_f64 (out_cos, sc.val[1]); 53*f3087befSAndrew Turner 54*f3087befSAndrew Turner if (unlikely (v_any_u64 (special))) 55*f3087befSAndrew Turner special_case (x, special, out_sin, out_cos); 56*f3087befSAndrew Turner } 57*f3087befSAndrew Turner 58*f3087befSAndrew Turner TEST_DISABLE_FENV (_ZGVnN2v_sincos_cos) 59*f3087befSAndrew Turner TEST_DISABLE_FENV (_ZGVnN2v_sincos_sin) 60*f3087befSAndrew Turner TEST_ULP (_ZGVnN2v_sincos_sin, 2.73) 61*f3087befSAndrew Turner TEST_ULP (_ZGVnN2v_sincos_cos, 2.73) 62*f3087befSAndrew Turner #define V_SINCOS_INTERVAL(lo, hi, n) \ 63*f3087befSAndrew Turner TEST_INTERVAL (_ZGVnN2v_sincos_sin, lo, hi, n) \ 64*f3087befSAndrew Turner TEST_INTERVAL (_ZGVnN2v_sincos_cos, lo, hi, n) 65*f3087befSAndrew Turner V_SINCOS_INTERVAL (0, 0x1p-31, 50000) 66*f3087befSAndrew Turner V_SINCOS_INTERVAL (0x1p-31, 0x1p23, 500000) 67*f3087befSAndrew Turner V_SINCOS_INTERVAL (0x1p23, inf, 10000) 68