Fujitsu SPARC JPS1 Implementation Supplement Manual page 75

unfinished_FPop
TABLE B-2
Operation
FMULs, FMULd
FsMULd
FDIVs, FDIVd
FSQRTs, FSQRTd
1. Operation of 0 and denormalized number generates a result in accordance with the IEEE754-1985 standard.
Pessimistic Zero
If a condition in
zero, meaning that the result is a denormalized minimum or a zero, depending on
the rounding mode (FSR.RD).
64 SPARC JPS1 Implementation Supplement: Fujitsu SPARC64 V • Release 1.0, 1 July 2002
Boundary Conditions (Continued)
Boundary Conditions
1. One of the operands is a denormalized number, the other operand is a normal,
nonzero floating-point number (except for a NaN and an infinity), and
single precision: -25 < Er
double precision: -54 < Er
2. Both operands are normal, nonzero floating-point numbers (except for a NaN and
an infinity), TEM.UFM = 0, and
single precision: 25 < eres < 1
double precision: 54 < eres < 1
1. One of the operands is a denormalized number, and the other operand is a normal,
nonzero floating-point number (except for a NaN and an infinity).
2. Both operands are denormalized numbers.
1. The dividend (operand1; rs1) is a normal, nonzero floating-point number (except
for a NaN and an infinity), the divisor (operand2; rs2) is a denormalized number,
and
single precision: Er < 255
double precision: Er < 2047
2. The dividend (operand1; rs1) is a denormalized number, the divisor (operand2;
rs2) is a normal, nonzero floating-point number (except for a NaN and an infinity),
and
single precision: 25 < Er
double precision: 54 < Er
3. Both operands are denormalized numbers.
4. Both operands are normal, nonzero floating-point numbers (except for a NaN and
an infinity), TEM.UFM = 0 and
single precision: 25 < eres < 1
double precision: 54 < eres < 1
The input operand (operand2; rs2) is a positive nonzero and is a denormalized
number.
is true, SPARC64 V generates the result as a pessimistic
TABLE B-3