3 * File name: test/Empty.c
5 * Author: Boris Boesler
6 * Modified by: Michael Beck (for GCC-firm)
9 * Copyright: (c) 2001 Universitaet Karlsruhe
16 static void compute (double d1) {
20 printf(" expecting 1234567890123456789.0: %19.1f\n", d3);
26 int main (int argc, char *argv[]) {
27 float fminplus = +FLT_MIN;
28 float fminminus = -FLT_MIN;
29 float fmaxplus = FLT_MAX;
30 float fmaxminus = -FLT_MAX;
31 double dminplus = +DBL_MIN;
32 double dminminus = -DBL_MIN;
33 double dmaxplus = +DBL_MAX;
34 double dmaxminus = -DBL_MAX;
36 printf("\nExtreme representable float values:\n");
37 printf(" +" p(FLT_MIN) " = %+1.8E\n", fminplus);
38 printf(" -" p(FLT_MIN) " = %+1.8E\n", fminminus);
39 printf(" +" p(FLT_MAX) " = %+1.8E\n", fmaxplus);
40 printf(" -" p(FLT_MAX) " = %+1.8E\n", fmaxminus);
42 printf("\nExtreme representable double values:\n");
43 printf(" +" p(DBL_MIN) " = %+1.17E\n", dminplus);
44 printf(" -" p(DBL_MIN) " = %+1.17E\n", dminminus);
45 printf(" +" p(DBL_MAX) " = %+1.17E\n", dmaxplus);
46 printf(" -" p(DBL_MAX) " = %+1.17E\n", dmaxminus);
48 compute(1234567890000000000.0);