Pull following m68k softfloat fixes from upstream:
--- Revision 109143 2005-12-29 Paul Brook <paul@codesourcery.com> * config/m68k/fpgnulib.c (__extendsfdf2): Handle negative zero. (__truncdfsf2): Ditto. (__extenddfxf2): Ditto. (__truncxfdf2): Ditto. * config/m68k/lb1sf68.asm (__addsf3): Return -0.0 for -0.0 + -0.0. (__adddf3): Ditto. --- Revision 109145 2005-12-29 Paul Brook <paul@codesourcery.com> * config/m68k/lb1sf68.asm (__cmpdf2): Fix typo in immediate mask. Create wrapper and rename body... (__cmpdf2_internal): ... to this. Return correct value for unordered result. (__cmpsf2): Create wrapper and rename body... (__cmpsf2_internal): ... to this. Return corerct value for unordered result. (__eqdf2, __nedf2, __gtdf2, __gedf2, __ltdf2, __ledf2): Use __cmpdf2_internal. (__eqsf2, __nesf2, __gtsf2, __gesf2, __ltsf2, __lesf2): Use __cmpsf2_internal. --- Revision 110744 * gcc/config/m68k/lb1sf68.asm (__divsf3, __divdf3, __mulsf3, __muldf3): Return a correctly signed zero. --- Note: - lb1sf68.asm revision 110744 is still GPLv2. - fpgnulib.c is not GPLed.
This commit is contained in:
tsutsui
parent
1d34d759fe
commit
c2c4ea5e04
32
gnu/dist/gcc4/gcc/config/m68k/fpgnulib.c
vendored
32
gnu/dist/gcc4/gcc/config/m68k/fpgnulib.c
vendored
@ -241,13 +241,13 @@ __extendsfdf2 (float a1)
|
||||
|
||||
fl1.f = a1;
|
||||
|
||||
if (!fl1.l)
|
||||
dl.l.upper = SIGN (fl1.l);
|
||||
if ((fl1.l & ~SIGNBIT) == 0)
|
||||
{
|
||||
dl.l.upper = dl.l.lower = 0;
|
||||
dl.l.lower = 0;
|
||||
return dl.d;
|
||||
}
|
||||
|
||||
dl.l.upper = SIGN (fl1.l);
|
||||
exp = EXP(fl1.l);
|
||||
mant = MANT (fl1.l) & ~HIDDEN;
|
||||
if (exp == 0)
|
||||
@ -280,8 +280,11 @@ __truncdfsf2 (double a1)
|
||||
|
||||
dl1.d = a1;
|
||||
|
||||
if (!dl1.l.upper && !dl1.l.lower)
|
||||
return 0;
|
||||
if ((dl1.l.upper & ~SIGNBIT) == 0 && !dl1.l.lower)
|
||||
{
|
||||
fl.l = SIGND(dl1);
|
||||
return fl.f;
|
||||
}
|
||||
|
||||
exp = EXPD (dl1) - EXCESSD + EXCESS;
|
||||
|
||||
@ -399,10 +402,14 @@ __extenddfxf2 (double d)
|
||||
dl.d = d;
|
||||
/*printf ("dfxf in: %g\n", d);*/
|
||||
|
||||
if (!dl.l.upper && !dl.l.lower)
|
||||
return 0;
|
||||
|
||||
ldl.l.upper = SIGND (dl);
|
||||
if ((dl.l.upper & ~SIGNBIT) == 0 && !dl.l.lower)
|
||||
{
|
||||
ldl.l.middle = 0;
|
||||
ldl.l.lower = 0;
|
||||
return ldl.ld;
|
||||
}
|
||||
|
||||
exp = EXPD (dl) - EXCESSD + EXCESSX;
|
||||
ldl.l.upper |= exp << 16;
|
||||
ldl.l.middle = HIDDENX;
|
||||
@ -428,14 +435,17 @@ __truncxfdf2 (long double ld)
|
||||
ldl.ld = ld;
|
||||
/*printf ("xfdf in: %s\n", dumpxf (ld));*/
|
||||
|
||||
if (!ldl.l.upper && !ldl.l.middle && !ldl.l.lower)
|
||||
return 0;
|
||||
dl.l.upper = SIGNX (ldl);
|
||||
if ((ldl.l.upper & ~SIGNBIT) == 0 && !ldl.l.middle && !ldl.l.lower)
|
||||
{
|
||||
dl.l.lower = 0;
|
||||
return dl.d;
|
||||
}
|
||||
|
||||
exp = EXPX (ldl) - EXCESSX + EXCESSD;
|
||||
/* ??? quick and dirty: keep `exp' sane */
|
||||
if (exp >= EXPDMASK)
|
||||
exp = EXPDMASK - 1;
|
||||
dl.l.upper = SIGNX (ldl);
|
||||
dl.l.upper |= exp << (32 - (EXPDBITS + 1));
|
||||
/* +1-1: add one for sign bit, but take one off for explicit-integer-bit */
|
||||
dl.l.upper |= (ldl.l.middle & MANTXMASK) >> (EXPDBITS + 1 - 1);
|
||||
|
||||
139
gnu/dist/gcc4/gcc/config/m68k/lb1sf68.asm
vendored
139
gnu/dist/gcc4/gcc/config/m68k/lb1sf68.asm
vendored
@ -599,6 +599,7 @@ ROUND_TO_MINUS = 3 | round result towards minus infinity
|
||||
.globl SYM (__divdf3)
|
||||
.globl SYM (__negdf2)
|
||||
.globl SYM (__cmpdf2)
|
||||
.globl SYM (__cmpdf2_internal)
|
||||
|
||||
.text
|
||||
.even
|
||||
@ -1285,7 +1286,12 @@ Ladddf$b:
|
||||
| Return b (if a is zero)
|
||||
movel d2,d0
|
||||
movel d3,d1
|
||||
bra 1f
|
||||
bne 1f | Check if b is -0
|
||||
cmpl IMM (0x80000000),d0
|
||||
bne 1f
|
||||
andl IMM (0x80000000),d7 | Use the sign of a
|
||||
clrl d0
|
||||
bra Ladddf$ret
|
||||
Ladddf$a:
|
||||
movel a6@(8),d0
|
||||
movel a6@(12),d1
|
||||
@ -1665,16 +1671,16 @@ Lmuldf$b$0:
|
||||
#ifndef __mcoldfire__
|
||||
exg d2,d0 | put b (==0) into d0-d1
|
||||
exg d3,d1 | and a (with sign bit cleared) into d2-d3
|
||||
movel a0,d0 | set result sign
|
||||
#else
|
||||
movel d2,d7
|
||||
movel d0,d2
|
||||
movel d7,d0
|
||||
movel d3,d7
|
||||
movel d0,d2 | put a into d2-d3
|
||||
movel d1,d3
|
||||
movel d7,d1
|
||||
movel a0,d0 | put result zero into d0-d1
|
||||
movq IMM(0),d1
|
||||
#endif
|
||||
bra 1f
|
||||
Lmuldf$a$0:
|
||||
movel a0,d0 | set result sign
|
||||
movel a6@(16),d2 | put b into d2-d3 again
|
||||
movel a6@(20),d3 |
|
||||
bclr IMM (31),d2 | clear sign bit
|
||||
@ -1952,7 +1958,7 @@ Ldivdf$inop:
|
||||
Ldivdf$a$0:
|
||||
| If a is zero check to see whether b is zero also. In that case return
|
||||
| NaN; then check if b is NaN, and return NaN also in that case. Else
|
||||
| return zero.
|
||||
| return a properly signed zero.
|
||||
moveq IMM (DIVIDE),d5
|
||||
bclr IMM (31),d2 |
|
||||
movel d2,d4 |
|
||||
@ -1963,8 +1969,8 @@ Ldivdf$a$0:
|
||||
blt 1f |
|
||||
tstl d3 |
|
||||
bne Ld$inop |
|
||||
1: movel IMM (0),d0 | else return zero
|
||||
movel d0,d1 |
|
||||
1: movel a0,d0 | else return signed zero
|
||||
moveq IMM(0),d1 |
|
||||
PICLEA SYM (_fpCCR),a0 | clear exception flags
|
||||
movew IMM (0),a0@ |
|
||||
#ifndef __mcoldfire__
|
||||
@ -2218,8 +2224,8 @@ GREATER = 1
|
||||
LESS = -1
|
||||
EQUAL = 0
|
||||
|
||||
| int __cmpdf2(double, double);
|
||||
SYM (__cmpdf2):
|
||||
| int __cmpdf2_internal(double, double, int);
|
||||
SYM (__cmpdf2_internal):
|
||||
#ifndef __mcoldfire__
|
||||
link a6,IMM (0)
|
||||
moveml d2-d7,sp@- | save registers
|
||||
@ -2238,15 +2244,15 @@ SYM (__cmpdf2):
|
||||
bclr IMM (31),d0 | and clear signs in d0 and d2
|
||||
movel d2,d7 |
|
||||
bclr IMM (31),d2 |
|
||||
cmpl IMM (0x7fff0000),d0 | check for a == NaN
|
||||
bhi Ld$inop | if d0 > 0x7ff00000, a is NaN
|
||||
cmpl IMM (0x7ff00000),d0 | check for a == NaN
|
||||
bhi Lcmpd$inop | if d0 > 0x7ff00000, a is NaN
|
||||
beq Lcmpdf$a$nf | if equal can be INFINITY, so check d1
|
||||
movel d0,d4 | copy into d4 to test for zero
|
||||
orl d1,d4 |
|
||||
beq Lcmpdf$a$0 |
|
||||
Lcmpdf$0:
|
||||
cmpl IMM (0x7fff0000),d2 | check for b == NaN
|
||||
bhi Ld$inop | if d2 > 0x7ff00000, b is NaN
|
||||
cmpl IMM (0x7ff00000),d2 | check for b == NaN
|
||||
bhi Lcmpd$inop | if d2 > 0x7ff00000, b is NaN
|
||||
beq Lcmpdf$b$nf | if equal can be INFINITY, so check d3
|
||||
movel d2,d4 |
|
||||
orl d3,d4 |
|
||||
@ -2336,6 +2342,24 @@ Lcmpdf$b$nf:
|
||||
bne Ld$inop
|
||||
bra Lcmpdf$1
|
||||
|
||||
Lcmpd$inop:
|
||||
movl a6@(24),d0
|
||||
movew IMM (INEXACT_RESULT+INVALID_OPERATION),d7
|
||||
moveq IMM (DOUBLE_FLOAT),d6
|
||||
PICJUMP $_exception_handler
|
||||
|
||||
| int __cmpdf2(double, double);
|
||||
SYM (__cmpdf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
bsr SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
|
||||
|=============================================================================
|
||||
| rounding routines
|
||||
|=============================================================================
|
||||
@ -2483,6 +2507,7 @@ ROUND_TO_MINUS = 3 | round result towards minus infinity
|
||||
.globl SYM (__divsf3)
|
||||
.globl SYM (__negsf2)
|
||||
.globl SYM (__cmpsf2)
|
||||
.globl SYM (__cmpsf2_internal)
|
||||
|
||||
| These are common routines to return and signal exceptions.
|
||||
|
||||
@ -2570,16 +2595,13 @@ SYM (__addsf3):
|
||||
#endif
|
||||
movel a6@(8),d0 | get first operand
|
||||
movel a6@(12),d1 | get second operand
|
||||
movel d0,d6 | get d0's sign bit '
|
||||
movel d0,a0 | get d0's sign bit '
|
||||
addl d0,d0 | check and clear sign bit of a
|
||||
beq Laddsf$b | if zero return second operand
|
||||
movel d1,d7 | save b's sign bit '
|
||||
movel d1,a1 | save b's sign bit '
|
||||
addl d1,d1 | get rid of sign bit
|
||||
beq Laddsf$a | if zero return first operand
|
||||
|
||||
movel d6,a0 | save signs in address registers
|
||||
movel d7,a1 | so we can use d6 and d7
|
||||
|
||||
| Get the exponents and check for denormalized and/or infinity.
|
||||
|
||||
movel IMM (0x00ffffff),d4 | mask to get fraction
|
||||
@ -2950,7 +2972,12 @@ Laddsf$b$den:
|
||||
Laddsf$b:
|
||||
| Return b (if a is zero).
|
||||
movel a6@(12),d0
|
||||
bra 1f
|
||||
cmpl IMM (0x80000000),d0 | Check if b is -0
|
||||
bne 1f
|
||||
movel a0,d7
|
||||
andl IMM (0x80000000),d7 | Use the sign of a
|
||||
clrl d0
|
||||
bra Laddsf$ret
|
||||
Laddsf$a:
|
||||
| Return a (if b is zero).
|
||||
movel a6@(8),d0
|
||||
@ -3203,7 +3230,6 @@ Lmulsf$inf:
|
||||
| or NaN, in which case we return NaN.
|
||||
Lmulsf$b$0:
|
||||
| Here d1 (==b) is zero.
|
||||
movel d1,d0 | put b into d0 (just a zero)
|
||||
movel a6@(8),d1 | get a again to check for non-finiteness
|
||||
bra 1f
|
||||
Lmulsf$a$0:
|
||||
@ -3211,7 +3237,8 @@ Lmulsf$a$0:
|
||||
1: bclr IMM (31),d1 | clear sign bit
|
||||
cmpl IMM (INFINITY),d1 | and check for a large exponent
|
||||
bge Lf$inop | if b is +/-INFINITY or NaN return NaN
|
||||
PICLEA SYM (_fpCCR),a0 | else return zero
|
||||
movel d7,d0 | else return signed zero
|
||||
PICLEA SYM (_fpCCR),a0 |
|
||||
movew IMM (0),a0@ |
|
||||
#ifndef __mcoldfire__
|
||||
moveml sp@+,d2-d7 |
|
||||
@ -3405,12 +3432,12 @@ Ldivsf$a$0:
|
||||
moveq IMM (DIVIDE),d5
|
||||
| If a is zero check to see whether b is zero also. In that case return
|
||||
| NaN; then check if b is NaN, and return NaN also in that case. Else
|
||||
| return zero.
|
||||
| return a properly signed zero.
|
||||
andl IMM (0x7fffffff),d1 | clear sign bit and test b
|
||||
beq Lf$inop | if b is also zero return NaN
|
||||
cmpl IMM (INFINITY),d1 | check for NaN
|
||||
bhi Lf$inop |
|
||||
movel IMM (0),d0 | else return zero
|
||||
movel d7,d0 | else return signed zero
|
||||
PICLEA SYM (_fpCCR),a0 |
|
||||
movew IMM (0),a0@ |
|
||||
#ifndef __mcoldfire__
|
||||
@ -3626,8 +3653,8 @@ GREATER = 1
|
||||
LESS = -1
|
||||
EQUAL = 0
|
||||
|
||||
| int __cmpsf2(float, float);
|
||||
SYM (__cmpsf2):
|
||||
| int __cmpsf2_internal(float, float, int);
|
||||
SYM (__cmpsf2_internal):
|
||||
#ifndef __mcoldfire__
|
||||
link a6,IMM (0)
|
||||
moveml d2-d7,sp@- | save registers
|
||||
@ -3645,13 +3672,13 @@ SYM (__cmpsf2):
|
||||
andl IMM (0x7fffffff),d0
|
||||
beq Lcmpsf$a$0
|
||||
cmpl IMM (0x7f800000),d0
|
||||
bhi Lf$inop
|
||||
bhi Lcmpf$inop
|
||||
Lcmpsf$1:
|
||||
movel d1,d7
|
||||
andl IMM (0x7fffffff),d1
|
||||
beq Lcmpsf$b$0
|
||||
cmpl IMM (0x7f800000),d1
|
||||
bhi Lf$inop
|
||||
bhi Lcmpf$inop
|
||||
Lcmpsf$2:
|
||||
| Check the signs
|
||||
eorl d6,d7
|
||||
@ -3717,6 +3744,22 @@ Lcmpsf$b$0:
|
||||
bclr IMM (31),d7
|
||||
bra Lcmpsf$2
|
||||
|
||||
Lcmpf$inop:
|
||||
movl a6@(16),d0
|
||||
movew IMM (INEXACT_RESULT+INVALID_OPERATION),d7
|
||||
moveq IMM (SINGLE_FLOAT),d6
|
||||
PICJUMP $_exception_handler
|
||||
|
||||
| int __cmpsf2(float, float);
|
||||
SYM (__cmpsf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
bsr (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
|
||||
|=============================================================================
|
||||
| rounding routines
|
||||
|=============================================================================
|
||||
@ -3801,6 +3844,8 @@ Lround$to$minus:
|
||||
| simply calls __cmpdf2. It would be more efficient to give the
|
||||
| __cmpdf2 routine several names, but separating them out will make it
|
||||
| easier to write efficient versions of these routines someday.
|
||||
| If the operands recompare unordered unordered __gtdf2 and __gedf2 return -1.
|
||||
| The other routines return 1.
|
||||
|
||||
#ifdef L_eqdf2
|
||||
.text
|
||||
@ -3808,11 +3853,12 @@ Lround$to$minus:
|
||||
.globl SYM (__eqdf2)
|
||||
SYM (__eqdf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_eqdf2 */
|
||||
@ -3823,11 +3869,12 @@ SYM (__eqdf2):
|
||||
.globl SYM (__nedf2)
|
||||
SYM (__nedf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_nedf2 */
|
||||
@ -3838,11 +3885,12 @@ SYM (__nedf2):
|
||||
.globl SYM (__gtdf2)
|
||||
SYM (__gtdf2):
|
||||
link a6,IMM (0)
|
||||
pea -1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_gtdf2 */
|
||||
@ -3853,11 +3901,12 @@ SYM (__gtdf2):
|
||||
.globl SYM (__gedf2)
|
||||
SYM (__gedf2):
|
||||
link a6,IMM (0)
|
||||
pea -1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_gedf2 */
|
||||
@ -3868,11 +3917,12 @@ SYM (__gedf2):
|
||||
.globl SYM (__ltdf2)
|
||||
SYM (__ltdf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_ltdf2 */
|
||||
@ -3883,11 +3933,12 @@ SYM (__ltdf2):
|
||||
.globl SYM (__ledf2)
|
||||
SYM (__ledf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(20),sp@-
|
||||
movl a6@(16),sp@-
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpdf2)
|
||||
PICCALL SYM (__cmpdf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_ledf2 */
|
||||
@ -3901,9 +3952,10 @@ SYM (__ledf2):
|
||||
.globl SYM (__eqsf2)
|
||||
SYM (__eqsf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_eqsf2 */
|
||||
@ -3914,9 +3966,10 @@ SYM (__eqsf2):
|
||||
.globl SYM (__nesf2)
|
||||
SYM (__nesf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_nesf2 */
|
||||
@ -3927,9 +3980,10 @@ SYM (__nesf2):
|
||||
.globl SYM (__gtsf2)
|
||||
SYM (__gtsf2):
|
||||
link a6,IMM (0)
|
||||
pea -1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_gtsf2 */
|
||||
@ -3940,9 +3994,10 @@ SYM (__gtsf2):
|
||||
.globl SYM (__gesf2)
|
||||
SYM (__gesf2):
|
||||
link a6,IMM (0)
|
||||
pea -1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_gesf2 */
|
||||
@ -3953,9 +4008,10 @@ SYM (__gesf2):
|
||||
.globl SYM (__ltsf2)
|
||||
SYM (__ltsf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_ltsf2 */
|
||||
@ -3966,9 +4022,10 @@ SYM (__ltsf2):
|
||||
.globl SYM (__lesf2)
|
||||
SYM (__lesf2):
|
||||
link a6,IMM (0)
|
||||
pea 1
|
||||
movl a6@(12),sp@-
|
||||
movl a6@(8),sp@-
|
||||
PICCALL SYM (__cmpsf2)
|
||||
PICCALL SYM (__cmpsf2_internal)
|
||||
unlk a6
|
||||
rts
|
||||
#endif /* L_lesf2 */
|
||||
|
||||
Loading…
Reference in New Issue
Block a user