arch/parisc/math-emu/float.h

   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., 59 Temple Place, Suite 330, Boston, MA  02111-1307  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 Greaterthanbit(object) Bitfield_extract( 27, 1,object)
 488 #define Lessthanbit(object) Bitfield_extract( 28, 1,object)
 489 #define Equalbit(object) Bitfield_extract( 29, 1,object)
 490 #define Unorderedbit(object) Bitfield_extract( 30, 1,object)
 491 #define Exceptionbit(object) Bitfield_extract( 31, 1,object)
 492
 493 /* An alias name for the status register */
 494 #define Fpustatus_register (*status)
 495
 496 /**************************************************
 497  * Status register referencing and manipulation.  *
 498  **************************************************/
 499
 500 /* Rounding mode */
 501 #define Rounding_mode()  Roundingmode(Fpustatus_register)
 502 #define Is_rounding_mode(rmode) \
 503     (Roundingmode(Fpustatus_register) == rmode)
 504 #define Set_rounding_mode(value) \
 505     Bitfield_deposit(value,21,2,Fpustatus_register)
 506
 507 /* Boolean testing of the trap enable bits */
 508 #define Is_invalidtrap_enabled() Invalidtrap(Fpustatus_register)
 509 #define Is_divisionbyzerotrap_enabled() Divisionbyzerotrap(Fpustatus_register)
 510 #define Is_overflowtrap_enabled() Overflowtrap(Fpustatus_register)
 511 #define Is_underflowtrap_enabled() Underflowtrap(Fpustatus_register)
 512 #define Is_inexacttrap_enabled() Inexacttrap(Fpustatus_register)
 513
 514 /* Set the indicated flags in the status register */
 515 #define Set_invalidflag() Bitfield_deposit(1,0,1,Fpustatus_register)
 516 #define Set_divisionbyzeroflag() Bitfield_deposit(1,1,1,Fpustatus_register)
 517 #define Set_overflowflag() Bitfield_deposit(1,2,1,Fpustatus_register)
 518 #define Set_underflowflag() Bitfield_deposit(1,3,1,Fpustatus_register)
 519 #define Set_inexactflag() Bitfield_deposit(1,4,1,Fpustatus_register)
 520
 521 #define Clear_all_flags() Bitfield_deposit(0,0,5,Fpustatus_register)
 522
 523 /* Manipulate the trap and condition code bits (tbit and cbit) */
 524 #define Set_tbit() Bitfield_deposit(1,25,1,Fpustatus_register)
 525 #define Clear_tbit() Bitfield_deposit(0,25,1,Fpustatus_register)
 526 #define Is_tbit_set() Tbit(Fpustatus_register)
 527 #define Is_cbit_set() Cbit(Fpustatus_register)
 528
 529 #define Set_status_cbit(value)  \
 530         Bitfield_deposit(value,5,1,Fpustatus_register)
 531
 532 /*******************************
 533  * Condition field referencing *
 534  *******************************/
 535 #define Unordered(cond) Unorderedbit(cond)
 536 #define Equal(cond) Equalbit(cond)
 537 #define Lessthan(cond) Lessthanbit(cond)
 538 #define Greaterthan(cond) Greaterthanbit(cond)
 539 #define Exception(cond) Exceptionbit(cond)
 540
 541
 542 /* Defines for the extension */
 543 #define Ext_isone_sign(extent) (Extsign(extent))
 544 #define Ext_isnotzero(extent) \
 545     (Extall(extent))
 546 #define Ext_isnotzero_lower(extent) \
 547     (Extlow31(extent))
 548 #define Ext_leftshiftby1(extent) \
 549     Extall(extent) <<= 1
 550 #define Ext_negate(extent) \
 551     (int )Extall(extent) = 0 - (int )Extall(extent)
 552 #define Ext_setone_low(extent) Bitfield_deposit(1,31,1,extent)
 553 #define Ext_setzero(extent) Extall(extent) = 0
 554
 555 typedef int operation;
 556
 557 /* error messages */
 558
 559 #define         NONE            0
 560 #define         UNDEFFPINST     1
 561
 562 /* Function definitions: opcode, opclass */
 563 #define FTEST   (1<<2) | 0
 564 #define FCPY    (2<<2) | 0
 565 #define FABS    (3<<2) | 0
 566 #define FSQRT   (4<<2) | 0
 567 #define FRND    (5<<2) | 0
 568
 569 #define FCNVFF  (0<<2) | 1
 570 #define FCNVXF  (1<<2) | 1
 571 #define FCNVFX  (2<<2) | 1
 572 #define FCNVFXT (3<<2) | 1
 573
 574 #define FCMP    (0<<2) | 2
 575
 576 #define FADD    (0<<2) | 3
 577 #define FSUB    (1<<2) | 3
 578 #define FMPY    (2<<2) | 3
 579 #define FDIV    (3<<2) | 3
 580 #define FREM    (4<<2) | 3
 581