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

Macros

#define N   (1 << EXP2F_TABLE_BITS)
#define T   __exp2f_data.tab
#define C   __exp2f_data.poly
#define SHIFT   __exp2f_data.shift_scaled

Functions

static uint32_t top12 (float x)
float exp2f (float x)

Macro Definition Documentation

◆ C

#define C   __exp2f_data.poly

◆ N

#define N   (1 << EXP2F_TABLE_BITS)

◆ SHIFT

#define SHIFT   __exp2f_data.shift_scaled

◆ T

#define T   __exp2f_data.tab

Function Documentation

◆ exp2f()

float exp2f ( float x)

◆ top12()

uint32_t top12 ( float x)
inlinestatic