2121namespace LIBC_NAMESPACE_DECL {
2222
2323// Generated by Solly using the following command:
24- // > round(pi/2, D , RN);
25- static constexpr float PI_2 = 0x1 .921fb54442d18p0f ;
24+ // > round(pi/2, SG , RN);
25+ static constexpr float PI_2 = 0x1 .921fb6p0 ;
2626
2727#ifndef LIBC_MATH_HAS_SKIP_ACCURATE_PASS
2828static constexpr size_t N_EXCEPTS = 6 ;
@@ -48,7 +48,7 @@ LLVM_LIBC_FUNCTION(float16, atanf16, (float16 x)) {
4848 float sign = (x_sign ? -1.0 : 1.0 );
4949
5050 // |x| >= +/-inf
51- if (LIBC_UNLIKELY (x_abs >= 0x7c00U )) {
51+ if (LIBC_UNLIKELY (x_abs >= 0x7c00 )) {
5252 if (xbits.is_nan ()) {
5353 if (xbits.is_signaling_nan ()) {
5454 fputil::raise_except_if_required (FE_INVALID);
@@ -71,11 +71,10 @@ LLVM_LIBC_FUNCTION(float16, atanf16, (float16 x)) {
7171#endif
7272
7373 // |x| <= 0x1p0, |x| <= 1
74- if (x_abs <= 0x3C00 ) {
74+ if (x_abs <= 0x3c00 ) {
7575 // atanf16(+/-0) = +/-0
76- if (LIBC_UNLIKELY (x_abs == 0 )) {
76+ if (LIBC_UNLIKELY (x_abs == 0 ))
7777 return x;
78- }
7978
8079 // Degree-14 minimax odd polynomial of atan(x) generated by Sollya with:
8180 // > P = fpminimax(atan(x)/x, [|0, 2, 4, 6, 8, 10, 12, 14|], [|SG...|],
@@ -90,7 +89,7 @@ LLVM_LIBC_FUNCTION(float16, atanf16, (float16 x)) {
9089 // y = atan(x) = sign(x) * atan(|x|)
9190 // atan(|x|) = pi/2 - atan(1/|x|)
9291 // Recall, 1/|x| < 1
93- float x_inv_sq = 1 / xsq;
92+ float x_inv_sq = 1 . 0f / xsq;
9493 float x_inv = fputil::sqrt<float >(x_inv_sq);
9594
9695 // Degree-14 minimax odd polynomial of atan(x) generated by Sollya with:
0 commit comments