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

Macros

#define EPS   DBL_EPSILON

Functions

int __rem_pio2f (float x, double *y)

Variables

static const double toint = 1.5/EPS
static const double pio4 = 0x1.921fb6p-1
static const double invpio2 = 6.36619772367581382433e-01
static const double pio2_1 = 1.57079631090164184570e+00
static const double pio2_1t = 1.58932547735281966916e-08

Macro Definition Documentation

◆ EPS

#define EPS   DBL_EPSILON

Function Documentation

◆ __rem_pio2f()

int __rem_pio2f ( float x,
double * y )

Variable Documentation

◆ invpio2

const double invpio2 = 6.36619772367581382433e-01
static

◆ pio2_1

const double pio2_1 = 1.57079631090164184570e+00
static

◆ pio2_1t

const double pio2_1t = 1.58932547735281966916e-08
static

◆ pio4

const double pio4 = 0x1.921fb6p-1
static

◆ toint

const double toint = 1.5/EPS
static