2002-03-20 02:35:13 +01:00
|
|
|
/*> cp1.c <*/
|
|
|
|
/* Floating Point Support for gdb MIPS simulators
|
|
|
|
|
|
|
|
This file is part of the MIPS sim
|
|
|
|
|
|
|
|
THIS SOFTWARE IS NOT COPYRIGHTED
|
|
|
|
|
|
|
|
Cygnus offers the following for use in the public domain. Cygnus
|
|
|
|
makes no warranty with regard to the software or it's performance
|
|
|
|
and the user accepts the software "AS IS" with all faults.
|
|
|
|
|
|
|
|
CYGNUS DISCLAIMS ANY WARRANTIES, EXPRESS OR IMPLIED, WITH REGARD TO
|
|
|
|
THIS SOFTWARE INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
|
|
|
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
|
|
|
|
(Originally, this code was in interp.c)
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "sim-main.h"
|
|
|
|
#include "sim-fpu.h"
|
|
|
|
|
|
|
|
/* Within cp1.c we refer to sim_cpu directly. */
|
|
|
|
#define CPU cpu
|
|
|
|
#define SD sd
|
|
|
|
|
|
|
|
/*-- FPU support routines ---------------------------------------------------*/
|
|
|
|
|
|
|
|
/* Numbers are held in normalized form. The SINGLE and DOUBLE binary
|
2002-03-20 08:10:37 +01:00
|
|
|
formats conform to ANSI/IEEE Std 754-1985. */
|
2002-03-20 02:35:13 +01:00
|
|
|
/* SINGLE precision floating:
|
|
|
|
* seeeeeeeefffffffffffffffffffffff
|
|
|
|
* s = 1bit = sign
|
|
|
|
* e = 8bits = exponent
|
|
|
|
* f = 23bits = fraction
|
|
|
|
*/
|
|
|
|
/* SINGLE precision fixed:
|
|
|
|
* siiiiiiiiiiiiiiiiiiiiiiiiiiiiiii
|
|
|
|
* s = 1bit = sign
|
|
|
|
* i = 31bits = integer
|
|
|
|
*/
|
|
|
|
/* DOUBLE precision floating:
|
|
|
|
* seeeeeeeeeeeffffffffffffffffffffffffffffffffffffffffffffffffffff
|
|
|
|
* s = 1bit = sign
|
|
|
|
* e = 11bits = exponent
|
|
|
|
* f = 52bits = fraction
|
|
|
|
*/
|
|
|
|
/* DOUBLE precision fixed:
|
|
|
|
* siiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii
|
|
|
|
* s = 1bit = sign
|
|
|
|
* i = 63bits = integer
|
|
|
|
*/
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* Explicit QNaN values used when value required: */
|
2002-03-20 02:35:13 +01:00
|
|
|
#define FPQNaN_SINGLE (0x7FBFFFFF)
|
|
|
|
#define FPQNaN_WORD (0x7FFFFFFF)
|
2002-03-20 08:10:37 +01:00
|
|
|
#define FPQNaN_DOUBLE ((((uword64) 0x7FF7FFFF) << 32) | 0xFFFFFFFF)
|
|
|
|
#define FPQNaN_LONG ((((uword64) 0x7FFFFFFF) << 32) | 0xFFFFFFFF)
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 07:42:05 +01:00
|
|
|
static const char *fpu_format_name (FP_formats fmt);
|
|
|
|
#ifdef DEBUG
|
|
|
|
static const char *fpu_rounding_mode_name (int rm);
|
|
|
|
#endif
|
2002-03-20 02:35:13 +01:00
|
|
|
|
|
|
|
uword64
|
|
|
|
value_fpr (SIM_DESC sd,
|
|
|
|
sim_cpu *cpu,
|
|
|
|
address_word cia,
|
|
|
|
int fpr,
|
|
|
|
FP_formats fmt)
|
|
|
|
{
|
|
|
|
uword64 value = 0;
|
|
|
|
int err = 0;
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* Treat unused register values, as fixed-point 64bit values: */
|
2002-03-20 02:35:13 +01:00
|
|
|
if ((fmt == fmt_uninterpreted) || (fmt == fmt_unknown))
|
2002-03-20 08:10:37 +01:00
|
|
|
{
|
2002-03-20 02:35:13 +01:00
|
|
|
#if 1
|
2002-03-20 08:10:37 +01:00
|
|
|
/* If request to read data as "uninterpreted", then use the current
|
|
|
|
encoding: */
|
|
|
|
fmt = FPR_STATE[fpr];
|
2002-03-20 02:35:13 +01:00
|
|
|
#else
|
2002-03-20 08:10:37 +01:00
|
|
|
fmt = fmt_long;
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif
|
2002-03-20 08:10:37 +01:00
|
|
|
}
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* For values not yet accessed, set to the desired format: */
|
|
|
|
if (FPR_STATE[fpr] == fmt_uninterpreted)
|
|
|
|
{
|
|
|
|
FPR_STATE[fpr] = fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Register %d was fmt_uninterpreted. Now %s\n", fpr,
|
|
|
|
fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
if (fmt != FPR_STATE[fpr])
|
|
|
|
{
|
|
|
|
sim_io_eprintf (sd, "FPR %d (format %s) being accessed with format %s - setting to unknown (PC = 0x%s)\n",
|
|
|
|
fpr, fpu_format_name (FPR_STATE[fpr]),
|
|
|
|
fpu_format_name (fmt), pr_addr (cia));
|
|
|
|
FPR_STATE[fpr] = fmt_unknown;
|
|
|
|
}
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
if (FPR_STATE[fpr] == fmt_unknown)
|
|
|
|
{
|
|
|
|
/* Set QNaN value: */
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
value = FPQNaN_SINGLE;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_double:
|
|
|
|
value = FPQNaN_DOUBLE;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_word:
|
|
|
|
value = FPQNaN_WORD;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_long:
|
|
|
|
value = FPQNaN_LONG;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
err = -1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (SizeFGR () == 64)
|
|
|
|
{
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
case fmt_word:
|
|
|
|
value = (FGR[fpr] & 0xFFFFFFFF);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_uninterpreted:
|
|
|
|
case fmt_double:
|
|
|
|
case fmt_long:
|
|
|
|
value = FGR[fpr];
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
err = -1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
case fmt_word:
|
|
|
|
value = (FGR[fpr] & 0xFFFFFFFF);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_uninterpreted:
|
|
|
|
case fmt_double:
|
|
|
|
case fmt_long:
|
|
|
|
if ((fpr & 1) == 0)
|
|
|
|
{
|
|
|
|
/* even registers only */
|
2002-03-20 02:35:13 +01:00
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: ValueFPR: FGR[%d] = %s, FGR[%d] = %s\n",
|
|
|
|
fpr + 1, pr_uword64 ((uword64) FGR[fpr+1]),
|
|
|
|
fpr, pr_uword64 ((uword64) FGR[fpr]));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif
|
2002-03-20 08:10:37 +01:00
|
|
|
value = ((((uword64) FGR[fpr+1]) << 32)
|
|
|
|
| (FGR[fpr] & 0xFFFFFFFF));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
SignalException (ReservedInstruction, 0);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default :
|
|
|
|
err = -1;
|
|
|
|
break;
|
|
|
|
}
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if (err)
|
2002-03-20 08:10:37 +01:00
|
|
|
SignalExceptionSimulatorFault ("Unrecognised FP format in ValueFPR ()");
|
2002-03-20 02:35:13 +01:00
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: ValueFPR: fpr = %d, fmt = %s, value = 0x%s : PC = 0x%s : SizeFGR () = %d\n",
|
|
|
|
fpr, fpu_format_name (fmt), pr_uword64 (value), pr_addr (cia),
|
|
|
|
SizeFGR ());
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (value);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
store_fpr (SIM_DESC sd,
|
|
|
|
sim_cpu *cpu,
|
|
|
|
address_word cia,
|
|
|
|
int fpr,
|
|
|
|
FP_formats fmt,
|
|
|
|
uword64 value)
|
|
|
|
{
|
|
|
|
int err = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: StoreFPR: fpr = %d, fmt = %s, value = 0x%s : PC = 0x%s : SizeFGR () = %d, \n",
|
|
|
|
fpr, fpu_format_name (fmt), pr_uword64 (value), pr_addr (cia),
|
|
|
|
SizeFGR ());
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
if (SizeFGR () == 64)
|
|
|
|
{
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_uninterpreted_32:
|
|
|
|
fmt = fmt_uninterpreted;
|
|
|
|
case fmt_single :
|
|
|
|
case fmt_word :
|
|
|
|
if (STATE_VERBOSE_P (SD))
|
|
|
|
sim_io_eprintf (SD,
|
|
|
|
"Warning: PC 0x%s: interp.c store_fpr DEADCODE\n",
|
|
|
|
pr_addr (cia));
|
|
|
|
FGR[fpr] = (((uword64) 0xDEADC0DE << 32) | (value & 0xFFFFFFFF));
|
|
|
|
FPR_STATE[fpr] = fmt;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_uninterpreted_64:
|
|
|
|
fmt = fmt_uninterpreted;
|
|
|
|
case fmt_uninterpreted:
|
|
|
|
case fmt_double :
|
|
|
|
case fmt_long :
|
|
|
|
FGR[fpr] = value;
|
|
|
|
FPR_STATE[fpr] = fmt;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default :
|
|
|
|
FPR_STATE[fpr] = fmt_unknown;
|
|
|
|
err = -1;
|
|
|
|
break;
|
|
|
|
}
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
else
|
|
|
|
{
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_uninterpreted_32:
|
|
|
|
fmt = fmt_uninterpreted;
|
|
|
|
case fmt_single :
|
|
|
|
case fmt_word :
|
2002-03-20 02:35:13 +01:00
|
|
|
FGR[fpr] = (value & 0xFFFFFFFF);
|
|
|
|
FPR_STATE[fpr] = fmt;
|
2002-03-20 08:10:37 +01:00
|
|
|
break;
|
|
|
|
|
|
|
|
case fmt_uninterpreted_64:
|
|
|
|
fmt = fmt_uninterpreted;
|
|
|
|
case fmt_uninterpreted:
|
|
|
|
case fmt_double :
|
|
|
|
case fmt_long :
|
|
|
|
if ((fpr & 1) == 0)
|
|
|
|
{
|
|
|
|
/* even register number only */
|
|
|
|
FGR[fpr+1] = (value >> 32);
|
|
|
|
FGR[fpr] = (value & 0xFFFFFFFF);
|
|
|
|
FPR_STATE[fpr + 1] = fmt;
|
|
|
|
FPR_STATE[fpr] = fmt;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
FPR_STATE[fpr] = fmt_unknown;
|
|
|
|
FPR_STATE[fpr + 1] = fmt_unknown;
|
|
|
|
SignalException (ReservedInstruction, 0);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default :
|
2002-03-20 02:35:13 +01:00
|
|
|
FPR_STATE[fpr] = fmt_unknown;
|
2002-03-20 08:10:37 +01:00
|
|
|
err = -1;
|
|
|
|
break;
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
#if defined(WARN_RESULT)
|
|
|
|
else
|
2002-03-20 08:10:37 +01:00
|
|
|
UndefinedResult ();
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* WARN_RESULT */
|
|
|
|
|
|
|
|
if (err)
|
2002-03-20 08:10:37 +01:00
|
|
|
SignalExceptionSimulatorFault ("Unrecognised FP format in StoreFPR ()");
|
2002-03-20 02:35:13 +01:00
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: StoreFPR: fpr[%d] = 0x%s (format %s)\n",
|
|
|
|
fpr, pr_uword64 (FGR[fpr]), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2002-03-20 08:10:37 +01:00
|
|
|
NaN (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
int boolean = 0;
|
2002-03-20 08:10:37 +01:00
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
case fmt_word:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
boolean = sim_fpu_is_nan (&wop);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
case fmt_long:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
boolean = sim_fpu_is_nan (&wop);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: NaN: returning %d for 0x%s (format = %s)\n",
|
|
|
|
boolean, pr_addr (op), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (boolean);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2002-03-20 08:10:37 +01:00
|
|
|
Infinity (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
int boolean = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Infinity: format %s 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
boolean = sim_fpu_is_infinity (&wop);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
boolean = sim_fpu_is_infinity (&wop);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
printf ("DBG: TODO: unrecognised format (%s) for Infinity check\n",
|
|
|
|
fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Infinity: returning %d for 0x%s (format = %s)\n",
|
|
|
|
boolean, pr_addr (op), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (boolean);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2002-03-20 08:10:37 +01:00
|
|
|
Less (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
int boolean = 0;
|
|
|
|
|
|
|
|
/* Argument checking already performed by the FPCOMPARE code */
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Less: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
boolean = sim_fpu_is_lt (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
boolean = sim_fpu_is_lt (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Less: returning %d (format = %s)\n",
|
|
|
|
boolean, fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (boolean);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2002-03-20 08:10:37 +01:00
|
|
|
Equal (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
int boolean = 0;
|
|
|
|
|
|
|
|
/* Argument checking already performed by the FPCOMPARE code */
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Equal: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
boolean = sim_fpu_is_eq (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
boolean = sim_fpu_is_eq (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Equal: returning %d (format = %s)\n",
|
|
|
|
boolean, fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (boolean);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
AbsoluteValue (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: AbsoluteValue: %s: op = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
unsigned32 ans;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
sim_fpu_abs (&wop, &wop);
|
|
|
|
sim_fpu_to32 (&ans, &wop);
|
|
|
|
result = ans;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
unsigned64 ans;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
sim_fpu_abs (&wop, &wop);
|
|
|
|
sim_fpu_to64 (&ans, &wop);
|
|
|
|
result = ans;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
Negate (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Negate: %s: op = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
unsigned32 ans;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
sim_fpu_neg (&wop, &wop);
|
|
|
|
sim_fpu_to32 (&ans, &wop);
|
|
|
|
result = ans;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
unsigned64 ans;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
sim_fpu_neg (&wop, &wop);
|
|
|
|
sim_fpu_to64 (&ans, &wop);
|
|
|
|
result = ans;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
Add (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Add: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
|
|
|
|
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
sim_fpu_add (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
sim_fpu_add (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Add: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
Sub (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Sub: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
sim_fpu_sub (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
sim_fpu_sub (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Sub: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
Multiply (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Multiply: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
sim_fpu_mul (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
sim_fpu_mul (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Multiply: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
Divide (op1, op2, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op1;
|
|
|
|
uword64 op2;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Divide: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
sim_fpu_div (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
sim_fpu_div (&ans, &wop1, &wop2);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Divide: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64 UNUSED
|
2002-03-20 08:10:37 +01:00
|
|
|
Recip (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Recip: %s: op = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
sim_fpu_inv (&ans, &wop);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
sim_fpu_inv (&ans, &wop);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Recip: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
uword64
|
2002-03-20 08:10:37 +01:00
|
|
|
SquareRoot (op, fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
uword64 op;
|
2002-03-20 08:10:37 +01:00
|
|
|
FP_formats fmt;
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
|
|
|
uword64 result = 0;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: SquareRoot: %s: op = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
|
|
|
switch (fmt)
|
2002-03-20 02:35:13 +01:00
|
|
|
{
|
2002-03-20 08:10:37 +01:00
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned32 res;
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
sim_fpu_sqrt (&ans, &wop);
|
|
|
|
sim_fpu_to32 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu ans;
|
|
|
|
unsigned64 res;
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
sim_fpu_sqrt (&ans, &wop);
|
|
|
|
sim_fpu_to64 (&res, &ans);
|
|
|
|
result = res;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: SquareRoot: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#if 0
|
|
|
|
uword64
|
|
|
|
Max (uword64 op1,
|
|
|
|
uword64 op2,
|
|
|
|
FP_formats fmt)
|
|
|
|
{
|
|
|
|
int cmp;
|
|
|
|
unsigned64 result;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Max: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
2002-03-20 02:35:13 +01:00
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
cmp = sim_fpu_cmp (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
cmp = sim_fpu_cmp (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
|
2002-03-20 02:35:13 +01:00
|
|
|
switch (cmp)
|
|
|
|
{
|
|
|
|
case SIM_FPU_IS_SNAN:
|
|
|
|
case SIM_FPU_IS_QNAN:
|
|
|
|
result = op1;
|
|
|
|
case SIM_FPU_IS_NINF:
|
|
|
|
case SIM_FPU_IS_NNUMBER:
|
|
|
|
case SIM_FPU_IS_NDENORM:
|
|
|
|
case SIM_FPU_IS_NZERO:
|
|
|
|
result = op2; /* op1 - op2 < 0 */
|
|
|
|
case SIM_FPU_IS_PINF:
|
|
|
|
case SIM_FPU_IS_PNUMBER:
|
|
|
|
case SIM_FPU_IS_PDENORM:
|
|
|
|
case SIM_FPU_IS_PZERO:
|
|
|
|
result = op1; /* op1 - op2 > 0 */
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Max: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
#endif
|
2002-03-20 02:35:13 +01:00
|
|
|
|
|
|
|
#if 0
|
|
|
|
uword64
|
|
|
|
Min (uword64 op1,
|
|
|
|
uword64 op2,
|
|
|
|
FP_formats fmt)
|
|
|
|
{
|
|
|
|
int cmp;
|
|
|
|
unsigned64 result;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Min: %s: op1 = 0x%s : op2 = 0x%s\n",
|
|
|
|
fpu_format_name (fmt), pr_addr (op1), pr_addr (op2));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
/* The registers must specify FPRs valid for operands of type
|
2002-03-20 08:10:37 +01:00
|
|
|
"fmt". If they are not valid, the result is undefined. */
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
/* The format type should already have been checked: */
|
2002-03-20 02:35:13 +01:00
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_32to (&wop1, op1);
|
|
|
|
sim_fpu_32to (&wop2, op2);
|
|
|
|
cmp = sim_fpu_cmp (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case fmt_double:
|
|
|
|
{
|
|
|
|
sim_fpu wop1;
|
|
|
|
sim_fpu wop2;
|
|
|
|
sim_fpu_64to (&wop1, op1);
|
|
|
|
sim_fpu_64to (&wop2, op2);
|
|
|
|
cmp = sim_fpu_cmp (&wop1, &wop2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
|
2002-03-20 02:35:13 +01:00
|
|
|
switch (cmp)
|
|
|
|
{
|
|
|
|
case SIM_FPU_IS_SNAN:
|
|
|
|
case SIM_FPU_IS_QNAN:
|
|
|
|
result = op1;
|
|
|
|
case SIM_FPU_IS_NINF:
|
|
|
|
case SIM_FPU_IS_NNUMBER:
|
|
|
|
case SIM_FPU_IS_NDENORM:
|
|
|
|
case SIM_FPU_IS_NZERO:
|
|
|
|
result = op1; /* op1 - op2 < 0 */
|
|
|
|
case SIM_FPU_IS_PINF:
|
|
|
|
case SIM_FPU_IS_PNUMBER:
|
|
|
|
case SIM_FPU_IS_PDENORM:
|
|
|
|
case SIM_FPU_IS_PZERO:
|
|
|
|
result = op2; /* op1 - op2 > 0 */
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Min: returning 0x%s (format = %s)\n",
|
|
|
|
pr_addr (result), fpu_format_name (fmt));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
uword64
|
|
|
|
convert (SIM_DESC sd,
|
|
|
|
sim_cpu *cpu,
|
|
|
|
address_word cia,
|
|
|
|
int rm,
|
|
|
|
uword64 op,
|
|
|
|
FP_formats from,
|
|
|
|
FP_formats to)
|
|
|
|
{
|
|
|
|
sim_fpu wop;
|
|
|
|
sim_fpu_round round;
|
|
|
|
unsigned32 result32;
|
|
|
|
unsigned64 result64;
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
|
|
|
#if 0 /* FIXME: doesn't compile */
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Convert: mode %s : op 0x%s : from %s : to %s : (PC = 0x%s)\n",
|
|
|
|
fpu_rounding_mode_name (rm), pr_addr (op), fpu_format_name (from),
|
|
|
|
fpu_format_name (to), pr_addr (IPC));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif
|
|
|
|
#endif /* DEBUG */
|
|
|
|
|
|
|
|
switch (rm)
|
|
|
|
{
|
|
|
|
case FP_RM_NEAREST:
|
|
|
|
/* Round result to nearest representable value. When two
|
|
|
|
representable values are equally near, round to the value
|
2002-03-20 08:10:37 +01:00
|
|
|
that has a least significant bit of zero (i.e. is even). */
|
2002-03-20 02:35:13 +01:00
|
|
|
round = sim_fpu_round_near;
|
|
|
|
break;
|
|
|
|
case FP_RM_TOZERO:
|
|
|
|
/* Round result to the value closest to, and not greater in
|
2002-03-20 08:10:37 +01:00
|
|
|
magnitude than, the result. */
|
2002-03-20 02:35:13 +01:00
|
|
|
round = sim_fpu_round_zero;
|
|
|
|
break;
|
|
|
|
case FP_RM_TOPINF:
|
|
|
|
/* Round result to the value closest to, and not less than,
|
2002-03-20 08:10:37 +01:00
|
|
|
the result. */
|
2002-03-20 02:35:13 +01:00
|
|
|
round = sim_fpu_round_up;
|
|
|
|
break;
|
2002-03-20 08:10:37 +01:00
|
|
|
|
2002-03-20 02:35:13 +01:00
|
|
|
case FP_RM_TOMINF:
|
|
|
|
/* Round result to the value closest to, and not greater than,
|
2002-03-20 08:10:37 +01:00
|
|
|
the result. */
|
2002-03-20 02:35:13 +01:00
|
|
|
round = sim_fpu_round_down;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
round = 0;
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
|
2002-03-20 02:35:13 +01:00
|
|
|
/* Convert the input to sim_fpu internal format */
|
|
|
|
switch (from)
|
|
|
|
{
|
|
|
|
case fmt_double:
|
|
|
|
sim_fpu_64to (&wop, op);
|
|
|
|
break;
|
|
|
|
case fmt_single:
|
|
|
|
sim_fpu_32to (&wop, op);
|
|
|
|
break;
|
|
|
|
case fmt_word:
|
|
|
|
sim_fpu_i32to (&wop, op, round);
|
|
|
|
break;
|
|
|
|
case fmt_long:
|
|
|
|
sim_fpu_i64to (&wop, op, round);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Convert sim_fpu format into the output */
|
|
|
|
/* The value WOP is converted to the destination format, rounding
|
|
|
|
using mode RM. When the destination is a fixed-point format, then
|
|
|
|
a source value of Infinity, NaN or one which would round to an
|
|
|
|
integer outside the fixed point range then an IEEE Invalid
|
2002-03-20 08:10:37 +01:00
|
|
|
Operation condition is raised. */
|
2002-03-20 02:35:13 +01:00
|
|
|
switch (to)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
sim_fpu_round_32 (&wop, round, 0);
|
|
|
|
sim_fpu_to32 (&result32, &wop);
|
|
|
|
result64 = result32;
|
|
|
|
break;
|
|
|
|
case fmt_double:
|
|
|
|
sim_fpu_round_64 (&wop, round, 0);
|
|
|
|
sim_fpu_to64 (&result64, &wop);
|
|
|
|
break;
|
|
|
|
case fmt_word:
|
|
|
|
sim_fpu_to32i (&result32, &wop, round);
|
|
|
|
result64 = result32;
|
|
|
|
break;
|
|
|
|
case fmt_long:
|
|
|
|
sim_fpu_to64i (&result64, &wop, round);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
result64 = 0;
|
|
|
|
fprintf (stderr, "Bad switch\n");
|
|
|
|
abort ();
|
|
|
|
}
|
2002-03-20 08:10:37 +01:00
|
|
|
|
2002-03-20 02:35:13 +01:00
|
|
|
#ifdef DEBUG
|
2002-03-20 08:10:37 +01:00
|
|
|
printf ("DBG: Convert: returning 0x%s (to format = %s)\n",
|
|
|
|
pr_addr (result64), fpu_format_name (to));
|
2002-03-20 02:35:13 +01:00
|
|
|
#endif /* DEBUG */
|
|
|
|
|
2002-03-20 08:10:37 +01:00
|
|
|
return (result64);
|
2002-03-20 02:35:13 +01:00
|
|
|
}
|
|
|
|
|
2002-03-20 07:42:05 +01:00
|
|
|
static const char *
|
|
|
|
fpu_format_name (FP_formats fmt)
|
|
|
|
{
|
|
|
|
switch (fmt)
|
|
|
|
{
|
|
|
|
case fmt_single:
|
|
|
|
return "single";
|
|
|
|
case fmt_double:
|
|
|
|
return "double";
|
|
|
|
case fmt_word:
|
|
|
|
return "word";
|
|
|
|
case fmt_long:
|
|
|
|
return "long";
|
|
|
|
case fmt_unknown:
|
|
|
|
return "<unknown>";
|
|
|
|
case fmt_uninterpreted:
|
|
|
|
return "<uninterpreted>";
|
|
|
|
case fmt_uninterpreted_32:
|
|
|
|
return "<uninterpreted_32>";
|
|
|
|
case fmt_uninterpreted_64:
|
|
|
|
return "<uninterpreted_64>";
|
|
|
|
default:
|
|
|
|
return "<format error>";
|
|
|
|
}
|
|
|
|
}
|
2002-03-20 02:35:13 +01:00
|
|
|
|
2002-03-20 07:42:05 +01:00
|
|
|
#ifdef DEBUG
|
|
|
|
static const char *
|
|
|
|
fpu_rounding_mode_name (int rm)
|
|
|
|
{
|
|
|
|
switch (rm)
|
|
|
|
{
|
|
|
|
case FP_RM_NEAREST:
|
|
|
|
return "Round";
|
|
|
|
case FP_RM_TOZERO:
|
|
|
|
return "Trunc";
|
|
|
|
case FP_RM_TOPINF:
|
|
|
|
return "Ceil";
|
|
|
|
case FP_RM_TOMINF:
|
|
|
|
return "Floor";
|
|
|
|
default:
|
|
|
|
return "<rounding mode error>";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif /* DEBUG */
|