YAP 7.1.0
YapOpcodes.h
1
2 /* This file was generated automatically by "yap -L misc/buildops"
3 please do not update */
4
5 OPCODE(Ystop ,l),
6 OPCODE(Nstop ,e),
7#ifdef YAP_JIT
8 OPCODE(jit_handler ,J),
9#endif
10 OPCODE(cut ,s),
11 OPCODE(cut_t ,s),
12 OPCODE(cut_e ,s),
13 OPCODE(save_b_x ,x),
14 OPCODE(save_b_y ,y),
15 OPCODE(commit_b_x ,xps),
16 OPCODE(commit_b_y ,yps),
17 OPCODE(soft_cut_b_x ,xps),
18 OPCODE(soft_cut_b_y ,yps),
19 OPCODE(execute ,Osbpp),
20 OPCODE(dexecute ,Osbpp),
21 OPCODE(fcall ,Osbpp),
22 OPCODE(call ,Osbpp),
23 OPCODE(procceed ,p),
24 OPCODE(allocate ,e),
25 OPCODE(deallocate ,p),
26#ifdef BEAM
27 OPCODE(retry_eam ,e),
28#endif
29#ifdef BEAM
30 OPCODE(run_eam ,os),
31#endif
32 OPCODE(try_me ,Otapl),
33 OPCODE(retry_me ,Otapl),
34 OPCODE(trust_me ,Otapl),
35 OPCODE(enter_exo ,e),
36 OPCODE(try_exo ,lp),
37 OPCODE(try_exo_udi ,lp),
38 OPCODE(try_udi ,p),
39 OPCODE(try_all_exo ,lp),
40 OPCODE(retry_exo ,lp),
41 OPCODE(retry_exo_udi ,lp),
42 OPCODE(retry_udi ,p),
43 OPCODE(retry_all_exo ,lp),
44 OPCODE(enter_profiling ,p),
45 OPCODE(retry_profiled ,p),
46 OPCODE(profiled_retry_me ,Otapl),
47 OPCODE(profiled_trust_me ,Otapl),
48 OPCODE(count_call ,p),
49 OPCODE(count_retry ,p),
50 OPCODE(count_retry_me ,Otapl),
51 OPCODE(count_trust_me ,Otapl),
52 OPCODE(ensure_space ,Osbpa),
53 OPCODE(spy_or_trymark ,Otapl),
54 OPCODE(try_and_mark ,Otapl),
55 OPCODE(count_retry_and_mark ,Otapl),
56 OPCODE(profiled_retry_and_mark ,Otapl),
57 OPCODE(retry_and_mark ,Otapl),
58 OPCODE(try_clause ,Otapl),
59 OPCODE(try_clause2 ,l),
60 OPCODE(try_clause3 ,l),
61 OPCODE(try_clause4 ,l),
62 OPCODE(retry ,Otapl),
63 OPCODE(retry2 ,l),
64 OPCODE(retry3 ,l),
65 OPCODE(retry4 ,l),
66 OPCODE(trust ,Otapl),
67 OPCODE(try_in ,l),
68 OPCODE(trust_fail ,e),
69 OPCODE(op_fail ,e),
70 OPCODE(call_cpred ,Osbpp),
71 OPCODE(execute_cpred ,Osbpp),
72 OPCODE(call_usercpred ,Osbpp),
73 OPCODE(call_c_wfail ,slpp),
74 OPCODE(try_c ,OtapFs),
75 OPCODE(retry_c ,OtapFs),
76 OPCODE(cut_c ,OtapFs),
77 OPCODE(try_userc ,OtapFs),
78 OPCODE(retry_userc ,OtapFs),
79 OPCODE(cut_userc ,OtapFs),
80 OPCODE(lock_pred ,e),
81 OPCODE(index_pred ,e),
82#ifdef THREADS
83 OPCODE(thread_local ,e),
84#endif
85 OPCODE(expand_index ,e),
86 OPCODE(expand_clauses ,sssllp),
87 OPCODE(undef_p ,e),
88 OPCODE(spy_pred ,e),
89 OPCODE(user_switch ,lp),
90 OPCODE(switch_on_type ,llll),
91 OPCODE(switch_list_nl ,ollll),
92 OPCODE(switch_on_arg_type ,xllll),
93 OPCODE(switch_on_sub_arg_type ,sllll),
94 OPCODE(jump_if_var ,l),
95 OPCODE(jump_if_nonvar ,xll),
96 OPCODE(if_not_then ,clll),
97 OPCODE(switch_on_func ,sssl),
98 OPCODE(switch_on_cons ,sssl),
99 OPCODE(go_on_func ,sssl),
100 OPCODE(go_on_cons ,sssl),
101 OPCODE(if_func ,sssl),
102 OPCODE(if_cons ,sssl),
103 OPCODE(index_dbref ,e),
104 OPCODE(index_blob ,e),
105 OPCODE(index_long ,e),
106 OPCODE(enter_lu_pred ,Illss),
107 OPCODE(profiled_retry_logical ,OtaLl),
108 OPCODE(profiled_trust_logical ,OtILl),
109 OPCODE(try_logical ,OtaLl),
110 OPCODE(count_retry_logical ,OtaLl),
111 OPCODE(count_trust_logical ,OtILl),
112 OPCODE(retry_logical ,OtaLl),
113 OPCODE(trust_logical ,OtILl),
114 OPCODE(lock_lu ,p),
115 OPCODE(unlock_lu ,e),
116 OPCODE(alloc_for_logical_pred ,L),
117 OPCODE(copy_idb_term ,e),
118 OPCODE(unify_idb_term ,e),
119 OPCODE(p_execute_tail ,Osbmp),
120 OPCODE(p_execute2 ,Osbpp),
121 OPCODE(p_execute ,Osbmp),
122 OPCODE(jump ,l),
123 OPCODE(move_back ,l),
124 OPCODE(skip ,l),
125 OPCODE(either ,Osblp),
126 OPCODE(or_else ,Osblp),
127 OPCODE(pop_n ,s),
128 OPCODE(pop ,e),
129 OPCODE(p_plus_vv ,xxx),
130 OPCODE(p_plus_vc ,xxn),
131 OPCODE(p_plus_y_vv ,yxx),
132 OPCODE(p_plus_y_vc ,yxn),
133 OPCODE(p_minus_vv ,xxx),
134 OPCODE(p_minus_cv ,xxn),
135 OPCODE(p_minus_y_vv ,yxx),
136 OPCODE(p_minus_y_cv ,yxn),
137 OPCODE(p_times_vv ,xxx),
138 OPCODE(p_times_vc ,xxn),
139 OPCODE(p_times_y_vv ,yxx),
140 OPCODE(p_times_y_vc ,yxn),
141 OPCODE(p_div_vv ,xxx),
142 OPCODE(p_div_vc ,xxn),
143 OPCODE(p_div_cv ,xxn),
144 OPCODE(p_div_y_vv ,yxx),
145 OPCODE(p_div_y_vc ,yxn),
146 OPCODE(p_div_y_cv ,yxn),
147 OPCODE(p_and_vv ,xxx),
148 OPCODE(p_and_vc ,xxn),
149 OPCODE(p_and_y_vv ,yxx),
150 OPCODE(p_and_y_vc ,yxn),
151 OPCODE(p_or_vv ,xxx),
152 OPCODE(p_or_vc ,xxn),
153 OPCODE(p_or_y_vv ,yxx),
154 OPCODE(p_or_y_vc ,yxn),
155 OPCODE(p_sll_vv ,xxx),
156 OPCODE(p_sll_vc ,xxn),
157 OPCODE(p_sll_cv ,xxn),
158 OPCODE(p_sll_y_vv ,yxx),
159 OPCODE(p_sll_y_vc ,yxn),
160 OPCODE(p_sll_y_cv ,yxn),
161 OPCODE(p_slr_vv ,xxx),
162 OPCODE(p_slr_vc ,xxn),
163 OPCODE(p_slr_cv ,xxn),
164 OPCODE(p_slr_y_vv ,yxx),
165 OPCODE(p_slr_y_vc ,yxn),
166 OPCODE(p_slr_y_cv ,yxn),
167 OPCODE(call_bfunc_xx ,plxxs),
168 OPCODE(call_bfunc_yx ,plxys),
169 OPCODE(call_bfunc_xy ,plxys),
170 OPCODE(call_bfunc_yy ,plyys),
171 OPCODE(p_equal ,e),
172 OPCODE(p_arg_vv ,xxx),
173 OPCODE(p_arg_cv ,xxn),
174 OPCODE(p_arg_y_vv ,yxx),
175 OPCODE(p_arg_y_cv ,yxn),
176 OPCODE(p_func2s_vv ,xxx),
177 OPCODE(p_func2s_cv ,xxc),
178 OPCODE(p_func2s_vc ,xxn),
179 OPCODE(p_func2s_y_vv ,yxx),
180 OPCODE(p_func2s_y_cv ,yxc),
181 OPCODE(p_func2s_y_vc ,yxn),
182 OPCODE(p_func2f_xx ,xxx),
183 OPCODE(p_func2f_xy ,xxy),
184 OPCODE(p_func2f_yx ,yxx),
185 OPCODE(p_func2f_yy ,yyx),
186 OPCODE(p_functor ,e),
187 OPCODE(p_atom_x ,xl),
188 OPCODE(p_atom_y ,yl),
189 OPCODE(p_atomic_x ,xl),
190 OPCODE(p_atomic_y ,yl),
191 OPCODE(p_integer_x ,xl),
192 OPCODE(p_integer_y ,yl),
193 OPCODE(p_nonvar_x ,xl),
194 OPCODE(p_nonvar_y ,yl),
195 OPCODE(p_number_x ,xl),
196 OPCODE(p_number_y ,yl),
197 OPCODE(p_var_x ,xl),
198 OPCODE(p_var_y ,yl),
199 OPCODE(p_db_ref_x ,xl),
200 OPCODE(p_db_ref_y ,yl),
201 OPCODE(p_primitive_x ,xl),
202 OPCODE(p_primitive_y ,yl),
203 OPCODE(p_compound_x ,xl),
204 OPCODE(p_compound_y ,yl),
205 OPCODE(p_float_x ,xl),
206 OPCODE(p_float_y ,yl),
207 OPCODE(get_x_var ,xx),
208 OPCODE(get_y_var ,yx),
209 OPCODE(get_yy_var ,yyxx),
210 OPCODE(get_x_val ,xx),
211 OPCODE(get_y_val ,yx),
212 OPCODE(get_atom ,xc),
213 OPCODE(get_atom_exo ,x),
214 OPCODE(get_2atoms ,cc),
215 OPCODE(get_3atoms ,ccc),
216 OPCODE(get_4atoms ,cccc),
217 OPCODE(get_5atoms ,ccccc),
218 OPCODE(get_6atoms ,cccccc),
219 OPCODE(get_list ,x),
220 OPCODE(get_struct ,xfa),
221 OPCODE(get_float ,xd),
222 OPCODE(get_string ,xu),
223 OPCODE(get_longint ,xi),
224 OPCODE(get_bigint ,xN),
225 OPCODE(get_dbterm ,xD),
226 OPCODE(glist_valx ,xx),
227 OPCODE(glist_valy ,yx),
228 OPCODE(gl_void_varx ,xx),
229 OPCODE(gl_void_vary ,yx),
230 OPCODE(gl_void_valx ,xx),
231 OPCODE(gl_void_valy ,yx),
232 OPCODE(unify_x_var ,ox),
233 OPCODE(unify_x_var_write ,ox),
234 OPCODE(unify_l_x_var ,ox),
235 OPCODE(unify_l_x_var_write ,ox),
236 OPCODE(unify_x_var2 ,oxx),
237 OPCODE(unify_x_var2_write ,oxx),
238 OPCODE(unify_l_x_var2 ,oxx),
239 OPCODE(unify_l_x_var2_write ,oxx),
240 OPCODE(unify_y_var ,oy),
241 OPCODE(unify_y_var_write ,oy),
242 OPCODE(unify_l_y_var ,oy),
243 OPCODE(unify_l_y_var_write ,oy),
244 OPCODE(unify_x_val ,ox),
245 OPCODE(unify_x_val_write ,ox),
246 OPCODE(unify_l_x_val ,ox),
247 OPCODE(unify_l_x_val_write ,ox),
248 OPCODE(unify_y_val ,oy),
249 OPCODE(unify_y_val_write ,oy),
250 OPCODE(unify_l_y_val ,oy),
251 OPCODE(unify_l_y_val_write ,oy),
252 OPCODE(unify_x_loc ,ox),
253 OPCODE(unify_x_loc_write ,ox),
254 OPCODE(unify_l_x_loc ,ox),
255 OPCODE(unify_l_x_loc_write ,ox),
256 OPCODE(unify_y_loc ,oy),
257 OPCODE(unify_y_loc_write ,oy),
258 OPCODE(unify_l_y_loc ,oy),
259 OPCODE(unify_l_y_loc_write ,oy),
260 OPCODE(unify_void ,o),
261 OPCODE(unify_void_write ,o),
262 OPCODE(unify_l_void ,o),
263 OPCODE(unify_l_void_write ,o),
264 OPCODE(unify_n_voids ,os),
265 OPCODE(unify_n_voids_write ,os),
266 OPCODE(unify_l_n_voids ,os),
267 OPCODE(unify_l_n_voids_write ,os),
268 OPCODE(unify_atom ,oc),
269 OPCODE(unify_atom_write ,oc),
270 OPCODE(unify_l_atom ,oc),
271 OPCODE(unify_l_atom_write ,oc),
272 OPCODE(unify_n_atoms ,osc),
273 OPCODE(unify_n_atoms_write ,osc),
274 OPCODE(unify_float ,od),
275 OPCODE(unify_float_write ,od),
276 OPCODE(unify_l_float ,od),
277 OPCODE(unify_l_float_write ,od),
278 OPCODE(unify_string ,ou),
279 OPCODE(unify_l_string ,ou),
280 OPCODE(unify_longint ,oi),
281 OPCODE(unify_longint_write ,oi),
282 OPCODE(unify_l_longint ,oi),
283 OPCODE(unify_l_longint_write ,oi),
284 OPCODE(unify_bigint ,oN),
285 OPCODE(unify_l_bigint ,oN),
286 OPCODE(unify_dbterm ,oD),
287 OPCODE(unify_l_dbterm ,oD),
288 OPCODE(unify_list ,o),
289 OPCODE(unify_list_write ,o),
290 OPCODE(unify_l_list ,o),
291 OPCODE(unify_l_list_write ,o),
292 OPCODE(unify_struct ,ofa),
293 OPCODE(unify_struct_write ,ofa),
294 OPCODE(unify_l_struc ,ofa),
295 OPCODE(unify_l_struc_write ,ofa),
296 OPCODE(put_x_var ,xx),
297 OPCODE(put_y_var ,yx),
298 OPCODE(put_x_val ,xx),
299 OPCODE(put_xx_val ,xxxx),
300 OPCODE(put_y_val ,yx),
301 OPCODE(put_y_vals ,yyxx),
302 OPCODE(put_unsafe ,yx),
303 OPCODE(put_atom ,xc),
304 OPCODE(put_dbterm ,xD),
305 OPCODE(put_bigint ,xN),
306 OPCODE(put_float ,xd),
307 OPCODE(put_longint ,xi),
308 OPCODE(put_list ,x),
309 OPCODE(put_struct ,xfa),
310 OPCODE(write_x_var ,x),
311 OPCODE(write_void ,e),
312 OPCODE(write_n_voids ,s),
313 OPCODE(write_y_var ,y),
314 OPCODE(write_x_val ,x),
315 OPCODE(write_x_loc ,x),
316 OPCODE(write_y_val ,y),
317 OPCODE(write_y_loc ,y),
318 OPCODE(write_atom ,c),
319 OPCODE(write_bigint ,N),
320 OPCODE(write_dbterm ,D),
321 OPCODE(write_float ,d),
322 OPCODE(write_longint ,i),
323 OPCODE(write_n_atoms ,sc),
324 OPCODE(write_list ,e),
325 OPCODE(write_l_list ,e),
326 OPCODE(write_struct ,fa),
327 OPCODE(write_l_struc ,fa),
328 OPCODE(save_pair_x ,ox),
329 OPCODE(save_pair_x_write ,ox),
330 OPCODE(save_pair_y ,oy),
331 OPCODE(save_pair_y_write ,oy),
332 OPCODE(save_appl_x ,ox),
333 OPCODE(save_appl_x_write ,ox),
334 OPCODE(save_appl_y ,oy),
335 OPCODE(save_appl_y_write ,oy),
336#ifdef YAPOR
337 OPCODE(getwork_first_time ,e),
338 OPCODE(getwork ,Otapl),
339 OPCODE(getwork_seq ,Otapl),
340 OPCODE(sync ,Otapl),
341#endif
342#ifdef TABLING
343#ifdef TABLING_INNER_CUTS
344 OPCODE(clause_with_cut ,e),
345#endif
346 OPCODE(table_load_answer ,Otapl),
347 OPCODE(table_try_answer ,Otapl),
348 OPCODE(table_try_single ,Otapl),
349 OPCODE(table_try_me ,Otapl),
350 OPCODE(table_try ,Otapl),
351 OPCODE(table_retry_me ,Otapl),
352 OPCODE(table_retry ,Otapl),
353 OPCODE(table_trust_me ,Otapl),
354 OPCODE(table_trust ,Otapl),
355 OPCODE(table_new_answer ,s),
356 OPCODE(table_answer_resolution ,Otapl),
357 OPCODE(table_completion ,Otapl),
358#ifdef THREADS_CONSUMER_SHARING
359 OPCODE(table_answer_resolution_completion,Otapl),
360#endif
361 OPCODE(trie_do_var ,e),
362 OPCODE(trie_trust_var ,e),
363 OPCODE(trie_try_var ,e),
364 OPCODE(trie_retry_var ,e),
365 OPCODE(trie_do_var_in_pair ,e),
366 OPCODE(trie_trust_var_in_pair ,e),
367 OPCODE(trie_try_var_in_pair ,e),
368 OPCODE(trie_retry_var_in_pair ,e),
369 OPCODE(trie_do_val ,e),
370 OPCODE(trie_trust_val ,e),
371 OPCODE(trie_try_val ,e),
372 OPCODE(trie_retry_val ,e),
373 OPCODE(trie_do_val_in_pair ,e),
374 OPCODE(trie_trust_val_in_pair ,e),
375 OPCODE(trie_try_val_in_pair ,e),
376 OPCODE(trie_retry_val_in_pair ,e),
377 OPCODE(trie_do_atom ,e),
378 OPCODE(trie_trust_atom ,e),
379 OPCODE(trie_try_atom ,e),
380 OPCODE(trie_retry_atom ,e),
381 OPCODE(trie_do_atom_in_pair ,e),
382 OPCODE(trie_trust_atom_in_pair ,e),
383 OPCODE(trie_try_atom_in_pair ,e),
384 OPCODE(trie_retry_atom_in_pair ,e),
385 OPCODE(trie_do_null ,e),
386 OPCODE(trie_trust_null ,e),
387 OPCODE(trie_try_null ,e),
388 OPCODE(trie_retry_null ,e),
389 OPCODE(trie_do_null_in_pair ,e),
390 OPCODE(trie_trust_null_in_pair ,e),
391 OPCODE(trie_try_null_in_pair ,e),
392 OPCODE(trie_retry_null_in_pair ,e),
393 OPCODE(trie_do_pair ,e),
394 OPCODE(trie_trust_pair ,e),
395 OPCODE(trie_try_pair ,e),
396 OPCODE(trie_retry_pair ,e),
397 OPCODE(trie_do_appl ,e),
398 OPCODE(trie_trust_appl ,e),
399 OPCODE(trie_try_appl ,e),
400 OPCODE(trie_retry_appl ,e),
401 OPCODE(trie_do_appl_in_pair ,e),
402 OPCODE(trie_trust_appl_in_pair ,e),
403 OPCODE(trie_try_appl_in_pair ,e),
404 OPCODE(trie_retry_appl_in_pair ,e),
405 OPCODE(trie_do_extension ,e),
406 OPCODE(trie_trust_extension ,e),
407 OPCODE(trie_try_extension ,e),
408 OPCODE(trie_retry_extension ,e),
409 OPCODE(trie_do_double ,e),
410 OPCODE(trie_trust_double ,e),
411 OPCODE(trie_try_double ,e),
412 OPCODE(trie_retry_double ,e),
413 OPCODE(trie_do_longint ,e),
414 OPCODE(trie_trust_longint ,e),
415 OPCODE(trie_try_longint ,e),
416 OPCODE(trie_retry_longint ,e),
417 OPCODE(trie_do_bigint ,e),
418 OPCODE(trie_trust_bigint ,e),
419 OPCODE(trie_try_bigint ,e),
420 OPCODE(trie_retry_bigint ,e),
421 OPCODE(trie_do_gterm ,e),
422 OPCODE(trie_trust_gterm ,e),
423 OPCODE(trie_try_gterm ,e),
424 OPCODE(trie_retry_gterm ,e),
425#endif
426 /* this instruction is hardwired */
427 /* or_last must be the last instruction. */
428#ifdef YAPOR
429 OPCODE(or_last ,sblp),
430#else
431 OPCODE(or_last ,p),
432#endif