1 /*
2  * Linux/PA-RISC Project (http://www.parisc-linux.org/)
3  *
4  * Floating-point emulation code
5  *  Copyright (C) 2001 Hewlett-Packard (Paul Bame) <bame@debian.org>
6  *
7  *    This program is free software; you can redistribute it and/or modify
8  *    it under the terms of the GNU General Public License as published by
9  *    the Free Software Foundation; either version 2, or (at your option)
10  *    any later version.
11  *
12  *    This program is distributed in the hope that it will be useful,
13  *    but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  *    GNU General Public License for more details.
16  *
17  *    You should have received a copy of the GNU General Public License
18  *    along with this program; if not, write to the Free Software
19  *    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
20  */
21 /*
22  * BEGIN_DESC
23  *
24  *  File:
25  *      @(#)	pa/spmath/float.h		$Revision: 1.1 $
26  *
27  *  Purpose:
28  *      <<please update with a synopis of the functionality provided by this file>>
29  *
30  *  BE header:  no
31  *
32  *  Shipped:  yes
33  *	/usr/conf/pa/spmath/float.h
34  *
35  * END_DESC
36 */
37 
38 #ifdef __NO_PA_HDRS
39     PA header file -- do not include this header file for non-PA builds.
40 #endif
41 
42 #include "fpbits.h"
43 #include "hppa.h"
44 /*
45  * Want to pick up the FPU capability flags, not the PDC structures.
46  * 'LOCORE' isn't really true in this case, but we don't want the C structures
47  * so it suits our purposes
48  */
49 #define LOCORE
50 #include "fpu.h"
51 
52 /*
53  * Declare the basic structures for the 3 different
54  * floating-point precisions.
55  *
56  * Single number
57  * +-------+-------+-------+-------+-------+-------+-------+-------+
58  * |s|       exp     |               mantissa                      |
59  * +-------+-------+-------+-------+-------+-------+-------+-------+
60  */
61 #define	Sall(object) (object)
62 #define	Ssign(object) Bitfield_extract( 0,  1,object)
63 #define	Ssignedsign(object) Bitfield_signed_extract( 0,  1,object)
64 #define	Sexponent(object) Bitfield_extract( 1,  8,object)
65 #define	Smantissa(object) Bitfield_mask( 9, 23,object)
66 #define	Ssignaling(object) Bitfield_extract( 9,  1,object)
67 #define	Ssignalingnan(object) Bitfield_extract( 1,  9,object)
68 #define	Shigh2mantissa(object) Bitfield_extract( 9,  2,object)
69 #define	Sexponentmantissa(object) Bitfield_mask( 1, 31,object)
70 #define	Ssignexponent(object) Bitfield_extract( 0,  9,object)
71 #define	Shidden(object) Bitfield_extract( 8,  1,object)
72 #define	Shiddenoverflow(object) Bitfield_extract( 7,  1,object)
73 #define	Shiddenhigh7mantissa(object) Bitfield_extract( 8,  8,object)
74 #define	Shiddenhigh3mantissa(object) Bitfield_extract( 8,  4,object)
75 #define	Slow(object) Bitfield_mask( 31,  1,object)
76 #define	Slow4(object) Bitfield_mask( 28,  4,object)
77 #define	Slow31(object) Bitfield_mask( 1, 31,object)
78 #define	Shigh31(object) Bitfield_extract( 0, 31,object)
79 #define	Ssignedhigh31(object) Bitfield_signed_extract( 0, 31,object)
80 #define	Shigh4(object) Bitfield_extract( 0,  4,object)
81 #define	Sbit24(object) Bitfield_extract( 24,  1,object)
82 #define	Sbit28(object) Bitfield_extract( 28,  1,object)
83 #define	Sbit29(object) Bitfield_extract( 29,  1,object)
84 #define	Sbit30(object) Bitfield_extract( 30,  1,object)
85 #define	Sbit31(object) Bitfield_mask( 31,  1,object)
86 
87 #define Deposit_ssign(object,value) Bitfield_deposit(value,0,1,object)
88 #define Deposit_sexponent(object,value) Bitfield_deposit(value,1,8,object)
89 #define Deposit_smantissa(object,value) Bitfield_deposit(value,9,23,object)
90 #define Deposit_shigh2mantissa(object,value) Bitfield_deposit(value,9,2,object)
91 #define Deposit_sexponentmantissa(object,value) \
92     Bitfield_deposit(value,1,31,object)
93 #define Deposit_ssignexponent(object,value) Bitfield_deposit(value,0,9,object)
94 #define Deposit_slow(object,value) Bitfield_deposit(value,31,1,object)
95 #define Deposit_shigh4(object,value) Bitfield_deposit(value,0,4,object)
96 
97 #define	Is_ssign(object) Bitfield_mask( 0,  1,object)
98 #define	Is_ssignaling(object) Bitfield_mask( 9,  1,object)
99 #define	Is_shidden(object) Bitfield_mask( 8,  1,object)
100 #define	Is_shiddenoverflow(object) Bitfield_mask( 7,  1,object)
101 #define	Is_slow(object) Bitfield_mask( 31,  1,object)
102 #define	Is_sbit24(object) Bitfield_mask( 24,  1,object)
103 #define	Is_sbit28(object) Bitfield_mask( 28,  1,object)
104 #define	Is_sbit29(object) Bitfield_mask( 29,  1,object)
105 #define	Is_sbit30(object) Bitfield_mask( 30,  1,object)
106 #define	Is_sbit31(object) Bitfield_mask( 31,  1,object)
107 
108 /*
109  * Double number.
110  * +-------+-------+-------+-------+-------+-------+-------+-------+
111  * |s|       exponent      |          mantissa part 1              |
112  * +-------+-------+-------+-------+-------+-------+-------+-------+
113  *
114  * +-------+-------+-------+-------+-------+-------+-------+-------+
115  * |                    mantissa part 2                            |
116  * +-------+-------+-------+-------+-------+-------+-------+-------+
117  */
118 #define Dallp1(object) (object)
119 #define Dsign(object) Bitfield_extract( 0,  1,object)
120 #define Dsignedsign(object) Bitfield_signed_extract( 0,  1,object)
121 #define Dexponent(object) Bitfield_extract( 1,  11,object)
122 #define Dmantissap1(object) Bitfield_mask( 12, 20,object)
123 #define Dsignaling(object) Bitfield_extract( 12,  1,object)
124 #define Dsignalingnan(object) Bitfield_extract( 1,  12,object)
125 #define Dhigh2mantissa(object) Bitfield_extract( 12,  2,object)
126 #define Dexponentmantissap1(object) Bitfield_mask( 1, 31,object)
127 #define Dsignexponent(object) Bitfield_extract( 0, 12,object)
128 #define Dhidden(object) Bitfield_extract( 11,  1,object)
129 #define Dhiddenoverflow(object) Bitfield_extract( 10,  1,object)
130 #define Dhiddenhigh7mantissa(object) Bitfield_extract( 11,  8,object)
131 #define Dhiddenhigh3mantissa(object) Bitfield_extract( 11,  4,object)
132 #define Dlowp1(object) Bitfield_mask( 31,  1,object)
133 #define Dlow31p1(object) Bitfield_mask( 1, 31,object)
134 #define Dhighp1(object) Bitfield_extract( 0,  1,object)
135 #define Dhigh4p1(object) Bitfield_extract( 0,  4,object)
136 #define Dhigh31p1(object) Bitfield_extract( 0, 31,object)
137 #define Dsignedhigh31p1(object) Bitfield_signed_extract( 0, 31,object)
138 #define Dbit3p1(object) Bitfield_extract( 3,  1,object)
139 
140 #define Deposit_dsign(object,value) Bitfield_deposit(value,0,1,object)
141 #define Deposit_dexponent(object,value) Bitfield_deposit(value,1,11,object)
142 #define Deposit_dmantissap1(object,value) Bitfield_deposit(value,12,20,object)
143 #define Deposit_dhigh2mantissa(object,value) Bitfield_deposit(value,12,2,object)
144 #define Deposit_dexponentmantissap1(object,value) \
145     Bitfield_deposit(value,1,31,object)
146 #define Deposit_dsignexponent(object,value) Bitfield_deposit(value,0,12,object)
147 #define Deposit_dlowp1(object,value) Bitfield_deposit(value,31,1,object)
148 #define Deposit_dhigh4p1(object,value) Bitfield_deposit(value,0,4,object)
149 
150 #define Is_dsign(object) Bitfield_mask( 0,  1,object)
151 #define Is_dsignaling(object) Bitfield_mask( 12,  1,object)
152 #define Is_dhidden(object) Bitfield_mask( 11,  1,object)
153 #define Is_dhiddenoverflow(object) Bitfield_mask( 10,  1,object)
154 #define Is_dlowp1(object) Bitfield_mask( 31,  1,object)
155 #define Is_dhighp1(object) Bitfield_mask( 0,  1,object)
156 #define Is_dbit3p1(object) Bitfield_mask( 3,  1,object)
157 
158 #define Dallp2(object) (object)
159 #define Dmantissap2(object) (object)
160 #define Dlowp2(object) Bitfield_mask( 31,  1,object)
161 #define Dlow4p2(object) Bitfield_mask( 28,  4,object)
162 #define Dlow31p2(object) Bitfield_mask( 1, 31,object)
163 #define Dhighp2(object) Bitfield_extract( 0,  1,object)
164 #define Dhigh31p2(object) Bitfield_extract( 0, 31,object)
165 #define Dbit2p2(object) Bitfield_extract( 2,  1,object)
166 #define Dbit3p2(object) Bitfield_extract( 3,  1,object)
167 #define Dbit21p2(object) Bitfield_extract( 21,  1,object)
168 #define Dbit28p2(object) Bitfield_extract( 28,  1,object)
169 #define Dbit29p2(object) Bitfield_extract( 29,  1,object)
170 #define Dbit30p2(object) Bitfield_extract( 30,  1,object)
171 #define Dbit31p2(object) Bitfield_mask( 31,  1,object)
172 
173 #define Deposit_dlowp2(object,value) Bitfield_deposit(value,31,1,object)
174 
175 #define Is_dlowp2(object) Bitfield_mask( 31,  1,object)
176 #define Is_dhighp2(object) Bitfield_mask( 0,  1,object)
177 #define Is_dbit2p2(object) Bitfield_mask( 2,  1,object)
178 #define Is_dbit3p2(object) Bitfield_mask( 3,  1,object)
179 #define Is_dbit21p2(object) Bitfield_mask( 21,  1,object)
180 #define Is_dbit28p2(object) Bitfield_mask( 28,  1,object)
181 #define Is_dbit29p2(object) Bitfield_mask( 29,  1,object)
182 #define Is_dbit30p2(object) Bitfield_mask( 30,  1,object)
183 #define Is_dbit31p2(object) Bitfield_mask( 31,  1,object)
184 
185 /*
186  * Quad number.
187  * +-------+-------+-------+-------+-------+-------+-------+-------+
188  * |s|          exponent           |      mantissa part 1          |
189  * +-------+-------+-------+-------+-------+-------+-------+-------+
190  *
191  * +-------+-------+-------+-------+-------+-------+-------+-------+
192  * |                    mantissa part 2                            |
193  * +-------+-------+-------+-------+-------+-------+-------+-------+
194  *
195  * +-------+-------+-------+-------+-------+-------+-------+-------+
196  * |                    mantissa part 3                            |
197  * +-------+-------+-------+-------+-------+-------+-------+-------+
198  *
199  * +-------+-------+-------+-------+-------+-------+-------+-------+
200  * |                    mantissa part 4                            |
201  * +-------+-------+-------+-------+-------+-------+-------+-------+
202  */
203 typedef struct
204     {
205     union
206 	{
207 	struct { unsigned qallp1; } u_qallp1;
208 /* Not needed for now...
209 	Bitfield_extract( 0,  1,u_qsign,qsign)
210 	Bitfield_signed_extract( 0,  1,u_qsignedsign,qsignedsign)
211 	Bitfield_extract( 1, 15,u_qexponent,qexponent)
212 	Bitfield_extract(16, 16,u_qmantissap1,qmantissap1)
213 	Bitfield_extract(16,  1,u_qsignaling,qsignaling)
214 	Bitfield_extract(1,  16,u_qsignalingnan,qsignalingnan)
215 	Bitfield_extract(16,  2,u_qhigh2mantissa,qhigh2mantissa)
216 	Bitfield_extract( 1, 31,u_qexponentmantissap1,qexponentmantissap1)
217 	Bitfield_extract( 0, 16,u_qsignexponent,qsignexponent)
218 	Bitfield_extract(15,  1,u_qhidden,qhidden)
219 	Bitfield_extract(14,  1,u_qhiddenoverflow,qhiddenoverflow)
220 	Bitfield_extract(15,  8,u_qhiddenhigh7mantissa,qhiddenhigh7mantissa)
221 	Bitfield_extract(15,  4,u_qhiddenhigh3mantissa,qhiddenhigh3mantissa)
222 	Bitfield_extract(31,  1,u_qlowp1,qlowp1)
223 	Bitfield_extract( 1, 31,u_qlow31p1,qlow31p1)
224 	Bitfield_extract( 0,  1,u_qhighp1,qhighp1)
225 	Bitfield_extract( 0,  4,u_qhigh4p1,qhigh4p1)
226 	Bitfield_extract( 0, 31,u_qhigh31p1,qhigh31p1)
227   */
228 	} quad_u1;
229     union
230 	{
231 	struct { unsigned qallp2; } u_qallp2;
232   /* Not needed for now...
233 	Bitfield_extract(31,  1,u_qlowp2,qlowp2)
234 	Bitfield_extract( 1, 31,u_qlow31p2,qlow31p2)
235 	Bitfield_extract( 0,  1,u_qhighp2,qhighp2)
236 	Bitfield_extract( 0, 31,u_qhigh31p2,qhigh31p2)
237    */
238 	} quad_u2;
239     union
240 	{
241 	struct { unsigned qallp3; } u_qallp3;
242   /* Not needed for now...
243 	Bitfield_extract(31,  1,u_qlowp3,qlowp3)
244 	Bitfield_extract( 1, 31,u_qlow31p3,qlow31p3)
245 	Bitfield_extract( 0,  1,u_qhighp3,qhighp3)
246 	Bitfield_extract( 0, 31,u_qhigh31p3,qhigh31p3)
247    */
248 	} quad_u3;
249     union
250 	{
251 	struct { unsigned qallp4; } u_qallp4;
252     /* Not need for now...
253 	Bitfield_extract(31,  1,u_qlowp4,qlowp4)
254 	Bitfield_extract( 1, 31,u_qlow31p4,qlow31p4)
255 	Bitfield_extract( 0,  1,u_qhighp4,qhighp4)
256 	Bitfield_extract( 0, 31,u_qhigh31p4,qhigh31p4)
257      */
258 	} quad_u4;
259     } quad_floating_point;
260 
261 /* Extension - An additional structure to hold the guard, round and
262  *             sticky bits during computations.
263  */
264 #define Extall(object) (object)
265 #define Extsign(object) Bitfield_extract( 0,  1,object)
266 #define Exthigh31(object) Bitfield_extract( 0, 31,object)
267 #define Extlow31(object) Bitfield_extract( 1, 31,object)
268 #define Extlow(object) Bitfield_extract( 31,  1,object)
269 
270 /*
271  * Single extended - The upper word is just like single precision,
272  *                 but one additional word of mantissa is needed.
273  */
274 #define Sextallp1(object) (object)
275 #define Sextallp2(object) (object)
276 #define Sextlowp1(object) Bitfield_extract( 31,  1,object)
277 #define Sexthighp2(object) Bitfield_extract( 0,  1,object)
278 #define Sextlow31p2(object) Bitfield_extract( 1, 31,object)
279 #define Sexthiddenoverflow(object) Bitfield_extract( 4,  1,object)
280 #define Is_sexthiddenoverflow(object) Bitfield_mask( 4,  1,object)
281 
282 /*
283  * Double extended - The upper two words are just like double precision,
284  *		     but two additional words of mantissa are needed.
285  */
286 #define Dextallp1(object) (object)
287 #define Dextallp2(object) (object)
288 #define Dextallp3(object) (object)
289 #define Dextallp4(object) (object)
290 #define Dextlowp2(object) Bitfield_extract( 31,  1,object)
291 #define Dexthighp3(object) Bitfield_extract( 0,  1,object)
292 #define Dextlow31p3(object) Bitfield_extract( 1, 31,object)
293 #define Dexthiddenoverflow(object) Bitfield_extract( 10,  1,object)
294 #define Is_dexthiddenoverflow(object) Bitfield_mask( 10,  1,object)
295 #define Deposit_dextlowp4(object,value) Bitfield_deposit(value,31,1,object)
296 
297 /*
298  * Declare the basic structures for the 3 different
299  * fixed-point precisions.
300  *
301  * Single number
302  * +-------+-------+-------+-------+-------+-------+-------+-------+
303  * |s|                    integer                                  |
304  * +-------+-------+-------+-------+-------+-------+-------+-------+
305  */
306 typedef int sgl_integer;
307 
308 /*
309  * Double number.
310  * +-------+-------+-------+-------+-------+-------+-------+-------+
311  * |s|                     high integer                            |
312  * +-------+-------+-------+-------+-------+-------+-------+-------+
313  *
314  * +-------+-------+-------+-------+-------+-------+-------+-------+
315  * |                       low integer                             |
316  * +-------+-------+-------+-------+-------+-------+-------+-------+
317  */
318 struct dint {
319         int  wd0;
320         unsigned int wd1;
321 };
322 
323 struct dblwd {
324         unsigned int wd0;
325         unsigned int wd1;
326 };
327 
328 /*
329  * Quad number.
330  * +-------+-------+-------+-------+-------+-------+-------+-------+
331  * |s|                  integer part1                              |
332  * +-------+-------+-------+-------+-------+-------+-------+-------+
333  *
334  * +-------+-------+-------+-------+-------+-------+-------+-------+
335  * |                    integer part 2                             |
336  * +-------+-------+-------+-------+-------+-------+-------+-------+
337  *
338  * +-------+-------+-------+-------+-------+-------+-------+-------+
339  * |                    integer part 3                             |
340  * +-------+-------+-------+-------+-------+-------+-------+-------+
341  *
342  * +-------+-------+-------+-------+-------+-------+-------+-------+
343  * |                    integer part 4                             |
344  * +-------+-------+-------+-------+-------+-------+-------+-------+
345  */
346 
347 struct quadwd {
348         int  wd0;
349         unsigned int wd1;
350         unsigned int wd2;
351         unsigned int wd3;
352 };
353 
354 typedef struct quadwd quad_integer;
355 
356 
357 /* useful typedefs */
358 typedef unsigned int sgl_floating_point;
359 typedef struct dblwd dbl_floating_point;
360 typedef struct dint dbl_integer;
361 typedef struct dblwd dbl_unsigned;
362 
363 /*
364  * Define the different precisions' parameters.
365  */
366 #define SGL_BITLENGTH 32
367 #define SGL_EMAX 127
368 #define SGL_EMIN (-126)
369 #define SGL_BIAS 127
370 #define SGL_WRAP 192
371 #define SGL_INFINITY_EXPONENT (SGL_EMAX+SGL_BIAS+1)
372 #define SGL_THRESHOLD 32
373 #define SGL_EXP_LENGTH 8
374 #define SGL_P 24
375 
376 #define DBL_BITLENGTH 64
377 #define DBL_EMAX 1023
378 #define DBL_EMIN (-1022)
379 #define DBL_BIAS 1023
380 #define DBL_WRAP 1536
381 #define DBL_INFINITY_EXPONENT (DBL_EMAX+DBL_BIAS+1)
382 #define DBL_THRESHOLD 64
383 #define DBL_EXP_LENGTH 11
384 #define DBL_P 53
385 
386 #define QUAD_BITLENGTH 128
387 #define QUAD_EMAX 16383
388 #define QUAD_EMIN (-16382)
389 #define QUAD_BIAS 16383
390 #define QUAD_WRAP 24576
391 #define QUAD_INFINITY_EXPONENT (QUAD_EMAX+QUAD_BIAS+1)
392 #define QUAD_P 113
393 
394 /* Boolean Values etc. */
395 #define FALSE 0
396 #define TRUE (!FALSE)
397 #define NOT !
398 #define XOR ^
399 
400 /* other constants */
401 #undef NULL
402 #define NULL 0
403 #define NIL 0
404 #define SGL 0
405 #define DBL 1
406 #define BADFMT 2
407 #define QUAD 3
408 
409 
410 /* Types */
411 typedef int boolean;
412 typedef int FORMAT;
413 typedef int VOID;
414 
415 
416 /* Declare status register equivalent to FPUs architecture.
417  *
418  *  0 1 2 3 4 5 6 7 8 910 1 2 3 4 5 6 7 8 920 1 2 3 4 5 6 7 8 930 1
419  * +-------+-------+-------+-------+-------+-------+-------+-------+
420  * |V|Z|O|U|I|C|  rsv  |  model    | version |RM |rsv|T|r|V|Z|O|U|I|
421  * +-------+-------+-------+-------+-------+-------+-------+-------+
422  */
423 #define Cbit(object) Bitfield_extract( 5, 1,object)
424 #define Tbit(object) Bitfield_extract( 25, 1,object)
425 #define Roundingmode(object) Bitfield_extract( 21, 2,object)
426 #define Invalidtrap(object) Bitfield_extract( 27, 1,object)
427 #define Divisionbyzerotrap(object) Bitfield_extract( 28, 1,object)
428 #define Overflowtrap(object) Bitfield_extract( 29, 1,object)
429 #define Underflowtrap(object) Bitfield_extract( 30, 1,object)
430 #define Inexacttrap(object) Bitfield_extract( 31, 1,object)
431 #define Invalidflag(object) Bitfield_extract( 0, 1,object)
432 #define Divisionbyzeroflag(object) Bitfield_extract( 1, 1,object)
433 #define Overflowflag(object) Bitfield_extract( 2, 1,object)
434 #define Underflowflag(object) Bitfield_extract( 3, 1,object)
435 #define Inexactflag(object) Bitfield_extract( 4, 1,object)
436 #define Allflags(object) Bitfield_extract( 0, 5,object)
437 
438 /* Definitions relevant to the status register */
439 
440 /* Rounding Modes */
441 #define ROUNDNEAREST 0
442 #define ROUNDZERO    1
443 #define ROUNDPLUS    2
444 #define ROUNDMINUS   3
445 
446 /* Exceptions */
447 #define NOEXCEPTION		0x0
448 #define INVALIDEXCEPTION	0x20
449 #define DIVISIONBYZEROEXCEPTION	0x10
450 #define OVERFLOWEXCEPTION	0x08
451 #define UNDERFLOWEXCEPTION	0x04
452 #define INEXACTEXCEPTION	0x02
453 #define UNIMPLEMENTEDEXCEPTION	0x01
454 
455 /* New exceptions for the 2E Opcode */
456 #define OPC_2E_INVALIDEXCEPTION     0x30
457 #define OPC_2E_OVERFLOWEXCEPTION    0x18
458 #define OPC_2E_UNDERFLOWEXCEPTION   0x0c
459 #define OPC_2E_INEXACTEXCEPTION     0x12
460 
461 /* Declare exception registers equivalent to FPUs architecture
462  *
463  *  0 1 2 3 4 5 6 7 8 910 1 2 3 4 5 6 7 8 920 1 2 3 4 5 6 7 8 930 1
464  * +-------+-------+-------+-------+-------+-------+-------+-------+
465  * |excepttype |  r1     | r2/ext  |  operation  |parm |n| t/cond  |
466  * +-------+-------+-------+-------+-------+-------+-------+-------+
467  */
468 #define Allexception(object) (object)
469 #define Exceptiontype(object) Bitfield_extract( 0, 6,object)
470 #define Instructionfield(object) Bitfield_mask( 6,26,object)
471 #define Parmfield(object) Bitfield_extract( 23, 3,object)
472 #define Rabit(object) Bitfield_extract( 24, 1,object)
473 #define Ibit(object) Bitfield_extract( 25, 1,object)
474 
475 #define Set_exceptiontype(object,value) Bitfield_deposit(value, 0, 6,object)
476 #define Set_parmfield(object,value) Bitfield_deposit(value, 23, 3,object)
477 #define Set_exceptiontype_and_instr_field(exception,instruction,object) \
478     object = exception << 26 | instruction
479 
480 /* Declare the condition field
481  *
482  *  0 1 2 3 4 5 6 7 8 910 1 2 3 4 5 6 7 8 920 1 2 3 4 5 6 7 8 930 1
483  * +-------+-------+-------+-------+-------+-------+-------+-------+
484  * |                                                     |G|L|E|U|X|
485  * +-------+-------+-------+-------+-------+-------+-------+-------+
486  */
487 #define Allexception(object) (object)
488 #define Greaterthanbit(object) Bitfield_extract( 27, 1,object)
489 #define Lessthanbit(object) Bitfield_extract( 28, 1,object)
490 #define Equalbit(object) Bitfield_extract( 29, 1,object)
491 #define Unorderedbit(object) Bitfield_extract( 30, 1,object)
492 #define Exceptionbit(object) Bitfield_extract( 31, 1,object)
493 
494 /* An alias name for the status register */
495 #define Fpustatus_register (*status)
496 
497 /**************************************************
498  * Status register referencing and manipulation.  *
499  **************************************************/
500 
501 /* Rounding mode */
502 #define Rounding_mode()  Roundingmode(Fpustatus_register)
503 #define Is_rounding_mode(rmode) \
504     (Roundingmode(Fpustatus_register) == rmode)
505 #define Set_rounding_mode(value) \
506     Bitfield_deposit(value,21,2,Fpustatus_register)
507 
508 /* Boolean testing of the trap enable bits */
509 #define Is_invalidtrap_enabled() Invalidtrap(Fpustatus_register)
510 #define Is_divisionbyzerotrap_enabled() Divisionbyzerotrap(Fpustatus_register)
511 #define Is_overflowtrap_enabled() Overflowtrap(Fpustatus_register)
512 #define Is_underflowtrap_enabled() Underflowtrap(Fpustatus_register)
513 #define Is_inexacttrap_enabled() Inexacttrap(Fpustatus_register)
514 
515 /* Set the indicated flags in the status register */
516 #define Set_invalidflag() Bitfield_deposit(1,0,1,Fpustatus_register)
517 #define Set_divisionbyzeroflag() Bitfield_deposit(1,1,1,Fpustatus_register)
518 #define Set_overflowflag() Bitfield_deposit(1,2,1,Fpustatus_register)
519 #define Set_underflowflag() Bitfield_deposit(1,3,1,Fpustatus_register)
520 #define Set_inexactflag() Bitfield_deposit(1,4,1,Fpustatus_register)
521 
522 #define Clear_all_flags() Bitfield_deposit(0,0,5,Fpustatus_register)
523 
524 /* Manipulate the trap and condition code bits (tbit and cbit) */
525 #define Set_tbit() Bitfield_deposit(1,25,1,Fpustatus_register)
526 #define Clear_tbit() Bitfield_deposit(0,25,1,Fpustatus_register)
527 #define Is_tbit_set() Tbit(Fpustatus_register)
528 #define Is_cbit_set() Cbit(Fpustatus_register)
529 
530 #define Set_status_cbit(value)  \
531         Bitfield_deposit(value,5,1,Fpustatus_register)
532 
533 /*******************************
534  * Condition field referencing *
535  *******************************/
536 #define Unordered(cond) Unorderedbit(cond)
537 #define Equal(cond) Equalbit(cond)
538 #define Lessthan(cond) Lessthanbit(cond)
539 #define Greaterthan(cond) Greaterthanbit(cond)
540 #define Exception(cond) Exceptionbit(cond)
541 
542 
543 /* Defines for the extension */
544 #define Ext_isone_sign(extent) (Extsign(extent))
545 #define Ext_isnotzero(extent) \
546     (Extall(extent))
547 #define Ext_isnotzero_lower(extent) \
548     (Extlow31(extent))
549 #define Ext_leftshiftby1(extent) \
550     Extall(extent) <<= 1
551 #define Ext_negate(extent) \
552     (int )Extall(extent) = 0 - (int )Extall(extent)
553 #define Ext_setone_low(extent) Bitfield_deposit(1,31,1,extent)
554 #define Ext_setzero(extent) Extall(extent) = 0
555 
556 typedef int operation;
557 
558 /* error messages */
559 
560 #define		NONE		0
561 #define		UNDEFFPINST	1
562 
563 /* Function definitions: opcode, opclass */
564 #define FTEST	(1<<2) | 0
565 #define FCPY	(2<<2) | 0
566 #define FABS	(3<<2) | 0
567 #define FSQRT   (4<<2) | 0
568 #define FRND    (5<<2) | 0
569 
570 #define FCNVFF	(0<<2) | 1
571 #define FCNVXF	(1<<2) | 1
572 #define FCNVFX	(2<<2) | 1
573 #define FCNVFXT	(3<<2) | 1
574 
575 #define FCMP    (0<<2) | 2
576 
577 #define FADD	(0<<2) | 3
578 #define FSUB	(1<<2) | 3
579 #define FMPY	(2<<2) | 3
580 #define FDIV	(3<<2) | 3
581 #define FREM	(4<<2) | 3
582 
583