LXR linux/arch/parisc/math-emu/float.h

   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) <bame@debian.org>
   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
 569