linux-user/arm/nwfpe/fpa11_cprt.c

   1 /*
   2     NetWinder Floating Point Emulator
   3     (c) Rebel.COM, 1998,1999
   4     (c) Philip Blundell, 1999
   5
   6     Direct questions, comments to Scott Bambrough <scottb@netwinder.org>
   7
   8     This program is free software; you can redistribute it and/or modify
   9     it under the terms of the GNU General Public License as published by
  10     the Free Software Foundation; either version 2 of the License, or
  11     (at your option) any later version.
  12
  13     This program is distributed in the hope that it will be useful,
  14     but WITHOUT ANY WARRANTY; without even the implied warranty of
  15     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16     GNU General Public License for more details.
  17
  18     You should have received a copy of the GNU General Public License
  19     along with this program; if not, see <http://www.gnu.org/licenses/>.
  20 */
  21
  22 #include "fpa11.h"
  23 #include "softfloat.h"
  24 #include "fpopcode.h"
  25 #include "fpa11.inl"
  26 //#include "fpmodule.h"
  27 //#include "fpmodule.inl"
  28
  29 unsigned int PerformFLT(const unsigned int opcode);
  30 unsigned int PerformFIX(const unsigned int opcode);
  31
  32 static unsigned int
  33 PerformComparison(const unsigned int opcode);
  34
  35 unsigned int EmulateCPRT(const unsigned int opcode)
  36 {
  37   unsigned int nRc = 1;
  38
  39   //printk("EmulateCPRT(0x%08x)\n",opcode);
  40
  41   if (opcode & 0x800000)
  42   {
  43      /* This is some variant of a comparison (PerformComparison will
  44         sort out which one).  Since most of the other CPRT
  45         instructions are oddball cases of some sort or other it makes
  46         sense to pull this out into a fast path.  */
  47      return PerformComparison(opcode);
  48   }
  49
  50   /* Hint to GCC that we'd like a jump table rather than a load of CMPs */
  51   switch ((opcode & 0x700000) >> 20)
  52   {
  53     case  FLT_CODE >> 20: nRc = PerformFLT(opcode); break;
  54     case  FIX_CODE >> 20: nRc = PerformFIX(opcode); break;
  55
  56     case  WFS_CODE >> 20: writeFPSR(readRegister(getRd(opcode))); break;
  57     case  RFS_CODE >> 20: writeRegister(getRd(opcode),readFPSR()); break;
  58
  59 #if 0    /* We currently have no use for the FPCR, so there's no point
  60             in emulating it. */
  61     case  WFC_CODE >> 20: writeFPCR(readRegister(getRd(opcode)));
  62     case  RFC_CODE >> 20: writeRegister(getRd(opcode),readFPCR()); break;
  63 #endif
  64
  65     default: nRc = 0;
  66   }
  67
  68   return nRc;
  69 }
  70
  71 unsigned int PerformFLT(const unsigned int opcode)
  72 {
  73    FPA11 *fpa11 = GET_FPA11();
  74
  75    unsigned int nRc = 1;
  76    SetRoundingMode(opcode);
  77
  78    switch (opcode & MASK_ROUNDING_PRECISION)
  79    {
  80       case ROUND_SINGLE:
  81       {
  82         fpa11->fType[getFn(opcode)] = typeSingle;
  83         fpa11->fpreg[getFn(opcode)].fSingle =
  84            int32_to_float32(readRegister(getRd(opcode)), &fpa11->fp_status);
  85       }
  86       break;
  87
  88       case ROUND_DOUBLE:
  89       {
  90         fpa11->fType[getFn(opcode)] = typeDouble;
  91         fpa11->fpreg[getFn(opcode)].fDouble =
  92             int32_to_float64(readRegister(getRd(opcode)), &fpa11->fp_status);
  93       }
  94       break;
  95
  96       case ROUND_EXTENDED:
  97       {
  98         fpa11->fType[getFn(opcode)] = typeExtended;
  99         fpa11->fpreg[getFn(opcode)].fExtended =
 100            int32_to_floatx80(readRegister(getRd(opcode)), &fpa11->fp_status);
 101       }
 102       break;
 103
 104       default: nRc = 0;
 105   }
 106
 107   return nRc;
 108 }
 109
 110 unsigned int PerformFIX(const unsigned int opcode)
 111 {
 112    FPA11 *fpa11 = GET_FPA11();
 113    unsigned int nRc = 1;
 114    unsigned int Fn = getFm(opcode);
 115
 116    SetRoundingMode(opcode);
 117
 118    switch (fpa11->fType[Fn])
 119    {
 120       case typeSingle:
 121       {
 122          writeRegister(getRd(opcode),
 123                        float32_to_int32(fpa11->fpreg[Fn].fSingle, &fpa11->fp_status));
 124       }
 125       break;
 126
 127       case typeDouble:
 128       {
 129          //printf("F%d is 0x%" PRIx64 "\n",Fn,fpa11->fpreg[Fn].fDouble);
 130          writeRegister(getRd(opcode),
 131                        float64_to_int32(fpa11->fpreg[Fn].fDouble, &fpa11->fp_status));
 132       }
 133       break;
 134
 135       case typeExtended:
 136       {
 137          writeRegister(getRd(opcode),
 138                        floatx80_to_int32(fpa11->fpreg[Fn].fExtended, &fpa11->fp_status));
 139       }
 140       break;
 141
 142       default: nRc = 0;
 143   }
 144
 145   return nRc;
 146 }
 147
 148
 149 static __inline unsigned int
 150 PerformComparisonOperation(floatx80 Fn, floatx80 Fm)
 151 {
 152    FPA11 *fpa11 = GET_FPA11();
 153    unsigned int flags = 0;
 154
 155    /* test for less than condition */
 156    if (floatx80_lt(Fn,Fm, &fpa11->fp_status))
 157    {
 158       flags |= CC_NEGATIVE;
 159    }
 160
 161    /* test for equal condition */
 162    if (floatx80_eq_quiet(Fn,Fm, &fpa11->fp_status))
 163    {
 164       flags |= CC_ZERO;
 165    }
 166
 167    /* test for greater than or equal condition */
 168    if (floatx80_lt(Fm,Fn, &fpa11->fp_status))
 169    {
 170       flags |= CC_CARRY;
 171    }
 172
 173    writeConditionCodes(flags);
 174    return 1;
 175 }
 176
 177 /* This instruction sets the flags N, Z, C, V in the FPSR. */
 178
 179 static unsigned int PerformComparison(const unsigned int opcode)
 180 {
 181    FPA11 *fpa11 = GET_FPA11();
 182    unsigned int Fn, Fm;
 183    floatx80 rFn, rFm;
 184    int e_flag = opcode & 0x400000;      /* 1 if CxFE */
 185    int n_flag = opcode & 0x200000;      /* 1 if CNxx */
 186    unsigned int flags = 0;
 187
 188    //printk("PerformComparison(0x%08x)\n",opcode);
 189
 190    Fn = getFn(opcode);
 191    Fm = getFm(opcode);
 192
 193    /* Check for unordered condition and convert all operands to 80-bit
 194       format.
 195       ?? Might be some mileage in avoiding this conversion if possible.
 196       Eg, if both operands are 32-bit, detect this and do a 32-bit
 197       comparison (cheaper than an 80-bit one).  */
 198    switch (fpa11->fType[Fn])
 199    {
 200       case typeSingle:
 201         //printk("single.\n");
 202         if (float32_is_any_nan(fpa11->fpreg[Fn].fSingle))
 203            goto unordered;
 204         rFn = float32_to_floatx80(fpa11->fpreg[Fn].fSingle, &fpa11->fp_status);
 205       break;
 206
 207       case typeDouble:
 208         //printk("double.\n");
 209         if (float64_is_any_nan(fpa11->fpreg[Fn].fDouble))
 210            goto unordered;
 211         rFn = float64_to_floatx80(fpa11->fpreg[Fn].fDouble, &fpa11->fp_status);
 212       break;
 213
 214       case typeExtended:
 215         //printk("extended.\n");
 216         if (floatx80_is_any_nan(fpa11->fpreg[Fn].fExtended))
 217            goto unordered;
 218         rFn = fpa11->fpreg[Fn].fExtended;
 219       break;
 220
 221       default: return 0;
 222    }
 223
 224    if (CONSTANT_FM(opcode))
 225    {
 226      //printk("Fm is a constant: #%d.\n",Fm);
 227      rFm = getExtendedConstant(Fm);
 228      if (floatx80_is_any_nan(rFm))
 229         goto unordered;
 230    }
 231    else
 232    {
 233      //printk("Fm = r%d which contains a ",Fm);
 234       switch (fpa11->fType[Fm])
 235       {
 236          case typeSingle:
 237            //printk("single.\n");
 238            if (float32_is_any_nan(fpa11->fpreg[Fm].fSingle))
 239               goto unordered;
 240            rFm = float32_to_floatx80(fpa11->fpreg[Fm].fSingle, &fpa11->fp_status);
 241          break;
 242
 243          case typeDouble:
 244            //printk("double.\n");
 245            if (float64_is_any_nan(fpa11->fpreg[Fm].fDouble))
 246               goto unordered;
 247            rFm = float64_to_floatx80(fpa11->fpreg[Fm].fDouble, &fpa11->fp_status);
 248          break;
 249
 250          case typeExtended:
 251            //printk("extended.\n");
 252            if (floatx80_is_any_nan(fpa11->fpreg[Fm].fExtended))
 253               goto unordered;
 254            rFm = fpa11->fpreg[Fm].fExtended;
 255          break;
 256
 257          default: return 0;
 258       }
 259    }
 260
 261    if (n_flag)
 262    {
 263       rFm.high ^= 0x8000;
 264    }
 265
 266    return PerformComparisonOperation(rFn,rFm);
 267
 268  unordered:
 269    /* ?? The FPA data sheet is pretty vague about this, in particular
 270       about whether the non-E comparisons can ever raise exceptions.
 271       This implementation is based on a combination of what it says in
 272       the data sheet, observation of how the Acorn emulator actually
 273       behaves (and how programs expect it to) and guesswork.  */
 274    flags |= CC_OVERFLOW;
 275    flags &= ~(CC_ZERO | CC_NEGATIVE);
 276
 277    if (BIT_AC & readFPSR()) flags |= CC_CARRY;
 278
 279    if (e_flag) float_raise(float_flag_invalid, &fpa11->fp_status);
 280
 281    writeConditionCodes(flags);
 282    return 1;
 283 }