00001 module('assert', unloaded).
00002 entry('assert',0x8179bc0,'abolish'/1,'UDEF','UNLOADED','n/a',0x8179bd0).
00003 entry('assert',0x81799c0,'dynamic'/1,'UDEF','UNLOADED','n/a',0x81799d0).
00004 entry('assert',0x8179990,'assert'/1,'UDEF','UNLOADED','n/a',0x81799a0).
00005
00006 module('basics', unloaded).
00007 entry('basics',0x8179900,'append'/3,'UDEF','UNLOADED','n/a',0x8179910).
00008
00009 module('machine', unloaded).
00010 entry('machine',0x81797e0,'term_psc'/2,'UDEF','UNLOADED','n/a',0x81797f0).
00011 entry('machine',0x8179790,'stat_set_flag'/2,'UDEF','UNLOADED','n/a',0x81797a0).
00012 entry('machine',0x8179740,'thread_request'/5,'UDEF','UNLOADED','n/a',0x8179750).
00013
00014 module('thread',loaded).
00015 entry('thread',0x817ac48,'n_list'/3,'PRED','HIDDEN','UNTABLED',0x817bb40).
00016 entry('thread',0x817ac00,'par_wait'/1,'PRED','HIDDEN','UNTABLED',0x817bc20).
00017 entry('thread',0x817abb8,'par_spawn'/2,'PRED','HIDDEN','UNTABLED',0x817bba0).
00018 entry('thread',0x817ab28,'make_ts_goal'/2,'PRED','HIDDEN','UNTABLED',0x817b788).
00019 entry('thread',0x817aab0,'ts_prefix'/1,'PRED','HIDDEN','UNTABLED',0x817b720).
00020 entry('thread',0x817a930,'user_mutex'/2,'PRED','HIDDEN','UNTABLED',0x817b578).
00021 entry('thread',0x817a8d8,'init_multi_threading'/0,'PRED','HIDDEN','UNTABLED',0x817b528).
00022 entry('thread',0x817a890,'_$main'/0,'UDEF','HIDDEN','n/a',0x817a8a0).
00023 entry('thread',0x817a840,'_$thread_run'/1,'PRED','HIDDEN','UNTABLED',0x817b468).
00024 entry('thread',0x817a810,'xsb_sys_mutex_unlock'/2,'PRED','HIDDEN','UNTABLED',0x817b0f8).
00025 entry('thread',0x817a7e0,'xsb_sys_mutex_lock'/2,'PRED','HIDDEN','UNTABLED',0x817b0b0).
00026 entry('thread',0x817a6b8,'xsb_mutex_init_np0'/3,'PRED','HIDDEN','UNTABLED',0x817ae70).
00027 entry('thread',0x817a668,'console_exmut'/1,'PRED','VISIBLE','UNTABLED',0x817bd18).
00028 entry('thread',0x817a618,'exmut_execute'/2,'PRED','VISIBLE','UNTABLED',0x817bc90).
00029 entry('thread',0x817a5c8,'n_par_execute'/2,'PRED','VISIBLE','UNTABLED',0x817baf0).
00030 entry('thread',0x817a580,'par_execute'/1,'PRED','VISIBLE','UNTABLED',0x817bab0).
00031 entry('thread',0x817a528,'ts_abolish_table_call'/1,'PRED','VISIBLE','UNTABLED',0x817b908).
00032 entry('thread',0x817a4e0,'ts_abolish'/0,'PRED','VISIBLE','UNTABLED',0x817ba68).
00033 entry('thread',0x817a490,'ts_abolish_tables'/0,'PRED','VISIBLE','UNTABLED',0x817ba20).
00034 entry('thread',0x817a440,'ts_init_tables'/0,'PRED','VISIBLE','UNTABLED',0x817b988).
00035 entry('thread',0x817a3f8,'ts_tnot'/1,'PRED','VISIBLE','UNTABLED',0x817b948).
00036 entry('thread',0x817a3b0,'ts_call'/1,'PRED','VISIBLE','UNTABLED',0x817b8c8).
00037 entry('thread',0x817a368,'ts_assert'/1,'PRED','VISIBLE','UNTABLED',0x817b828).
00038 entry('thread',0x817a338,'xsb_mutex_init_np'/2,'PRED','VISIBLE','UNTABLED',0x817b2f8).
00039 entry('thread',0x817a308,'xsb_mutex_destroy'/1,'PRED','VISIBLE','UNTABLED',0x817b3b8).
00040 entry('thread',0x817a2d8,'xsb_mutex_unlock'/1,'PRED','VISIBLE','UNTABLED',0x817b388).
00041 entry('thread',0x817a2a8,'xsb_mutex_trylock'/1,'PRED','VISIBLE','UNTABLED',0x817b358).
00042 entry('thread',0x817a278,'xsb_mutex_lock'/1,'PRED','VISIBLE','UNTABLED',0x817b328).
00043 entry('thread',0x817a248,'xsb_mutex_init'/1,'PRED','VISIBLE','UNTABLED',0x817b2c8).
00044 entry('thread',0x817a218,'xsb_thread_self'/1,'PRED','VISIBLE','UNTABLED',0x817b298).
00045 entry('thread',0x817a1e8,'xsb_thread_detach'/1,'PRED','VISIBLE','UNTABLED',0x817b268).
00046 entry('thread',0x817a1b8,'xsb_thread_join'/1,'PRED','VISIBLE','UNTABLED',0x817b238).
00047 entry('thread',0x817a188,'xsb_thread_join'/2,'PRED','VISIBLE','UNTABLED',0x817b208).
00048 entry('thread',0x817a158,'xsb_thread_exit'/1,'PRED','VISIBLE','UNTABLED',0x817b1a0).
00049 entry('thread',0x817a128,'xsb_thread_exit'/0,'PRED','VISIBLE','UNTABLED',0x817b1d0).
00050 entry('thread',0x817a0f8,'xsb_thread_create'/2,'PRED','VISIBLE','UNTABLED',0x817b170).
00051 entry('thread',0x817a0c8,'xsb_thread_create'/1,'PRED','VISIBLE','UNTABLED',0x817b140).
00052 entry('thread',0x817a070,'xsb_user_mutex_unlock'/1,'PRED','VISIBLE','UNTABLED',0x817b6a8).
00053 entry('thread',0x817a020,'xsb_user_mutex_lock'/1,'PRED','VISIBLE','UNTABLED',0x817b5e8).
00054 entry('thread',0x8179fc8,'xsb_sys_mutex_unlock'/1,'PRED','VISIBLE','UNTABLED',0x817b428).
00055 entry('thread',0x8179f78,'xsb_sys_mutex_lock'/1,'PRED','VISIBLE','UNTABLED',0x817b3e8).
00056 entry('thread',0x8179f28,'xsb_mutex_destroy'/2,'PRED','VISIBLE','UNTABLED',0x817afd0).
00057 entry('thread',0x8179ed8,'xsb_mutex_unlock'/2,'PRED','VISIBLE','UNTABLED',0x817af88).
00058 entry('thread',0x8179e88,'xsb_mutex_trylock'/2,'PRED','VISIBLE','UNTABLED',0x817af40).
00059 entry('thread',0x8179e38,'xsb_mutex_lock'/2,'PRED','VISIBLE','UNTABLED',0x817aef8).
00060 entry('thread',0x8179de8,'xsb_mutex_init_np'/3,'PRED','VISIBLE','UNTABLED',0x817b018).
00061 entry('thread',0x8179d98,'xsb_mutex_init'/2,'PRED','VISIBLE','UNTABLED',0x817aeb0).
00062 entry('thread',0x8179d48,'xsb_thread_self'/2,'PRED','VISIBLE','UNTABLED',0x817ae28).
00063 entry('thread',0x8179cf8,'xsb_thread_detach'/2,'PRED','VISIBLE','UNTABLED',0x817ade0).
00064 entry('thread',0x8179ca8,'xsb_thread_join'/3,'PRED','VISIBLE','UNTABLED',0x817ad98).
00065 entry('thread',0x8179c58,'xsb_thread_exit'/2,'PRED','VISIBLE','UNTABLED',0x817ad38).
00066 entry('thread',0x8179c08,'xsb_thread_create'/3,'PRED','VISIBLE','UNTABLED',0x817acf0).
00067
00068 module('tables', unloaded).
00069 entry('tables',0x8179b70,'abolish_table_pred'/1,'UDEF','UNLOADED','n/a',0x8179b80).
00070 entry('tables',0x8179b20,'abolish_table_call'/1,'UDEF','UNLOADED','n/a',0x8179b30).
00071 entry('tables',0x81792f0,'tnot'/1,'UDEF','UNLOADED','n/a',0x8179300).
00072
00073 module('standard', unloaded).
00074 entry('standard',0x8179ad8,'name'/2,'UDEF','UNLOADED','n/a',0x8179ae8).
00075 entry('standard',0x8179a98,'=..'/2,'UDEF','UNLOADED','n/a',0x8179aa8).
00076 entry('standard',0x8179a50,'functor'/3,'UDEF','UNLOADED','n/a',0x8179a60).
00077 entry('standard',0x8179a08,'table'/1,'UDEF','UNLOADED','n/a',0x8179a18).
00078 entry('standard',0x8179870,'writeln'/1,'UDEF','UNLOADED','n/a',0x8179880).
00079 entry('standard',0x8179828,'call'/1,'UDEF','UNLOADED','n/a',0x8179838).
00080 entry('standard',0x8179258,':'/2,'ORDI','UNLOADED','n/a',0x8179268).
00081 entry('standard',0x8179208,','/2,'ORDI','UNLOADED','n/a',0x8179218).
00082 entry('standard',0x81791b0,'true'/0,'ORDI','UNLOADED','n/a',0x81791c0).
00083
00084 module('usermod',loaded).
00085 equiv(usermod,global).
00086
00087
00088
00089
00090 segment([
00091 inst(0x817aca0, test_heap, 0, 2000),
00092 inst(0x817aca8, try, 0, 0x817acb8),
00093 inst(0x817acb0, trust, 0, 0x817acd0),
00094 inst(0x817acb8, allocate_gc, 2, 3),
00095 inst(0x817acbc, getpbreg, 2),
00096 inst(0x817acc0, call, 3, 0x817a8d8, 'init_multi_threading'/0),
00097 inst(0x817acc8, putpbreg, 2),
00098 inst(0x817accc, fail),
00099 inst(0x817acd0, proceed)]).
00100 segment([
00101 inst(0x817acf0, test_heap, 3, 2000),
00102 inst(0x817acf8, movreg, r1, r6),
00103 inst(0x817acfc, movreg, r2, r7),
00104 inst(0x817ad00, movreg, r3, r5),
00105 inst(0x817ad04, putnumcon, r1, 1),
00106 inst(0x817ad0c, movreg, r6, r2),
00107 inst(0x817ad10, movreg, r7, r3),
00108 inst(0x817ad14, puttvar, r4, r4),
00109 inst(0x817ad18, xsb_execute, 0x8179740, 'thread_request'/5)]).
00110 segment([
00111 inst(0x817ad38, test_heap, 2, 2000),
00112 inst(0x817ad40, allocate_gc, 2, 4),
00113 inst(0x817ad44, getpvar, 2, r1),
00114 inst(0x817ad48, getpvar, 3, r2),
00115 inst(0x817ad4c, call, 4, 0x817a490, 'ts_abolish_tables'/0),
00116 inst(0x817ad54, call, 4, 0x817a4e0, 'ts_abolish'/0),
00117 inst(0x817ad5c, putnumcon, r1, 2),
00118 inst(0x817ad64, putdval, 2, r2),
00119 inst(0x817ad68, puttvar, r3, r3),
00120 inst(0x817ad6c, puttvar, r4, r4),
00121 inst(0x817ad70, putdval, 3, r5),
00122 inst(0x817ad74, deallocate),
00123 inst(0x817ad78, xsb_execute, 0x8179740, 'thread_request'/5)]).
00124 segment([
00125 inst(0x817ad98, test_heap, 3, 2000),
00126 inst(0x817ada0, movreg, r1, r6),
00127 inst(0x817ada4, movreg, r2, r7),
00128 inst(0x817ada8, movreg, r3, r5),
00129 inst(0x817adac, putnumcon, r1, 3),
00130 inst(0x817adb4, movreg, r6, r2),
00131 inst(0x817adb8, movreg, r7, r3),
00132 inst(0x817adbc, puttvar, r4, r4),
00133 inst(0x817adc0, xsb_execute, 0x8179740, 'thread_request'/5)]).
00134 segment([
00135 inst(0x817ade0, test_heap, 2, 2000),
00136 inst(0x817ade8, movreg, r1, r6),
00137 inst(0x817adec, movreg, r2, r5),
00138 inst(0x817adf0, putnumcon, r1, 4),
00139 inst(0x817adf8, movreg, r6, r2),
00140 inst(0x817adfc, puttvar, r3, r3),
00141 inst(0x817ae00, puttvar, r4, r4),
00142 inst(0x817ae04, xsb_execute, 0x8179740, 'thread_request'/5)]).
00143 segment([
00144 inst(0x817ae28, test_heap, 2, 2000),
00145 inst(0x817ae30, movreg, r1, r6),
00146 inst(0x817ae34, movreg, r2, r5),
00147 inst(0x817ae38, putnumcon, r1, 5),
00148 inst(0x817ae40, movreg, r6, r2),
00149 inst(0x817ae44, puttvar, r3, r3),
00150 inst(0x817ae48, puttvar, r4, r4),
00151 inst(0x817ae4c, xsb_execute, 0x8179740, 'thread_request'/5)]).
00152 segment([
00153 inst(0x817ae70, test_heap, 3, 2000),
00154 inst(0x817ae78, movreg, r1, r6),
00155 inst(0x817ae7c, movreg, r3, r5),
00156 inst(0x817ae80, putnumcon, r1, 6),
00157 inst(0x817ae88, movreg, r6, r3),
00158 inst(0x817ae8c, puttvar, r4, r4),
00159 inst(0x817ae90, xsb_execute, 0x8179740, 'thread_request'/5)]).
00160 segment([
00161 inst(0x817aeb0, test_heap, 2, 2000),
00162 inst(0x817aeb8, movreg, r1, r3),
00163 inst(0x817aebc, movreg, r2, r5),
00164 inst(0x817aec0, putnumcon, r1, 6),
00165 inst(0x817aec8, putnumcon, r2, 1),
00166 inst(0x817aed0, puttvar, r4, r4),
00167 inst(0x817aed4, xsb_execute, 0x8179740, 'thread_request'/5)]).
00168 segment([
00169 inst(0x817aef8, test_heap, 2, 2000),
00170 inst(0x817af00, movreg, r1, r6),
00171 inst(0x817af04, movreg, r2, r5),
00172 inst(0x817af08, putnumcon, r1, 7),
00173 inst(0x817af10, movreg, r6, r2),
00174 inst(0x817af14, puttvar, r3, r3),
00175 inst(0x817af18, puttvar, r4, r4),
00176 inst(0x817af1c, xsb_execute, 0x8179740, 'thread_request'/5)]).
00177 segment([
00178 inst(0x817af40, test_heap, 2, 2000),
00179 inst(0x817af48, movreg, r1, r6),
00180 inst(0x817af4c, movreg, r2, r5),
00181 inst(0x817af50, putnumcon, r1, 8),
00182 inst(0x817af58, movreg, r6, r2),
00183 inst(0x817af5c, puttvar, r3, r3),
00184 inst(0x817af60, puttvar, r4, r4),
00185 inst(0x817af64, xsb_execute, 0x8179740, 'thread_request'/5)]).
00186 segment([
00187 inst(0x817af88, test_heap, 2, 2000),
00188 inst(0x817af90, movreg, r1, r6),
00189 inst(0x817af94, movreg, r2, r5),
00190 inst(0x817af98, putnumcon, r1, 9),
00191 inst(0x817afa0, movreg, r6, r2),
00192 inst(0x817afa4, puttvar, r3, r3),
00193 inst(0x817afa8, puttvar, r4, r4),
00194 inst(0x817afac, xsb_execute, 0x8179740, 'thread_request'/5)]).
00195 segment([
00196 inst(0x817afd0, test_heap, 2, 2000),
00197 inst(0x817afd8, movreg, r1, r6),
00198 inst(0x817afdc, movreg, r2, r5),
00199 inst(0x817afe0, putnumcon, r1, 10),
00200 inst(0x817afe8, movreg, r6, r2),
00201 inst(0x817afec, puttvar, r3, r3),
00202 inst(0x817aff0, puttvar, r4, r4),
00203 inst(0x817aff4, xsb_execute, 0x8179740, 'thread_request'/5)]).
00204 segment([
00205 inst(0x817b018, test_heap, 3, 2000),
00206 inst(0x817b020, switchonbound, r1, 135771376, 7),
00207 inst(0x817b02c, try, 3, 0x817b044),
00208 inst(0x817b034, retry, 3, 0x817b060),
00209 inst(0x817b03c, trust, 3, 0x817b07c),
00210 inst(0x817b044, getcon, r1, 0x817a72c),
00211 inst(0x817b04c, movreg, r2, r1),
00212 inst(0x817b050, putnumcon, r2, 1),
00213 inst(0x817b058, xsb_execute, 0x817a6b8, 'xsb_mutex_init_np0'/3),
00214 inst(0x817b060, getcon, r1, 0x817a774),
00215 inst(0x817b068, movreg, r2, r1),
00216 inst(0x817b06c, putnumcon, r2, 2),
00217 inst(0x817b074, xsb_execute, 0x817a6b8, 'xsb_mutex_init_np0'/3),
00218 inst(0x817b07c, getcon, r1, 0x817a7bc),
00219 inst(0x817b084, movreg, r2, r1),
00220 inst(0x817b088, putnumcon, r2, 3),
00221 inst(0x817b090, xsb_execute, 0x817a6b8, 'xsb_mutex_init_np0'/3),
00222 hash_table([
00223 hash_entry(0x817b4f0,817b07c),
00224 hash_entry(0x817b4f4,8110b6c),
00225 hash_entry(0x817b4f8,8110b6c),
00226 hash_entry(0x817b4fc,817b044),
00227 hash_entry(0x817b500,8110b6c),
00228 hash_entry(0x817b504,817b060),
00229 hash_entry(0x817b508,8110b6c)])]).
00230 segment([
00231 inst(0x817b0b0, test_heap, 2, 2000),
00232 inst(0x817b0b8, movreg, r1, r6),
00233 inst(0x817b0bc, movreg, r2, r5),
00234 inst(0x817b0c0, putnumcon, r1, 11),
00235 inst(0x817b0c8, movreg, r6, r2),
00236 inst(0x817b0cc, puttvar, r3, r3),
00237 inst(0x817b0d0, puttvar, r4, r4),
00238 inst(0x817b0d4, xsb_execute, 0x8179740, 'thread_request'/5)]).
00239 segment([
00240 inst(0x817b0f8, test_heap, 2, 2000),
00241 inst(0x817b100, movreg, r1, r6),
00242 inst(0x817b104, movreg, r2, r5),
00243 inst(0x817b108, putnumcon, r1, 12),
00244 inst(0x817b110, movreg, r6, r2),
00245 inst(0x817b114, puttvar, r3, r3),
00246 inst(0x817b118, puttvar, r4, r4),
00247 inst(0x817b11c, xsb_execute, 0x8179740, 'thread_request'/5)]).
00248 segment([
00249 inst(0x817b140, test_heap, 1, 2000),
00250 inst(0x817b148, puttvar, r2, r2),
00251 inst(0x817b14c, puttvar, r3, r3),
00252 inst(0x817b150, xsb_execute, 0x8179c08, 'xsb_thread_create'/3)]).
00253 segment([
00254 inst(0x817b170, test_heap, 2, 2000),
00255 inst(0x817b178, puttvar, r3, r3),
00256 inst(0x817b17c, xsb_execute, 0x8179c08, 'xsb_thread_create'/3)]).
00257 segment([
00258 inst(0x817b1a0, test_heap, 1, 2000),
00259 inst(0x817b1a8, puttvar, r2, r2),
00260 inst(0x817b1ac, xsb_execute, 0x8179c58, 'xsb_thread_exit'/2)]).
00261 segment([
00262 inst(0x817b1d0, test_heap, 0, 2000),
00263 inst(0x817b1d8, putnumcon, r1, 0),
00264 inst(0x817b1e0, puttvar, r2, r2),
00265 inst(0x817b1e4, xsb_execute, 0x8179c58, 'xsb_thread_exit'/2)]).
00266 segment([
00267 inst(0x817b208, test_heap, 2, 2000),
00268 inst(0x817b210, puttvar, r3, r3),
00269 inst(0x817b214, xsb_execute, 0x8179ca8, 'xsb_thread_join'/3)]).
00270 segment([
00271 inst(0x817b238, test_heap, 1, 2000),
00272 inst(0x817b240, puttvar, r2, r2),
00273 inst(0x817b244, puttvar, r3, r3),
00274 inst(0x817b248, xsb_execute, 0x8179ca8, 'xsb_thread_join'/3)]).
00275 segment([
00276 inst(0x817b268, test_heap, 1, 2000),
00277 inst(0x817b270, puttvar, r2, r2),
00278 inst(0x817b274, xsb_execute, 0x8179cf8, 'xsb_thread_detach'/2)]).
00279 segment([
00280 inst(0x817b298, test_heap, 1, 2000),
00281 inst(0x817b2a0, puttvar, r2, r2),
00282 inst(0x817b2a4, xsb_execute, 0x8179d48, 'xsb_thread_self'/2)]).
00283 segment([
00284 inst(0x817b2c8, test_heap, 1, 2000),
00285 inst(0x817b2d0, puttvar, r2, r2),
00286 inst(0x817b2d4, xsb_execute, 0x8179d98, 'xsb_mutex_init'/2)]).
00287 segment([
00288 inst(0x817b2f8, test_heap, 2, 2000),
00289 inst(0x817b300, puttvar, r3, r3),
00290 inst(0x817b304, xsb_execute, 0x8179de8, 'xsb_mutex_init_np'/3)]).
00291 segment([
00292 inst(0x817b328, test_heap, 1, 2000),
00293 inst(0x817b330, puttvar, r2, r2),
00294 inst(0x817b334, xsb_execute, 0x8179e38, 'xsb_mutex_lock'/2)]).
00295 segment([
00296 inst(0x817b358, test_heap, 1, 2000),
00297 inst(0x817b360, puttvar, r2, r2),
00298 inst(0x817b364, xsb_execute, 0x8179e88, 'xsb_mutex_trylock'/2)]).
00299 segment([
00300 inst(0x817b388, test_heap, 1, 2000),
00301 inst(0x817b390, puttvar, r2, r2),
00302 inst(0x817b394, xsb_execute, 0x8179ed8, 'xsb_mutex_unlock'/2)]).
00303 segment([
00304 inst(0x817b3b8, test_heap, 1, 2000),
00305 inst(0x817b3c0, puttvar, r2, r2),
00306 inst(0x817b3c4, xsb_execute, 0x8179f28, 'xsb_mutex_destroy'/2)]).
00307 segment([
00308 inst(0x817b3e8, test_heap, 1, 2000),
00309 inst(0x817b3f0, movreg, r1, r2),
00310 inst(0x817b3f4, putnumcon, r1, 11),
00311 inst(0x817b3fc, puttvar, r3, r3),
00312 inst(0x817b400, puttvar, r4, r4),
00313 inst(0x817b404, puttvar, r5, r5),
00314 inst(0x817b408, xsb_execute, 0x8179740, 'thread_request'/5)]).
00315 segment([
00316 inst(0x817b428, test_heap, 1, 2000),
00317 inst(0x817b430, movreg, r1, r2),
00318 inst(0x817b434, putnumcon, r1, 12),
00319 inst(0x817b43c, puttvar, r3, r3),
00320 inst(0x817b440, puttvar, r4, r4),
00321 inst(0x817b444, puttvar, r5, r5),
00322 inst(0x817b448, xsb_execute, 0x8179740, 'thread_request'/5)]).
00323 segment([
00324 inst(0x817b468, test_heap, 1, 2000),
00325 inst(0x817b470, try, 1, 0x817b480),
00326 inst(0x817b478, trust, 1, 0x817b4b4),
00327 inst(0x817b480, allocate_gc, 2, 3),
00328 inst(0x817b484, getpvar, 2, r1),
00329 inst(0x817b488, call, 3, 0x817a440, 'ts_init_tables'/0),
00330 inst(0x817b490, putpval, 2, r1),
00331 inst(0x817b494, call, 3, 0x8179828, 'call'/1),
00332 inst(0x817b49c, putnumcon, r1, 0),
00333 inst(0x817b4a4, puttvar, r2, r2),
00334 inst(0x817b4a8, deallocate),
00335 inst(0x817b4ac, xsb_execute, 0x8179c58, 'xsb_thread_exit'/2),
00336 inst(0x817b4b4, putnumcon, r1, 0),
00337 inst(0x817b4bc, puttvar, r2, r2),
00338 inst(0x817b4c0, xsb_execute, 0x8179c58, 'xsb_thread_exit'/2)]).
00339 segment([
00340 inst(0x817b528, test_heap, 0, 2000),
00341 inst(0x817b530, allocate_gc, 2, 3),
00342 inst(0x817b534, putstr, r1, 0x817a840),
00343 inst(0x817b53c, bldavar),
00344 inst(0x817b540, putpvar, 2, r2),
00345 inst(0x817b544, builtin, '11', term_psc),
00346 inst(0x817b548, putnumcon, r1, 63),
00347 inst(0x817b550, putuval, 2, r2),
00348 inst(0x817b554, deallocate),
00349 inst(0x817b558, builtin, '18', stat_set_flag),
00350 inst(0x817b55c, proceed)]).
00351 segment([
00352 inst(0x817b578, test_heap, 2, 2000),
00353 inst(0x817b580, putnumcon, r3, 21),
00354 inst(0x817b588, addreg, r3, r1),
00355 inst(0x817b58c, putnumcon, r3, 1),
00356 inst(0x817b594, subreg, r3, r1),
00357 inst(0x817b598, gettval, r2, r1),
00358 inst(0x817b59c, movreg, r2, r3),
00359 inst(0x817b5a0, putnumcon, r4, 21),
00360 inst(0x817b5a8, subreg, r4, r3),
00361 inst(0x817b5ac, jumplt, r3, 0x8110b6c),
00362 inst(0x817b5b4, putnumcon, r3, 40),
00363 inst(0x817b5bc, subreg, r3, r2),
00364 inst(0x817b5c0, jumpge, r2, 0x8110b6c),
00365 inst(0x817b5c8, proceed)]).
00366 segment([
00367 inst(0x817b5e8, test_heap, 1, 2000),
00368 inst(0x817b5f0, gettbreg, r2),
00369 inst(0x817b5f4, test_heap, 2, 2000),
00370 inst(0x817b5fc, try, 2, 0x817b614),
00371 inst(0x817b604, retry, 2, 0x817b65c),
00372 inst(0x817b60c, trust, 2, 0x817b674),
00373 inst(0x817b614, allocate_gc, 2, 5),
00374 inst(0x817b618, getpvar, 2, r2),
00375 inst(0x817b61c, putpvar, 3, r2),
00376 inst(0x817b620, call, 5, 0x817a930, 'user_mutex'/2),
00377 inst(0x817b628, putpval, 3, r1),
00378 inst(0x817b62c, putpvar, 4, r2),
00379 inst(0x817b630, call, 5, 0x817a7e0, 'xsb_sys_mutex_lock'/2),
00380 inst(0x817b638, putuval, 4, r1),
00381 inst(0x817b63c, putnumcon, r2, 0),
00382 inst(0x817b644, term_comp, r1, r2, r3),
00383 inst(0x817b648, jumpnz, r3, 0x8110b6c),
00384 inst(0x817b650, putpbreg, 2),
00385 inst(0x817b654, deallocate),
00386 inst(0x817b658, proceed),
00387 inst(0x817b65c, movreg, r1, r3),
00388 inst(0x817b660, putstr, r1, 0x817a9f8),
00389 inst(0x817b668, bldtval, r3),
00390 inst(0x817b66c, xsb_execute, 0x8179870, 'writeln'/1),
00391 inst(0x817b674, movreg, r1, r3),
00392 inst(0x817b678, putstr, r1, 0x817aa50),
00393 inst(0x817b680, bldtval, r3),
00394 inst(0x817b684, xsb_execute, 0x8179870, 'writeln'/1)]).
00395 segment([
00396 inst(0x817b6a8, test_heap, 1, 2000),
00397 inst(0x817b6b0, gettbreg, r2),
00398 inst(0x817b6b4, test_heap, 2, 2000),
00399 inst(0x817b6bc, allocate_gc, 2, 5),
00400 inst(0x817b6c0, getpvar, 2, r2),
00401 inst(0x817b6c4, putpvar, 3, r2),
00402 inst(0x817b6c8, call, 5, 0x817a930, 'user_mutex'/2),
00403 inst(0x817b6d0, putpval, 3, r1),
00404 inst(0x817b6d4, putpvar, 4, r2),
00405 inst(0x817b6d8, call, 5, 0x817a810, 'xsb_sys_mutex_unlock'/2),
00406 inst(0x817b6e0, putuval, 4, r1),
00407 inst(0x817b6e4, putnumcon, r2, 0),
00408 inst(0x817b6ec, term_comp, r1, r2, r3),
00409 inst(0x817b6f0, jumpnz, r3, 0x8110b6c),
00410 inst(0x817b6f8, putpbreg, 2),
00411 inst(0x817b6fc, deallocate),
00412 inst(0x817b700, proceed)]).
00413 segment([
00414 inst(0x817b720, test_heap, 1, 2000),
00415 inst(0x817b728, getlist, r1),
00416 inst(0x817b72c, uninumcon, 36),
00417 inst(0x817b734, unitvar, r1),
00418 inst(0x817b738, getlist, r1),
00419 inst(0x817b73c, uninumcon, 116),
00420 inst(0x817b744, unitvar, r2),
00421 inst(0x817b748, getlist, r2),
00422 inst(0x817b74c, uninumcon, 115),
00423 inst(0x817b754, unitvar, r1),
00424 inst(0x817b758, getlist, r1),
00425 inst(0x817b75c, uninumcon, 95),
00426 inst(0x817b764, uninil),
00427 inst(0x817b768, proceed)]).
00428 segment([
00429 inst(0x817b788, test_heap, 2, 2000),
00430 inst(0x817b790, allocate_gc, 2, 9),
00431 inst(0x817b794, getpvar, 2, r1),
00432 inst(0x817b798, getpvar, 3, r2),
00433 inst(0x817b79c, putpvar, 4, r1),
00434 inst(0x817b7a0, call, 9, 0x817a218, 'xsb_thread_self'/1),
00435 inst(0x817b7a8, putpval, 4, r1),
00436 inst(0x817b7ac, putpvar, 5, r2),
00437 inst(0x817b7b0, call, 9, 0x8179ad8, 'name'/2),
00438 inst(0x817b7b8, putpvar, 6, r1),
00439 inst(0x817b7bc, call, 9, 0x817aab0, 'ts_prefix'/1),
00440 inst(0x817b7c4, putpval, 6, r1),
00441 inst(0x817b7c8, putpval, 5, r2),
00442 inst(0x817b7cc, putpvar, 7, r3),
00443 inst(0x817b7d0, call, 9, 0x8179900, 'append'/3),
00444 inst(0x817b7d8, putpvar, 8, r1),
00445 inst(0x817b7dc, putpval, 7, r2),
00446 inst(0x817b7e0, call, 9, 0x8179ad8, 'name'/2),
00447 inst(0x817b7e8, putlist, r3),
00448 inst(0x817b7ec, bldpval, 2),
00449 inst(0x817b7f0, bldnil),
00450 inst(0x817b7f4, putdval, 3, r1),
00451 inst(0x817b7f8, putlist, r2),
00452 inst(0x817b7fc, bldpval, 8),
00453 inst(0x817b800, bldtval, r3),
00454 inst(0x817b804, deallocate),
00455 inst(0x817b808, builtin, '202', univ),
00456 inst(0x817b80c, proceed)]).
00457 segment([
00458 inst(0x817b828, test_heap, 1, 2000),
00459 inst(0x817b830, gettbreg, r2),
00460 inst(0x817b834, test_heap, 2, 2000),
00461 inst(0x817b83c, try, 2, 0x817b84c),
00462 inst(0x817b844, trust, 2, 0x817b88c),
00463 inst(0x817b84c, allocate_gc, 2, 4),
00464 inst(0x817b850, getstr, r1, 0x81790a0),
00465 inst(0x817b858, unitvar, r1),
00466 inst(0x817b85c, unipvar, 2),
00467 inst(0x817b860, puttbreg, r2),
00468 inst(0x817b864, putpvar, 3, r2),
00469 inst(0x817b868, call, 4, 0x817ab28, 'make_ts_goal'/2),
00470 inst(0x817b870, putstr, r1, 0x81790a0),
00471 inst(0x817b878, bldpval, 3),
00472 inst(0x817b87c, bldpval, 2),
00473 inst(0x817b880, deallocate),
00474 inst(0x817b884, xsb_execute, 0x8179990, 'assert'/1),
00475 inst(0x817b88c, allocate_gc, 2, 3),
00476 inst(0x817b890, putpvar, 2, r2),
00477 inst(0x817b894, call, 3, 0x817ab28, 'make_ts_goal'/2),
00478 inst(0x817b89c, putuval, 2, r1),
00479 inst(0x817b8a0, deallocate),
00480 inst(0x817b8a4, xsb_execute, 0x8179990, 'assert'/1)]).
00481 segment([
00482 inst(0x817b8c8, test_heap, 1, 2000),
00483 inst(0x817b8d0, allocate_gc, 2, 3),
00484 inst(0x817b8d4, putpvar, 2, r2),
00485 inst(0x817b8d8, call, 3, 0x817ab28, 'make_ts_goal'/2),
00486 inst(0x817b8e0, putuval, 2, r1),
00487 inst(0x817b8e4, deallocate),
00488 inst(0x817b8e8, xsb_execute, 0x8179828, 'call'/1)]).
00489 segment([
00490 inst(0x817b908, test_heap, 1, 2000),
00491 inst(0x817b910, allocate_gc, 2, 3),
00492 inst(0x817b914, putpvar, 2, r2),
00493 inst(0x817b918, call, 3, 0x817ab28, 'make_ts_goal'/2),
00494 inst(0x817b920, putuval, 2, r1),
00495 inst(0x817b924, deallocate),
00496 inst(0x817b928, xsb_execute, 0x8179b20, 'abolish_table_call'/1)]).
00497 segment([
00498 inst(0x817b948, test_heap, 1, 2000),
00499 inst(0x817b950, allocate_gc, 2, 3),
00500 inst(0x817b954, putpvar, 2, r2),
00501 inst(0x817b958, call, 3, 0x817ab28, 'make_ts_goal'/2),
00502 inst(0x817b960, putuval, 2, r1),
00503 inst(0x817b964, deallocate),
00504 inst(0x817b968, xsb_execute, 0x81792f0, 'tnot'/1)]).
00505 segment([
00506 inst(0x817b988, test_heap, 0, 2000),
00507 inst(0x817b990, allocate_gc, 2, 6),
00508 inst(0x817b994, putnumcon, r1, 2),
00509 inst(0x817b99c, call, 6, 0x8179f78, 'xsb_sys_mutex_lock'/1),
00510 inst(0x817b9a4, putuval, 2, r1),
00511 inst(0x817b9a8, putpvar, 3, r2),
00512 inst(0x817b9ac, call, 6, 0x817ab28, 'make_ts_goal'/2),
00513 inst(0x817b9b4, putpval, 3, r1),
00514 inst(0x817b9b8, putpvar, 4, r2),
00515 inst(0x817b9bc, putpvar, 5, r3),
00516 inst(0x817b9c0, builtin, '200', functor),
00517 inst(0x817b9c4, putstr, r1, 0x817ab78),
00518 inst(0x817b9cc, bldpval, 4),
00519 inst(0x817b9d0, bldpval, 5),
00520 inst(0x817b9d4, call, 6, 0x8179a08, 'table'/1),
00521 inst(0x817b9dc, putstr, r1, 0x817ab78),
00522 inst(0x817b9e4, bldpval, 4),
00523 inst(0x817b9e8, bldpval, 5),
00524 inst(0x817b9ec, call, 6, 0x81799c0, 'dynamic'/1),
00525 inst(0x817b9f4, putnumcon, r1, 2),
00526 inst(0x817b9fc, deallocate),
00527 inst(0x817ba00, xsb_execute, 0x8179fc8, 'xsb_sys_mutex_unlock'/1)]).
00528 segment([
00529 inst(0x817ba20, test_heap, 0, 2000),
00530 inst(0x817ba28, allocate_gc, 2, 4),
00531 inst(0x817ba2c, putuval, 2, r1),
00532 inst(0x817ba30, putpvar, 3, r2),
00533 inst(0x817ba34, call, 4, 0x817ab28, 'make_ts_goal'/2),
00534 inst(0x817ba3c, putuval, 3, r1),
00535 inst(0x817ba40, deallocate),
00536 inst(0x817ba44, xsb_execute, 0x8179b70, 'abolish_table_pred'/1)]).
00537 segment([
00538 inst(0x817ba68, test_heap, 0, 2000),
00539 inst(0x817ba70, allocate_gc, 2, 4),
00540 inst(0x817ba74, putuval, 2, r1),
00541 inst(0x817ba78, putpvar, 3, r2),
00542 inst(0x817ba7c, call, 4, 0x817ab28, 'make_ts_goal'/2),
00543 inst(0x817ba84, putuval, 3, r1),
00544 inst(0x817ba88, deallocate),
00545 inst(0x817ba8c, xsb_execute, 0x8179bc0, 'abolish'/1)]).
00546 segment([
00547 inst(0x817bab0, test_heap, 1, 2000),
00548 inst(0x817bab8, allocate_gc, 2, 3),
00549 inst(0x817babc, putpvar, 2, r2),
00550 inst(0x817bac0, call, 3, 0x817abb8, 'par_spawn'/2),
00551 inst(0x817bac8, putuval, 2, r1),
00552 inst(0x817bacc, deallocate),
00553 inst(0x817bad0, xsb_execute, 0x817ac00, 'par_wait'/1)]).
00554 segment([
00555 inst(0x817baf0, test_heap, 2, 2000),
00556 inst(0x817baf8, allocate_gc, 2, 3),
00557 inst(0x817bafc, movreg, r1, r4),
00558 inst(0x817bb00, movreg, r2, r1),
00559 inst(0x817bb04, movreg, r4, r2),
00560 inst(0x817bb08, putpvar, 2, r3),
00561 inst(0x817bb0c, call, 3, 0x817ac48, 'n_list'/3),
00562 inst(0x817bb14, putuval, 2, r1),
00563 inst(0x817bb18, deallocate),
00564 inst(0x817bb1c, xsb_execute, 0x817a580, 'par_execute'/1)]).
00565 segment([
00566 inst(0x817bb40, test_heap, 3, 2000),
00567 inst(0x817bb48, try, 3, 0x817bb58),
00568 inst(0x817bb50, trust, 3, 0x817bb68),
00569 inst(0x817bb58, getnumcon, r2, 0),
00570 inst(0x817bb60, getnil, r3),
00571 inst(0x817bb64, proceed),
00572 inst(0x817bb68, getlist, r3),
00573 inst(0x817bb6c, unitval, r1),
00574 inst(0x817bb70, unitvar, r3),
00575 inst(0x817bb74, putnumcon, r4, 1),
00576 inst(0x817bb7c, subreg, r4, r2),
00577 inst(0x817bb80, jump, 0x817bb40)]).
00578 segment([
00579 inst(0x817bba0, test_heap, 2, 2000),
00580 inst(0x817bba8, switchonterm, r1, 0x817bbc4, 0x817bbd0),
00581 inst(0x817bbb4, try, 2, 0x817bbc4),
00582 inst(0x817bbbc, trust, 2, 0x817bbd0),
00583 inst(0x817bbc4, getnil, r1),
00584 inst(0x817bbc8, getnil, r2),
00585 inst(0x817bbcc, proceed),
00586 inst(0x817bbd0, allocate_gc, 2, 4),
00587 inst(0x817bbd4, getlist, r1),
00588 inst(0x817bbd8, unitvar, r1),
00589 inst(0x817bbdc, unipvar, 2),
00590 inst(0x817bbe0, getlist, r2),
00591 inst(0x817bbe4, unitvar, r2),
00592 inst(0x817bbe8, unipvar, 3),
00593 inst(0x817bbec, call, 4, 0x817a0f8, 'xsb_thread_create'/2),
00594 inst(0x817bbf4, putdval, 2, r1),
00595 inst(0x817bbf8, putdval, 3, r2),
00596 inst(0x817bbfc, deallocate),
00597 inst(0x817bc00, jump, 0x817bba0)]).
00598 segment([
00599 inst(0x817bc20, test_heap, 1, 2000),
00600 inst(0x817bc28, switchonterm, r1, 0x817bc44, 0x817bc4c),
00601 inst(0x817bc34, try, 1, 0x817bc44),
00602 inst(0x817bc3c, trust, 1, 0x817bc4c),
00603 inst(0x817bc44, getnil, r1),
00604 inst(0x817bc48, proceed),
00605 inst(0x817bc4c, allocate_gc, 2, 3),
00606 inst(0x817bc50, getlist, r1),
00607 inst(0x817bc54, unitvar, r1),
00608 inst(0x817bc58, unipvar, 2),
00609 inst(0x817bc5c, call, 3, 0x817a1b8, 'xsb_thread_join'/1),
00610 inst(0x817bc64, putdval, 2, r1),
00611 inst(0x817bc68, deallocate),
00612 inst(0x817bc6c, jump, 0x817bc20)]).
00613 segment([
00614 inst(0x817bc90, test_heap, 2, 2000),
00615 inst(0x817bc98, gettbreg, r3),
00616 inst(0x817bc9c, test_heap, 3, 2000),
00617 inst(0x817bca4, try, 3, 0x817bcb4),
00618 inst(0x817bcac, trust, 3, 0x817bcf0),
00619 inst(0x817bcb4, allocate_gc, 2, 5),
00620 inst(0x817bcb8, getpvar, 2, r1),
00621 inst(0x817bcbc, getpvar, 3, r2),
00622 inst(0x817bcc0, getpvar, 4, r3),
00623 inst(0x817bcc4, putpval, 3, r1),
00624 inst(0x817bcc8, call, 5, 0x817a020, 'xsb_user_mutex_lock'/1),
00625 inst(0x817bcd0, putpval, 2, r1),
00626 inst(0x817bcd4, call, 5, 0x8179828, 'call'/1),
00627 inst(0x817bcdc, putpbreg, 4),
00628 inst(0x817bce0, putdval, 3, r1),
00629 inst(0x817bce4, deallocate),
00630 inst(0x817bce8, xsb_execute, 0x817a070, 'xsb_user_mutex_unlock'/1),
00631 inst(0x817bcf0, movreg, r2, r1),
00632 inst(0x817bcf4, xsb_execute, 0x817a070, 'xsb_user_mutex_unlock'/1)]).
00633 segment([
00634 inst(0x817bd18, test_heap, 1, 2000),
00635 inst(0x817bd20, gettbreg, r2),
00636 inst(0x817bd24, test_heap, 2, 2000),
00637 inst(0x817bd2c, try, 2, 0x817bd3c),
00638 inst(0x817bd34, trust, 2, 0x817bd7c),
00639 inst(0x817bd3c, allocate_gc, 2, 4),
00640 inst(0x817bd40, getpvar, 2, r1),
00641 inst(0x817bd44, getpvar, 3, r2),
00642 inst(0x817bd48, putnumcon, r1, 20),
00643 inst(0x817bd50, call, 4, 0x817a020, 'xsb_user_mutex_lock'/1),
00644 inst(0x817bd58, putpval, 2, r1),
00645 inst(0x817bd5c, call, 4, 0x8179828, 'call'/1),
00646 inst(0x817bd64, putpbreg, 3),
00647 inst(0x817bd68, putnumcon, r1, 20),
00648 inst(0x817bd70, deallocate),
00649 inst(0x817bd74, xsb_execute, 0x817a070, 'xsb_user_mutex_unlock'/1),
00650 inst(0x817bd7c, putnumcon, r1, 20),
00651 inst(0x817bd84, xsb_execute, 0x817a070, 'xsb_user_mutex_unlock'/1)]).
