XSB: C:/dev/sandbox/xsb_release/XSB/emu/xsb_inst

00001 XSB_INST(0x00, getpvar, _getpvar, P, V, R,X);
00002 XSB_INST(0x01, getpval, _getpval, P, V, R,X);
00003 XSB_INST(0x02, getstrv, _getstrv, PP, V, S,X);
00004 XSB_INST(0x03, gettval, _gettval, P, R, R,X);
00005 XSB_INST(0x04, getcon, _getcon, PP, R, C,X);
00006 XSB_INST(0x05, getnil, _getnil, PP, R, X,X);
00007 XSB_INST(0x06, getstr, _getstr, PP, R, S,X);
00008 XSB_INST(0x07, getlist, _getlist, PP, R, X,X);
00009 XSB_INST(0x08, unipvar, _unipvar, PP, V, X,X);
00010 XSB_INST(0x09, unipval, _unipval, PP, V, X,X);
00011 XSB_INST(0x0a, unitvar, _unitvar, PP, R, X,X);
00012 XSB_INST(0x0b, unitval, _unitval, PP, R, X,X);
00013 XSB_INST(0x0c, unicon, _unicon, PPP,C, X,X);
00014 XSB_INST(0x0d, uninil, _uninil, PPP,X, X,X);
00015 /*  XSB_INST(0x0e, getnumcon, _getnumcon, PP, R, N,X); */
00016 /*  XSB_INST(0x0f, putnumcon, _putnumcon, PP, R, N,X); */
00017 XSB_INST(0x0e, getnumcon, _getnumcon, PP, R, B,X);
00018 XSB_INST(0x0f, putnumcon, _putnumcon, PP, R, B,X);
00019 
00020 
00021 XSB_INST(0x10, putpvar, _putpvar, P, V, R,X);
00022 XSB_INST(0x11, putpval, _putpval, P, V, R,X);
00023 XSB_INST(0x12, puttvar, _puttvar, P, R, R,X);
00024 XSB_INST(0x13, putstrv, _putstrv, PP, V, S,X);
00025 XSB_INST(0x14, putcon, _putcon, PP, R, C,X);
00026 XSB_INST(0x15, putnil, _putnil, PP, R, X,X);
00027 XSB_INST(0x16, putstr, _putstr, PP, R, S,X);
00028 XSB_INST(0x17, putlist, _putlist, PP, R, X,X);
00029 XSB_INST(0x18, bldpvar, _bldpvar, PP, V, X,X);
00030 XSB_INST(0x19, bldpval, _bldpval, PP, V, X,X);
00031 XSB_INST(0x1a, bldtvar, _bldtvar, PP, R, X,X);
00032 XSB_INST(0x1b, bldtval, _bldtval, PP, R, X,X);
00033 XSB_INST(0x1c, bldcon, _bldcon, PPP,C, X,X);
00034 XSB_INST(0x1d, bldnil, _bldnil, PPP,X, X,X);
00035 /*  XSB_INST(0x1e, uninumcon, _uninumcon, PPP,N, X,X); */
00036 /*  XSB_INST(0x1f, bldnumcon, _bldnumcon, PPP,N, X,X); */
00037 XSB_INST(0x1e, uninumcon, _uninumcon, PPP,B, X,X);
00038 XSB_INST(0x1f, bldnumcon, _bldnumcon, PPP,B, X,X);
00039 
00040 XSB_INST(0x20, no_inst, _no_inst, PPP,X,X,X);
00041 
00042 XSB_INST(0x21, uniavar, _uniavar, PPP, X,X,X);
00043 XSB_INST(0x22, bldavar, _bldavar, PPP, X,X,X);
00044 
00045 XSB_INST(0x23, no_inst, _no_inst, PPP,X,X,X);
00046 XSB_INST(0x24, no_inst, _no_inst, PPP,X,X,X);
00047 XSB_INST(0x25, no_inst, _no_inst, PPP,X,X,X);
00048 XSB_INST(0x26, no_inst, _no_inst, PPP,X,X,X);
00049 XSB_INST(0x27, no_inst, _no_inst, PPP,X,X,X);
00050 XSB_INST(0x28, no_inst, _no_inst, PPP,X,X,X);
00051 XSB_INST(0x29, no_inst, _no_inst, PPP,X,X,X);
00052 XSB_INST(0x2a, no_inst, _no_inst, PPP,X,X,X);
00053 XSB_INST(0x2b, no_inst, _no_inst, PPP,X,X,X);
00054 XSB_INST(0x2c, no_inst, _no_inst, PPP,X,X,X);
00055 XSB_INST(0x2d, no_inst, _no_inst, PPP,X,X,X);
00056 XSB_INST(0x2e, no_inst, _no_inst, PPP,X,X,X);
00057 XSB_INST(0x2f, no_inst, _no_inst, PPP,X,X,X);
00058 
00059 XSB_INST(0x30, getattv, _getattv, PP, R, X,X);
00060 XSB_INST(0x31, putattv, _putattv, PP, R, X,X);
00061 XSB_INST(0x32, no_inst, _no_inst, PPP,X,X,X);
00062 XSB_INST(0x33, no_inst, _no_inst, PPP,X,X,X);
00063 XSB_INST(0x34, no_inst, _no_inst, PPP,X,X,X);
00064 XSB_INST(0x35, no_inst, _no_inst, PPP,X,X,X);
00065 XSB_INST(0x36, no_inst, _no_inst, PPP,X,X,X);
00066 XSB_INST(0x37, no_inst, _no_inst, PPP,X,X,X);
00067 XSB_INST(0x38, no_inst, _no_inst, PPP,X,X,X);
00068 XSB_INST(0x39, no_inst, _no_inst, PPP,X,X,X);
00069 XSB_INST(0x3a, no_inst, _no_inst, PPP,X,X,X);
00070 XSB_INST(0x3b, no_inst, _no_inst, PPP,X,X,X);
00071 XSB_INST(0x3c, no_inst, _no_inst, PPP,X,X,X);
00072 XSB_INST(0x3d, no_inst, _no_inst, PPP,X,X,X);
00073 XSB_INST(0x3e, no_inst, _no_inst, PPP,X,X,X);
00074 XSB_INST(0x3f, no_inst, _no_inst, PPP,X,X,X);
00075 
00076 XSB_INST(0x40, no_inst, _no_inst, PPP,X,X,X);
00077 XSB_INST(0x41, no_inst, _no_inst, PPP,X,X,X);
00078 XSB_INST(0x42, no_inst, _no_inst, PPP,X,X,X);
00079 XSB_INST(0x43, no_inst, _no_inst, PPP,X,X,X);
00080 XSB_INST(0x44, no_inst, _no_inst, PPP,X,X,X);
00081 XSB_INST(0x45, no_inst, _no_inst, PPP,X,X,X);
00082 XSB_INST(0x46, no_inst, _no_inst, PPP,X,X,X);
00083 XSB_INST(0x47, no_inst, _no_inst, PPP,X,X,X);
00084 XSB_INST(0x48, getlist_tvar_tvar, _getlist_tvar_tvar, R, R, R,X);
00085 XSB_INST(0x49, no_inst, _no_inst, PPP,X,X,X);
00086 XSB_INST(0x4a, no_inst, _no_inst, PPP,X,X,X);
00087 XSB_INST(0x4b, no_inst, _no_inst, PPP,X,X,X);
00088 XSB_INST(0x4c, no_inst, _no_inst, PPP,X,X,X);
00089 XSB_INST(0x4d, no_inst, _no_inst, PPP,X,X,X);
00090 XSB_INST(0x4e, no_inst, _no_inst, PPP,X,X,X);
00091 XSB_INST(0x4f, no_inst, _no_inst, PPP,X,X,X);
00092 
00093 XSB_INST(0x50, no_inst, _no_inst, PPP,X,X,X);
00094 XSB_INST(0x51, no_inst, _no_inst, PPP,X,X,X);
00095 XSB_INST(0x52, no_inst, _no_inst, PPP,X,X,X);
00096 XSB_INST(0x53, no_inst, _no_inst, PPP,X,X,X);
00097 XSB_INST(0x54, no_inst, _no_inst, PPP,X,X,X);
00098 XSB_INST(0x55, no_inst, _no_inst, PPP,X,X,X);
00099 XSB_INST(0x56, no_inst, _no_inst, PPP,X,X,X);
00100 XSB_INST(0x57, no_inst, _no_inst, PPP,X,X,X);
00101 XSB_INST(0x58, no_inst, _no_inst, PPP,X,X,X);
00102 XSB_INST(0x59, no_inst, _no_inst, PPP,X,X,X);
00103 XSB_INST(0x5a, no_inst, _no_inst, PPP,X,X,X);
00104 XSB_INST(0x5b, no_inst, _no_inst, PPP,X,X,X);
00105 XSB_INST(0x5c, trie_no_cp_attv, _trie_no_cp_attv,X,X,X,X);
00106 XSB_INST(0x5d, trie_trust_attv, _trie_trust_attv,X,X,X,X);
00107 XSB_INST(0x5e, trie_try_attv,   _trie_try_attv,  X,X,X,X);
00108 XSB_INST(0x5f, trie_retry_attv, _trie_retry_attv,X,X,X,X);
00109 
00110 XSB_INST(0x60, trie_no_cp_str, _trie_no_cp_str,PPP,X,X,X);
00111 XSB_INST(0x61, trie_trust_str, _trie_trust_str, X, X, X,X);
00112 XSB_INST(0x62, trie_try_str, _trie_try_str, X, X, X,X);
00113 XSB_INST(0x63, trie_retry_str, _trie_retry_str, X,X,X,X);
00114 XSB_INST(0x64, trie_no_cp_list, _trie_no_cp_list, X, X, X,X);
00115 XSB_INST(0x65, trie_trust_list, _trie_trust_list, X,X,X,X);
00116 XSB_INST(0x66, trie_try_list, _trie_try_list, X, X, X,X);
00117 XSB_INST(0x67, trie_retry_list, _trie_retry_list, X,X,X,X);
00118 XSB_INST(0x68, trie_no_cp_var, _trie_no_cp_var, X, X, X,X);
00119 XSB_INST(0x69, trie_trust_var, _trie_trust_var, X, X, X,X);
00120 XSB_INST(0x6a, trie_try_var, _trie_try_var, X, X, X,X);
00121 XSB_INST(0x6b, trie_retry_var, _trie_retry_var, X,X,X,X);
00122 XSB_INST(0x6c, trie_no_cp_val, _trie_no_cp_val, X, X, X,X);
00123 XSB_INST(0x6d, trie_trust_val, _trie_trust_val, X, X, X,X);
00124 XSB_INST(0x6e, trie_try_val, _trie_try_val, X, X, X,X);
00125 XSB_INST(0x6f, trie_retry_val, _trie_retry_val, X,X,X,X);
00126 
00127 XSB_INST(0x70, trie_no_cp_numcon, _trie_no_cp_numcon, X, X, X,X);
00128 XSB_INST(0x71, trie_trust_numcon, _trie_trust_numcon, X, X, X,X);
00129 XSB_INST(0x72, trie_try_numcon, _trie_try_numcon, X, X, X,X);
00130 XSB_INST(0x73, trie_retry_numcon, _trie_retry_numcon, X,X,X,X);
00131 XSB_INST(0x74, trie_no_cp_numcon_succ, _trie_no_cp_numcon_succ, X, X, X,X);
00132 XSB_INST(0x75, trie_trust_numcon_succ, _trie_trust_numcon_succ, X, X, X,X);
00133 XSB_INST(0x76, trie_try_numcon_succ, _trie_try_numcon_succ, X, X, X,X);
00134 XSB_INST(0x77, trie_retry_numcon_succ, _trie_retry_numcon_succ, X,X,X,X);
00135 XSB_INST(0x78, trie_proceed, _trie_proceed, X,X,X,X);
00136 XSB_INST(0x79, hash_opcode, _hash_opcode, X,X,X,X);
00137 XSB_INST(0x7a, hash_handle, _hash_handle, X,X,X,X);
00138 XSB_INST(0x7b, no_inst, _no_inst, PPP,X,X,X);
00139 XSB_INST(0x7c, trie_assert_inst, _trie_assert_inst,X,X,X,X);
00140 XSB_INST(0x7d, trie_root, _trie_root, X, X, X,X);
00141 XSB_INST(0x7e, no_inst, _no_inst, PPP,X,X,X);
00142 XSB_INST(0x7f, no_inst, _no_inst, PPP,X,X,X);
00143 
00144 XSB_INST(0x80, getfloat, _getfloat, PP, R, F,X);
00145 XSB_INST(0x81, putfloat, _putfloat, PP, R, F,X);
00146 XSB_INST(0x82, unifloat, _unifloat, PPP,F, X,X);
00147 XSB_INST(0x83, bldfloat, _bldfloat, PPP,F, X,X);
00148 XSB_INST(0x84, no_inst, _no_inst, PPP,X,X,X);
00149 XSB_INST(0x85, no_inst, _no_inst, PPP,X,X,X);
00150 XSB_INST(0x86, no_inst, _no_inst, PPP,X,X,X);
00151 XSB_INST(0x87, no_inst, _no_inst, PPP,X,X,X);
00152 XSB_INST(0x88, no_inst, _no_inst, PPP,X,X,X);
00153 XSB_INST(0x89, no_inst, _no_inst, PPP,X,X,X);
00154 XSB_INST(0x8a, no_inst, _no_inst, PPP,X,X,X);
00155 XSB_INST(0x8b, no_inst, _no_inst, PPP,X,X,X);
00156 XSB_INST(0x8c, no_inst, _no_inst, PPP,X,X,X);
00157 XSB_INST(0x8d, no_inst, _no_inst, PPP,X,X,X);
00158 XSB_INST(0x8e, no_inst, _no_inst, PPP,X,X,X);
00159 XSB_INST(0x8f, no_inst, _no_inst, PPP,X,X,X);
00160 
00161 XSB_INST(0x90, trie_no_cp_fail, _trie_no_cp_fail,X,X,X,X);
00162 XSB_INST(0x91, trie_trust_fail, _trie_trust_fail,X,X,X,X);
00163 XSB_INST(0x92, trie_try_fail, _trie_try_fail,X,X,X,X);
00164 XSB_INST(0x93, trie_retry_fail, _trie_retry_fail,X,X,X,X);
00165 XSB_INST(0x94, trie_fail_unlock, _trie_fail_unlock,X,X,X,X);
00166 XSB_INST(0x95, no_inst, _no_inst, PPP,X,X,X);
00167 XSB_INST(0x96, no_inst, _no_inst, PPP,X,X,X);
00168 XSB_INST(0x97, no_inst, _no_inst, PPP,X,X,X);
00169 XSB_INST(0x98, no_inst, _no_inst, PPP,X,X,X);
00170 XSB_INST(0x99, no_inst, _no_inst, PPP,X,X,X);
00171 XSB_INST(0x9a, no_inst, _no_inst, PPP,X,X,X);
00172 XSB_INST(0x9b, no_inst, _no_inst, PPP,X,X,X);
00173 XSB_INST(0x9c, no_inst, _no_inst, PPP,X,X,X);
00174 XSB_INST(0x9d, no_inst, _no_inst, PPP,X,X,X);
00175 
00176 XSB_INST(0x9e, dynfail, _dynfail, PPP,X,X,X);
00177 XSB_INST(0x9f, dyntrymeelse, _dyntrymeelse, PP, A, L,X);
00178 XSB_INST(0xa0, trymeelse, _trymeelse, PP, A, L,X);
00179 XSB_INST(0xa1, retrymeelse, _retrymeelse, PP, A, L,X);
00180 XSB_INST(0xa2, trustmeelsefail, _trustmeelsefail, PP, A, X,X);
00181 XSB_INST(0xa3, try, _try,  PP, A, L,X);
00182 XSB_INST(0xa4, retry, _retry, PP, A, L,X);
00183 XSB_INST(0xa5, trust, _trust, PP, A, L,X);
00184 XSB_INST(0xa6, getpbreg, _getpbreg, PP, V, X,X);
00185 XSB_INST(0xa7, gettbreg, _gettbreg, PP, R, X,X);
00186 XSB_INST(0xa8, putpbreg, _putpbreg, PP, V, X,X);
00187 XSB_INST(0xa9, puttbreg, _puttbreg, PP, R, X,X);
00188 XSB_INST(0xaa, jumptbreg, _jumptbreg, PP, R, L,X);
00189 XSB_INST(0xab, getVn, _getVn,  PP, V, X,X);
00190 XSB_INST(0xac, test_heap, _test_heap, PP, A, N,X);
00191 XSB_INST(0xad, no_inst, _no_inst, PPP,X,X,X);
00192 XSB_INST(0xae, no_inst, _no_inst, PPP,X,X,X);
00193 XSB_INST(0xaf, no_inst, _no_inst, PPP,X,X,X);
00194 
00195 XSB_INST(0xb0, switchonterm, _switchonterm, PPR, L, L,X);
00196 XSB_INST(0xb1, no_inst, _no_inst, PPP,X,X,X);
00197 XSB_INST(0xb2, no_inst, _no_inst, PPP,X,X,X);
00198 XSB_INST(0xb3, switchonbound, _switchonbound, PPR, I, I,X);
00199 XSB_INST(0xb4, switchon3bound, _switchon3bound, RRR, I, I,X);
00200 XSB_INST(0xb5, switchonthread, _switchonthread, PPP, L, X,X);
00201 XSB_INST(0xb6, no_inst, _no_inst, PPP,X,X,X);
00202 XSB_INST(0xb7, trymeorelse, _trymeorelse, PP, A, L,X);
00203 XSB_INST(0xb8, retrymeorelse, _retrymeorelse, PP, A, L,X);
00204 XSB_INST(0xb9, trustmeorelsefail, _trustmeorelsefail, PP, A, X,X);
00205 XSB_INST(0xba, dyntrustmeelsefail, _dyntrustmeelsefail, PP, A, L,X); 
00206 XSB_INST(0xbb, dynretrymeelse, _dynretrymeelse, PP, A, L,X); 
00207 XSB_INST(0xbc, no_inst, _no_inst, PPP,X,X,X);
00208 XSB_INST(0xbd, no_inst, _no_inst, PPP,X,X,X);
00209 XSB_INST(0xbe, no_inst, _no_inst, PPP,X,X,X);
00210 XSB_INST(0xbf, no_inst, _no_inst, PPP,X,X,X);
00211 
00212 XSB_INST(0xc0, tabletrysingle, _tabletrysingle, PP, A, L,T);
00213 XSB_INST(0xc1, tabletry, _tabletry, PP, A, L,T); 
00214 XSB_INST(0xc2, tableretry, _tableretry, PP, A, L,X);
00215 XSB_INST(0xc3, tabletrust, _tabletrust, PP, A, L,X); 
00216 XSB_INST(0xc4, check_complete, _check_complete, PPP, X, X,X); 
00217 XSB_INST(0xc5, answer_return, _answer_return, PPP, X, X,X); 
00218 XSB_INST(0xc6, resume_compl_suspension, _resume_compl_suspension, PPP, X, X,X);
00219 XSB_INST(0xc7, no_inst, _no_inst, PPP,X,X,X);
00220 XSB_INST(0xc8, no_inst, _no_inst, PPP,X,X,X);
00221 XSB_INST(0xc9, no_inst, _no_inst, PPP,X,X,X);
00222 XSB_INST(0xca, no_inst, _no_inst, PPP,X,X,X);
00223 XSB_INST(0xcb, no_inst, _no_inst, PPP,X,X,X);
00224 XSB_INST(0xcc, no_inst, _no_inst, PPP,X,X,X);
00225 XSB_INST(0xcd, no_inst, _no_inst, PPP,X,X,X);
00226 XSB_INST(0xce, check_interrupt, _check_interrupt, PP, A, S,X);
00227 XSB_INST(0xcf, new_answer_dealloc, _new_answer_dealloc, P, A, A, X);
00228 
00229 XSB_INST(0xd0, term_comp, _term_comp, R, R, R,X);
00230 XSB_INST(0xd1, movreg, _movreg, P, R, R,X);
00231 XSB_INST(0xd2, negate, _negate, PP, R, X,X);
00232 XSB_INST(0xd3, and, _and,  P, R, R,X);
00233 XSB_INST(0xd4, or, _or,  P, R, R,X);
00234 XSB_INST(0xd5, logshiftl, _logshiftl, P, R, R,X);
00235 XSB_INST(0xd6, logshiftr, _logshiftr, P, R, R,X);
00236 XSB_INST(0xd7, addreg, _addreg, P, R, R,X);
00237 XSB_INST(0xd8, subreg, _subreg, P, R, R,X);
00238 XSB_INST(0xd9, mulreg, _mulreg, P, R, R,X);
00239 XSB_INST(0xda, divreg, _divreg, P, R, R,X);
00240 XSB_INST(0xdb, idivreg, _idivreg, P, R, R,X);
00241 /*  XSB_INST(0xdc, int_test_z, _int_test_z, PP, R, N, L); */
00242 /*  XSB_INST(0xdd, int_test_nz, _int_test_nz, PP, R, N, L); */
00243 XSB_INST(0xdc, int_test_z, _int_test_z, PP, R, B, L);
00244 XSB_INST(0xdd, int_test_nz, _int_test_nz, PP, R, B, L);
00245 XSB_INST(0xde, fun_test_ne, _fun_test_ne, PRR, L,X,X);
00246 XSB_INST(0xdf, no_inst, _no_inst, PPP,X,X,X);
00247 
00248 XSB_INST(0xe0, putdval, _putdval, P, V, R,X);
00249 XSB_INST(0xe1, putuval, _putuval, P, V, R,X);
00250 XSB_INST(0xe2, minreg, _minreg, P,R,R,X);
00251 XSB_INST(0xe3, maxreg, _maxreg, P,R,R,X);
00252 XSB_INST(0xe4, dynnoop, _dynnoop, PP, A, X,X);
00253 XSB_INST(0xe5, call_forn, _call_forn, PPP,L, X,X);
00254 XSB_INST(0xe6, load_pred, _load_pred, PPP,S, X,X);
00255 XSB_INST(0xe7, allocate_gc, _allocate_gc, P, A, A,X);
00256 XSB_INST(0xe8, call, _call, PP, A, S,X);
00257 XSB_INST(0xe9, allocate, _allocate, PPP,X, X,X);
00258 XSB_INST(0xea, deallocate, _deallocate, PPP,X, X,X);
00259 XSB_INST(0xeb, proceed, _proceed, PPP,X, X,X);
00260 XSB_INST(0xec, xsb_execute, _xsb_execute, PPP,S, X,X);
00261 XSB_INST(0xed, no_inst, _no_inst, PPP,X,X,X);
00262 XSB_INST(0xee, no_inst, _no_inst, PPP,X,X,X);
00263 XSB_INST(0xef, calld, _calld, PP, A, L,X);
00264 
00265 XSB_INST(0xf0, jump, _jump, PPP,L, X,X);
00266 XSB_INST(0xf1, jumpz, _jumpz, PP, R, L,X);
00267 XSB_INST(0xf2, jumpnz, _jumpnz, PP, R, L,X);
00268 XSB_INST(0xf3, jumplt, _jumplt, PP, R, L,X);
00269 XSB_INST(0xf4, jumple, _jumple, PP, R, L,X);
00270 XSB_INST(0xf5, jumpgt, _jumpgt, PP, R, L,X);
00271 XSB_INST(0xf6, jumpge, _jumpge, PP, R, L,X);
00272 XSB_INST(0xf7, no_inst, _no_inst, PPP,X,X,X);
00273 XSB_INST(0xf8, fail, _fail, PPP,X, X,X);
00274 XSB_INST(0xf9, noop, _noop, PP, A, X,X);
00275 XSB_INST(0xfa, halt, _halt, PPP,X, X,X);
00276 XSB_INST(0xfb, builtin, _builtin, PP, A, X,X);
00277 XSB_INST(0xfc, unifunc, _unifunc, P,X, A,R);
00278 XSB_INST(0xfe, jumpcof, _jumpcof, P, A, R, L);
00279 XSB_INST(0xff, no_inst, _no_inst, PPP,X,X,X);
xsb_inst_list.h
