rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

reverse builtin instructions

Browse Source
This commit is contained in:
Mark Thom
2018-02-02 17:10:57 -07:00
parent 9c2e8dfd72
commit 23f81946c5
2 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/prolog/builtins.rs
View File

@@ -447,7 +447,7 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
get_current_block!(), get_current_block!(),
query![put_value!(perm_v!(3), 1), query![put_value!(perm_v!(3), 1),
put_unsafe_value!(4, 2), put_unsafe_value!(4, 2),
put_value!(perm_v!(2), 3)], put_value!(perm_v!(2), 3)],
deallocate!(), deallocate!(),
jmp_execute!(3, 1), jmp_execute!(3, 1),
try_me_else!(5), // 304. try_me_else!(5), // 304.
@@ -491,8 +491,8 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
trust_me!(), trust_me!(),
allocate!(0), allocate!(0),
goto_call!(352, 0), // goto run_cleaners_without_handling/0, 352. goto_call!(352, 0), // goto run_cleaners_without_handling/0, 352.
fail!(),
deallocate!(), deallocate!(),
fail!(),
try_me_else!(10), // run_cleaners_with_handling/0, 340. try_me_else!(10), // run_cleaners_with_handling/0, 340.
allocate!(2), allocate!(2),
get_level!(perm_v!(1)), get_level!(perm_v!(1)),
@@ -500,7 +500,7 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
get_cleaner_call!(), get_cleaner_call!(),
query![put_value!(perm_v!(2), 1), query![put_value!(perm_v!(2), 1),
put_var!(temp_v!(4), 2), put_var!(temp_v!(4), 2),
put_constant!(Level::Shallow, atom!("true", atom_tbl), temp_v!(3))], put_constant!(Level::Shallow, atom!("true", atom_tbl), temp_v!(3))],
goto_call!(5, 3), // goto catch/3, 5. goto_call!(5, 3), // goto catch/3, 5.
cut!(perm_v!(1)), cut!(perm_v!(1)),
deallocate!(), deallocate!(),
@@ -515,7 +515,7 @@ fn get_builtins(atom_tbl: TabledData<Atom>) -> Code {
query![put_value!(perm_v!(2), 1)], query![put_value!(perm_v!(2), 1)],
call_n!(1), call_n!(1),
cut!(perm_v!(1)), cut!(perm_v!(1)),
deallocate!(), deallocate!(),
goto_execute!(352, 0), // goto run_cleaners_without_handling/0, 352. goto_execute!(352, 0), // goto run_cleaners_without_handling/0, 352.
trust_me!(), trust_me!(),
proceed!(), proceed!(),

2
src/prolog/io.rs
View File

@@ -494,8 +494,6 @@ fn compile_decl<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel, queue: &'b V
return EvalSession::from(e); return EvalSession::from(e);
}; };
print_code(&code);
if !code.is_empty() { if !code.is_empty() {
if let Some(name) = tl.name() { if let Some(name) = tl.name() {
wam.add_user_code(name, tl.arity(), code) wam.add_user_code(name, tl.arity(), code)