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

add registers to inlined instruction functors

Browse Source
This commit is contained in:
Mark
2023-10-01 18:55:31 -06:00
parent a1ceeb697a
commit 27b971cbfa
1 changed files with 22 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
build/instructions_template.rs
View File

@@ -1660,29 +1660,31 @@ fn generate_instruction_preface() -> TokenStream {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("execute_default"), [atom(name), fixnum(arity)])
}
&Instruction::CallIsAtom(_) |
&Instruction::CallIsAtomic(_) |
&Instruction::CallIsCompound(_) |
&Instruction::CallIsInteger(_) |
&Instruction::CallIsNumber(_) |
&Instruction::CallIsRational(_) |
&Instruction::CallIsFloat(_) |
&Instruction::CallIsNonVar(_) |
&Instruction::CallIsVar(_) => {
&Instruction::CallIsAtom(r) |
&Instruction::CallIsAtomic(r) |
&Instruction::CallIsCompound(r) |
&Instruction::CallIsInteger(r) |
&Instruction::CallIsNumber(r) |
&Instruction::CallIsRational(r) |
&Instruction::CallIsFloat(r) |
&Instruction::CallIsNonVar(r) |
&Instruction::CallIsVar(r) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("call"), [atom(name), fixnum(arity)])
let rt_stub = reg_type_into_functor(r);
functor!(atom!("call"), [atom(name), fixnum(arity), str(h, 0)], [rt_stub])
}
&Instruction::ExecuteIsAtom(_) |
&Instruction::ExecuteIsAtomic(_) |
&Instruction::ExecuteIsCompound(_) |
&Instruction::ExecuteIsInteger(_) |
&Instruction::ExecuteIsNumber(_) |
&Instruction::ExecuteIsRational(_) |
&Instruction::ExecuteIsFloat(_) |
&Instruction::ExecuteIsNonVar(_) |
&Instruction::ExecuteIsVar(_) => {
&Instruction::ExecuteIsAtom(r) |
&Instruction::ExecuteIsAtomic(r) |
&Instruction::ExecuteIsCompound(r) |
&Instruction::ExecuteIsInteger(r) |
&Instruction::ExecuteIsNumber(r) |
&Instruction::ExecuteIsRational(r) |
&Instruction::ExecuteIsFloat(r) |
&Instruction::ExecuteIsNonVar(r) |
&Instruction::ExecuteIsVar(r) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("execute"), [atom(name), fixnum(arity)])
let rt_stub = reg_type_into_functor(r);
functor!(atom!("execute"), [atom(name), fixnum(arity), str(h, 0)], [rt_stub])
}
//
&Instruction::CallAtomChars |