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

Macros

#define N   (1 << EXP2F_TABLE_BITS)
#define InvLn2N   __exp2f_data.invln2_scaled
#define T   __exp2f_data.tab
#define C   __exp2f_data.poly_scaled
#define SHIFT   __exp2f_data.shift

Functions

static uint32_t top12 (float x)
float expf (float x)

Macro Definition Documentation

◆ C

#define C   __exp2f_data.poly_scaled

◆ InvLn2N

#define InvLn2N   __exp2f_data.invln2_scaled

◆ N

#define N   (1 << EXP2F_TABLE_BITS)

◆ SHIFT

#define SHIFT   __exp2f_data.shift

◆ T

#define T   __exp2f_data.tab

Function Documentation

◆ expf()

float expf ( float x)

◆ top12()

uint32_t top12 ( float x)
inlinestatic