1*7c3d14c8STreehugger Robot /* This file is distributed under the University of Illinois Open Source
2*7c3d14c8STreehugger Robot * License. See LICENSE.TXT for details.
3*7c3d14c8STreehugger Robot */
4*7c3d14c8STreehugger Robot
5*7c3d14c8STreehugger Robot /* long double __gcc_qmul(long double x, long double y);
6*7c3d14c8STreehugger Robot * This file implements the PowerPC 128-bit double-double multiply operation.
7*7c3d14c8STreehugger Robot * This implementation is shamelessly cribbed from Apple's DDRT, circa 1993(!)
8*7c3d14c8STreehugger Robot */
9*7c3d14c8STreehugger Robot
10*7c3d14c8STreehugger Robot #include "DD.h"
11*7c3d14c8STreehugger Robot
__gcc_qmul(long double x,long double y)12*7c3d14c8STreehugger Robot long double __gcc_qmul(long double x, long double y)
13*7c3d14c8STreehugger Robot {
14*7c3d14c8STreehugger Robot static const uint32_t infinityHi = UINT32_C(0x7ff00000);
15*7c3d14c8STreehugger Robot DD dst = { .ld = x }, src = { .ld = y };
16*7c3d14c8STreehugger Robot
17*7c3d14c8STreehugger Robot register double A = dst.s.hi, a = dst.s.lo,
18*7c3d14c8STreehugger Robot B = src.s.hi, b = src.s.lo;
19*7c3d14c8STreehugger Robot
20*7c3d14c8STreehugger Robot double aHi, aLo, bHi, bLo;
21*7c3d14c8STreehugger Robot double ab, tmp, tau;
22*7c3d14c8STreehugger Robot
23*7c3d14c8STreehugger Robot ab = A * B;
24*7c3d14c8STreehugger Robot
25*7c3d14c8STreehugger Robot /* Detect special cases */
26*7c3d14c8STreehugger Robot if (ab == 0.0) {
27*7c3d14c8STreehugger Robot dst.s.hi = ab;
28*7c3d14c8STreehugger Robot dst.s.lo = 0.0;
29*7c3d14c8STreehugger Robot return dst.ld;
30*7c3d14c8STreehugger Robot }
31*7c3d14c8STreehugger Robot
32*7c3d14c8STreehugger Robot const doublebits abBits = { .d = ab };
33*7c3d14c8STreehugger Robot if (((uint32_t)(abBits.x >> 32) & infinityHi) == infinityHi) {
34*7c3d14c8STreehugger Robot dst.s.hi = ab;
35*7c3d14c8STreehugger Robot dst.s.lo = 0.0;
36*7c3d14c8STreehugger Robot return dst.ld;
37*7c3d14c8STreehugger Robot }
38*7c3d14c8STreehugger Robot
39*7c3d14c8STreehugger Robot /* Generic cases handled here. */
40*7c3d14c8STreehugger Robot aHi = high26bits(A);
41*7c3d14c8STreehugger Robot bHi = high26bits(B);
42*7c3d14c8STreehugger Robot aLo = A - aHi;
43*7c3d14c8STreehugger Robot bLo = B - bHi;
44*7c3d14c8STreehugger Robot
45*7c3d14c8STreehugger Robot tmp = LOWORDER(ab, aHi, aLo, bHi, bLo);
46*7c3d14c8STreehugger Robot tmp += (A * b + a * B);
47*7c3d14c8STreehugger Robot tau = ab + tmp;
48*7c3d14c8STreehugger Robot
49*7c3d14c8STreehugger Robot dst.s.lo = (ab - tau) + tmp;
50*7c3d14c8STreehugger Robot dst.s.hi = tau;
51*7c3d14c8STreehugger Robot
52*7c3d14c8STreehugger Robot return dst.ld;
53*7c3d14c8STreehugger Robot }
54