ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exp2f_data.h
Go to the documentation of this file.
1/*
2 * Copyright (c) 2017-2018, Arm Limited.
3 * SPDX-License-Identifier: MIT
4 */
5#ifndef _EXP2F_DATA_H
6#define _EXP2F_DATA_H
7
8//#include <features.h>
9#include <stdint.h>
10
11/* Shared between expf, exp2f and powf. */
12#define EXP2F_TABLE_BITS 5
13#define EXP2F_POLY_ORDER 3
22
23#endif
const struct exp2f_data __exp2f_data
Definition exp2f_data.c:12
#define EXP2F_TABLE_BITS
Definition exp2f_data.h:12
#define EXP2F_POLY_ORDER
Definition exp2f_data.h:13
Definition exp2f_data.h:14
double poly_scaled[EXP2F_POLY_ORDER]
Definition exp2f_data.h:20
double poly[EXP2F_POLY_ORDER]
Definition exp2f_data.h:17
uint64_t tab[1<< EXP2F_TABLE_BITS]
Definition exp2f_data.h:15
double invln2_scaled
Definition exp2f_data.h:19
double shift
Definition exp2f_data.h:18
double shift_scaled
Definition exp2f_data.h:16