/
va.h
243 lines (213 loc) · 11.1 KB
/
va.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
/* Copyright 1990-2011, Jsoftware Inc. All rights reserved. */
/* License in license.txt. */
/* */
/* Verbs: Macros and Defined Constants for Atomic (Scalar) Verbs */
typedef struct {VF f;I cv;} VA2;
typedef struct {VA2 p2[13];VA2 pins[7];VA2 ppfx[7];VA2 psfx[7];} VA;
typedef struct {VA2 p1[6];} UA;
/* cv - control vector */
#define VBB (I)1 /* convert arguments to B */
#define VII (I)2 /* convert arguments to I */
#define VDD (I)4 /* convert arguments to D */
#define VZZ (I)8 /* convert arguments to Z */
#define VXX (I)16 /* convert arguments to XNUM */
#define VQQ (I)32 /* convert arguments to RAT */
#define VB (I)256 /* result type B */
#define VI (I)512 /* result type I */
#define VD (I)1024 /* result type D */
#define VZ (I)2048 /* result type Z */
#define VX (I)4096 /* result type XNUM */
#define VQ (I)8192 /* result type RAT */
#define VSB (I)16384 /* result type SBT */
#define VRD (I)65536 /* convert result to D if possible */
#define VRI (I)131072 /* convert result to I if possible */
#define VXEQ (I)262144 /* convert to XNUM for = ~: */
#define VXCF (I)524288 /* convert to XNUM ceiling/floor */
#define VXFC (I)1048576 /* convert to XNUM floor/ceiling */
#if SY_64
#define NOT(v) ((v)^0x0101010101010101)
#else
#define NOT(v) ((v)^0x01010101)
#endif
#define SNOT(v) ((v)^0x0101)
#define INOT(v) ((v)^0x01010101)
#define AND(u,v) ( u & v)
#define GT(u,v) ( u & ~v)
#define LT(u,v) (~u & v)
#define OR(u,v) ( u | v)
#define NE(u,v) ( u ^ v)
#define GE(u,v) NOT( LT(u,v))
#define LE(u,v) NOT( GT(u,v))
#define EQ(u,v) NOT( NE(u,v))
#define NOR(u,v) NOT( OR(u,v))
#define NAND(u,v) NOT(AND(u,v))
#define IAND AND
#define IGT GT
#define ILT LT
#define IOR OR
#define INE NE
#define IGE(u,v) INOT(ILT(u,v))
#define ILE(u,v) INOT(IGT(u,v))
#define IEQ(u,v) INOT(INE(u,v))
#define INOR(u,v) INOT(IOR(u,v))
#define INAND(u,v) INOT(IAND(u,v))
#define SAND AND
#define SGT GT
#define SLT LT
#define SOR OR
#define SNE NE
#define SGE(u,v) SNOT(ILT(u,v))
#define SLE(u,v) SNOT(IGT(u,v))
#define SEQ(u,v) SNOT(INE(u,v))
#define SNOR(u,v) SNOT(IOR(u,v))
#define SNAND(u,v) SNOT(IAND(u,v))
#define BAND(u,v) (u && v)
#define BGT(u,v) (u > v)
#define BLT(u,v) (u < v)
#define BOR(u,v) (u || v)
#define BNE(u,v) (u != v)
#define BGE(u,v) (u >= v)
#define BLE(u,v) (u <= v)
#define BEQ(u,v) (u == v)
#define BNOR(u,v) (!(u||v))
#define BNAND(u,v) (!(u&&v))
#define PLUS(u,v) ((u)+ (v))
#define PLUSO(u,v) ((u)+(D)(v))
#define MINUS(u,v) ((u)- (v))
#define MINUSO(u,v) ((u)-(D)(v))
#define TYMES(u,v) ((u)&&(v)?(u)* (v):0)
#define TYMESO(u,v) ((u)&&(v)?(u)*(D)(v):0)
#define DIV(u,v) ((u)||(v)?(u)/(v):0)
#define SBORDER(v) (SBUV(v)->order)
#define SBLT(u,v) (SBORDER(u)< SBORDER(v))
#define SBLE(u,v) (SBORDER(u)<=SBORDER(v))
#define SBGT(u,v) (SBORDER(u)> SBORDER(v))
#define SBGE(u,v) (SBORDER(u)>=SBORDER(v))
#define SBMIN(u,v) (SBORDER(u)<=SBORDER(v)?(u):(v))
#define SBMAX(u,v) (SBORDER(u)>=SBORDER(v)?(u):(v))
#define BOV(exp) if(exp){er=EWOV; break;}
#define BW0000(x,y) (0)
#define BW0001(x,y) ( (x)& (y) )
#define BW0010(x,y) ( (x)&~(y) )
#define BW0011(x,y) (x)
#define BW0100(x,y) ( ~(x)& (y) )
#define BW0101(x,y) (y)
#define BW0110(x,y) ( (x)^ (y) )
#define BW0111(x,y) ( (x)| (y) )
#define BW1000(x,y) (~( (x)| (y)))
#define BW1001(x,y) (~( (x)^ (y)))
#define BW1010(x,y) ( ~(y) )
#define BW1011(x,y) ( (x)|~(y) )
#define BW1100(x,y) ( ~(x) )
#define BW1101(x,y) ( ~(x)| (y) )
#define BW1110(x,y) (~( (x)& (y)))
#define BW1111(x,y) (-1)
#define AHDR1(f,Tz,Tx) void f(J jt, I n,Tz*z,Tx*x)
#define AHDR2(f,Tz,Tx,Ty) void f(J jt,B b,I m, I n,Tz*z,Tx*x,Ty*y)
#define AHDRP(f,Tz,Tx) void f(J jt, I m,I c,I n,Tz*z,Tx*x)
#define AHDRR(f,Tz,Tx) void f(J jt, I m,I c,I n,Tz*z,Tx*x)
#define AHDRS(f,Tz,Tx) void f(J jt, I m,I c,I n,Tz*z,Tx*x)
/*
b 1 iff cell rank of a <= cell rank of w
m # atoms of in the cell with the smaller rank
n excess # of cell atoms
z pointer to result atoms
x pointer to a atoms
y pointer to w atoms
*/
#define AMON(f,Tz,Tx,stmt) AHDR1(f,Tz,Tx){DO(n, {stmt} ++z; ++x;);}
#define AIFX(f,Tz,Tx,Ty,symb) \
AHDR2(f,Tz,Tx,Ty){Tx u;Ty v; \
if(1==n) DO(m, *z++=*x++ symb *y++; ) \
else if(b)DO(m, u=*x++; DO(n, *z++=u symb *y++;)) \
else DO(m, v=*y++; DO(n, *z++=*x++ symb v; )); \
}
#define AOVF(f,Tz,Tx,Ty,fvv,f1v,fv1) \
AHDR2(f,I,I,I){C er=0;I u,v,*x1,*y1,*z1; \
if(1==n) {fvv(m,z,x,y); RER;} \
else if(b){z1=z; y1=y; DO(m, u=*x++; f1v(n,z,u,y); RER; z=z1+=n; y=y1+=n;);} \
else {z1=z; x1=x; DO(m, v=*y++; fv1(n,z,x,v); RER; z=z1+=n; x=x1+=n;);} \
}
#define APFX(f,Tz,Tx,Ty,pfx) \
AHDR2(f,Tz,Tx,Ty){Tx u;Ty v; \
if(1==n) DO(m, *z++=pfx(*x,*y); x++; y++; ) \
else if(b)DO(m, u=*x++; DO(n, *z++=pfx( u,*y); y++;)) \
else DO(m, v=*y++; DO(n, *z++=pfx(*x, v); x++; )); \
}
#define ANAN(f,Tz,Tx,Ty,pfx) \
AHDR2(f,Tz,Tx,Ty){Tx u;Ty v; \
NAN0; \
if(1==n) DO(m, *z++=pfx(*x,*y); x++; y++; ) \
else if(b)DO(m, u=*x++; DO(n, *z++=pfx( u,*y); y++;)) \
else DO(m, v=*y++; DO(n, *z++=pfx(*x, v); x++; )); \
NAN1V; \
}
#define APFY(f,Tz,Tx,Ty,pfx) \
AHDR2(f,Tz,A,A){A u,v;I c,d; \
c=jt->rela; \
d=jt->relw; \
switch((c?2:0)+(d?1:0)){ \
case 0: \
if(1==n) DO(m, *z++=pfx(*x, *y ); x++; y++; ) \
else if(b)DO(m, u= *x++; DO(n, *z++=pfx(u, *y ); y++;)) \
else DO(m, v= *y++; DO(n, *z++=pfx(*x, v ); x++; )); \
R; \
case 1: \
if(1==n) DO(m, *z++=pfx(*x, (A)(d+(I)*y)); x++; y++; ) \
else if(b)DO(m, u= *x++; DO(n, *z++=pfx(u, (A)(d+(I)*y)); y++;)) \
else DO(m, v=(A)(d+(I)*y++); DO(n, *z++=pfx(*x, v ); x++; )); \
R; \
case 2: \
if(1==n) DO(m, *z++=pfx((A)(c+(I)*x),*y ); x++; y++; ) \
else if(b)DO(m, u=(A)(c+(I)*x++); DO(n, *z++=pfx(u, *y ); y++;)) \
else DO(m, v= *y++; DO(n, *z++=pfx((A)(c+(I)*x),v ); x++; )); \
R; \
case 3: \
if(1==n) DO(m, *z++=pfx((A)(c+(I)*x),(A)(d+(I)*y)); x++; y++; ) \
else if(b)DO(m, u=(A)(c+(I)*x++); DO(n, *z++=pfx(u, (A)(d+(I)*y)); y++;)) \
else DO(m, v=(A)(d+(I)*y++); DO(n, *z++=pfx((A)(c+(I)*x),v ); x++; )); \
}}
/* Embedded visual tools v3.0 fails perform the z++ on all wince platforms. -KBI */
#if SY_WINCE
#define ACMP(f,Tz,Tx,Ty,pfx) \
AHDR2(f,B,Tx,Ty){D u,v; \
if(1==n) DO(m, u=(D)*x++; v=(D)*y++; *z++=pfx(u,v); ) \
else if(b)DO(m, u=(D)*x++; DO(n, v=(D)*y++; *z++=pfx(u,v);)) \
else DO(m, v=(D)*y++; DO(n, u=(D)*x++; *z++=pfx(u,v);)); \
}
#else
#define ACMP(f,Tz,Tx,Ty,pfx) \
AHDR2(f,B,Tx,Ty){D u,v; \
if(1==n) DO(m, u=(D)*x++; v=(D)*y++; *z=pfx(u,v); z++; ) \
else if(b)DO(m, u=(D)*x++; DO(n, v=(D)*y++; *z=pfx(u,v); z++;)) \
else DO(m, v=(D)*y++; DO(n, u=(D)*x++; *z=pfx(u,v); z++;)); \
}
#endif
#define BFSUB(xb,yi,pfx,bpfx) \
{B*a,*p,*yb,*zb;I j,k; \
a=xb; p=(B*)&u; k=0; \
if(0==r)for(j=0;j<m;++j){ \
c=*a++; DO(SZI, p[i]=c;); DO(q, v=*yi++; *zz++=pfx(u,v);); \
}else for(j=0;j<m;++j){ \
q=(t-k)/SZI; r=(t-k)%SZI; \
c=*a++; DO(SZI, p[i]=c;); DO(q, v=*yi++; *zz++=pfx(u,v);); \
if(0==r)k=0; \
else{ \
yb=(B*)yi; zb=(B*)zz; \
DO(r, d=*yb++; *zb++=bpfx(c,d);); \
c=*a; k=SZI-r; DO(k, d=*yb++; *zb++=bpfx(c,d);); \
++yi; ++zz; \
}}}
#define BPFX(f,pfx,bpfx,pfyx,bpfyx) \
AHDR2(f,B,B,B){B c,d;I dd,q,r,t,u,v,*xx,*yy,*zz; \
t=1==n?m:n; q=t/SZI; r=t%SZI; \
xx=(I*)x; yy=(I*)y; zz=(I*)z; \
if(1==n){ \
DO(q, u=*xx++; v=*yy++; *zz++=pfx(u,v);); \
if(r){u=*xx++; v=*yy++; dd=pfx(u,v); MC(zz,&dd,r);} \
}else if(t<SZI){ \
if(b)DO(m, c=*x++; DO(n, v=*y++; *z++=bpfx(c,v);)) \
else DO(m, d=*y++; DO(n, u=*x++; *z++=bpfx(u,d);)); \
}else if(b)BFSUB(x,yy,pfx, bpfx) \
else BFSUB(y,xx,pfyx,bpfyx) \
}