xref: /inferno-os/libkern/vlrt-386.c (revision 37da2899f40661e3e9631e497da8dc59b971cbd0)
1*37da2899SCharles.Forsyth typedef	unsigned long	ulong;
2*37da2899SCharles.Forsyth typedef	unsigned int	uint;
3*37da2899SCharles.Forsyth typedef	unsigned short	ushort;
4*37da2899SCharles.Forsyth typedef	unsigned char	uchar;
5*37da2899SCharles.Forsyth typedef	signed char	schar;
6*37da2899SCharles.Forsyth 
7*37da2899SCharles.Forsyth #define	SIGN(n)	(1UL<<(n-1))
8*37da2899SCharles.Forsyth 
9*37da2899SCharles.Forsyth typedef	struct	Vlong	Vlong;
10*37da2899SCharles.Forsyth struct	Vlong
11*37da2899SCharles.Forsyth {
12*37da2899SCharles.Forsyth 	union
13*37da2899SCharles.Forsyth 	{
14*37da2899SCharles.Forsyth 		struct
15*37da2899SCharles.Forsyth 		{
16*37da2899SCharles.Forsyth 			ulong	lo;
17*37da2899SCharles.Forsyth 			ulong	hi;
18*37da2899SCharles.Forsyth 		};
19*37da2899SCharles.Forsyth 		struct
20*37da2899SCharles.Forsyth 		{
21*37da2899SCharles.Forsyth 			ushort	lols;
22*37da2899SCharles.Forsyth 			ushort	loms;
23*37da2899SCharles.Forsyth 			ushort	hils;
24*37da2899SCharles.Forsyth 			ushort	hims;
25*37da2899SCharles.Forsyth 		};
26*37da2899SCharles.Forsyth 	};
27*37da2899SCharles.Forsyth };
28*37da2899SCharles.Forsyth 
29*37da2899SCharles.Forsyth void	abort(void);
30*37da2899SCharles.Forsyth 
31*37da2899SCharles.Forsyth void
_subv(Vlong * r,Vlong a,Vlong b)32*37da2899SCharles.Forsyth _subv(Vlong *r, Vlong a, Vlong b)
33*37da2899SCharles.Forsyth {
34*37da2899SCharles.Forsyth 	ulong lo, hi;
35*37da2899SCharles.Forsyth 
36*37da2899SCharles.Forsyth 	lo = a.lo - b.lo;
37*37da2899SCharles.Forsyth 	hi = a.hi - b.hi;
38*37da2899SCharles.Forsyth 	if(lo > a.lo)
39*37da2899SCharles.Forsyth 		hi--;
40*37da2899SCharles.Forsyth 	r->lo = lo;
41*37da2899SCharles.Forsyth 	r->hi = hi;
42*37da2899SCharles.Forsyth }
43*37da2899SCharles.Forsyth 
44*37da2899SCharles.Forsyth void
_d2v(Vlong * y,double d)45*37da2899SCharles.Forsyth _d2v(Vlong *y, double d)
46*37da2899SCharles.Forsyth {
47*37da2899SCharles.Forsyth 	union { double d; struct Vlong; } x;
48*37da2899SCharles.Forsyth 	ulong xhi, xlo, ylo, yhi;
49*37da2899SCharles.Forsyth 	int sh;
50*37da2899SCharles.Forsyth 
51*37da2899SCharles.Forsyth 	x.d = d;
52*37da2899SCharles.Forsyth 
53*37da2899SCharles.Forsyth 	xhi = (x.hi & 0xfffff) | 0x100000;
54*37da2899SCharles.Forsyth 	xlo = x.lo;
55*37da2899SCharles.Forsyth 	sh = 1075 - ((x.hi >> 20) & 0x7ff);
56*37da2899SCharles.Forsyth 
57*37da2899SCharles.Forsyth 	ylo = 0;
58*37da2899SCharles.Forsyth 	yhi = 0;
59*37da2899SCharles.Forsyth 	if(sh >= 0) {
60*37da2899SCharles.Forsyth 		/* v = (hi||lo) >> sh */
61*37da2899SCharles.Forsyth 		if(sh < 32) {
62*37da2899SCharles.Forsyth 			if(sh == 0) {
63*37da2899SCharles.Forsyth 				ylo = xlo;
64*37da2899SCharles.Forsyth 				yhi = xhi;
65*37da2899SCharles.Forsyth 			} else {
66*37da2899SCharles.Forsyth 				ylo = (xlo >> sh) | (xhi << (32-sh));
67*37da2899SCharles.Forsyth 				yhi = xhi >> sh;
68*37da2899SCharles.Forsyth 			}
69*37da2899SCharles.Forsyth 		} else {
70*37da2899SCharles.Forsyth 			if(sh == 32) {
71*37da2899SCharles.Forsyth 				ylo = xhi;
72*37da2899SCharles.Forsyth 			} else
73*37da2899SCharles.Forsyth 			if(sh < 64) {
74*37da2899SCharles.Forsyth 				ylo = xhi >> (sh-32);
75*37da2899SCharles.Forsyth 			}
76*37da2899SCharles.Forsyth 		}
77*37da2899SCharles.Forsyth 	} else {
78*37da2899SCharles.Forsyth 		/* v = (hi||lo) << -sh */
79*37da2899SCharles.Forsyth 		sh = -sh;
80*37da2899SCharles.Forsyth 		if(sh <= 10) {
81*37da2899SCharles.Forsyth 			ylo = xlo << sh;
82*37da2899SCharles.Forsyth 			yhi = (xhi << sh) | (xlo >> (32-sh));
83*37da2899SCharles.Forsyth 		} else {
84*37da2899SCharles.Forsyth 			/* overflow */
85*37da2899SCharles.Forsyth 			yhi = d;	/* causes something awful */
86*37da2899SCharles.Forsyth 		}
87*37da2899SCharles.Forsyth 	}
88*37da2899SCharles.Forsyth 	if(x.hi & SIGN(32)) {
89*37da2899SCharles.Forsyth 		if(ylo != 0) {
90*37da2899SCharles.Forsyth 			ylo = -ylo;
91*37da2899SCharles.Forsyth 			yhi = ~yhi;
92*37da2899SCharles.Forsyth 		} else
93*37da2899SCharles.Forsyth 			yhi = -yhi;
94*37da2899SCharles.Forsyth 	}
95*37da2899SCharles.Forsyth 
96*37da2899SCharles.Forsyth 	y->hi = yhi;
97*37da2899SCharles.Forsyth 	y->lo = ylo;
98*37da2899SCharles.Forsyth }
99*37da2899SCharles.Forsyth 
100*37da2899SCharles.Forsyth void
_f2v(Vlong * y,float f)101*37da2899SCharles.Forsyth _f2v(Vlong *y, float f)
102*37da2899SCharles.Forsyth {
103*37da2899SCharles.Forsyth 
104*37da2899SCharles.Forsyth 	_d2v(y, f);
105*37da2899SCharles.Forsyth }
106*37da2899SCharles.Forsyth 
107*37da2899SCharles.Forsyth double
_v2d(Vlong x)108*37da2899SCharles.Forsyth _v2d(Vlong x)
109*37da2899SCharles.Forsyth {
110*37da2899SCharles.Forsyth 	if(x.hi & SIGN(32)) {
111*37da2899SCharles.Forsyth 		if(x.lo) {
112*37da2899SCharles.Forsyth 			x.lo = -x.lo;
113*37da2899SCharles.Forsyth 			x.hi = ~x.hi;
114*37da2899SCharles.Forsyth 		} else
115*37da2899SCharles.Forsyth 			x.hi = -x.hi;
116*37da2899SCharles.Forsyth 		return -((long)x.hi*4294967296. + x.lo);
117*37da2899SCharles.Forsyth 	}
118*37da2899SCharles.Forsyth 	return (long)x.hi*4294967296. + x.lo;
119*37da2899SCharles.Forsyth }
120*37da2899SCharles.Forsyth 
121*37da2899SCharles.Forsyth float
_v2f(Vlong x)122*37da2899SCharles.Forsyth _v2f(Vlong x)
123*37da2899SCharles.Forsyth {
124*37da2899SCharles.Forsyth 	return _v2d(x);
125*37da2899SCharles.Forsyth }
126*37da2899SCharles.Forsyth 
127*37da2899SCharles.Forsyth ulong	_div64by32(Vlong, ulong, ulong*);
128*37da2899SCharles.Forsyth void	_mul64by32(Vlong*, Vlong, ulong);
129*37da2899SCharles.Forsyth 
130*37da2899SCharles.Forsyth static void
dodiv(Vlong num,Vlong den,Vlong * qp,Vlong * rp)131*37da2899SCharles.Forsyth dodiv(Vlong num, Vlong den, Vlong *qp, Vlong *rp)
132*37da2899SCharles.Forsyth {
133*37da2899SCharles.Forsyth 	ulong n;
134*37da2899SCharles.Forsyth 	Vlong x, q, r;
135*37da2899SCharles.Forsyth 
136*37da2899SCharles.Forsyth 	if(den.hi > num.hi || (den.hi == num.hi && den.lo > num.lo)){
137*37da2899SCharles.Forsyth 		if(qp) {
138*37da2899SCharles.Forsyth 			qp->hi = 0;
139*37da2899SCharles.Forsyth 			qp->lo = 0;
140*37da2899SCharles.Forsyth 		}
141*37da2899SCharles.Forsyth 		if(rp) {
142*37da2899SCharles.Forsyth 			rp->hi = num.hi;
143*37da2899SCharles.Forsyth 			rp->lo = num.lo;
144*37da2899SCharles.Forsyth 		}
145*37da2899SCharles.Forsyth 		return;
146*37da2899SCharles.Forsyth 	}
147*37da2899SCharles.Forsyth 
148*37da2899SCharles.Forsyth 	if(den.hi != 0){
149*37da2899SCharles.Forsyth 		q.hi = 0;
150*37da2899SCharles.Forsyth 		n = num.hi/den.hi;
151*37da2899SCharles.Forsyth 		_mul64by32(&x, den, n);
152*37da2899SCharles.Forsyth 		if(x.hi > num.hi || (x.hi == num.hi && x.lo > num.lo)){
153*37da2899SCharles.Forsyth 			n--;
154*37da2899SCharles.Forsyth 			_mul64by32(&x, den, n);
155*37da2899SCharles.Forsyth 		}
156*37da2899SCharles.Forsyth 		q.lo = n;
157*37da2899SCharles.Forsyth 		_subv(&r, num, x);
158*37da2899SCharles.Forsyth 	} else {
159*37da2899SCharles.Forsyth 		if(num.hi >= den.lo){
160*37da2899SCharles.Forsyth 			q.hi = n = num.hi/den.lo;
161*37da2899SCharles.Forsyth 			num.hi -= den.lo*n;
162*37da2899SCharles.Forsyth 		} else {
163*37da2899SCharles.Forsyth 			q.hi = 0;
164*37da2899SCharles.Forsyth 		}
165*37da2899SCharles.Forsyth 		q.lo = _div64by32(num, den.lo, &r.lo);
166*37da2899SCharles.Forsyth 		r.hi = 0;
167*37da2899SCharles.Forsyth 	}
168*37da2899SCharles.Forsyth 	if(qp) {
169*37da2899SCharles.Forsyth 		qp->lo = q.lo;
170*37da2899SCharles.Forsyth 		qp->hi = q.hi;
171*37da2899SCharles.Forsyth 	}
172*37da2899SCharles.Forsyth 	if(rp) {
173*37da2899SCharles.Forsyth 		rp->lo = r.lo;
174*37da2899SCharles.Forsyth 		rp->hi = r.hi;
175*37da2899SCharles.Forsyth 	}
176*37da2899SCharles.Forsyth }
177*37da2899SCharles.Forsyth 
178*37da2899SCharles.Forsyth void
_divvu(Vlong * q,Vlong n,Vlong d)179*37da2899SCharles.Forsyth _divvu(Vlong *q, Vlong n, Vlong d)
180*37da2899SCharles.Forsyth {
181*37da2899SCharles.Forsyth 
182*37da2899SCharles.Forsyth 	if(n.hi == 0 && d.hi == 0) {
183*37da2899SCharles.Forsyth 		q->hi = 0;
184*37da2899SCharles.Forsyth 		q->lo = n.lo / d.lo;
185*37da2899SCharles.Forsyth 		return;
186*37da2899SCharles.Forsyth 	}
187*37da2899SCharles.Forsyth 	dodiv(n, d, q, 0);
188*37da2899SCharles.Forsyth }
189*37da2899SCharles.Forsyth 
190*37da2899SCharles.Forsyth void
_modvu(Vlong * r,Vlong n,Vlong d)191*37da2899SCharles.Forsyth _modvu(Vlong *r, Vlong n, Vlong d)
192*37da2899SCharles.Forsyth {
193*37da2899SCharles.Forsyth 
194*37da2899SCharles.Forsyth 	if(n.hi == 0 && d.hi == 0) {
195*37da2899SCharles.Forsyth 		r->hi = 0;
196*37da2899SCharles.Forsyth 		r->lo = n.lo % d.lo;
197*37da2899SCharles.Forsyth 		return;
198*37da2899SCharles.Forsyth 	}
199*37da2899SCharles.Forsyth 	dodiv(n, d, 0, r);
200*37da2899SCharles.Forsyth }
201*37da2899SCharles.Forsyth 
202*37da2899SCharles.Forsyth static void
vneg(Vlong * v)203*37da2899SCharles.Forsyth vneg(Vlong *v)
204*37da2899SCharles.Forsyth {
205*37da2899SCharles.Forsyth 
206*37da2899SCharles.Forsyth 	if(v->lo == 0) {
207*37da2899SCharles.Forsyth 		v->hi = -v->hi;
208*37da2899SCharles.Forsyth 		return;
209*37da2899SCharles.Forsyth 	}
210*37da2899SCharles.Forsyth 	v->lo = -v->lo;
211*37da2899SCharles.Forsyth 	v->hi = ~v->hi;
212*37da2899SCharles.Forsyth }
213*37da2899SCharles.Forsyth 
214*37da2899SCharles.Forsyth void
_divv(Vlong * q,Vlong n,Vlong d)215*37da2899SCharles.Forsyth _divv(Vlong *q, Vlong n, Vlong d)
216*37da2899SCharles.Forsyth {
217*37da2899SCharles.Forsyth 	long nneg, dneg;
218*37da2899SCharles.Forsyth 
219*37da2899SCharles.Forsyth 	if(n.hi == (((long)n.lo)>>31) && d.hi == (((long)d.lo)>>31)) {
220*37da2899SCharles.Forsyth 		q->lo = (long)n.lo / (long)d.lo;
221*37da2899SCharles.Forsyth 		q->hi = ((long)q->lo) >> 31;
222*37da2899SCharles.Forsyth 		return;
223*37da2899SCharles.Forsyth 	}
224*37da2899SCharles.Forsyth 	nneg = n.hi >> 31;
225*37da2899SCharles.Forsyth 	if(nneg)
226*37da2899SCharles.Forsyth 		vneg(&n);
227*37da2899SCharles.Forsyth 	dneg = d.hi >> 31;
228*37da2899SCharles.Forsyth 	if(dneg)
229*37da2899SCharles.Forsyth 		vneg(&d);
230*37da2899SCharles.Forsyth 	dodiv(n, d, q, 0);
231*37da2899SCharles.Forsyth 	if(nneg != dneg)
232*37da2899SCharles.Forsyth 		vneg(q);
233*37da2899SCharles.Forsyth }
234*37da2899SCharles.Forsyth 
235*37da2899SCharles.Forsyth void
_modv(Vlong * r,Vlong n,Vlong d)236*37da2899SCharles.Forsyth _modv(Vlong *r, Vlong n, Vlong d)
237*37da2899SCharles.Forsyth {
238*37da2899SCharles.Forsyth 	long nneg, dneg;
239*37da2899SCharles.Forsyth 
240*37da2899SCharles.Forsyth 	if(n.hi == (((long)n.lo)>>31) && d.hi == (((long)d.lo)>>31)) {
241*37da2899SCharles.Forsyth 		r->lo = (long)n.lo % (long)d.lo;
242*37da2899SCharles.Forsyth 		r->hi = ((long)r->lo) >> 31;
243*37da2899SCharles.Forsyth 		return;
244*37da2899SCharles.Forsyth 	}
245*37da2899SCharles.Forsyth 	nneg = n.hi >> 31;
246*37da2899SCharles.Forsyth 	if(nneg)
247*37da2899SCharles.Forsyth 		vneg(&n);
248*37da2899SCharles.Forsyth 	dneg = d.hi >> 31;
249*37da2899SCharles.Forsyth 	if(dneg)
250*37da2899SCharles.Forsyth 		vneg(&d);
251*37da2899SCharles.Forsyth 	dodiv(n, d, 0, r);
252*37da2899SCharles.Forsyth 	if(nneg)
253*37da2899SCharles.Forsyth 		vneg(r);
254*37da2899SCharles.Forsyth }
255*37da2899SCharles.Forsyth 
256*37da2899SCharles.Forsyth void
_rshav(Vlong * r,Vlong a,int b)257*37da2899SCharles.Forsyth _rshav(Vlong *r, Vlong a, int b)
258*37da2899SCharles.Forsyth {
259*37da2899SCharles.Forsyth 	long t;
260*37da2899SCharles.Forsyth 
261*37da2899SCharles.Forsyth 	t = a.hi;
262*37da2899SCharles.Forsyth 	if(b >= 32) {
263*37da2899SCharles.Forsyth 		r->hi = t>>31;
264*37da2899SCharles.Forsyth 		if(b >= 64) {
265*37da2899SCharles.Forsyth 			/* this is illegal re C standard */
266*37da2899SCharles.Forsyth 			r->lo = t>>31;
267*37da2899SCharles.Forsyth 			return;
268*37da2899SCharles.Forsyth 		}
269*37da2899SCharles.Forsyth 		r->lo = t >> (b-32);
270*37da2899SCharles.Forsyth 		return;
271*37da2899SCharles.Forsyth 	}
272*37da2899SCharles.Forsyth 	if(b <= 0) {
273*37da2899SCharles.Forsyth 		r->hi = t;
274*37da2899SCharles.Forsyth 		r->lo = a.lo;
275*37da2899SCharles.Forsyth 		return;
276*37da2899SCharles.Forsyth 	}
277*37da2899SCharles.Forsyth 	r->hi = t >> b;
278*37da2899SCharles.Forsyth 	r->lo = (t << (32-b)) | (a.lo >> b);
279*37da2899SCharles.Forsyth }
280*37da2899SCharles.Forsyth 
281*37da2899SCharles.Forsyth void
_rshlv(Vlong * r,Vlong a,int b)282*37da2899SCharles.Forsyth _rshlv(Vlong *r, Vlong a, int b)
283*37da2899SCharles.Forsyth {
284*37da2899SCharles.Forsyth 	ulong t;
285*37da2899SCharles.Forsyth 
286*37da2899SCharles.Forsyth 	t = a.hi;
287*37da2899SCharles.Forsyth 	if(b >= 32) {
288*37da2899SCharles.Forsyth 		r->hi = 0;
289*37da2899SCharles.Forsyth 		if(b >= 64) {
290*37da2899SCharles.Forsyth 			/* this is illegal re C standard */
291*37da2899SCharles.Forsyth 			r->lo = 0;
292*37da2899SCharles.Forsyth 			return;
293*37da2899SCharles.Forsyth 		}
294*37da2899SCharles.Forsyth 		r->lo = t >> (b-32);
295*37da2899SCharles.Forsyth 		return;
296*37da2899SCharles.Forsyth 	}
297*37da2899SCharles.Forsyth 	if(b <= 0) {
298*37da2899SCharles.Forsyth 		r->hi = t;
299*37da2899SCharles.Forsyth 		r->lo = a.lo;
300*37da2899SCharles.Forsyth 		return;
301*37da2899SCharles.Forsyth 	}
302*37da2899SCharles.Forsyth 	r->hi = t >> b;
303*37da2899SCharles.Forsyth 	r->lo = (t << (32-b)) | (a.lo >> b);
304*37da2899SCharles.Forsyth }
305*37da2899SCharles.Forsyth 
306*37da2899SCharles.Forsyth void
_lshv(Vlong * r,Vlong a,int b)307*37da2899SCharles.Forsyth _lshv(Vlong *r, Vlong a, int b)
308*37da2899SCharles.Forsyth {
309*37da2899SCharles.Forsyth 	ulong t;
310*37da2899SCharles.Forsyth 
311*37da2899SCharles.Forsyth 	t = a.lo;
312*37da2899SCharles.Forsyth 	if(b >= 32) {
313*37da2899SCharles.Forsyth 		r->lo = 0;
314*37da2899SCharles.Forsyth 		if(b >= 64) {
315*37da2899SCharles.Forsyth 			/* this is illegal re C standard */
316*37da2899SCharles.Forsyth 			r->hi = 0;
317*37da2899SCharles.Forsyth 			return;
318*37da2899SCharles.Forsyth 		}
319*37da2899SCharles.Forsyth 		r->hi = t << (b-32);
320*37da2899SCharles.Forsyth 		return;
321*37da2899SCharles.Forsyth 	}
322*37da2899SCharles.Forsyth 	if(b <= 0) {
323*37da2899SCharles.Forsyth 		r->lo = t;
324*37da2899SCharles.Forsyth 		r->hi = a.hi;
325*37da2899SCharles.Forsyth 		return;
326*37da2899SCharles.Forsyth 	}
327*37da2899SCharles.Forsyth 	r->lo = t << b;
328*37da2899SCharles.Forsyth 	r->hi = (t >> (32-b)) | (a.hi << b);
329*37da2899SCharles.Forsyth }
330*37da2899SCharles.Forsyth 
331*37da2899SCharles.Forsyth void
_andv(Vlong * r,Vlong a,Vlong b)332*37da2899SCharles.Forsyth _andv(Vlong *r, Vlong a, Vlong b)
333*37da2899SCharles.Forsyth {
334*37da2899SCharles.Forsyth 	r->hi = a.hi & b.hi;
335*37da2899SCharles.Forsyth 	r->lo = a.lo & b.lo;
336*37da2899SCharles.Forsyth }
337*37da2899SCharles.Forsyth 
338*37da2899SCharles.Forsyth void
_orv(Vlong * r,Vlong a,Vlong b)339*37da2899SCharles.Forsyth _orv(Vlong *r, Vlong a, Vlong b)
340*37da2899SCharles.Forsyth {
341*37da2899SCharles.Forsyth 	r->hi = a.hi | b.hi;
342*37da2899SCharles.Forsyth 	r->lo = a.lo | b.lo;
343*37da2899SCharles.Forsyth }
344*37da2899SCharles.Forsyth 
345*37da2899SCharles.Forsyth void
_xorv(Vlong * r,Vlong a,Vlong b)346*37da2899SCharles.Forsyth _xorv(Vlong *r, Vlong a, Vlong b)
347*37da2899SCharles.Forsyth {
348*37da2899SCharles.Forsyth 	r->hi = a.hi ^ b.hi;
349*37da2899SCharles.Forsyth 	r->lo = a.lo ^ b.lo;
350*37da2899SCharles.Forsyth }
351*37da2899SCharles.Forsyth 
352*37da2899SCharles.Forsyth void
_vpp(Vlong * l,Vlong * r)353*37da2899SCharles.Forsyth _vpp(Vlong *l, Vlong *r)
354*37da2899SCharles.Forsyth {
355*37da2899SCharles.Forsyth 
356*37da2899SCharles.Forsyth 	l->hi = r->hi;
357*37da2899SCharles.Forsyth 	l->lo = r->lo;
358*37da2899SCharles.Forsyth 	r->lo++;
359*37da2899SCharles.Forsyth 	if(r->lo == 0)
360*37da2899SCharles.Forsyth 		r->hi++;
361*37da2899SCharles.Forsyth }
362*37da2899SCharles.Forsyth 
363*37da2899SCharles.Forsyth void
_vmm(Vlong * l,Vlong * r)364*37da2899SCharles.Forsyth _vmm(Vlong *l, Vlong *r)
365*37da2899SCharles.Forsyth {
366*37da2899SCharles.Forsyth 
367*37da2899SCharles.Forsyth 	l->hi = r->hi;
368*37da2899SCharles.Forsyth 	l->lo = r->lo;
369*37da2899SCharles.Forsyth 	if(r->lo == 0)
370*37da2899SCharles.Forsyth 		r->hi--;
371*37da2899SCharles.Forsyth 	r->lo--;
372*37da2899SCharles.Forsyth }
373*37da2899SCharles.Forsyth 
374*37da2899SCharles.Forsyth void
_ppv(Vlong * l,Vlong * r)375*37da2899SCharles.Forsyth _ppv(Vlong *l, Vlong *r)
376*37da2899SCharles.Forsyth {
377*37da2899SCharles.Forsyth 
378*37da2899SCharles.Forsyth 	r->lo++;
379*37da2899SCharles.Forsyth 	if(r->lo == 0)
380*37da2899SCharles.Forsyth 		r->hi++;
381*37da2899SCharles.Forsyth 	l->hi = r->hi;
382*37da2899SCharles.Forsyth 	l->lo = r->lo;
383*37da2899SCharles.Forsyth }
384*37da2899SCharles.Forsyth 
385*37da2899SCharles.Forsyth void
_mmv(Vlong * l,Vlong * r)386*37da2899SCharles.Forsyth _mmv(Vlong *l, Vlong *r)
387*37da2899SCharles.Forsyth {
388*37da2899SCharles.Forsyth 
389*37da2899SCharles.Forsyth 	if(r->lo == 0)
390*37da2899SCharles.Forsyth 		r->hi--;
391*37da2899SCharles.Forsyth 	r->lo--;
392*37da2899SCharles.Forsyth 	l->hi = r->hi;
393*37da2899SCharles.Forsyth 	l->lo = r->lo;
394*37da2899SCharles.Forsyth }
395*37da2899SCharles.Forsyth 
396*37da2899SCharles.Forsyth void
_vasop(Vlong * ret,void * lv,void fn (Vlong *,Vlong,Vlong),int type,Vlong rv)397*37da2899SCharles.Forsyth _vasop(Vlong *ret, void *lv, void fn(Vlong*, Vlong, Vlong), int type, Vlong rv)
398*37da2899SCharles.Forsyth {
399*37da2899SCharles.Forsyth 	Vlong t, u;
400*37da2899SCharles.Forsyth 
401*37da2899SCharles.Forsyth 	u.lo = 0;
402*37da2899SCharles.Forsyth 	u.hi = 0;
403*37da2899SCharles.Forsyth 	switch(type) {
404*37da2899SCharles.Forsyth 	default:
405*37da2899SCharles.Forsyth 		abort();
406*37da2899SCharles.Forsyth 		break;
407*37da2899SCharles.Forsyth 
408*37da2899SCharles.Forsyth 	case 1:	/* schar */
409*37da2899SCharles.Forsyth 		t.lo = *(schar*)lv;
410*37da2899SCharles.Forsyth 		t.hi = t.lo >> 31;
411*37da2899SCharles.Forsyth 		fn(&u, t, rv);
412*37da2899SCharles.Forsyth 		*(schar*)lv = u.lo;
413*37da2899SCharles.Forsyth 		break;
414*37da2899SCharles.Forsyth 
415*37da2899SCharles.Forsyth 	case 2:	/* uchar */
416*37da2899SCharles.Forsyth 		t.lo = *(uchar*)lv;
417*37da2899SCharles.Forsyth 		t.hi = 0;
418*37da2899SCharles.Forsyth 		fn(&u, t, rv);
419*37da2899SCharles.Forsyth 		*(uchar*)lv = u.lo;
420*37da2899SCharles.Forsyth 		break;
421*37da2899SCharles.Forsyth 
422*37da2899SCharles.Forsyth 	case 3:	/* short */
423*37da2899SCharles.Forsyth 		t.lo = *(short*)lv;
424*37da2899SCharles.Forsyth 		t.hi = t.lo >> 31;
425*37da2899SCharles.Forsyth 		fn(&u, t, rv);
426*37da2899SCharles.Forsyth 		*(short*)lv = u.lo;
427*37da2899SCharles.Forsyth 		break;
428*37da2899SCharles.Forsyth 
429*37da2899SCharles.Forsyth 	case 4:	/* ushort */
430*37da2899SCharles.Forsyth 		t.lo = *(ushort*)lv;
431*37da2899SCharles.Forsyth 		t.hi = 0;
432*37da2899SCharles.Forsyth 		fn(&u, t, rv);
433*37da2899SCharles.Forsyth 		*(ushort*)lv = u.lo;
434*37da2899SCharles.Forsyth 		break;
435*37da2899SCharles.Forsyth 
436*37da2899SCharles.Forsyth 	case 9:	/* int */
437*37da2899SCharles.Forsyth 		t.lo = *(int*)lv;
438*37da2899SCharles.Forsyth 		t.hi = t.lo >> 31;
439*37da2899SCharles.Forsyth 		fn(&u, t, rv);
440*37da2899SCharles.Forsyth 		*(int*)lv = u.lo;
441*37da2899SCharles.Forsyth 		break;
442*37da2899SCharles.Forsyth 
443*37da2899SCharles.Forsyth 	case 10:	/* uint */
444*37da2899SCharles.Forsyth 		t.lo = *(uint*)lv;
445*37da2899SCharles.Forsyth 		t.hi = 0;
446*37da2899SCharles.Forsyth 		fn(&u, t, rv);
447*37da2899SCharles.Forsyth 		*(uint*)lv = u.lo;
448*37da2899SCharles.Forsyth 		break;
449*37da2899SCharles.Forsyth 
450*37da2899SCharles.Forsyth 	case 5:	/* long */
451*37da2899SCharles.Forsyth 		t.lo = *(long*)lv;
452*37da2899SCharles.Forsyth 		t.hi = t.lo >> 31;
453*37da2899SCharles.Forsyth 		fn(&u, t, rv);
454*37da2899SCharles.Forsyth 		*(long*)lv = u.lo;
455*37da2899SCharles.Forsyth 		break;
456*37da2899SCharles.Forsyth 
457*37da2899SCharles.Forsyth 	case 6:	/* ulong */
458*37da2899SCharles.Forsyth 		t.lo = *(ulong*)lv;
459*37da2899SCharles.Forsyth 		t.hi = 0;
460*37da2899SCharles.Forsyth 		fn(&u, t, rv);
461*37da2899SCharles.Forsyth 		*(ulong*)lv = u.lo;
462*37da2899SCharles.Forsyth 		break;
463*37da2899SCharles.Forsyth 
464*37da2899SCharles.Forsyth 	case 7:	/* vlong */
465*37da2899SCharles.Forsyth 	case 8:	/* uvlong */
466*37da2899SCharles.Forsyth 		fn(&u, *(Vlong*)lv, rv);
467*37da2899SCharles.Forsyth 		*(Vlong*)lv = u;
468*37da2899SCharles.Forsyth 		break;
469*37da2899SCharles.Forsyth 	}
470*37da2899SCharles.Forsyth 	*ret = u;
471*37da2899SCharles.Forsyth }
472*37da2899SCharles.Forsyth 
473*37da2899SCharles.Forsyth void
_p2v(Vlong * ret,void * p)474*37da2899SCharles.Forsyth _p2v(Vlong *ret, void *p)
475*37da2899SCharles.Forsyth {
476*37da2899SCharles.Forsyth 	long t;
477*37da2899SCharles.Forsyth 
478*37da2899SCharles.Forsyth 	t = (ulong)p;
479*37da2899SCharles.Forsyth 	ret->lo = t;
480*37da2899SCharles.Forsyth 	ret->hi = 0;
481*37da2899SCharles.Forsyth }
482*37da2899SCharles.Forsyth 
483*37da2899SCharles.Forsyth void
_sl2v(Vlong * ret,long sl)484*37da2899SCharles.Forsyth _sl2v(Vlong *ret, long sl)
485*37da2899SCharles.Forsyth {
486*37da2899SCharles.Forsyth 	long t;
487*37da2899SCharles.Forsyth 
488*37da2899SCharles.Forsyth 	t = sl;
489*37da2899SCharles.Forsyth 	ret->lo = t;
490*37da2899SCharles.Forsyth 	ret->hi = t >> 31;
491*37da2899SCharles.Forsyth }
492*37da2899SCharles.Forsyth 
493*37da2899SCharles.Forsyth void
_ul2v(Vlong * ret,ulong ul)494*37da2899SCharles.Forsyth _ul2v(Vlong *ret, ulong ul)
495*37da2899SCharles.Forsyth {
496*37da2899SCharles.Forsyth 	long t;
497*37da2899SCharles.Forsyth 
498*37da2899SCharles.Forsyth 	t = ul;
499*37da2899SCharles.Forsyth 	ret->lo = t;
500*37da2899SCharles.Forsyth 	ret->hi = 0;
501*37da2899SCharles.Forsyth }
502*37da2899SCharles.Forsyth 
503*37da2899SCharles.Forsyth void
_si2v(Vlong * ret,int si)504*37da2899SCharles.Forsyth _si2v(Vlong *ret, int si)
505*37da2899SCharles.Forsyth {
506*37da2899SCharles.Forsyth 	long t;
507*37da2899SCharles.Forsyth 
508*37da2899SCharles.Forsyth 	t = si;
509*37da2899SCharles.Forsyth 	ret->lo = t;
510*37da2899SCharles.Forsyth 	ret->hi = t >> 31;
511*37da2899SCharles.Forsyth }
512*37da2899SCharles.Forsyth 
513*37da2899SCharles.Forsyth void
_ui2v(Vlong * ret,uint ui)514*37da2899SCharles.Forsyth _ui2v(Vlong *ret, uint ui)
515*37da2899SCharles.Forsyth {
516*37da2899SCharles.Forsyth 	long t;
517*37da2899SCharles.Forsyth 
518*37da2899SCharles.Forsyth 	t = ui;
519*37da2899SCharles.Forsyth 	ret->lo = t;
520*37da2899SCharles.Forsyth 	ret->hi = 0;
521*37da2899SCharles.Forsyth }
522*37da2899SCharles.Forsyth 
523*37da2899SCharles.Forsyth void
_sh2v(Vlong * ret,long sh)524*37da2899SCharles.Forsyth _sh2v(Vlong *ret, long sh)
525*37da2899SCharles.Forsyth {
526*37da2899SCharles.Forsyth 	long t;
527*37da2899SCharles.Forsyth 
528*37da2899SCharles.Forsyth 	t = (sh << 16) >> 16;
529*37da2899SCharles.Forsyth 	ret->lo = t;
530*37da2899SCharles.Forsyth 	ret->hi = t >> 31;
531*37da2899SCharles.Forsyth }
532*37da2899SCharles.Forsyth 
533*37da2899SCharles.Forsyth void
_uh2v(Vlong * ret,ulong ul)534*37da2899SCharles.Forsyth _uh2v(Vlong *ret, ulong ul)
535*37da2899SCharles.Forsyth {
536*37da2899SCharles.Forsyth 	long t;
537*37da2899SCharles.Forsyth 
538*37da2899SCharles.Forsyth 	t = ul & 0xffff;
539*37da2899SCharles.Forsyth 	ret->lo = t;
540*37da2899SCharles.Forsyth 	ret->hi = 0;
541*37da2899SCharles.Forsyth }
542*37da2899SCharles.Forsyth 
543*37da2899SCharles.Forsyth void
_sc2v(Vlong * ret,long uc)544*37da2899SCharles.Forsyth _sc2v(Vlong *ret, long uc)
545*37da2899SCharles.Forsyth {
546*37da2899SCharles.Forsyth 	long t;
547*37da2899SCharles.Forsyth 
548*37da2899SCharles.Forsyth 	t = (uc << 24) >> 24;
549*37da2899SCharles.Forsyth 	ret->lo = t;
550*37da2899SCharles.Forsyth 	ret->hi = t >> 31;
551*37da2899SCharles.Forsyth }
552*37da2899SCharles.Forsyth 
553*37da2899SCharles.Forsyth void
_uc2v(Vlong * ret,ulong ul)554*37da2899SCharles.Forsyth _uc2v(Vlong *ret, ulong ul)
555*37da2899SCharles.Forsyth {
556*37da2899SCharles.Forsyth 	long t;
557*37da2899SCharles.Forsyth 
558*37da2899SCharles.Forsyth 	t = ul & 0xff;
559*37da2899SCharles.Forsyth 	ret->lo = t;
560*37da2899SCharles.Forsyth 	ret->hi = 0;
561*37da2899SCharles.Forsyth }
562*37da2899SCharles.Forsyth 
563*37da2899SCharles.Forsyth long
_v2sc(Vlong rv)564*37da2899SCharles.Forsyth _v2sc(Vlong rv)
565*37da2899SCharles.Forsyth {
566*37da2899SCharles.Forsyth 	long t;
567*37da2899SCharles.Forsyth 
568*37da2899SCharles.Forsyth 	t = rv.lo & 0xff;
569*37da2899SCharles.Forsyth 	return (t << 24) >> 24;
570*37da2899SCharles.Forsyth }
571*37da2899SCharles.Forsyth 
572*37da2899SCharles.Forsyth long
_v2uc(Vlong rv)573*37da2899SCharles.Forsyth _v2uc(Vlong rv)
574*37da2899SCharles.Forsyth {
575*37da2899SCharles.Forsyth 
576*37da2899SCharles.Forsyth 	return rv.lo & 0xff;
577*37da2899SCharles.Forsyth }
578*37da2899SCharles.Forsyth 
579*37da2899SCharles.Forsyth long
_v2sh(Vlong rv)580*37da2899SCharles.Forsyth _v2sh(Vlong rv)
581*37da2899SCharles.Forsyth {
582*37da2899SCharles.Forsyth 	long t;
583*37da2899SCharles.Forsyth 
584*37da2899SCharles.Forsyth 	t = rv.lo & 0xffff;
585*37da2899SCharles.Forsyth 	return (t << 16) >> 16;
586*37da2899SCharles.Forsyth }
587*37da2899SCharles.Forsyth 
588*37da2899SCharles.Forsyth long
_v2uh(Vlong rv)589*37da2899SCharles.Forsyth _v2uh(Vlong rv)
590*37da2899SCharles.Forsyth {
591*37da2899SCharles.Forsyth 
592*37da2899SCharles.Forsyth 	return rv.lo & 0xffff;
593*37da2899SCharles.Forsyth }
594*37da2899SCharles.Forsyth 
595*37da2899SCharles.Forsyth long
_v2sl(Vlong rv)596*37da2899SCharles.Forsyth _v2sl(Vlong rv)
597*37da2899SCharles.Forsyth {
598*37da2899SCharles.Forsyth 
599*37da2899SCharles.Forsyth 	return rv.lo;
600*37da2899SCharles.Forsyth }
601*37da2899SCharles.Forsyth 
602*37da2899SCharles.Forsyth long
_v2ul(Vlong rv)603*37da2899SCharles.Forsyth _v2ul(Vlong rv)
604*37da2899SCharles.Forsyth {
605*37da2899SCharles.Forsyth 
606*37da2899SCharles.Forsyth 	return rv.lo;
607*37da2899SCharles.Forsyth }
608*37da2899SCharles.Forsyth 
609*37da2899SCharles.Forsyth long
_v2si(Vlong rv)610*37da2899SCharles.Forsyth _v2si(Vlong rv)
611*37da2899SCharles.Forsyth {
612*37da2899SCharles.Forsyth 
613*37da2899SCharles.Forsyth 	return rv.lo;
614*37da2899SCharles.Forsyth }
615*37da2899SCharles.Forsyth 
616*37da2899SCharles.Forsyth long
_v2ui(Vlong rv)617*37da2899SCharles.Forsyth _v2ui(Vlong rv)
618*37da2899SCharles.Forsyth {
619*37da2899SCharles.Forsyth 
620*37da2899SCharles.Forsyth 	return rv.lo;
621*37da2899SCharles.Forsyth }
622*37da2899SCharles.Forsyth 
623*37da2899SCharles.Forsyth int
_testv(Vlong rv)624*37da2899SCharles.Forsyth _testv(Vlong rv)
625*37da2899SCharles.Forsyth {
626*37da2899SCharles.Forsyth 	return rv.lo || rv.hi;
627*37da2899SCharles.Forsyth }
628*37da2899SCharles.Forsyth 
629*37da2899SCharles.Forsyth int
_eqv(Vlong lv,Vlong rv)630*37da2899SCharles.Forsyth _eqv(Vlong lv, Vlong rv)
631*37da2899SCharles.Forsyth {
632*37da2899SCharles.Forsyth 	return lv.lo == rv.lo && lv.hi == rv.hi;
633*37da2899SCharles.Forsyth }
634*37da2899SCharles.Forsyth 
635*37da2899SCharles.Forsyth int
_nev(Vlong lv,Vlong rv)636*37da2899SCharles.Forsyth _nev(Vlong lv, Vlong rv)
637*37da2899SCharles.Forsyth {
638*37da2899SCharles.Forsyth 	return lv.lo != rv.lo || lv.hi != rv.hi;
639*37da2899SCharles.Forsyth }
640*37da2899SCharles.Forsyth 
641*37da2899SCharles.Forsyth int
_ltv(Vlong lv,Vlong rv)642*37da2899SCharles.Forsyth _ltv(Vlong lv, Vlong rv)
643*37da2899SCharles.Forsyth {
644*37da2899SCharles.Forsyth 	return (long)lv.hi < (long)rv.hi ||
645*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo < rv.lo);
646*37da2899SCharles.Forsyth }
647*37da2899SCharles.Forsyth 
648*37da2899SCharles.Forsyth int
_lev(Vlong lv,Vlong rv)649*37da2899SCharles.Forsyth _lev(Vlong lv, Vlong rv)
650*37da2899SCharles.Forsyth {
651*37da2899SCharles.Forsyth 	return (long)lv.hi < (long)rv.hi ||
652*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo <= rv.lo);
653*37da2899SCharles.Forsyth }
654*37da2899SCharles.Forsyth 
655*37da2899SCharles.Forsyth int
_gtv(Vlong lv,Vlong rv)656*37da2899SCharles.Forsyth _gtv(Vlong lv, Vlong rv)
657*37da2899SCharles.Forsyth {
658*37da2899SCharles.Forsyth 	return (long)lv.hi > (long)rv.hi ||
659*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo > rv.lo);
660*37da2899SCharles.Forsyth }
661*37da2899SCharles.Forsyth 
662*37da2899SCharles.Forsyth int
_gev(Vlong lv,Vlong rv)663*37da2899SCharles.Forsyth _gev(Vlong lv, Vlong rv)
664*37da2899SCharles.Forsyth {
665*37da2899SCharles.Forsyth 	return (long)lv.hi > (long)rv.hi ||
666*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo >= rv.lo);
667*37da2899SCharles.Forsyth }
668*37da2899SCharles.Forsyth 
669*37da2899SCharles.Forsyth int
_lov(Vlong lv,Vlong rv)670*37da2899SCharles.Forsyth _lov(Vlong lv, Vlong rv)
671*37da2899SCharles.Forsyth {
672*37da2899SCharles.Forsyth 	return lv.hi < rv.hi ||
673*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo < rv.lo);
674*37da2899SCharles.Forsyth }
675*37da2899SCharles.Forsyth 
676*37da2899SCharles.Forsyth int
_lsv(Vlong lv,Vlong rv)677*37da2899SCharles.Forsyth _lsv(Vlong lv, Vlong rv)
678*37da2899SCharles.Forsyth {
679*37da2899SCharles.Forsyth 	return lv.hi < rv.hi ||
680*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo <= rv.lo);
681*37da2899SCharles.Forsyth }
682*37da2899SCharles.Forsyth 
683*37da2899SCharles.Forsyth int
_hiv(Vlong lv,Vlong rv)684*37da2899SCharles.Forsyth _hiv(Vlong lv, Vlong rv)
685*37da2899SCharles.Forsyth {
686*37da2899SCharles.Forsyth 	return lv.hi > rv.hi ||
687*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo > rv.lo);
688*37da2899SCharles.Forsyth }
689*37da2899SCharles.Forsyth 
690*37da2899SCharles.Forsyth int
_hsv(Vlong lv,Vlong rv)691*37da2899SCharles.Forsyth _hsv(Vlong lv, Vlong rv)
692*37da2899SCharles.Forsyth {
693*37da2899SCharles.Forsyth 	return lv.hi > rv.hi ||
694*37da2899SCharles.Forsyth 		(lv.hi == rv.hi && lv.lo >= rv.lo);
695*37da2899SCharles.Forsyth }
696