ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
logf_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 _LOGF_DATA_H
6#define _LOGF_DATA_H
7
8//#include <features.h>
9
10#define LOGF_TABLE_BITS 4
11#define LOGF_POLY_ORDER 4
12extern const struct logf_data {
13 struct {
14 double invc, logc;
16 double ln2;
17 double poly[LOGF_POLY_ORDER - 1]; /* First order coefficient is 1. */
19
20#endif
const struct logf_data __logf_data
Definition logf_data.c:10
#define LOGF_POLY_ORDER
Definition logf_data.h:11
#define LOGF_TABLE_BITS
Definition logf_data.h:10
Definition logf_data.h:12
double ln2
Definition logf_data.h:16
struct logf_data::@160241340122344030353023033230260361055201230060 tab[1<< LOGF_TABLE_BITS]
double invc
Definition logf_data.h:14
double logc
Definition logf_data.h:14
double poly[LOGF_POLY_ORDER - 1]
Definition logf_data.h:17