Blame sysdeps/ieee754/flt-32/e_exp2f_data.c

Packit Service 82fcde
/* Shared data between expf, exp2f and powf.
Packit Service 82fcde
   Copyright (C) 2017-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include "math_config.h"
Packit Service 82fcde
Packit Service 82fcde
#define N (1 << EXP2F_TABLE_BITS)
Packit Service 82fcde
Packit Service 82fcde
const struct exp2f_data __exp2f_data = {
Packit Service 82fcde
  /* tab[i] = uint(2^(i/N)) - (i << 52-BITS)
Packit Service 82fcde
     used for computing 2^(k/N) for an int |k| < 150 N as
Packit Service 82fcde
     double(tab[k%N] + (k << 52-BITS)) */
Packit Service 82fcde
  .tab = {
Packit Service 82fcde
0x3ff0000000000000, 0x3fefd9b0d3158574, 0x3fefb5586cf9890f, 0x3fef9301d0125b51,
Packit Service 82fcde
0x3fef72b83c7d517b, 0x3fef54873168b9aa, 0x3fef387a6e756238, 0x3fef1e9df51fdee1,
Packit Service 82fcde
0x3fef06fe0a31b715, 0x3feef1a7373aa9cb, 0x3feedea64c123422, 0x3feece086061892d,
Packit Service 82fcde
0x3feebfdad5362a27, 0x3feeb42b569d4f82, 0x3feeab07dd485429, 0x3feea47eb03a5585,
Packit Service 82fcde
0x3feea09e667f3bcd, 0x3fee9f75e8ec5f74, 0x3feea11473eb0187, 0x3feea589994cce13,
Packit Service 82fcde
0x3feeace5422aa0db, 0x3feeb737b0cdc5e5, 0x3feec49182a3f090, 0x3feed503b23e255d,
Packit Service 82fcde
0x3feee89f995ad3ad, 0x3feeff76f2fb5e47, 0x3fef199bdd85529c, 0x3fef3720dcef9069,
Packit Service 82fcde
0x3fef5818dcfba487, 0x3fef7c97337b9b5f, 0x3fefa4afa2a490da, 0x3fefd0765b6e4540,
Packit Service 82fcde
  },
Packit Service 82fcde
  .shift_scaled = 0x1.8p+52 / N,
Packit Service 82fcde
  .poly = { 0x1.c6af84b912394p-5, 0x1.ebfce50fac4f3p-3, 0x1.62e42ff0c52d6p-1 },
Packit Service 82fcde
  .shift = 0x1.8p+52,
Packit Service 82fcde
  .invln2_scaled = 0x1.71547652b82fep+0 * N,
Packit Service 82fcde
  .poly_scaled = {
Packit Service 82fcde
0x1.c6af84b912394p-5/N/N/N, 0x1.ebfce50fac4f3p-3/N/N, 0x1.62e42ff0c52d6p-1/N
Packit Service 82fcde
  },
Packit Service 82fcde
};