-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgenv-c.4th
338 lines (336 loc) · 15.6 KB
/
genv-c.4th
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
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
genv-binary-c bplusv_ vb *v1 + *v2
genv-binary-c wplusv_ vw *v1 + *v2
genv-binary-c lplusv_ vl *v1 + *v2
genv-binary-c xplusv_ vx *v1 + *v2
genv-binary-c sfplusv_ vsf *v1 + *v2
genv-binary-c dfplusv_ vdf *v1 + *v2
genv-binary-c bminusv_ vb *v1 - *v2
genv-binary-c wminusv_ vw *v1 - *v2
genv-binary-c lminusv_ vl *v1 - *v2
genv-binary-c xminusv_ vx *v1 - *v2
genv-binary-c sfminusv_ vsf *v1 - *v2
genv-binary-c dfminusv_ vdf *v1 - *v2
genv-unary-c bnegatev_ vb - *v1
genv-unary-c wnegatev_ vw - *v1
genv-unary-c lnegatev_ vl - *v1
genv-unary-c xnegatev_ vx - *v1
genv-unary-c sfnegatev_ vsf - *v1
genv-unary-c dfnegatev_ vdf - *v1
genv-unary-c babsv_ vb (*v1 + (*v1 < 0)) ^ (*v1 < 0)
genv-unary-c wabsv_ vw (*v1 + (*v1 < 0)) ^ (*v1 < 0)
genv-unary-c labsv_ vl (*v1 + (*v1 < 0)) ^ (*v1 < 0)
genv-unary-c xabsv_ vx (*v1 + (*v1 < 0)) ^ (*v1 < 0)
\ genv-unary-c sfabsv_ vsf (*v1 + (*v1 < 0)) ^ (*v1 < 0)
\ genv-unary-c dfabsv_ vdf (*v1 + (*v1 < 0)) ^ (*v1 < 0)
genv-binary-c btimesv_ vb *v1 * *v2
genv-binary-c wtimesv_ vw *v1 * *v2
genv-binary-c ltimesv_ vl *v1 * *v2
genv-binary-c xtimesv_ vx *v1 * *v2
genv-binary-c sftimesv_ vsf *v1 * *v2
genv-binary-c dftimesv_ vdf *v1 * *v2
genv-binary-c bslashv_ vb *v1 / *v2
genv-binary-c wslashv_ vw *v1 / *v2
genv-binary-c lslashv_ vl *v1 / *v2
genv-binary-c xslashv_ vx *v1 / *v2
genv-binary-c ubslashv_ vub *v1 / *v2
genv-binary-c uwslashv_ vuw *v1 / *v2
genv-binary-c ulslashv_ vul *v1 / *v2
genv-binary-c uxslashv_ vux *v1 / *v2
genv-binary-c sfslashv_ vsf *v1 / *v2
genv-binary-c dfslashv_ vdf *v1 / *v2
genv-binary-c bmodv_ vb *v1 % *v2
genv-binary-c wmodv_ vw *v1 % *v2
genv-binary-c lmodv_ vl *v1 % *v2
genv-binary-c xmodv_ vx *v1 % *v2
genv-binary-c ubmodv_ vub *v1 % *v2
genv-binary-c uwmodv_ vuw *v1 % *v2
genv-binary-c ulmodv_ vul *v1 % *v2
genv-binary-c uxmodv_ vux *v1 % *v2
genv-binary-c bandv_ vb *v1 & *v2
genv-binary-c borv_ vb *v1 | *v2
genv-binary-c bxorv_ vb *v1 ^ *v2
genv-unary-c binvertv_ vb ~ *v1
genv-ternary-c bmuxv_ vb (*v1 & *v3) | (*v2 & ~*v3)
genv-binary-c blshiftv_ vb *v1 << *v2
genv-binary-c wlshiftv_ vw *v1 << *v2
genv-binary-c llshiftv_ vl *v1 << *v2
genv-binary-c xlshiftv_ vx *v1 << *v2
genv-binary-c brshiftv_ vb *v1 >> *v2
genv-binary-c wrshiftv_ vw *v1 >> *v2
genv-binary-c lrshiftv_ vl *v1 >> *v2
genv-binary-c xrshiftv_ vx *v1 >> *v2
genv-binary-c ubrshiftv_ vub *v1 >> *v2
genv-binary-c uwrshiftv_ vuw *v1 >> *v2
genv-binary-c ulrshiftv_ vul *v1 >> *v2
genv-binary-c uxrshiftv_ vux *v1 >> *v2
genv-binary-c bltv_ vb *v1 < *v2
genv-binary-c wltv_ vw *v1 < *v2
genv-binary-c lltv_ vl *v1 < *v2
genv-binary-c xltv_ vx *v1 < *v2
genv-binary-c ubltv_ vub *v1 < *v2
genv-binary-c uwltv_ vuw *v1 < *v2
genv-binary-c ulltv_ vul *v1 < *v2
genv-binary-c uxltv_ vux *v1 < *v2
genv-binary-c sfltv_ vsf *v1 < *v2
genv-binary-c dfltv_ vdf *v1 < *v2
genv-binary-c beqv_ vb *v1 == *v2
genv-binary-c weqv_ vw *v1 == *v2
genv-binary-c leqv_ vl *v1 == *v2
genv-binary-c xeqv_ vx *v1 == *v2
genv-binary-c sfeqv_ vsf *v1 == *v2
genv-binary-c dfeqv_ vdf *v1 == *v2
genv-binary-c bgtv_ vb *v1 > *v2
genv-binary-c wgtv_ vw *v1 > *v2
genv-binary-c lgtv_ vl *v1 > *v2
genv-binary-c xgtv_ vx *v1 > *v2
genv-binary-c ubgtv_ vub *v1 > *v2
genv-binary-c uwgtv_ vuw *v1 > *v2
genv-binary-c ulgtv_ vul *v1 > *v2
genv-binary-c uxgtv_ vux *v1 > *v2
genv-binary-c sfgtv_ vsf *v1 > *v2
genv-binary-c dfgtv_ vdf *v1 > *v2
genv-binary-c blev_ vb *v1 <= *v2
genv-binary-c wlev_ vw *v1 <= *v2
genv-binary-c llev_ vl *v1 <= *v2
genv-binary-c xlev_ vx *v1 <= *v2
genv-binary-c ublev_ vub *v1 <= *v2
genv-binary-c uwlev_ vuw *v1 <= *v2
genv-binary-c ullev_ vul *v1 <= *v2
genv-binary-c uxlev_ vux *v1 <= *v2
genv-binary-c sflev_ vsf *v1 <= *v2
genv-binary-c dflev_ vdf *v1 <= *v2
genv-binary-c bgev_ vb *v1 >= *v2
genv-binary-c wgev_ vw *v1 >= *v2
genv-binary-c lgev_ vl *v1 >= *v2
genv-binary-c xgev_ vx *v1 >= *v2
genv-binary-c ubgev_ vub *v1 >= *v2
genv-binary-c uwgev_ vuw *v1 >= *v2
genv-binary-c ulgev_ vul *v1 >= *v2
genv-binary-c uxgev_ vux *v1 >= *v2
genv-binary-c sfgev_ vsf *v1 >= *v2
genv-binary-c dfgev_ vdf *v1 >= *v2
genv-binary-c bnev_ vb *v1 != *v2
genv-binary-c wnev_ vw *v1 != *v2
genv-binary-c lnev_ vl *v1 != *v2
genv-binary-c xnev_ vx *v1 != *v2
genv-binary-c sfnev_ vsf *v1 != *v2
genv-binary-c dfnev_ vdf *v1 != *v2
genv-binary-c bmaxv_ vb ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c wmaxv_ vw ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c lmaxv_ vl ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c xmaxv_ vx ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c ubmaxv_ vub ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c uwmaxv_ vuw ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c ulmaxv_ vul ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c uxmaxv_ vux ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
\ genv-binary-c sfmaxv_ vsf ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
\ genv-binary-c dfmaxv_ vdf ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v2
genv-binary-c bminv_ vb ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c wminv_ vw ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c lminv_ vl ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c xminv_ vx ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c ubminv_ vub ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c uwminv_ vuw ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c ulminv_ vul ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-binary-c uxminv_ vux ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
\ genv-binary-c sfminv_ vsf ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
\ genv-binary-c dfminv_ vdf ((*v1 >= *v2) & (*v1 ^ *v2)) ^ *v1
genv-vs-c bplusvs_ vb n *v1 + s2
genv-vs-c wplusvs_ vw n *v1 + s2
genv-vs-c lplusvs_ vl n *v1 + s2
genv-vs-c xplusvs_ vx n *v1 + s2
genv-vs-c sfplusvs_ vsf r *v1 + s2
genv-vs-c dfplusvs_ vdf r *v1 + s2
genv-vs-c bminusvs_ vb n *v1 - s2
genv-vs-c wminusvs_ vw n *v1 - s2
genv-vs-c lminusvs_ vl n *v1 - s2
genv-vs-c xminusvs_ vx n *v1 - s2
genv-vs-c sfminusvs_ vsf r *v1 - s2
genv-vs-c dfminusvs_ vdf r *v1 - s2
genv-vs-c btimesvs_ vb n *v1 * s2
genv-vs-c wtimesvs_ vw n *v1 * s2
genv-vs-c ltimesvs_ vl n *v1 * s2
genv-vs-c xtimesvs_ vx n *v1 * s2
genv-vs-c sftimesvs_ vsf r *v1 * s2
genv-vs-c dftimesvs_ vdf r *v1 * s2
genv-vs-c bslashvs_ vb n *v1 / s2
genv-vs-c wslashvs_ vw n *v1 / s2
genv-vs-c lslashvs_ vl n *v1 / s2
genv-vs-c xslashvs_ vx n *v1 / s2
genv-vs-c ubslashvs_ vub u *v1 / s2
genv-vs-c uwslashvs_ vuw u *v1 / s2
genv-vs-c ulslashvs_ vul u *v1 / s2
genv-vs-c uxslashvs_ vux u *v1 / s2
genv-vs-c sfslashvs_ vsf r *v1 / s2
genv-vs-c dfslashvs_ vdf r *v1 / s2
genv-vs-c bmodvs_ vb n *v1 % s2
genv-vs-c wmodvs_ vw n *v1 % s2
genv-vs-c lmodvs_ vl n *v1 % s2
genv-vs-c xmodvs_ vx n *v1 % s2
genv-vs-c ubmodvs_ vub u *v1 % s2
genv-vs-c uwmodvs_ vuw u *v1 % s2
genv-vs-c ulmodvs_ vul u *v1 % s2
genv-vs-c uxmodvs_ vux u *v1 % s2
genv-vs-c bandvs_ vb n *v1 & s2
genv-vs-c borvs_ vb n *v1 | s2
genv-vs-c bxorvs_ vb n *v1 ^ s2
genv-vs-c blshiftvs_ vb n *v1 << s2
genv-vs-c wlshiftvs_ vw n *v1 << s2
genv-vs-c llshiftvs_ vl n *v1 << s2
genv-vs-c xlshiftvs_ vx n *v1 << s2
genv-vs-c brshiftvs_ vb n *v1 >> s2
genv-vs-c wrshiftvs_ vw n *v1 >> s2
genv-vs-c lrshiftvs_ vl n *v1 >> s2
genv-vs-c xrshiftvs_ vx n *v1 >> s2
genv-vs-c ubrshiftvs_ vub u *v1 >> s2
genv-vs-c uwrshiftvs_ vuw u *v1 >> s2
genv-vs-c ulrshiftvs_ vul u *v1 >> s2
genv-vs-c uxrshiftvs_ vux u *v1 >> s2
genv-vs-c bltvs_ vb n *v1 < s2
genv-vs-c wltvs_ vw n *v1 < s2
genv-vs-c lltvs_ vl n *v1 < s2
genv-vs-c xltvs_ vx n *v1 < s2
genv-vs-c ubltvs_ vub u *v1 < s2
genv-vs-c uwltvs_ vuw u *v1 < s2
genv-vs-c ulltvs_ vul u *v1 < s2
genv-vs-c uxltvs_ vux u *v1 < s2
genv-vs-c sfltvs_ vsf r *v1 < s2
genv-vs-c dfltvs_ vdf r *v1 < s2
genv-vs-c beqvs_ vb n *v1 == s2
genv-vs-c weqvs_ vw n *v1 == s2
genv-vs-c leqvs_ vl n *v1 == s2
genv-vs-c xeqvs_ vx n *v1 == s2
genv-vs-c sfeqvs_ vsf r *v1 == s2
genv-vs-c dfeqvs_ vdf r *v1 == s2
genv-vs-c bgtvs_ vb n *v1 > s2
genv-vs-c wgtvs_ vw n *v1 > s2
genv-vs-c lgtvs_ vl n *v1 > s2
genv-vs-c xgtvs_ vx n *v1 > s2
genv-vs-c ubgtvs_ vub u *v1 > s2
genv-vs-c uwgtvs_ vuw u *v1 > s2
genv-vs-c ulgtvs_ vul u *v1 > s2
genv-vs-c uxgtvs_ vux u *v1 > s2
genv-vs-c sfgtvs_ vsf r *v1 > s2
genv-vs-c dfgtvs_ vdf r *v1 > s2
genv-vs-c blevs_ vb n *v1 <= s2
genv-vs-c wlevs_ vw n *v1 <= s2
genv-vs-c llevs_ vl n *v1 <= s2
genv-vs-c xlevs_ vx n *v1 <= s2
genv-vs-c ublevs_ vub u *v1 <= s2
genv-vs-c uwlevs_ vuw u *v1 <= s2
genv-vs-c ullevs_ vul u *v1 <= s2
genv-vs-c uxlevs_ vux u *v1 <= s2
genv-vs-c sflevs_ vsf r *v1 <= s2
genv-vs-c dflevs_ vdf r *v1 <= s2
genv-vs-c bgevs_ vb n *v1 >= s2
genv-vs-c wgevs_ vw n *v1 >= s2
genv-vs-c lgevs_ vl n *v1 >= s2
genv-vs-c xgevs_ vx n *v1 >= s2
genv-vs-c ubgevs_ vub u *v1 >= s2
genv-vs-c uwgevs_ vuw u *v1 >= s2
genv-vs-c ulgevs_ vul u *v1 >= s2
genv-vs-c uxgevs_ vux u *v1 >= s2
genv-vs-c sfgevs_ vsf r *v1 >= s2
genv-vs-c dfgevs_ vdf r *v1 >= s2
genv-vs-c bnevs_ vb n *v1 != s2
genv-vs-c wnevs_ vw n *v1 != s2
genv-vs-c lnevs_ vl n *v1 != s2
genv-vs-c xnevs_ vx n *v1 != s2
genv-vs-c sfnevs_ vsf r *v1 != s2
genv-vs-c dfnevs_ vdf r *v1 != s2
genv-vs-c bmaxvs_ vb n ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c wmaxvs_ vw n ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c lmaxvs_ vl n ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c xmaxvs_ vx n ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c ubmaxvs_ vub u ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c uwmaxvs_ vuw u ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c ulmaxvs_ vul u ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c uxmaxvs_ vux u ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
\ genv-vs-c sfmaxvs_ vsf r ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
\ genv-vs-c dfmaxvs_ vdf r ((*v1 >= s2) & (*v1 ^ s2)) ^ s2
genv-vs-c bminvs_ vb n ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c wminvs_ vw n ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c lminvs_ vl n ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c xminvs_ vx n ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c ubminvs_ vub u ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c uwminvs_ vuw u ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c ulminvs_ vul u ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-vs-c uxminvs_ vux u ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
\ genv-vs-c sfminvs_ vsf r ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
\ genv-vs-c dfminvs_ vdf r ((*v1 >= s2) & (*v1 ^ s2)) ^ *v1
genv-sv-c bminussv_ vb n s1 - *v2
genv-sv-c wminussv_ vw n s1 - *v2
genv-sv-c lminussv_ vl n s1 - *v2
genv-sv-c xminussv_ vx n s1 - *v2
genv-sv-c sfminussv_ vsf r s1 - *v2
genv-sv-c dfminussv_ vdf r s1 - *v2
genv-sv-c bslashsv_ vb n s1 / *v2
genv-sv-c wslashsv_ vw n s1 / *v2
genv-sv-c lslashsv_ vl n s1 / *v2
genv-sv-c xslashsv_ vx n s1 / *v2
genv-sv-c ubslashsv_ vub u s1 / *v2
genv-sv-c uwslashsv_ vuw u s1 / *v2
genv-sv-c ulslashsv_ vul u s1 / *v2
genv-sv-c uxslashsv_ vux u s1 / *v2
genv-sv-c sfslashsv_ vsf r s1 / *v2
genv-sv-c dfslashsv_ vdf r s1 / *v2
genv-sv-c bmodsv_ vb n s1 % *v2
genv-sv-c wmodsv_ vw n s1 % *v2
genv-sv-c lmodsv_ vl n s1 % *v2
genv-sv-c xmodsv_ vx n s1 % *v2
genv-sv-c ubmodsv_ vub u s1 % *v2
genv-sv-c uwmodsv_ vuw u s1 % *v2
genv-sv-c ulmodsv_ vul u s1 % *v2
genv-sv-c uxmodsv_ vux u s1 % *v2
genv-sv-c blshiftsv_ vb n s1 << *v2
genv-sv-c wlshiftsv_ vw n s1 << *v2
genv-sv-c llshiftsv_ vl n s1 << *v2
genv-sv-c xlshiftsv_ vx n s1 << *v2
genv-sv-c brshiftsv_ vb n s1 >> *v2
genv-sv-c wrshiftsv_ vw n s1 >> *v2
genv-sv-c lrshiftsv_ vl n s1 >> *v2
genv-sv-c xrshiftsv_ vx n s1 >> *v2
genv-sv-c ubrshiftsv_ vub u s1 >> *v2
genv-sv-c uwrshiftsv_ vuw u s1 >> *v2
genv-sv-c ulrshiftsv_ vul u s1 >> *v2
genv-sv-c uxrshiftsv_ vux u s1 >> *v2
genv-sv-c bltsv_ vb n s1 < *v2
genv-sv-c wltsv_ vw n s1 < *v2
genv-sv-c lltsv_ vl n s1 < *v2
genv-sv-c xltsv_ vx n s1 < *v2
genv-sv-c ubltsv_ vub u s1 < *v2
genv-sv-c uwltsv_ vuw u s1 < *v2
genv-sv-c ulltsv_ vul u s1 < *v2
genv-sv-c uxltsv_ vux u s1 < *v2
genv-sv-c sfltsv_ vsf r s1 < *v2
genv-sv-c dfltsv_ vdf r s1 < *v2
genv-sv-c bgtsv_ vb n s1 > *v2
genv-sv-c wgtsv_ vw n s1 > *v2
genv-sv-c lgtsv_ vl n s1 > *v2
genv-sv-c xgtsv_ vx n s1 > *v2
genv-sv-c ubgtsv_ vub u s1 > *v2
genv-sv-c uwgtsv_ vuw u s1 > *v2
genv-sv-c ulgtsv_ vul u s1 > *v2
genv-sv-c uxgtsv_ vux u s1 > *v2
genv-sv-c sfgtsv_ vsf r s1 > *v2
genv-sv-c dfgtsv_ vdf r s1 > *v2
genv-sv-c blesv_ vb n s1 <= *v2
genv-sv-c wlesv_ vw n s1 <= *v2
genv-sv-c llesv_ vl n s1 <= *v2
genv-sv-c xlesv_ vx n s1 <= *v2
genv-sv-c ublesv_ vub u s1 <= *v2
genv-sv-c uwlesv_ vuw u s1 <= *v2
genv-sv-c ullesv_ vul u s1 <= *v2
genv-sv-c uxlesv_ vux u s1 <= *v2
genv-sv-c sflesv_ vsf r s1 <= *v2
genv-sv-c dflesv_ vdf r s1 <= *v2
genv-sv-c bgesv_ vb n s1 >= *v2
genv-sv-c wgesv_ vw n s1 >= *v2
genv-sv-c lgesv_ vl n s1 >= *v2
genv-sv-c xgesv_ vx n s1 >= *v2
genv-sv-c ubgesv_ vub u s1 >= *v2
genv-sv-c uwgesv_ vuw u s1 >= *v2
genv-sv-c ulgesv_ vul u s1 >= *v2
genv-sv-c uxgesv_ vux u s1 >= *v2
genv-sv-c sfgesv_ vsf r s1 >= *v2
genv-sv-c dfgesv_ vdf r s1 >= *v2