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