xref: /freebsd/contrib/gdtoa/arithchk.c (revision c88250a5)
1cc36ccd1SDavid Schultz /****************************************************************
2cc36ccd1SDavid Schultz Copyright (C) 1997, 1998 Lucent Technologies
3cc36ccd1SDavid Schultz All Rights Reserved
4cc36ccd1SDavid Schultz 
5cc36ccd1SDavid Schultz Permission to use, copy, modify, and distribute this software and
6cc36ccd1SDavid Schultz its documentation for any purpose and without fee is hereby
7cc36ccd1SDavid Schultz granted, provided that the above copyright notice appear in all
8cc36ccd1SDavid Schultz copies and that both that the copyright notice and this
9cc36ccd1SDavid Schultz permission notice and warranty disclaimer appear in supporting
10cc36ccd1SDavid Schultz documentation, and that the name of Lucent or any of its entities
11cc36ccd1SDavid Schultz not be used in advertising or publicity pertaining to
12cc36ccd1SDavid Schultz distribution of the software without specific, written prior
13cc36ccd1SDavid Schultz permission.
14cc36ccd1SDavid Schultz 
15cc36ccd1SDavid Schultz LUCENT DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE,
16cc36ccd1SDavid Schultz INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS.
17cc36ccd1SDavid Schultz IN NO EVENT SHALL LUCENT OR ANY OF ITS ENTITIES BE LIABLE FOR ANY
18cc36ccd1SDavid Schultz SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
19cc36ccd1SDavid Schultz WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER
20cc36ccd1SDavid Schultz IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
21cc36ccd1SDavid Schultz ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF
22cc36ccd1SDavid Schultz THIS SOFTWARE.
23cc36ccd1SDavid Schultz ****************************************************************/
24cc36ccd1SDavid Schultz 
25cc36ccd1SDavid Schultz /* Try to deduce arith.h from arithmetic properties. */
26cc36ccd1SDavid Schultz 
27cc36ccd1SDavid Schultz #include <stdio.h>
28cc36ccd1SDavid Schultz 
29cc36ccd1SDavid Schultz  static int dalign;
30cc36ccd1SDavid Schultz  typedef struct
31cc36ccd1SDavid Schultz Akind {
32cc36ccd1SDavid Schultz 	char *name;
33cc36ccd1SDavid Schultz 	int   kind;
34cc36ccd1SDavid Schultz 	} Akind;
35cc36ccd1SDavid Schultz 
36cc36ccd1SDavid Schultz  static Akind
37cc36ccd1SDavid Schultz IEEE_8087	= { "IEEE_8087", 1 },
38cc36ccd1SDavid Schultz IEEE_MC68k	= { "IEEE_MC68k", 2 },
39cc36ccd1SDavid Schultz IBM		= { "IBM", 3 },
40cc36ccd1SDavid Schultz VAX		= { "VAX", 4 },
41cc36ccd1SDavid Schultz CRAY		= { "CRAY", 5};
42cc36ccd1SDavid Schultz 
43cc36ccd1SDavid Schultz  static Akind *
Lcheck()44cc36ccd1SDavid Schultz Lcheck()
45cc36ccd1SDavid Schultz {
46cc36ccd1SDavid Schultz 	union {
47cc36ccd1SDavid Schultz 		double d;
48cc36ccd1SDavid Schultz 		long L[2];
49cc36ccd1SDavid Schultz 		} u;
50cc36ccd1SDavid Schultz 	struct {
51cc36ccd1SDavid Schultz 		double d;
52cc36ccd1SDavid Schultz 		long L;
53cc36ccd1SDavid Schultz 		} x[2];
54cc36ccd1SDavid Schultz 
55cc36ccd1SDavid Schultz 	if (sizeof(x) > 2*(sizeof(double) + sizeof(long)))
56cc36ccd1SDavid Schultz 		dalign = 1;
57cc36ccd1SDavid Schultz 	u.L[0] = u.L[1] = 0;
58cc36ccd1SDavid Schultz 	u.d = 1e13;
59cc36ccd1SDavid Schultz 	if (u.L[0] == 1117925532 && u.L[1] == -448790528)
60cc36ccd1SDavid Schultz 		return &IEEE_MC68k;
61cc36ccd1SDavid Schultz 	if (u.L[1] == 1117925532 && u.L[0] == -448790528)
62cc36ccd1SDavid Schultz 		return &IEEE_8087;
63cc36ccd1SDavid Schultz 	if (u.L[0] == -2065213935 && u.L[1] == 10752)
64cc36ccd1SDavid Schultz 		return &VAX;
65cc36ccd1SDavid Schultz 	if (u.L[0] == 1267827943 && u.L[1] == 704643072)
66cc36ccd1SDavid Schultz 		return &IBM;
67cc36ccd1SDavid Schultz 	return 0;
68cc36ccd1SDavid Schultz 	}
69cc36ccd1SDavid Schultz 
70cc36ccd1SDavid Schultz  static Akind *
icheck()71cc36ccd1SDavid Schultz icheck()
72cc36ccd1SDavid Schultz {
73cc36ccd1SDavid Schultz 	union {
74cc36ccd1SDavid Schultz 		double d;
75cc36ccd1SDavid Schultz 		int L[2];
76cc36ccd1SDavid Schultz 		} u;
77cc36ccd1SDavid Schultz 	struct {
78cc36ccd1SDavid Schultz 		double d;
79cc36ccd1SDavid Schultz 		int L;
80cc36ccd1SDavid Schultz 		} x[2];
81cc36ccd1SDavid Schultz 
82cc36ccd1SDavid Schultz 	if (sizeof(x) > 2*(sizeof(double) + sizeof(int)))
83cc36ccd1SDavid Schultz 		dalign = 1;
84cc36ccd1SDavid Schultz 	u.L[0] = u.L[1] = 0;
85cc36ccd1SDavid Schultz 	u.d = 1e13;
86cc36ccd1SDavid Schultz 	if (u.L[0] == 1117925532 && u.L[1] == -448790528)
87cc36ccd1SDavid Schultz 		return &IEEE_MC68k;
88cc36ccd1SDavid Schultz 	if (u.L[1] == 1117925532 && u.L[0] == -448790528)
89cc36ccd1SDavid Schultz 		return &IEEE_8087;
90cc36ccd1SDavid Schultz 	if (u.L[0] == -2065213935 && u.L[1] == 10752)
91cc36ccd1SDavid Schultz 		return &VAX;
92cc36ccd1SDavid Schultz 	if (u.L[0] == 1267827943 && u.L[1] == 704643072)
93cc36ccd1SDavid Schultz 		return &IBM;
94cc36ccd1SDavid Schultz 	return 0;
95cc36ccd1SDavid Schultz 	}
96cc36ccd1SDavid Schultz 
97cc36ccd1SDavid Schultz char *emptyfmt = "";	/* avoid possible warning message with printf("") */
98cc36ccd1SDavid Schultz 
99cc36ccd1SDavid Schultz  static Akind *
ccheck()100cc36ccd1SDavid Schultz ccheck()
101cc36ccd1SDavid Schultz {
102cc36ccd1SDavid Schultz 	union {
103cc36ccd1SDavid Schultz 		double d;
104cc36ccd1SDavid Schultz 		long L;
105cc36ccd1SDavid Schultz 		} u;
106cc36ccd1SDavid Schultz 	long Cray1;
107cc36ccd1SDavid Schultz 
108cc36ccd1SDavid Schultz 	/* Cray1 = 4617762693716115456 -- without overflow on non-Crays */
109cc36ccd1SDavid Schultz 	Cray1 = printf(emptyfmt) < 0 ? 0 : 4617762;
110cc36ccd1SDavid Schultz 	if (printf(emptyfmt, Cray1) >= 0)
111cc36ccd1SDavid Schultz 		Cray1 = 1000000*Cray1 + 693716;
112cc36ccd1SDavid Schultz 	if (printf(emptyfmt, Cray1) >= 0)
113cc36ccd1SDavid Schultz 		Cray1 = 1000000*Cray1 + 115456;
114cc36ccd1SDavid Schultz 	u.d = 1e13;
115cc36ccd1SDavid Schultz 	if (u.L == Cray1)
116cc36ccd1SDavid Schultz 		return &CRAY;
117cc36ccd1SDavid Schultz 	return 0;
118cc36ccd1SDavid Schultz 	}
119cc36ccd1SDavid Schultz 
120cc36ccd1SDavid Schultz  static int
fzcheck()121cc36ccd1SDavid Schultz fzcheck()
122cc36ccd1SDavid Schultz {
123cc36ccd1SDavid Schultz 	double a, b;
124cc36ccd1SDavid Schultz 	int i;
125cc36ccd1SDavid Schultz 
126cc36ccd1SDavid Schultz 	a = 1.;
127cc36ccd1SDavid Schultz 	b = .1;
128cc36ccd1SDavid Schultz 	for(i = 155;; b *= b, i >>= 1) {
129cc36ccd1SDavid Schultz 		if (i & 1) {
130cc36ccd1SDavid Schultz 			a *= b;
131cc36ccd1SDavid Schultz 			if (i == 1)
132cc36ccd1SDavid Schultz 				break;
133cc36ccd1SDavid Schultz 			}
134cc36ccd1SDavid Schultz 		}
135cc36ccd1SDavid Schultz 	b = a * a;
136cc36ccd1SDavid Schultz 	return b == 0.;
137cc36ccd1SDavid Schultz 	}
138cc36ccd1SDavid Schultz 
139c88250a5SDavid Schultz  int
main()140cc36ccd1SDavid Schultz main()
141cc36ccd1SDavid Schultz {
142cc36ccd1SDavid Schultz 	Akind *a = 0;
143cc36ccd1SDavid Schultz 	int Ldef = 0;
144cc36ccd1SDavid Schultz 	FILE *f;
145cc36ccd1SDavid Schultz 
146cc36ccd1SDavid Schultz #ifdef WRITE_ARITH_H	/* for Symantec's buggy "make" */
147cc36ccd1SDavid Schultz 	f = fopen("arith.h", "w");
148cc36ccd1SDavid Schultz 	if (!f) {
149cc36ccd1SDavid Schultz 		printf("Cannot open arith.h\n");
150cc36ccd1SDavid Schultz 		return 1;
151cc36ccd1SDavid Schultz 		}
152cc36ccd1SDavid Schultz #else
153cc36ccd1SDavid Schultz 	f = stdout;
154cc36ccd1SDavid Schultz #endif
155cc36ccd1SDavid Schultz 
156cc36ccd1SDavid Schultz 	if (sizeof(double) == 2*sizeof(long))
157cc36ccd1SDavid Schultz 		a = Lcheck();
158cc36ccd1SDavid Schultz 	else if (sizeof(double) == 2*sizeof(int)) {
159cc36ccd1SDavid Schultz 		Ldef = 1;
160cc36ccd1SDavid Schultz 		a = icheck();
161cc36ccd1SDavid Schultz 		}
162cc36ccd1SDavid Schultz 	else if (sizeof(double) == sizeof(long))
163cc36ccd1SDavid Schultz 		a = ccheck();
164cc36ccd1SDavid Schultz 	if (a) {
165cc36ccd1SDavid Schultz 		fprintf(f, "#define %s\n#define Arith_Kind_ASL %d\n",
166cc36ccd1SDavid Schultz 			a->name, a->kind);
167cc36ccd1SDavid Schultz 		if (Ldef)
168cc36ccd1SDavid Schultz 			fprintf(f, "#define Long int\n#define Intcast (int)(long)\n");
169cc36ccd1SDavid Schultz 		if (dalign)
170cc36ccd1SDavid Schultz 			fprintf(f, "#define Double_Align\n");
171cc36ccd1SDavid Schultz 		if (sizeof(char*) == 8)
172cc36ccd1SDavid Schultz 			fprintf(f, "#define X64_bit_pointers\n");
173cc36ccd1SDavid Schultz #ifndef NO_LONG_LONG
174cc36ccd1SDavid Schultz 		if (sizeof(long long) < 8)
175cc36ccd1SDavid Schultz #endif
176cc36ccd1SDavid Schultz 			fprintf(f, "#define NO_LONG_LONG\n");
177cc36ccd1SDavid Schultz 		if (a->kind <= 2 && fzcheck())
178cc36ccd1SDavid Schultz 			fprintf(f, "#define Sudden_Underflow\n");
179cc36ccd1SDavid Schultz 		return 0;
180cc36ccd1SDavid Schultz 		}
181cc36ccd1SDavid Schultz 	fprintf(f, "/* Unknown arithmetic */\n");
182cc36ccd1SDavid Schultz 	return 1;
183cc36ccd1SDavid Schultz 	}
184