xref: /aosp_15_r20/external/compiler-rt/lib/builtins/ppc/gcc_qmul.c (revision 7c3d14c8b49c529e04be81a3ce6f5cc23712e4c6)
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