1/* $NetBSD: writeHex.c,v 1.4 2002/02/21 07:38:16 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 source 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#include "milieu.h" 60#include "softfloat.h" 61#include "writeHex.h" 62 63void writeHex_flag( flag a, FILE *stream ) 64{ 65 66 fputc( a ? '1' : '0', stream ); 67 68} 69 70static 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 83static 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 99static 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 118void 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 128void 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 138void 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 151void 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 164void 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 179void 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 192void 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 205void 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