blob: fba3231f503de0c378b2bc0e6c11e2e394a8d39f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#include <stdio.h>
#include <math.h>
#include <assert.h>
static const double tol = 1e-16;
void test_value(double value) {
int exponent;
double x = frexp(value, &exponent);
double expected = x * pow(2.0, exponent);
printf("%f=%f*2^%d\n", value, x, exponent);
assert(fabs(expected - value) < tol);
assert(x == 0 || (fabs(x) >= 5e-1 && fabs(x) < 1)); // x has a magnitude in
// the interval [1/2, 1)
}
int main() {
test_value(0);
test_value(100.1);
test_value(-100.1);
test_value(.5);
test_value(-.5);
test_value(1 - 1e-16);
test_value(-(1 - 1e-16));
return 0;
}
|