Lines Matching +full:src +full:-
1 // SPDX-License-Identifier: GPL-2.0-or-later
4 fp_arith.c: floating-point math routines for the Linux-m68k
7 Copyright (c) 1998-1999 David Huggins-Daines.
10 Mosberger-Tang.
31 struct fp_ext *fp_fabs(struct fp_ext *dest, struct fp_ext *src) in fp_fabs() argument
35 fp_monadic_check(dest, src); in fp_fabs()
37 dest->sign = 0; in fp_fabs()
42 struct fp_ext *fp_fneg(struct fp_ext *dest, struct fp_ext *src) in fp_fneg() argument
46 fp_monadic_check(dest, src); in fp_fneg()
48 dest->sign = !dest->sign; in fp_fneg()
58 struct fp_ext *fp_fadd(struct fp_ext *dest, struct fp_ext *src) in fp_fadd() argument
64 fp_dyadic_check(dest, src); in fp_fadd()
67 /* infinity - infinity == NaN */ in fp_fadd()
68 if (IS_INF(src) && (src->sign != dest->sign)) in fp_fadd()
72 if (IS_INF(src)) { in fp_fadd()
73 fp_copy_ext(dest, src); in fp_fadd()
78 if (IS_ZERO(src)) { in fp_fadd()
79 if (src->sign != dest->sign) { in fp_fadd()
80 if (FPDATA->rnd == FPCR_ROUND_RM) in fp_fadd()
81 dest->sign = 1; in fp_fadd()
83 dest->sign = 0; in fp_fadd()
86 fp_copy_ext(dest, src); in fp_fadd()
90 dest->lowmant = src->lowmant = 0; in fp_fadd()
92 if ((diff = dest->exp - src->exp) > 0) in fp_fadd()
93 fp_denormalize(src, diff); in fp_fadd()
94 else if ((diff = -diff) > 0) in fp_fadd()
97 if (dest->sign == src->sign) { in fp_fadd()
98 if (fp_addmant(dest, src)) in fp_fadd()
102 if (dest->mant.m64 < src->mant.m64) { in fp_fadd()
103 fp_submant(dest, src, dest); in fp_fadd()
104 dest->sign = !dest->sign; in fp_fadd()
106 fp_submant(dest, dest, src); in fp_fadd()
115 Remember that the arguments are in assembler-syntax order! */
117 struct fp_ext *fp_fsub(struct fp_ext *dest, struct fp_ext *src) in fp_fsub() argument
121 src->sign = !src->sign; in fp_fsub()
122 return fp_fadd(dest, src); in fp_fsub()
126 struct fp_ext *fp_fcmp(struct fp_ext *dest, struct fp_ext *src) in fp_fcmp() argument
130 FPDATA->temp[1] = *dest; in fp_fcmp()
131 src->sign = !src->sign; in fp_fcmp()
132 return fp_fadd(&FPDATA->temp[1], src); in fp_fcmp()
135 struct fp_ext *fp_ftst(struct fp_ext *dest, struct fp_ext *src) in fp_ftst() argument
141 return src; in fp_ftst()
144 struct fp_ext *fp_fmul(struct fp_ext *dest, struct fp_ext *src) in fp_fmul() argument
151 fp_dyadic_check(dest, src); in fp_fmul()
154 dest->sign = src->sign ^ dest->sign; in fp_fmul()
158 if (IS_ZERO(src)) in fp_fmul()
162 if (IS_INF(src)) { in fp_fmul()
166 fp_copy_ext(dest, src); in fp_fmul()
173 if (IS_ZERO(dest) || IS_ZERO(src)) { in fp_fmul()
174 dest->exp = 0; in fp_fmul()
175 dest->mant.m64 = 0; in fp_fmul()
176 dest->lowmant = 0; in fp_fmul()
181 exp = dest->exp + src->exp - 0x3ffe; in fp_fmul()
186 if ((long)dest->mant.m32[0] >= 0) in fp_fmul()
187 exp -= fp_overnormalize(dest); in fp_fmul()
188 if ((long)src->mant.m32[0] >= 0) in fp_fmul()
189 exp -= fp_overnormalize(src); in fp_fmul()
191 /* now, do a 64-bit multiply with expansion */ in fp_fmul()
192 fp_multiplymant(&temp, dest, src); in fp_fmul()
197 exp--; in fp_fmul()
206 dest->exp = exp; in fp_fmul()
209 fp_denormalize(dest, -exp); in fp_fmul()
218 Note that the order of the operands is counter-intuitive: instead
219 of src / dest, the result is actually dest / src. */
221 struct fp_ext *fp_fdiv(struct fp_ext *dest, struct fp_ext *src) in fp_fdiv() argument
228 fp_dyadic_check(dest, src); in fp_fdiv()
231 dest->sign = src->sign ^ dest->sign; in fp_fdiv()
236 if (IS_INF(src)) in fp_fdiv()
241 if (IS_INF(src)) { in fp_fdiv()
243 dest->exp = 0; in fp_fdiv()
244 dest->mant.m64 = 0; in fp_fdiv()
245 dest->lowmant = 0; in fp_fdiv()
253 if (IS_ZERO(src)) in fp_fdiv()
258 if (IS_ZERO(src)) { in fp_fdiv()
261 dest->exp = 0x7fff; in fp_fdiv()
262 dest->mant.m64 = 0; in fp_fdiv()
267 exp = dest->exp - src->exp + 0x3fff; in fp_fdiv()
272 if ((long)dest->mant.m32[0] >= 0) in fp_fdiv()
273 exp -= fp_overnormalize(dest); in fp_fdiv()
274 if ((long)src->mant.m32[0] >= 0) in fp_fdiv()
275 exp -= fp_overnormalize(src); in fp_fdiv()
277 /* now, do the 64-bit divide */ in fp_fdiv()
278 fp_dividemant(&temp, dest, src); in fp_fdiv()
283 exp--; in fp_fdiv()
292 dest->exp = exp; in fp_fdiv()
295 fp_denormalize(dest, -exp); in fp_fdiv()
301 struct fp_ext *fp_fsglmul(struct fp_ext *dest, struct fp_ext *src) in fp_fsglmul() argument
307 fp_dyadic_check(dest, src); in fp_fsglmul()
310 dest->sign = src->sign ^ dest->sign; in fp_fsglmul()
314 if (IS_ZERO(src)) in fp_fsglmul()
318 if (IS_INF(src)) { in fp_fsglmul()
322 fp_copy_ext(dest, src); in fp_fsglmul()
329 if (IS_ZERO(dest) || IS_ZERO(src)) { in fp_fsglmul()
330 dest->exp = 0; in fp_fsglmul()
331 dest->mant.m64 = 0; in fp_fsglmul()
332 dest->lowmant = 0; in fp_fsglmul()
337 exp = dest->exp + src->exp - 0x3ffe; in fp_fsglmul()
339 /* do a 32-bit multiply */ in fp_fsglmul()
340 fp_mul64(dest->mant.m32[0], dest->mant.m32[1], in fp_fsglmul()
341 dest->mant.m32[0] & 0xffffff00, in fp_fsglmul()
342 src->mant.m32[0] & 0xffffff00); in fp_fsglmul()
348 dest->exp = exp; in fp_fsglmul()
351 fp_denormalize(dest, -exp); in fp_fsglmul()
357 struct fp_ext *fp_fsgldiv(struct fp_ext *dest, struct fp_ext *src) in fp_fsgldiv() argument
364 fp_dyadic_check(dest, src); in fp_fsgldiv()
367 dest->sign = src->sign ^ dest->sign; in fp_fsgldiv()
372 if (IS_INF(src)) in fp_fsgldiv()
377 if (IS_INF(src)) { in fp_fsgldiv()
379 dest->exp = 0; in fp_fsgldiv()
380 dest->mant.m64 = 0; in fp_fsgldiv()
381 dest->lowmant = 0; in fp_fsgldiv()
389 if (IS_ZERO(src)) in fp_fsgldiv()
394 if (IS_ZERO(src)) { in fp_fsgldiv()
397 dest->exp = 0x7fff; in fp_fsgldiv()
398 dest->mant.m64 = 0; in fp_fsgldiv()
403 exp = dest->exp - src->exp + 0x3fff; in fp_fsgldiv()
405 dest->mant.m32[0] &= 0xffffff00; in fp_fsgldiv()
406 src->mant.m32[0] &= 0xffffff00; in fp_fsgldiv()
408 /* do the 32-bit divide */ in fp_fsgldiv()
409 if (dest->mant.m32[0] >= src->mant.m32[0]) { in fp_fsgldiv()
410 fp_sub64(dest->mant, src->mant); in fp_fsgldiv()
411 fp_div64(quot, rem, dest->mant.m32[0], 0, src->mant.m32[0]); in fp_fsgldiv()
412 dest->mant.m32[0] = 0x80000000 | (quot >> 1); in fp_fsgldiv()
413 dest->mant.m32[1] = (quot & 1) | rem; /* only for rounding */ in fp_fsgldiv()
415 fp_div64(quot, rem, dest->mant.m32[0], 0, src->mant.m32[0]); in fp_fsgldiv()
416 dest->mant.m32[0] = quot; in fp_fsgldiv()
417 dest->mant.m32[1] = rem; /* only for rounding */ in fp_fsgldiv()
418 exp--; in fp_fsgldiv()
425 dest->exp = exp; in fp_fsgldiv()
428 fp_denormalize(dest, -exp); in fp_fsgldiv()
453 oldmant = dest->mant; in fp_roundint()
454 switch (dest->exp) { in fp_roundint()
456 dest->mant.m64 = 0; in fp_roundint()
459 dest->mant.m32[0] &= 0xffffffffU << (0x401e - dest->exp); in fp_roundint()
460 dest->mant.m32[1] = 0; in fp_roundint()
461 if (oldmant.m64 == dest->mant.m64) in fp_roundint()
465 dest->mant.m32[1] &= 0xffffffffU << (0x403e - dest->exp); in fp_roundint()
466 if (oldmant.m32[1] == dest->mant.m32[1]) in fp_roundint()
481 0xffff8000, and the same holds for 128-bit / 64-bit. (i.e. the in fp_roundint()
488 switch (dest->exp) { in fp_roundint()
500 mask = 1 << (0x401d - dest->exp); in fp_roundint()
505 if (!(oldmant.m32[0] << (dest->exp - 0x3ffd)) && in fp_roundint()
518 mask = 1 << (0x403d - dest->exp); in fp_roundint()
523 if (!(oldmant.m32[1] << (dest->exp - 0x401d))) in fp_roundint()
533 if (dest->sign ^ (mode - FPCR_ROUND_RM)) in fp_roundint()
538 switch (dest->exp) { in fp_roundint()
540 dest->exp = 0x3fff; in fp_roundint()
541 dest->mant.m64 = 1ULL << 63; in fp_roundint()
544 mask = 1 << (0x401e - dest->exp); in fp_roundint()
545 if (dest->mant.m32[0] += mask) in fp_roundint()
547 dest->mant.m32[0] = 0x80000000; in fp_roundint()
548 dest->exp++; in fp_roundint()
551 mask = 1 << (0x403e - dest->exp); in fp_roundint()
552 if (dest->mant.m32[1] += mask) in fp_roundint()
554 if (dest->mant.m32[0] += 1) in fp_roundint()
556 dest->mant.m32[0] = 0x80000000; in fp_roundint()
557 dest->exp++; in fp_roundint()
566 static struct fp_ext *modrem_kernel(struct fp_ext *dest, struct fp_ext *src, in modrem_kernel() argument
571 fp_dyadic_check(dest, src); in modrem_kernel()
574 if (IS_INF(dest) || IS_ZERO(src)) { in modrem_kernel()
578 if (IS_ZERO(dest) || IS_INF(src)) in modrem_kernel()
583 fp_fdiv(&tmp, src); /* NOTE: src might be modified */ in modrem_kernel()
585 fp_fmul(&tmp, src); in modrem_kernel()
589 fp_set_quotient((dest->mant.m64 & 0x7f) | (dest->sign << 7)); in modrem_kernel()
598 fmod(src,dest) = (dest - (src * floor(dest / src))) */
600 struct fp_ext *fp_fmod(struct fp_ext *dest, struct fp_ext *src) in fp_fmod() argument
603 return modrem_kernel(dest, src, FPCR_ROUND_RZ); in fp_fmod()
608 frem(src,dest) = (dest - (src * round(dest / src)))
611 struct fp_ext *fp_frem(struct fp_ext *dest, struct fp_ext *src) in fp_frem() argument
614 return modrem_kernel(dest, src, FPCR_ROUND_RN); in fp_frem()
617 struct fp_ext *fp_fint(struct fp_ext *dest, struct fp_ext *src) in fp_fint() argument
621 fp_copy_ext(dest, src); in fp_fint()
623 fp_roundint(dest, FPDATA->rnd); in fp_fint()
628 struct fp_ext *fp_fintrz(struct fp_ext *dest, struct fp_ext *src) in fp_fintrz() argument
632 fp_copy_ext(dest, src); in fp_fintrz()
639 struct fp_ext *fp_fscale(struct fp_ext *dest, struct fp_ext *src) in fp_fscale() argument
645 fp_dyadic_check(dest, src); in fp_fscale()
648 if (IS_INF(src)) { in fp_fscale()
656 if (IS_ZERO(src) || IS_ZERO(dest)) in fp_fscale()
660 if (src->exp >= 0x400c) { in fp_fscale()
665 /* src must be rounded with round to zero. */ in fp_fscale()
666 oldround = FPDATA->rnd; in fp_fscale()
667 FPDATA->rnd = FPCR_ROUND_RZ; in fp_fscale()
668 scale = fp_conv_ext2long(src); in fp_fscale()
669 FPDATA->rnd = oldround; in fp_fscale()
672 scale += dest->exp; in fp_fscale()
678 fp_denormalize(dest, -scale); in fp_fscale()
680 dest->exp = scale; in fp_fscale()