Welcome to mirror list, hosted at ThFree Co, Russian Federation.

v64sf_sqrt.c « amdgcn « machine « libm « newlib - cygwin.com/git/newlib-cygwin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: b979a40789a146b5576ced9f4fa9272c35e0a8f9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
/*****************************************************************
 * The following routines are coded directly from the algorithms
 * and coefficients given in "Software Manual for the Elementary
 * Functions" by William J. Cody, Jr. and William Waite, Prentice
 * Hall, 1980.
 *****************************************************************/

/* Based on newlib/libm/mathfp/sf_sqrt.c in Newlib.  */

#include "amdgcnmach.h"

v64si v64sf_numtestf (v64sf);
v64si v64sf_isposf (v64sf);

#if defined (__has_builtin) \
        && __has_builtin (__builtin_gcn_frexpvf_mant) \
        && __has_builtin (__builtin_gcn_frexpvf_exp) \
        && __has_builtin (__builtin_gcn_ldexpvf)

DEF_VS_MATH_FUNC (v64sf, sqrtf, v64sf x)
{
  FUNCTION_INIT (v64sf);

  /* Check for special values. */
  v64si num_type = v64sf_numtestf (x);
  VECTOR_IF (num_type == NAN, cond)
    errno = EDOM;
    VECTOR_RETURN (x, cond);
  VECTOR_ELSEIF (num_type == INF, cond)
    VECTOR_IF2 (v64sf_isposf (x), cond2, cond)
      errno = EDOM;
      VECTOR_RETURN (VECTOR_INIT (z_notanum_f.f), cond2);
    VECTOR_ELSE2 (cond2,cond)
      errno = ERANGE;
      VECTOR_RETURN (VECTOR_INIT (z_infinity_f.f), cond);
    VECTOR_ENDIF
  VECTOR_ENDIF

  /* Initial checks are performed here. */
  VECTOR_IF (x == 0.0f, cond)
    VECTOR_RETURN (VECTOR_INIT (0.0f), cond);
  VECTOR_ENDIF
  VECTOR_IF (x < 0.0f, cond)
    errno = EDOM;
    VECTOR_RETURN (VECTOR_INIT (z_notanum_f.f), cond);
  VECTOR_ENDIF

  /* Find the exponent and mantissa for the form x = f * 2^exp. */
  v64sf f = __builtin_gcn_frexpvf_mant (x);
  v64si exp = __builtin_gcn_frexpvf_exp (x);
  v64si odd = (exp & 1) != 0;

  /* Get the initial approximation. */
  v64sf y = 0.41731f + 0.59016f * f;

  f *= 0.5f;
  /* Calculate the remaining iterations. */
  y = y * 0.5f + f / y;
  y = y * 0.5f + f / y;

  /* Calculate the final value. */
  VECTOR_COND_MOVE (y, y * (float) __SQRT_HALF, odd);
  VECTOR_COND_MOVE (exp, exp + 1, odd);
  exp >>= 1;
  y = __builtin_gcn_ldexpvf (y, exp);

  VECTOR_RETURN (y, NO_COND);

  FUNCTION_RETURN;
}

DEF_VARIANTS (sqrtf, sf, sf)

#endif