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