ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
logf.c File Reference
#include <math.h>
#include <stdint.h>
#include "libm.h"
#include "logf_data.h"
Include dependency graph for logf.c:

Macros

#define T   __logf_data.tab
#define A   __logf_data.poly
#define Ln2   __logf_data.ln2
#define N   (1 << LOGF_TABLE_BITS)
#define OFF   0x3f330000

Functions

float logf (float x)

Macro Definition Documentation

◆ A

#define A   __logf_data.poly

◆ Ln2

#define Ln2   __logf_data.ln2

◆ N

#define N   (1 << LOGF_TABLE_BITS)

◆ OFF

#define OFF   0x3f330000

◆ T

#define T   __logf_data.tab

Function Documentation

◆ logf()

float logf ( float x)