projects/linux·blob master · refs

568 lines · 21.2 KiB

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