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

Macros

#define CBRTL_SCALE(pow3k, threshold, powk)

Functions

long double cbrtl (long double x)

Macro Definition Documentation

◆ CBRTL_SCALE

#define CBRTL_SCALE ( pow3k,
threshold,
powk )
Value:
if (fabsl(x) > 0x1p999L && fabsl(x) >= threshold) \
{ \
x /= pow3k; \
scale *= powk; \
} \
else if (fabsl(x) < 0x1p-999L && fabsl(x) < 1 / threshold) \
{ \
x *= pow3k; \
scale /= powk; \
}

Function Documentation

◆ cbrtl()

long double cbrtl ( long double x)