/[gxemul]/trunk/src/float_emul.c
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Annotation of /trunk/src/float_emul.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 20 - (hide annotations)
Mon Oct 8 16:19:23 2007 UTC (16 years, 7 months ago) by dpavlin
File MIME type: text/plain
File size: 7247 byte(s)
++ trunk/HISTORY	(local)
$Id: HISTORY,v 1.1055 2005/11/25 22:48:36 debug Exp $
20051031	Adding disassembly support for more ARM instructions (clz,
		smul* etc), and adding a hack to support "new tiny" pages
		for StrongARM.
20051101	Minor documentation updates (NetBSD 2.0.2 -> 2.1, and OpenBSD
		3.7 -> 3.8, and lots of testing).
		Changing from 1-sector PIO mode 0 transfers to 128-sector PIO
		mode 3 (in dev_wdc).
		Various minor ARM dyntrans updates (pc-relative loads from
		within the same page as the instruction are now treated as
		constant "mov").
20051102	Re-enabling instruction combinations (they were accidentally
		disabled).
		Dyntrans TLB entries are now overwritten using a round-robin
		scheme instead of randomly. This increases performance.
		Fixing a typo in file.c (thanks to Chuan-Hua Chang for
		noticing it).
		Experimenting with adding ATAPI support to dev_wdc (to make
		emulated *BSD detect cdroms as cdroms, not harddisks).
20051104	Various minor updates.
20051105	Continuing on the ATAPI emulation. Seems to work well enough
		for a NetBSD/cats installation, but not OpenBSD/cats.
		Various other updates.
20051106	Modifying the -Y command line option to allow scaleup with
		certain graphic controllers (only dev_vga so far), not just
		scaledown.
		Some minor dyntrans cleanups.
20051107	Beginning a cleanup up the PCI subsystem (removing the
		read_register hack, etc).
20051108	Continuing the cleanup; splitting up some pci devices into a
		normal autodev device and some separate pci glue code.
20051109	Continuing on the PCI bus stuff; all old pci_*.c have been
		incorporated into normal devices and/or rewritten as glue code
		only, adding a dummy Intel 82371AB PIIX4 for Malta (not really
		tested yet).
		Minor pckbc fix so that Linux doesn't complain.
		Working on the DEC 21143 NIC (ethernet mac rom stuff mostly).
		Various other minor fixes.
20051110	Some more ARM dyntrans fine-tuning (e.g. some instruction
		combinations (cmps followed by conditional branch within the
		same page) and special cases for DPIs with regform when the
		shifter isn't used).
20051111	ARM dyntrans updates: O(n)->O(1) for just-mark-as-non-
		writable in the generic pc_to_pointers function, and some other
		minor hacks.
		Merging Cobalt and evbmips (Malta) ISA interrupt handling,
		and some minor fixes to allow Linux to accept harddisk irqs.
20051112	Minor device updates (pckbc, dec21143, lpt, ...), most
		importantly fixing the ALI M1543/M5229 so that harddisk irqs
		work with Linux/CATS.
20051113	Some more generalizations of the PCI subsystem.
		Finally took the time to add a hack for SCSI CDROM TOCs; this
		enables OpenBSD to use partition 'a' (as needed by the OpenBSD
		installer), and Windows NT's installer to get a bit further.
		Also fixing dev_wdc to allow Linux to detect ATAPI CDROMs.
		Continuing on the DEC 21143.
20051114	Minor ARM dyntrans tweaks; ARM cmps+branch optimization when
		comparing with 0, and generalizing the xchg instr. comb.
		Adding disassembly of ARM mrrc/mcrr and q{,d}{add,sub}.
20051115	Continuing on various PPC things (BATs, other address trans-
		lation things, various loads/stores, BeBox emulation, etc.).
		Beginning to work on PPC interrupt/exception support.
20051116	Factoring out some code which initializes legacy ISA devices
		from those machines that use them (bus_isa).
		Continuing on PPC interrupt/exception support.
20051117	Minor Malta fixes: RTC year offset = 80, disabling a speed hack
		which caused NetBSD to detect a too fast cpu, and adding a new
		hack to make Linux detect a faster cpu.
		Continuing on the Artesyn PM/PPC emulation mode.
		Adding an Algor emulation skeleton (P4032 and P5064);
		implementing some of the basics.
		Continuing on PPC emulation in general; usage of unimplemented
		SPRs is now easier to track, continuing on memory/exception
		related issues, etc.
20051118	More work on PPC emulation (tgpr0..3, exception handling,
		memory stuff, syscalls, etc.).
20051119	Changing the ARM dyntrans code to mostly use cpu->pc, and not
		necessarily use arm reg 15. Seems to work.
		Various PPC updates; continuing on the PReP emulation mode.
20051120	Adding a workaround/hack to dev_mc146818 to allow NetBSD/prep
		to detect the clock.
20051121	More cleanup of the PCI bus (memory and I/O bases, etc).
		Continuing on various PPC things (decrementer and timebase,
		WDCs on obio (on PReP) use irq 13, not 14/15).
20051122	Continuing on the CPC700 controller (interrupts etc) for PMPPC,
		and on PPC stuff in general.
		Finally! After some bug fixes to the virtual to physical addr
		translation, NetBSD/{prep,pmppc} 2.1 reach userland and are
		stable enough to be interacted with.
		More PCI updates; reverse-endian device access for PowerPC etc.
20051123	Generalizing the IEEE floating point subsystem (moving it out
		from src/cpus/cpu_mips_coproc.c into a new src/float_emul.c).
		Input via slave xterms was sometimes not really working; fixing
		this for ns16550, and a warning message is now displayed if
		multiple non-xterm consoles are active.
		Adding some PPC floating point support, etc.
		Various interrupt related updates (dev_wdc, _ns16550, _8259,
		and the isa32 common code in machine.c).
		NetBSD/prep can now be installed! :-) (Well, with some manual
		commands necessary before running sysinst.) Updating the
		documentation and various other things to reflect this.
20051124	Various minor documentation updates.
		Continuing the work on the DEC 21143 NIC.
20051125	LOTS of work on the 21143. Both OpenBSD and NetBSD work fine
		with it now, except that OpenBSD sometimes gives a time-out
		warning.
		Minor documentation updates.

==============  RELEASE 0.3.7  ==============


1 dpavlin 20 /*
2     * Copyright (C) 2004-2005 Anders Gavare. All rights reserved.
3     *
4     * Redistribution and use in source and binary forms, with or without
5     * modification, are permitted provided that the following conditions are met:
6     *
7     * 1. Redistributions of source code must retain the above copyright
8     * notice, this list of conditions and the following disclaimer.
9     * 2. Redistributions in binary form must reproduce the above copyright
10     * notice, this list of conditions and the following disclaimer in the
11     * documentation and/or other materials provided with the distribution.
12     * 3. The name of the author may not be used to endorse or promote products
13     * derived from this software without specific prior written permission.
14     *
15     * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16     * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17     * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18     * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19     * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20     * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21     * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22     * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23     * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24     * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25     * SUCH DAMAGE.
26     *
27     * $Id: float_emul.c,v 1.5 2005/11/23 22:03:28 debug Exp $
28     *
29     * Floating point emulation routines.
30     */
31    
32     #include <stdio.h>
33     #include <stdlib.h>
34     #include <string.h>
35     #include <math.h>
36    
37     #include "float_emul.h"
38     #include "misc.h"
39    
40    
41     /* #define IEEE_DEBUG */
42    
43    
44     /*
45     * ieee_interpret_float_value():
46     *
47     * Interprets a float value from binary IEEE format into an ieee_float_value
48     * struct.
49     */
50     void ieee_interpret_float_value(uint64_t x, struct ieee_float_value *fvp,
51     int fmt)
52     {
53     int n_frac = 0, n_exp = 0;
54     int i, nan, sign = 0, exponent;
55     double fraction;
56    
57     memset(fvp, 0, sizeof(struct ieee_float_value));
58    
59     /* n_frac and n_exp: */
60     switch (fmt) {
61     case IEEE_FMT_S: n_frac = 23; n_exp = 8; break;
62     case IEEE_FMT_W: n_frac = 31; n_exp = 0; break;
63     case IEEE_FMT_D: n_frac = 52; n_exp = 11; break;
64     case IEEE_FMT_L: n_frac = 63; n_exp = 0; break;
65     default:fatal("ieee_interpret_float_value(): "
66     "unimplemented format %i\n", fmt);
67     }
68    
69     /* exponent: */
70     exponent = 0;
71     switch (fmt) {
72     case IEEE_FMT_W:
73     x &= 0xffffffffULL;
74     case IEEE_FMT_L:
75     break;
76     case IEEE_FMT_S:
77     x &= 0xffffffffULL;
78     case IEEE_FMT_D:
79     exponent = (x >> n_frac) & ((1 << n_exp) - 1);
80     exponent -= (1 << (n_exp-1)) - 1;
81     break;
82     default:fatal("ieee_interpret_float_value(): unimplemented "
83     "format %i\n", fmt);
84     }
85    
86     /* nan: */
87     nan = 0;
88     switch (fmt) {
89     case IEEE_FMT_S:
90     if (x == 0x7fffffffULL || x == 0x7fbfffffULL)
91     nan = 1;
92     break;
93     case IEEE_FMT_D:
94     if (x == 0x7fffffffffffffffULL ||
95     x == 0x7ff7ffffffffffffULL)
96     nan = 1;
97     break;
98     }
99    
100     if (nan) {
101     fvp->f = 1.0;
102     goto no_reasonable_result;
103     }
104    
105     /* fraction: */
106     fraction = 0.0;
107     switch (fmt) {
108     case IEEE_FMT_W:
109     {
110     int32_t r_int = x;
111     fraction = r_int;
112     }
113     break;
114     case IEEE_FMT_L:
115     {
116     int64_t r_int = x;
117     fraction = r_int;
118     }
119     break;
120     case IEEE_FMT_S:
121     case IEEE_FMT_D:
122     /* sign: */
123     sign = (x >> 31) & 1;
124     if (fmt == IEEE_FMT_D)
125     sign = (x >> 63) & 1;
126    
127     fraction = 0.0;
128     for (i=0; i<n_frac; i++) {
129     int bit = (x >> i) & 1;
130     fraction /= 2.0;
131     if (bit)
132     fraction += 1.0;
133     }
134     /* Add implicit bit 0: */
135     fraction = (fraction / 2.0) + 1.0;
136     break;
137     default:fatal("ieee_interpret_float_value(): "
138     "unimplemented format %i\n", fmt);
139     }
140    
141     /* form the value: */
142     fvp->f = fraction;
143    
144     #ifdef IEEE_DEBUG
145     fatal("{ ieee: x=%016llx sign=%i exponent=%i frac=%f ",
146     (long long)x, sign, exponent, fraction);
147     #endif
148    
149     /* TODO: this is awful for exponents of large magnitude. */
150     if (exponent > 0) {
151     /*
152     * NOTE / TODO:
153     *
154     * This is an ulgy workaround on Alpha, where it seems that
155     * multiplying by 2, 1024 times causes a floating point
156     * exception. (Triggered by running for example NetBSD/pmax
157     * 2.0 emulated on an Alpha host.)
158     */
159     if (exponent == 1024)
160     exponent = 1023;
161    
162     while (exponent-- > 0)
163     fvp->f *= 2.0;
164     } else if (exponent < 0) {
165     while (exponent++ < 0)
166     fvp->f /= 2.0;
167     }
168    
169     if (sign)
170     fvp->f = -fvp->f;
171    
172     no_reasonable_result:
173     fvp->nan = nan;
174    
175     #ifdef IEEE_DEBUG
176     fatal("f=%f }\n", fvp->f);
177     #endif
178     }
179    
180    
181     /*
182     * ieee_store_float_value():
183     *
184     * Generates a 64-bit IEEE-formated value in a specific format.
185     */
186     uint64_t ieee_store_float_value(double nf, int fmt, int nan)
187     {
188     int n_frac = 0, n_exp = 0, signofs=0;
189     int i, exponent;
190     uint64_t r = 0, r2;
191     int64_t r3;
192    
193     /* n_frac and n_exp: */
194     switch (fmt) {
195     case IEEE_FMT_S: n_frac = 23; n_exp = 8; signofs = 31; break;
196     case IEEE_FMT_W: n_frac = 31; n_exp = 0; signofs = 31; break;
197     case IEEE_FMT_D: n_frac = 52; n_exp = 11; signofs = 63; break;
198     case IEEE_FMT_L: n_frac = 63; n_exp = 0; signofs = 63; break;
199     default:fatal("ieee_store_float_value(): unimplemented format"
200     " %i\n", fmt);
201     }
202    
203     if ((fmt == IEEE_FMT_S || fmt == IEEE_FMT_D) && nan)
204     goto store_nan;
205    
206     /* fraction: */
207     switch (fmt) {
208     case IEEE_FMT_W:
209     case IEEE_FMT_L:
210     /*
211     * This causes an implicit conversion of double to integer.
212     * If nf < 0.0, then r2 will begin with a sequence of binary
213     * 1's, which is ok.
214     */
215     r3 = nf;
216     r2 = r3;
217     r |= r2;
218    
219     if (fmt == IEEE_FMT_W)
220     r &= 0xffffffffULL;
221     break;
222     case IEEE_FMT_S:
223     case IEEE_FMT_D:
224     #ifdef IEEE_DEBUG
225     fatal("{ ieee store f=%f ", nf);
226     #endif
227     /* sign bit: */
228     if (nf < 0.0) {
229     r |= ((uint64_t)1 << signofs);
230     nf = -nf;
231     }
232    
233     /*
234     * How to convert back from double to exponent + fraction:
235     * We want fraction to be 1.xxx, that is
236     * 1.0 <= fraction < 2.0
237     *
238     * This method is very slow but should work:
239     */
240     exponent = 0;
241     while (nf < 1.0 && exponent > -1023) {
242     nf *= 2.0;
243     exponent --;
244     }
245     while (nf >= 2.0 && exponent < 1023) {
246     nf /= 2.0;
247     exponent ++;
248     }
249    
250     /* Here: 1.0 <= nf < 2.0 */
251     #ifdef IEEE_DEBUG
252     fatal(" nf=%f", nf);
253     #endif
254     nf -= 1.0; /* remove implicit first bit */
255     for (i=n_frac-1; i>=0; i--) {
256     nf *= 2.0;
257     if (nf >= 1.0) {
258     r |= ((uint64_t)1 << i);
259     nf -= 1.0;
260     }
261     }
262    
263     /* Insert the exponent into the resulting word: */
264     /* (First bias, then make sure it's within range) */
265     exponent += (((uint64_t)1 << (n_exp-1)) - 1);
266     if (exponent < 0)
267     exponent = 0;
268     if (exponent >= ((int64_t)1 << n_exp))
269     exponent = ((int64_t)1 << n_exp) - 1;
270     r |= (uint64_t)exponent << n_frac;
271    
272     /* Special case for 0.0: */
273     if (exponent == 0)
274     r = 0;
275    
276     #ifdef IEEE_DEBUG
277     fatal(" exp=%i, r = %016llx }\n", exponent, (long long)r);
278     #endif
279     break;
280     default:/* TODO */
281     fatal("ieee_store_float_value(): unimplemented format %i\n",
282     fmt);
283     }
284    
285     store_nan:
286     if (nan) {
287     if (fmt == IEEE_FMT_S)
288     r = 0x7fffffffULL;
289     else if (fmt == IEEE_FMT_D)
290     r = 0x7fffffffffffffffULL;
291     else
292     r = 0x7fffffffULL;
293     }
294    
295     if (fmt == IEEE_FMT_S || fmt == IEEE_FMT_W)
296     r &= 0xffffffff;
297    
298     return r;
299     }
300    

  ViewVC Help
Powered by ViewVC 1.1.26