ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
__rem_pio2_large.c File Reference
#include "libm.h"
Include dependency graph for __rem_pio2_large.c:

Functions

int __rem_pio2_large (double *x, double *y, int e0, int nx, int prec)

Variables

static const int init_jk [] = {3,4,4,6}
static const int32_t ipio2 []
static const double PIo2 []

Function Documentation

◆ __rem_pio2_large()

int __rem_pio2_large ( double * x,
double * y,
int e0,
int nx,
int prec )

Variable Documentation

◆ init_jk

const int init_jk[] = {3,4,4,6}
static

◆ ipio2

const int32_t ipio2[]
static

◆ PIo2

const double PIo2[]
static
Initial value:
= {
1.57079625129699707031e+00,
7.54978941586159635335e-08,
5.39030252995776476554e-15,
3.28200341580791294123e-22,
1.27065575308067607349e-29,
1.22933308981111328932e-36,
2.73370053816464559624e-44,
2.16741683877804819444e-51,
}