1/*	$NetBSD: testLoops.h,v 1.3 2002/02/21 07:38:17 itojun Exp $	*/
2
3/* This is a derivative work. */
4
5/*-
6 * Copyright (c) 2001 The NetBSD Foundation, Inc.
7 * All rights reserved.
8 *
9 * This code is derived from software contributed to The NetBSD Foundation
10 * by Ross Harvey.
11 *
12 * Redistribution and use in source and binary forms, with or without
13 * modification, are permitted provided that the following conditions
14 * are met:
15 * 1. Redistributions of source code must retain the above copyright
16 *    notice, this list of conditions and the following disclaimer.
17 * 2. Redistributions in binary form must reproduce the above copyright
18 *    notice, this list of conditions and the following disclaimer in the
19 *    documentation and/or other materials provided with the distribution.
20 *
21 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
22 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
23 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
24 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
25 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
26 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
27 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
29 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
30 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
31 * POSSIBILITY OF SUCH DAMAGE.
32 */
33
34/*
35===============================================================================
36
37This C header file is part of TestFloat, Release 2a, a package of programs
38for testing the correctness of floating-point arithmetic complying to the
39IEC/IEEE Standard for Floating-Point.
40
41Written by John R. Hauser.  More information is available through the Web
42page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
43
44THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE.  Although reasonable effort
45has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
46TIMES RESULT IN INCORRECT BEHAVIOR.  USE OF THIS SOFTWARE IS RESTRICTED TO
47PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
48AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
49
50Derivative works are acceptable, even for commercial purposes, so long as
51(1) they include prominent notice that the work is derivative, and (2) they
52include prominent notice akin to these four paragraphs for those parts of
53this code that are retained.
54
55===============================================================================
56*/
57
58#include <stdio.h>
59
60extern volatile flag stop;
61
62extern const char *trueName, *testName;
63extern flag forever, errorStop;
64extern uint32 maxErrorCount;
65extern flag checkNaNs;
66extern int8 *trueFlagsPtr;
67extern int8 ( *testFlagsFunctionPtr )( void );
68extern const char *functionName;
69extern const char *roundingPrecisionName, *roundingModeName, *tininessModeName;
70extern flag anyErrors;
71
72void writeFunctionName( FILE * );
73void exitWithStatus( void );
74
75void test_a_int32_z_float32( float32 ( int32 ), float32 ( int32 ) );
76void test_a_int32_z_float64( float64 ( int32 ), float64 ( int32 ) );
77#ifdef FLOATX80
78void test_a_int32_z_floatx80( floatx80 ( int32 ), floatx80 ( int32 ) );
79#endif
80#ifdef FLOAT128
81void test_a_int32_z_float128( float128 ( int32 ), float128 ( int32 ) );
82#endif
83#ifdef BITS64
84void test_a_int64_z_float32( float32 ( int64 ), float32 ( int64 ) );
85void test_a_int64_z_float64( float64 ( int64 ), float64 ( int64 ) );
86#ifdef FLOATX80
87void test_a_int64_z_floatx80( floatx80 ( int64 ), floatx80 ( int64 ) );
88#endif
89#ifdef FLOAT128
90void test_a_int64_z_float128( float128 ( int64 ), float128 ( int64 ) );
91#endif
92#endif
93
94void test_a_float32_z_int32( int32 ( float32 ), int32 ( float32 ) );
95#ifdef BITS64
96void test_a_float32_z_int64( int64 ( float32 ), int64 ( float32 ) );
97#endif
98void test_a_float32_z_float64( float64 ( float32 ), float64 ( float32 ) );
99#ifdef FLOATX80
100void test_a_float32_z_floatx80( floatx80 ( float32 ), floatx80 ( float32 ) );
101#endif
102#ifdef FLOAT128
103void test_a_float32_z_float128( float128 ( float32 ), float128 ( float32 ) );
104#endif
105void test_az_float32( float32 ( float32 ), float32 ( float32 ) );
106void
107 test_ab_float32_z_flag(
108     flag ( float32, float32 ), flag ( float32, float32 ) );
109void
110 test_abz_float32(
111     float32 ( float32, float32 ), float32 ( float32, float32 ) );
112
113void test_a_float64_z_int32( int32 ( float64 ), int32 ( float64 ) );
114#ifdef BITS64
115void test_a_float64_z_int64( int64 ( float64 ), int64 ( float64 ) );
116#endif
117void test_a_float64_z_float32( float32 ( float64 ), float32 ( float64 ) );
118#ifdef FLOATX80
119void test_a_float64_z_floatx80( floatx80 ( float64 ), floatx80 ( float64 ) );
120#endif
121#ifdef FLOAT128
122void test_a_float64_z_float128( float128 ( float64 ), float128 ( float64 ) );
123#endif
124void test_az_float64( float64 ( float64 ), float64 ( float64 ) );
125void
126 test_ab_float64_z_flag(
127     flag ( float64, float64 ), flag ( float64, float64 ) );
128void
129 test_abz_float64(
130     float64 ( float64, float64 ), float64 ( float64, float64 ) );
131
132#ifdef FLOATX80
133
134void test_a_floatx80_z_int32( int32 ( floatx80 ), int32 ( floatx80 ) );
135#ifdef BITS64
136void test_a_floatx80_z_int64( int64 ( floatx80 ), int64 ( floatx80 ) );
137#endif
138void test_a_floatx80_z_float32( float32 ( floatx80 ), float32 ( floatx80 ) );
139void test_a_floatx80_z_float64( float64 ( floatx80 ), float64 ( floatx80 ) );
140#ifdef FLOAT128
141void
142 test_a_floatx80_z_float128( float128 ( floatx80 ), float128 ( floatx80 ) );
143#endif
144void test_az_floatx80( floatx80 ( floatx80 ), floatx80 ( floatx80 ) );
145void
146 test_ab_floatx80_z_flag(
147     flag ( floatx80, floatx80 ), flag ( floatx80, floatx80 ) );
148void
149 test_abz_floatx80(
150     floatx80 ( floatx80, floatx80 ), floatx80 ( floatx80, floatx80 ) );
151
152#endif
153
154#ifdef FLOAT128
155
156void test_a_float128_z_int32( int32 ( float128 ), int32 ( float128 ) );
157#ifdef BITS64
158void test_a_float128_z_int64( int64 ( float128 ), int64 ( float128 ) );
159#endif
160void test_a_float128_z_float32( float32 ( float128 ), float32 ( float128 ) );
161void test_a_float128_z_float64( float64 ( float128 ), float64 ( float128 ) );
162#ifdef FLOATX80
163void
164 test_a_float128_z_floatx80( floatx80 ( float128 ), floatx80 ( float128 ) );
165#endif
166void test_az_float128( float128 ( float128 ), float128 ( float128 ) );
167void
168 test_ab_float128_z_flag(
169     flag ( float128, float128 ), flag ( float128, float128 ) );
170void
171 test_abz_float128(
172     float128 ( float128, float128 ), float128 ( float128, float128 ) );
173
174#endif
175
176