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