1 /* $NetBSD: writeHex.c,v 1.5 2008/04/28 20:23:04 martin 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
37 This C source file is part of TestFloat, Release 2a, a package of programs
38 for testing the correctness of floating-point arithmetic complying to the
39 IEC/IEEE Standard for Floating-Point.
40
41 Written by John R. Hauser. More information is available through the Web
42 page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
43
44 THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
45 has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
46 TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
47 PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
48 AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
49
50 Derivative works are acceptable, even for commercial purposes, so long as
51 (1) they include prominent notice that the work is derivative, and (2) they
52 include prominent notice akin to these four paragraphs for those parts of
53 this code that are retained.
54
55 ===============================================================================
56 */
57
58 #include <stdio.h>
59 #include "milieu.h"
60 #include "softfloat.h"
61 #include "writeHex.h"
62
writeHex_flag(flag a,FILE * stream)63 void writeHex_flag( flag a, FILE *stream )
64 {
65
66 fputc( a ? '1' : '0', stream );
67
68 }
69
writeHex_bits8(bits8 a,FILE * stream)70 static void writeHex_bits8( bits8 a, FILE *stream )
71 {
72 int digit;
73
74 digit = ( a>>4 ) & 0xF;
75 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
76 fputc( '0' + digit, stream );
77 digit = a & 0xF;
78 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
79 fputc( '0' + digit, stream );
80
81 }
82
writeHex_bits12(int16 a,FILE * stream)83 static void writeHex_bits12( int16 a, FILE *stream )
84 {
85 int digit;
86
87 digit = ( a>>8 ) & 0xF;
88 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
89 fputc( '0' + digit, stream );
90 digit = ( a>>4 ) & 0xF;
91 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
92 fputc( '0' + digit, stream );
93 digit = a & 0xF;
94 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
95 fputc( '0' + digit, stream );
96
97 }
98
writeHex_bits16(bits16 a,FILE * stream)99 static void writeHex_bits16( bits16 a, FILE *stream )
100 {
101 int digit;
102
103 digit = ( a>>12 ) & 0xF;
104 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
105 fputc( '0' + digit, stream );
106 digit = ( a>>8 ) & 0xF;
107 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
108 fputc( '0' + digit, stream );
109 digit = ( a>>4 ) & 0xF;
110 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
111 fputc( '0' + digit, stream );
112 digit = a & 0xF;
113 if ( 9 < digit ) digit += 'A' - ( '0' + 10 );
114 fputc( '0' + digit, stream );
115
116 }
117
writeHex_bits32(bits32 a,FILE * stream)118 void writeHex_bits32( bits32 a, FILE *stream )
119 {
120
121 writeHex_bits16( a>>16, stream );
122 writeHex_bits16( a, stream );
123
124 }
125
126 #ifdef BITS64
127
writeHex_bits64(bits64 a,FILE * stream)128 void writeHex_bits64( bits64 a, FILE *stream )
129 {
130
131 writeHex_bits32( a>>32, stream );
132 writeHex_bits32( a, stream );
133
134 }
135
136 #endif
137
writeHex_float32(float32 a,FILE * stream)138 void writeHex_float32( float32 a, FILE *stream )
139 {
140
141 fputc( ( ( (sbits32) a ) < 0 ) ? '8' : '0', stream );
142 writeHex_bits8( a>>23, stream );
143 fputc( '.', stream );
144 writeHex_bits8( ( a>>16 ) & 0x7F, stream );
145 writeHex_bits16( a, stream );
146
147 }
148
149 #ifdef BITS64
150
writeHex_float64(float64 a,FILE * stream)151 void writeHex_float64( float64 a, FILE *stream )
152 {
153
154 writeHex_bits12( a>>52, stream );
155 fputc( '.', stream );
156 writeHex_bits12( a>>40, stream );
157 writeHex_bits8( a>>32, stream );
158 writeHex_bits32( a, stream );
159
160 }
161
162 #else
163
writeHex_float64(float64 a,FILE * stream)164 void writeHex_float64( float64 a, FILE *stream )
165 {
166
167 writeHex_bits12( a.high>>20, stream );
168 fputc( '.', stream );
169 writeHex_bits12( a.high>>8, stream );
170 writeHex_bits8( a.high, stream );
171 writeHex_bits32( a.low, stream );
172
173 }
174
175 #endif
176
177 #ifdef FLOATX80
178
writeHex_floatx80(floatx80 a,FILE * stream)179 void writeHex_floatx80( floatx80 a, FILE *stream )
180 {
181
182 writeHex_bits16( a.high, stream );
183 fputc( '.', stream );
184 writeHex_bits64( a.low, stream );
185
186 }
187
188 #endif
189
190 #ifdef FLOAT128
191
writeHex_float128(float128 a,FILE * stream)192 void writeHex_float128( float128 a, FILE *stream )
193 {
194
195 writeHex_bits16( a.high>>48, stream );
196 fputc( '.', stream );
197 writeHex_bits16( a.high>>32, stream );
198 writeHex_bits32( a.high, stream );
199 writeHex_bits64( a.low, stream );
200
201 }
202
203 #endif
204
writeHex_float_flags(uint8 flags,FILE * stream)205 void writeHex_float_flags( uint8 flags, FILE *stream )
206 {
207
208 fputc( flags & float_flag_invalid ? 'v' : '.', stream );
209 fputc( flags & float_flag_divbyzero ? 'z' : '.', stream );
210 fputc( flags & float_flag_overflow ? 'o' : '.', stream );
211 fputc( flags & float_flag_underflow ? 'u' : '.', stream );
212 fputc( flags & float_flag_inexact ? 'x' : '.', stream );
213
214 }
215
216