rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
326f18ea7511c4ef89edd11526acb41df58bcf01
scryer-prolog/build/instructions_template.rs

3401 lines
144 KiB
Rust
Raw Blame History

// use crate::atom_table::*;
// use crate::machine::machine_indices::*;
// use crate::types::*;
//
use proc_macro2::TokenStream;
use quote::{format_ident, quote, ToTokens, TokenStreamExt};
use strum_macros::{EnumDiscriminants, EnumProperty, EnumString};
use syn::*;
use to_syn_value_derive::ToDeriveInput;
/*
* This crate exists to generate the Instruction enum in
* src/instructions.rs and its adjoining impl functions. The types
* defined in it are empty and serve only as schema for the generation
* of Instruction. They mimick most of the structure of the previous
* Line instruction type. The strum crate is used to provide reflection
* on each of the node types to the tree walker.
*/
use std::any::*;
use std::str::FromStr;
struct ArithmeticTerm;
struct Atom;
struct CodeIndex;
struct Death;
struct HeapCellValue;
struct IndexingLine;
struct Level;
struct NextOrFail;
struct RegType;
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum CompareNumber {
#[strum_discriminants(strum(props(Arity = "2", Name = ">")))]
NumberGreaterThan(ArithmeticTerm, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "<")))]
NumberLessThan(ArithmeticTerm, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = ">=")))]
NumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "=<")))]
NumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "=\\=")))]
NumberNotEqual(ArithmeticTerm, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "=:=")))]
NumberEqual(ArithmeticTerm, ArithmeticTerm),
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum CompareTerm {
#[strum_discriminants(strum(props(Arity = "2", Name = "@<")))]
TermLessThan,
#[strum_discriminants(strum(props(Arity = "2", Name = "@=<")))]
TermLessThanOrEqual,
#[strum_discriminants(strum(props(Arity = "2", Name = "@>=")))]
TermGreaterThanOrEqual,
#[strum_discriminants(strum(props(Arity = "2", Name = "@>")))]
TermGreaterThan,
#[strum_discriminants(strum(props(Arity = "2", Name = "==")))]
TermEqual,
#[strum_discriminants(strum(props(Arity = "2", Name = "\\==")))]
TermNotEqual,
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum ClauseType {
BuiltIn(BuiltInClauseType),
#[strum_discriminants(strum(props(Arity = "arity", Name = "$call")))]
CallN(usize),
Inlined(InlinedClauseType),
#[strum_discriminants(strum(props(Arity = "arity", Name = "call_named")))]
Named(usize, Atom, CodeIndex), // name, arity, index.
System(SystemClauseType),
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum BuiltInClauseType {
#[strum_discriminants(strum(props(Arity = "1", Name = "acyclic_term")))]
AcyclicTerm,
#[strum_discriminants(strum(props(Arity = "3", Name = "arg")))]
Arg,
#[strum_discriminants(strum(props(Arity = "3", Name = "compare")))]
Compare,
CompareTerm(CompareTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "copy_term")))]
CopyTerm,
#[strum_discriminants(strum(props(Arity = "3", Name = "functor")))]
Functor,
#[strum_discriminants(strum(props(Arity = "1", Name = "ground")))]
Ground,
#[strum_discriminants(strum(props(Arity = "2", Name = "is")))]
Is(RegType, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "keysort")))]
KeySort,
#[strum_discriminants(strum(props(Arity = "2", Name = "read")))]
Read,
#[strum_discriminants(strum(props(Arity = "2", Name = "sort")))]
Sort,
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum InlinedClauseType {
CompareNumber(CompareNumber),
#[strum_discriminants(strum(props(Arity = "1", Name = "atom")))]
IsAtom(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "atomic")))]
IsAtomic(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "compound")))]
IsCompound(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "integer")))]
IsInteger(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "number")))]
IsNumber(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "rational")))]
IsRational(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "float")))]
IsFloat(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "nonvar")))]
IsNonVar(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "var")))]
IsVar(RegType),
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum REPLCodePtr {
#[strum_discriminants(strum(props(Arity = "4", Name = "$add_discontiguous_predicate")))]
AddDiscontiguousPredicate,
#[strum_discriminants(strum(props(Arity = "4", Name = "$add_dynamic_predicate")))]
AddDynamicPredicate,
#[strum_discriminants(strum(props(Arity = "4", Name = "$add_multifile_predicate")))]
AddMultifilePredicate,
#[strum_discriminants(strum(props(Arity = "3", Name = "$add_goal_expansion_clause")))]
AddGoalExpansionClause,
#[strum_discriminants(strum(props(Arity = "2", Name = "$add_term_expansion_clause")))]
AddTermExpansionClause,
#[strum_discriminants(strum(props(Arity = "1", Name = "$add_in_situ_filename_module")))]
AddInSituFilenameModule,
#[strum_discriminants(strum(props(Arity = "2", Name = "$clause_to_evacuable")))]
ClauseToEvacuable,
#[strum_discriminants(strum(props(Arity = "3", Name = "$scoped_clause_to_evacuable")))]
ScopedClauseToEvacuable,
#[strum_discriminants(strum(props(Arity = "1", Name = "$conclude_load")))]
ConcludeLoad,
#[strum_discriminants(strum(props(Arity = "3", Name = "$declare_module")))]
DeclareModule,
#[strum_discriminants(strum(props(Arity = "3", Name = "$load_compiled_library")))]
LoadCompiledLibrary,
#[strum_discriminants(strum(props(Arity = "1", Name = "$prolog_lc_source")))]
LoadContextSource,
#[strum_discriminants(strum(props(Arity = "1", Name = "$prolog_lc_file")))]
LoadContextFile,
#[strum_discriminants(strum(props(Arity = "1", Name = "$prolog_lc_dir")))]
LoadContextDirectory,
#[strum_discriminants(strum(props(Arity = "1", Name = "$prolog_lc_module")))]
LoadContextModule,
#[strum_discriminants(strum(props(Arity = "1", Name = "$prolog_lc_stream")))]
LoadContextStream,
#[strum_discriminants(strum(props(Arity = "0", Name = "$pop_load_context")))]
PopLoadContext,
#[strum_discriminants(strum(props(Arity = "1", Name = "$pop_load_state_payload")))]
PopLoadStatePayload,
#[strum_discriminants(strum(props(Arity = "1", Name = "$push_load_state_payload")))]
PushLoadStatePayload,
#[strum_discriminants(strum(props(Arity = "2", Name = "$push_load_context")))]
PushLoadContext,
#[strum_discriminants(strum(props(Arity = "3", Name = "$use_module")))]
UseModule,
#[strum_discriminants(strum(props(Arity = "2", Name = "$built_in_property")))]
BuiltInProperty,
#[strum_discriminants(strum(props(Arity = "4", Name = "$meta_predicate_property")))]
MetaPredicateProperty,
#[strum_discriminants(strum(props(Arity = "3", Name = "$multifile_property")))]
MultifileProperty,
#[strum_discriminants(strum(props(Arity = "3", Name = "$discontiguous_property")))]
DiscontiguousProperty,
#[strum_discriminants(strum(props(Arity = "3", Name = "$dynamic_property")))]
DynamicProperty,
#[strum_discriminants(strum(props(Arity = "3", Name = "$abolish_clause")))]
AbolishClause,
#[strum_discriminants(strum(props(Arity = "3", Name = "$asserta")))]
Asserta,
#[strum_discriminants(strum(props(Arity = "3", Name = "$assertz")))]
Assertz,
#[strum_discriminants(strum(props(Arity = "4", Name = "$retract_clause")))]
Retract,
#[strum_discriminants(strum(props(Arity = "4", Name = "$is_consistent_with_term_queue")))]
IsConsistentWithTermQueue,
#[strum_discriminants(strum(props(Arity = "1", Name = "$flush_term_queue")))]
FlushTermQueue,
#[strum_discriminants(strum(props(Arity = "2", Name = "$remove_module_exports")))]
RemoveModuleExports,
#[strum_discriminants(strum(props(Arity = "3", Name = "$add_non_counted_backtracking")))]
AddNonCountedBacktracking,
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum SystemClauseType {
#[strum_discriminants(strum(props(Arity = "2", Name = "$atom_chars")))]
AtomChars,
#[strum_discriminants(strum(props(Arity = "2", Name = "$atom_codes")))]
AtomCodes,
#[strum_discriminants(strum(props(Arity = "2", Name = "$atom_length")))]
AtomLength,
#[strum_discriminants(strum(props(Arity = "2", Name = "$bind_from_register")))]
BindFromRegister,
#[strum_discriminants(strum(props(Arity = "1", Name = "$call_continuation")))]
CallContinuation,
#[strum_discriminants(strum(props(Arity = "2", Name = "$char_code")))]
CharCode,
#[strum_discriminants(strum(props(Arity = "2", Name = "$char_type")))]
CharType,
#[strum_discriminants(strum(props(Arity = "2", Name = "$chars_to_number")))]
CharsToNumber,
#[strum_discriminants(strum(props(Arity = "2", Name = "$codes_to_number")))]
CodesToNumber,
#[strum_discriminants(strum(props(Arity = "2", Name = "$copy_term_without_attr_vars")))]
CopyTermWithoutAttrVars,
#[strum_discriminants(strum(props(Arity = "1", Name = "$check_cp")))]
CheckCutPoint,
#[strum_discriminants(strum(props(Arity = "2", Name = "$close")))]
Close,
#[strum_discriminants(strum(props(Arity = "2", Name = "$copy_to_lh")))]
CopyToLiftedHeap,
#[strum_discriminants(strum(props(Arity = "3", Name = "$create_partial_string")))]
CreatePartialString,
#[strum_discriminants(strum(props(Arity = "1", Name = "$current_hostname")))]
CurrentHostname,
#[strum_discriminants(strum(props(Arity = "1", Name = "$current_input")))]
CurrentInput,
#[strum_discriminants(strum(props(Arity = "1", Name = "$current_output")))]
CurrentOutput,
#[strum_discriminants(strum(props(Arity = "2", Name = "$directory_files")))]
DirectoryFiles,
#[strum_discriminants(strum(props(Arity = "2", Name = "$file_size")))]
FileSize,
#[strum_discriminants(strum(props(Arity = "1", Name = "$file_exists")))]
FileExists,
#[strum_discriminants(strum(props(Arity = "1", Name = "$directory_exists")))]
DirectoryExists,
#[strum_discriminants(strum(props(Arity = "1", Name = "$directory_separator")))]
DirectorySeparator,
#[strum_discriminants(strum(props(Arity = "1", Name = "$make_directory")))]
MakeDirectory,
#[strum_discriminants(strum(props(Arity = "1", Name = "$make_directory_path")))]
MakeDirectoryPath,
#[strum_discriminants(strum(props(Arity = "1", Name = "$delete_file")))]
DeleteFile,
#[strum_discriminants(strum(props(Arity = "2", Name = "$rename_file")))]
RenameFile,
#[strum_discriminants(strum(props(Arity = "2", Name = "$file_copy")))]
FileCopy,
#[strum_discriminants(strum(props(Arity = "2", Name = "$working_directory")))]
WorkingDirectory,
#[strum_discriminants(strum(props(Arity = "1", Name = "$delete_directory")))]
DeleteDirectory,
#[strum_discriminants(strum(props(Arity = "2", Name = "$path_canonical")))]
PathCanonical,
#[strum_discriminants(strum(props(Arity = "3", Name = "$file_time")))]
FileTime,
#[strum_discriminants(strum(props(Arity = "arity", Name = "$module_call")))]
DynamicModuleResolution(usize),
#[strum_discriminants(strum(props(Arity = "arity", Name = "$prepare_call_clause")))]
PrepareCallClause(usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "$fetch_global_var")))]
FetchGlobalVar,
#[strum_discriminants(strum(props(Arity = "1", Name = "$first_stream")))]
FirstStream,
#[strum_discriminants(strum(props(Arity = "1", Name = "$flush_output")))]
FlushOutput,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_byte")))]
GetByte,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_char")))]
GetChar,
#[strum_discriminants(strum(props(Arity = "3", Name = "$get_n_chars")))]
GetNChars,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_code")))]
GetCode,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_single_char")))]
GetSingleChar,
#[strum_discriminants(strum(props(Arity = "2", Name = "$truncate_if_no_lh_growth_diff")))]
TruncateIfNoLiftedHeapGrowthDiff,
#[strum_discriminants(strum(props(Arity = "1", Name = "$truncate_if_no_lh_growth")))]
TruncateIfNoLiftedHeapGrowth,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_attr_list")))]
GetAttributedVariableList,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_attr_var_queue_delim")))]
GetAttrVarQueueDelimiter,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_attr_var_queue_beyond")))]
GetAttrVarQueueBeyond,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_b_value")))]
GetBValue,
#[strum_discriminants(strum(props(Arity = "3", Name = "$get_cont_chunk")))]
GetContinuationChunk,
#[strum_discriminants(strum(props(Arity = "4", Name = "$get_next_db_ref")))]
GetNextDBRef,
#[strum_discriminants(strum(props(Arity = "7", Name = "$get_next_op_db_ref")))]
GetNextOpDBRef,
#[strum_discriminants(strum(props(Arity = "1", Name = "$is_partial_string")))]
IsPartialString,
#[strum_discriminants(strum(props(Arity = "1", Name = "$halt")))]
Halt,
#[strum_discriminants(strum(props(Arity = "2", Name = "$get_lh_from_offset")))]
GetLiftedHeapFromOffset,
#[strum_discriminants(strum(props(Arity = "3", Name = "$get_lh_from_offset_diff")))]
GetLiftedHeapFromOffsetDiff,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_scc_cleaner")))]
GetSCCCleaner,
#[strum_discriminants(strum(props(Arity = "2", Name = "$head_is_dynamic")))]
HeadIsDynamic,
#[strum_discriminants(strum(props(Arity = "2", Name = "$install_scc_cleaner")))]
InstallSCCCleaner,
#[strum_discriminants(strum(props(Arity = "3", Name = "$install_inference_counter")))]
InstallInferenceCounter,
#[strum_discriminants(strum(props(Arity = "1", Name = "$lh_length")))]
LiftedHeapLength,
#[strum_discriminants(strum(props(Arity = "3", Name = "$load_library_as_stream")))]
LoadLibraryAsStream,
#[strum_discriminants(strum(props(Arity = "1", Name = "$module_exists")))]
ModuleExists,
#[strum_discriminants(strum(props(Arity = "3", Name = "$nextEP")))]
NextEP,
#[strum_discriminants(strum(props(Arity = "2", Name = "$no_such_predicate")))]
NoSuchPredicate,
#[strum_discriminants(strum(props(Arity = "2", Name = "$number_to_chars")))]
NumberToChars,
#[strum_discriminants(strum(props(Arity = "2", Name = "$number_to_codes")))]
NumberToCodes,
#[strum_discriminants(strum(props(Arity = "3", Name = "$op")))]
OpDeclaration,
#[strum_discriminants(strum(props(Arity = "7", Name = "$open")))]
Open,
#[strum_discriminants(strum(props(Arity = "5", Name = "$set_stream_options")))]
SetStreamOptions,
#[strum_discriminants(strum(props(Arity = "2", Name = "$next_stream")))]
NextStream,
#[strum_discriminants(strum(props(Arity = "2", Name = "$partial_string_tail")))]
PartialStringTail,
#[strum_discriminants(strum(props(Arity = "2", Name = "$peek_byte")))]
PeekByte,
#[strum_discriminants(strum(props(Arity = "2", Name = "$peek_char")))]
PeekChar,
#[strum_discriminants(strum(props(Arity = "2", Name = "$peek_code")))]
PeekCode,
#[strum_discriminants(strum(props(Arity = "1", Name = "$points_to_cont_reset_marker")))]
PointsToContinuationResetMarker,
#[strum_discriminants(strum(props(Arity = "2", Name = "$put_byte")))]
PutByte,
#[strum_discriminants(strum(props(Arity = "2", Name = "$put_char")))]
PutChar,
#[strum_discriminants(strum(props(Arity = "2", Name = "$put_chars")))]
PutChars,
#[strum_discriminants(strum(props(Arity = "2", Name = "$put_code")))]
PutCode,
#[strum_discriminants(strum(props(Arity = "5", Name = "$read_query_term")))]
ReadQueryTerm,
#[strum_discriminants(strum(props(Arity = "5", Name = "$read_term")))]
ReadTerm,
#[strum_discriminants(strum(props(Arity = "2", Name = "$redo_attr_var_binding")))]
RedoAttrVarBinding,
#[strum_discriminants(strum(props(Arity = "1", Name = "$remove_call_policy_check")))]
RemoveCallPolicyCheck,
#[strum_discriminants(strum(props(Arity = "2", Name = "$remove_inference_counter")))]
RemoveInferenceCounter,
#[strum_discriminants(strum(props(Arity = "0", Name = "$reset_cont_marker")))]
ResetContinuationMarker,
#[strum_discriminants(strum(props(Arity = "0", Name = "$restore_cut_policy")))]
RestoreCutPolicy,
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_cp")))]
SetCutPoint(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_input")))]
SetInput,
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_output")))]
SetOutput,
#[strum_discriminants(strum(props(Arity = "2", Name = "$store_backtrackable_global_var")))]
StoreBacktrackableGlobalVar,
#[strum_discriminants(strum(props(Arity = "2", Name = "$store_global_var")))]
StoreGlobalVar,
#[strum_discriminants(strum(props(Arity = "3", Name = "$stream_property")))]
StreamProperty,
#[strum_discriminants(strum(props(Arity = "2", Name = "$set_stream_position")))]
SetStreamPosition,
#[strum_discriminants(strum(props(Arity = "2", Name = "$inference_level")))]
InferenceLevel,
#[strum_discriminants(strum(props(Arity = "1", Name = "$clean_up_block")))]
CleanUpBlock,
#[strum_discriminants(strum(props(Arity = "0", Name = "$fail")))]
Fail,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_ball")))]
GetBall,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_current_block")))]
GetCurrentBlock,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_cp")))]
GetCutPoint,
#[strum_discriminants(strum(props(Arity = "1", Name = "$get_double_quotes")))]
GetDoubleQuotes,
#[strum_discriminants(strum(props(Arity = "1", Name = "$install_new_block")))]
InstallNewBlock,
#[strum_discriminants(strum(props(Arity = "0", Name = "$maybe")))]
Maybe,
#[strum_discriminants(strum(props(Arity = "1", Name = "$current_time")))]
CurrentTime,
#[strum_discriminants(strum(props(Arity = "1", Name = "$quoted_token")))]
QuotedToken,
#[strum_discriminants(strum(props(Arity = "2", Name = "$read_term_from_chars")))]
ReadTermFromChars,
#[strum_discriminants(strum(props(Arity = "1", Name = "$reset_block")))]
ResetBlock,
#[strum_discriminants(strum(props(Arity = "0", Name = "$return_from_verify_attr")))]
ReturnFromVerifyAttr,
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_ball")))]
SetBall,
#[strum_discriminants(strum(props(Arity = "0", Name = "$push_ball_stack")))]
PushBallStack,
#[strum_discriminants(strum(props(Arity = "0", Name = "$pop_ball_stack")))]
PopBallStack,
#[strum_discriminants(strum(props(Arity = "0", Name = "$pop_from_ball_stack")))]
PopFromBallStack,
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_cp_by_default")))]
SetCutPointByDefault(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_double_quotes")))]
SetDoubleQuotes,
#[strum_discriminants(strum(props(Arity = "1", Name = "$set_seed")))]
SetSeed,
#[strum_discriminants(strum(props(Arity = "4", Name = "$skip_max_list")))]
SkipMaxList,
#[strum_discriminants(strum(props(Arity = "1", Name = "$sleep")))]
Sleep,
#[strum_discriminants(strum(props(Arity = "7", Name = "$socket_client_open")))]
SocketClientOpen,
#[strum_discriminants(strum(props(Arity = "3", Name = "$socket_server_open")))]
SocketServerOpen,
#[strum_discriminants(strum(props(Arity = "7", Name = "$socket_server_accept")))]
SocketServerAccept,
#[strum_discriminants(strum(props(Arity = "1", Name = "$socket_server_close")))]
SocketServerClose,
#[strum_discriminants(strum(props(Arity = "4", Name = "$tls_accept_client")))]
TLSAcceptClient,
#[strum_discriminants(strum(props(Arity = "3", Name = "$tls_client_connect")))]
TLSClientConnect,
#[strum_discriminants(strum(props(Arity = "0", Name = "$succeed")))]
Succeed,
#[strum_discriminants(strum(props(Arity = "2", Name = "$term_attributed_variables")))]
TermAttributedVariables,
#[strum_discriminants(strum(props(Arity = "2", Name = "$term_variables")))]
TermVariables,
#[strum_discriminants(strum(props(Arity = "3", Name = "$term_variables_under_max_depth")))]
TermVariablesUnderMaxDepth,
#[strum_discriminants(strum(props(Arity = "1", Name = "$truncate_lh_to")))]
TruncateLiftedHeapTo,
#[strum_discriminants(strum(props(Arity = "2", Name = "$unify_with_occurs_check")))]
UnifyWithOccursCheck,
#[strum_discriminants(strum(props(Arity = "0", Name = "$unwind_environments")))]
UnwindEnvironments,
#[strum_discriminants(strum(props(Arity = "0", Name = "$unwind_stack")))]
UnwindStack,
#[strum_discriminants(strum(props(Arity = "4", Name = "$wam_instructions")))]
WAMInstructions,
#[strum_discriminants(strum(props(Arity = "7", Name = "$write_term")))]
WriteTerm,
#[strum_discriminants(strum(props(Arity = "7", Name = "$write_term_to_chars")))]
WriteTermToChars,
#[strum_discriminants(strum(props(Arity = "1", Name = "$scryer_prolog_version")))]
ScryerPrologVersion,
#[strum_discriminants(strum(props(Arity = "1", Name = "$crypto_random_byte")))]
CryptoRandomByte,
#[strum_discriminants(strum(props(Arity = "4", Name = "$crypto_data_hash")))]
CryptoDataHash,
#[strum_discriminants(strum(props(Arity = "7", Name = "$crypto_data_hkdf")))]
CryptoDataHKDF,
#[strum_discriminants(strum(props(Arity = "4", Name = "$crypto_password_hash")))]
CryptoPasswordHash,
#[strum_discriminants(strum(props(Arity = "7", Name = "$crypto_data_encrypt")))]
CryptoDataEncrypt,
#[strum_discriminants(strum(props(Arity = "6", Name = "$crypto_data_decrypt")))]
CryptoDataDecrypt,
#[strum_discriminants(strum(props(Arity = "4", Name = "$crypto_curve_scalar_mult")))]
CryptoCurveScalarMult,
#[strum_discriminants(strum(props(Arity = "4", Name = "$ed25519_sign")))]
Ed25519Sign,
#[strum_discriminants(strum(props(Arity = "4", Name = "$ed25519_verify")))]
Ed25519Verify,
#[strum_discriminants(strum(props(Arity = "1", Name = "$ed25519_new_keypair")))]
Ed25519NewKeyPair,
#[strum_discriminants(strum(props(Arity = "2", Name = "$ed25519_keypair_public_key")))]
Ed25519KeyPairPublicKey,
#[strum_discriminants(strum(props(Arity = "3", Name = "$curve25519_scalar_mult")))]
Curve25519ScalarMult,
#[strum_discriminants(strum(props(Arity = "2", Name = "$first_non_octet")))]
FirstNonOctet,
#[strum_discriminants(strum(props(Arity = "3", Name = "$load_html")))]
LoadHTML,
#[strum_discriminants(strum(props(Arity = "3", Name = "$load_xml")))]
LoadXML,
#[strum_discriminants(strum(props(Arity = "2", Name = "$getenv")))]
GetEnv,
#[strum_discriminants(strum(props(Arity = "2", Name = "$setenv")))]
SetEnv,
#[strum_discriminants(strum(props(Arity = "1", Name = "$unsetenv")))]
UnsetEnv,
#[strum_discriminants(strum(props(Arity = "2", Name = "$shell")))]
Shell,
#[strum_discriminants(strum(props(Arity = "1", Name = "$pid")))]
PID,
#[strum_discriminants(strum(props(Arity = "4", Name = "$chars_base64")))]
CharsBase64,
#[strum_discriminants(strum(props(Arity = "1", Name = "$devour_whitespace")))]
DevourWhitespace,
#[strum_discriminants(strum(props(Arity = "1", Name = "$is_sto_enabled")))]
IsSTOEnabled,
#[strum_discriminants(strum(props(Arity = "0", Name = "$set_sto_as_unify")))]
SetSTOAsUnify,
#[strum_discriminants(strum(props(Arity = "0", Name = "$set_nsto_as_unify")))]
SetNSTOAsUnify,
#[strum_discriminants(strum(props(Arity = "0", Name = "$set_sto_with_error_as_unify")))]
SetSTOWithErrorAsUnify,
#[strum_discriminants(strum(props(Arity = "1", Name = "$home_directory")))]
HomeDirectory,
#[strum_discriminants(strum(props(Arity = "0", Name = "$debug_hook")))]
DebugHook,
#[strum_discriminants(strum(props(Arity = "2", Name = "$popcount")))]
PopCount,
#[strum_discriminants(strum(props(Arity = "1", Name = "$cpu_now")))]
CpuNow,
#[strum_discriminants(strum(props(Arity = "2", Name = "$det_length_rundown")))]
DeterministicLengthRundown,
#[strum_discriminants(strum(props(Arity = "7", Name = "$http_open")))]
HttpOpen,
#[strum_discriminants(strum(props(Arity = "2", Name = "$http_listen")))]
HttpListen,
#[strum_discriminants(strum(props(Arity = "7", Name = "$http_accept")))]
HttpAccept,
#[strum_discriminants(strum(props(Arity = "4", Name = "$http_answer")))]
HttpAnswer,
#[strum_discriminants(strum(props(Arity = "3", Name = "$predicate_defined")))]
PredicateDefined,
#[strum_discriminants(strum(props(Arity = "3", Name = "$strip_module")))]
StripModule,
#[strum_discriminants(strum(props(Arity = "4", Name = "$compile_inline_or_expanded_goal")))]
CompileInlineOrExpandedGoal,
#[strum_discriminants(strum(props(Arity = "arity", Name = "$call_inline")))]
InlineCallN(usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "$is_expanded_or_inlined")))]
IsExpandedOrInlined,
#[strum_discriminants(strum(props(Arity = "3", Name = "$get_clause_p")))]
GetClauseP,
#[strum_discriminants(strum(props(Arity = "6", Name = "$invoke_clause_at_p")))]
InvokeClauseAtP,
#[strum_discriminants(strum(props(Arity = "3", Name = "$get_from_attr_list")))]
GetFromAttributedVarList,
#[strum_discriminants(strum(props(Arity = "3", Name = "$put_to_attr_list")))]
PutToAttributedVarList,
#[strum_discriminants(strum(props(Arity = "3", Name = "$del_from_attr_list")))]
DeleteFromAttributedVarList,
REPL(REPLCodePtr),
}
#[allow(dead_code)]
#[derive(ToDeriveInput, EnumDiscriminants)]
#[strum_discriminants(derive(EnumProperty, EnumString))]
enum InstructionTemplate {
#[strum_discriminants(strum(props(Arity = "3", Name = "get_constant")))]
GetConstant(Level, HeapCellValue, RegType),
#[strum_discriminants(strum(props(Arity = "2", Name = "get_list")))]
GetList(Level, RegType),
#[strum_discriminants(strum(props(Arity = "4", Name = "get_partial_string")))]
GetPartialString(Level, Atom, RegType, bool),
#[strum_discriminants(strum(props(Arity = "3", Name = "get_structure")))]
GetStructure(Atom, usize, RegType),
#[strum_discriminants(strum(props(Arity = "2", Name = "get_variable")))]
GetVariable(RegType, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "get_value")))]
GetValue(RegType, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "unify_constant")))]
UnifyConstant(HeapCellValue),
#[strum_discriminants(strum(props(Arity = "1", Name = "unify_local_value")))]
UnifyLocalValue(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "unify_variable")))]
UnifyVariable(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "unify_value")))]
UnifyValue(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "unify_void")))]
UnifyVoid(usize),
// query instruction
#[strum_discriminants(strum(props(Arity = "3", Name = "put_constant")))]
PutConstant(Level, HeapCellValue, RegType),
#[strum_discriminants(strum(props(Arity = "2", Name = "put_list")))]
PutList(Level, RegType),
#[strum_discriminants(strum(props(Arity = "4", Name = "put_partial_string")))]
PutPartialString(Level, Atom, RegType, bool),
#[strum_discriminants(strum(props(Arity = "3", Name = "put_structure")))]
PutStructure(Atom, usize, RegType),
#[strum_discriminants(strum(props(Arity = "2", Name = "put_unsafe_value")))]
PutUnsafeValue(usize, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "put_value")))]
PutValue(RegType, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "put_variable")))]
PutVariable(RegType, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "set_constant")))]
SetConstant(HeapCellValue),
#[strum_discriminants(strum(props(Arity = "1", Name = "set_local_value")))]
SetLocalValue(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "set_variable")))]
SetVariable(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "set_value")))]
SetValue(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "set_void")))]
SetVoid(usize),
// cut instruction
#[strum_discriminants(strum(props(Arity = "1", Name = "cut")))]
Cut(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "get_level")))]
GetLevel(RegType),
#[strum_discriminants(strum(props(Arity = "1", Name = "get_level_and_unify")))]
GetLevelAndUnify(RegType),
#[strum_discriminants(strum(props(Arity = "0", Name = "neck_cut")))]
NeckCut,
// choice instruction
#[strum_discriminants(strum(props(Arity = "3", Name = "dynamic_else")))]
DynamicElse(usize, Death, NextOrFail),
#[strum_discriminants(strum(props(Arity = "3", Name = "dynamic_internal_else")))]
DynamicInternalElse(usize, Death, NextOrFail),
#[strum_discriminants(strum(props(Arity = "1", Name = "default_retry_me_else")))]
DefaultRetryMeElse(usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "default_trust_me")))]
DefaultTrustMe(usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "retry_me_else")))]
RetryMeElse(usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "trust_me")))]
TrustMe(usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "default_trust_me")))]
TryMeElse(usize),
// arithmetic instruction
#[strum_discriminants(strum(props(Arity = "2", Name = "add")))]
Add(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "sub")))]
Sub(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "mul")))]
Mul(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "pow")))]
Pow(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "int_pow")))]
IntPow(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "i_div")))]
IDiv(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "max")))]
Max(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "min")))]
Min(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "int_floor_div")))]
IntFloorDiv(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "r_div")))]
RDiv(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "div")))]
Div(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "shl")))]
Shl(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "shr")))]
Shr(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "xor")))]
Xor(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "and")))]
And(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "or")))]
Or(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "mod")))]
Mod(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "rem")))]
Rem(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "2", Name = "gcd")))]
Gcd(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "sign")))]
Sign(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "cos")))]
Cos(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "sin")))]
Sin(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "tan")))]
Tan(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "log")))]
Log(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "exp")))]
Exp(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "acos")))]
ACos(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "asin")))]
ASin(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "atan")))]
ATan(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "atan2")))]
ATan2(ArithmeticTerm, ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "sqrt")))]
Sqrt(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "abs")))]
Abs(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "float")))]
Float(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "truncate")))]
Truncate(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "round")))]
Round(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "ceiling")))]
Ceiling(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "floor")))]
Floor(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "neg")))]
Neg(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "plus")))]
Plus(ArithmeticTerm, usize),
#[strum_discriminants(strum(props(Arity = "1", Name = "bitwise_complement")))]
BitwiseComplement(ArithmeticTerm, usize),
// control instructions
#[strum_discriminants(strum(props(Arity = "1", Name = "allocate")))]
Allocate(usize), // num_frames.
#[strum_discriminants(strum(props(Arity = "0", Name = "deallocate")))]
Deallocate,
#[strum_discriminants(strum(props(Arity = "arity", Name = "jmp_by_call")))]
JmpByCall(usize, usize), // arity, relative offset.
#[strum_discriminants(strum(props(Arity = "arity", Name = "jmp_by_execute")))]
JmpByExecute(usize, usize), // arity, relative offset.
#[strum_discriminants(strum(props(Arity = "1", Name = "rev_jmp_by")))]
RevJmpBy(usize),
#[strum_discriminants(strum(props(Arity = "0", Name = "proceed")))]
Proceed,
// indexing.
#[strum_discriminants(strum(props(Arity = "1", Name = "indexing_code")))]
IndexingCode(Vec<IndexingLine>),
// break from loop instruction.
#[strum_discriminants(strum(props(Arity = "0", Name = "break_from_dispatch")))]
BreakFromDispatchLoop,
// swap the verify attr interrupt instruction with the next control instruction.
#[strum_discriminants(strum(props(Arity = "0", Name = "install_verify_attr")))]
InstallVerifyAttr,
// call verify_attrs.
#[strum_discriminants(strum(props(Arity = "0", Name = "verify_attr_interrupt")))]
VerifyAttrInterrupt,
// procedures
CallClause(ClauseType, usize, usize, bool, bool), // ClauseType,
// arity,
// perm_vars,
// last_call,
// use_default_call_policy.
}
fn derive_input(ty: &Type) -> Option<DeriveInput> {
let clause_type: Type = parse_quote!{ ClauseType };
let built_in_clause_type: Type = parse_quote! { BuiltInClauseType };
let inlined_clause_type: Type = parse_quote! { InlinedClauseType };
let system_clause_type: Type = parse_quote! { SystemClauseType };
let compare_term_type: Type = parse_quote! { CompareTerm };
let compare_number_type: Type = parse_quote! { CompareNumber };
let repl_code_ptr_type: Type = parse_quote! { REPLCodePtr };
if ty == &clause_type {
Some(ClauseType::to_derive_input())
} else if ty == &built_in_clause_type {
Some(BuiltInClauseType::to_derive_input())
} else if ty == &inlined_clause_type {
Some(InlinedClauseType::to_derive_input())
} else if ty == &system_clause_type {
Some(SystemClauseType::to_derive_input())
} else if ty == &compare_number_type {
Some(CompareNumber::to_derive_input())
} else if ty == &compare_term_type {
Some(CompareTerm::to_derive_input())
} else if ty == &repl_code_ptr_type {
Some(REPLCodePtr::to_derive_input())
} else {
None
}
}
impl ToTokens for Arity {
fn to_tokens(&self, tokens: &mut TokenStream) {
match self {
Arity::Static(arity) => {
arity.to_tokens(tokens);
}
Arity::Ident(arity) => {
let ident = format_ident!("{}", arity);
tokens.append(ident);
}
}
}
}
fn add_discriminant_data<DiscriminantT>(
variant: &Variant,
prefix: &'static str,
variant_data: &mut Vec<(&'static str, Arity, Variant)>,
) -> (&'static str, Arity)
where DiscriminantT: FromStr + strum::EnumProperty + std::fmt::Debug
{
let name = prop_from_ident::<DiscriminantT>(&variant.ident, "Name");
let arity = Arity::from(prop_from_ident::<DiscriminantT>(&variant.ident, "Arity"));
if prefix == "Call" {
let mut variant = variant.clone();
variant.attrs.clear();
variant_data.push((name, arity, variant));
}
(name, arity)
}
fn generate_instruction_preface() -> TokenStream {
quote! {
use crate::arena::*;
use crate::arithmetic::*;
use crate::atom_table::*;
use crate::forms::*;
use crate::machine::heap::*;
use crate::machine::machine_errors::MachineStub;
use crate::machine::machine_indices::CodeIndex;
use crate::parser::ast::*;
use crate::types::*;
use fxhash::FxBuildHasher;
use indexmap::IndexMap;
use std::collections::VecDeque;
fn reg_type_into_functor(r: RegType) -> MachineStub {
match r {
RegType::Temp(r) => functor!(atom!("x"), [fixnum(r)]),
RegType::Perm(r) => functor!(atom!("y"), [fixnum(r)]),
}
}
impl Level {
fn into_functor(self) -> MachineStub {
match self {
Level::Root => functor!(atom!("level"), [atom(atom!("root"))]),
Level::Shallow => functor!(atom!("level"), [atom(atom!("shallow"))]),
Level::Deep => functor!(atom!("level"), [atom(atom!("deep"))]),
}
}
}
impl ArithmeticTerm {
fn into_functor(&self, arena: &mut Arena) -> MachineStub {
match self {
&ArithmeticTerm::Reg(r) => reg_type_into_functor(r),
&ArithmeticTerm::Interm(i) => {
functor!(atom!("intermediate"), [fixnum(i)])
}
&ArithmeticTerm::Number(n) => {
vec![HeapCellValue::from((n, arena))]
}
}
}
}
#[derive(Debug, Clone, Copy)]
pub enum NextOrFail {
Next(usize),
Fail(usize),
}
impl Default for NextOrFail {
fn default() -> Self {
NextOrFail::Fail(0)
}
}
impl NextOrFail {
#[inline]
pub fn is_next(&self) -> bool {
if let NextOrFail::Next(_) = self {
true
} else {
false
}
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
pub enum Death {
Finite(usize),
Infinity,
}
impl Default for Death {
fn default() -> Self {
Death::Infinity
}
}
#[derive(Clone, Copy, Debug)]
pub enum IndexedChoiceInstruction {
Retry(usize),
Trust(usize),
Try(usize),
}
impl IndexedChoiceInstruction {
pub(crate) fn offset(&self) -> usize {
match self {
&IndexedChoiceInstruction::Retry(offset) => offset,
&IndexedChoiceInstruction::Trust(offset) => offset,
&IndexedChoiceInstruction::Try(offset) => offset,
}
}
pub(crate) fn to_functor(&self) -> MachineStub {
match self {
&IndexedChoiceInstruction::Try(offset) => {
functor!(atom!("try"), [fixnum(offset)])
}
&IndexedChoiceInstruction::Trust(offset) => {
functor!(atom!("trust"), [fixnum(offset)])
}
&IndexedChoiceInstruction::Retry(offset) => {
functor!(atom!("retry"), [fixnum(offset)])
}
}
}
}
/// `IndexingInstruction` cf. page 110 of wambook.
#[derive(Clone, Debug)]
pub enum IndexingInstruction {
// The first index is the optimal argument being indexed.
SwitchOnTerm(
usize,
IndexingCodePtr,
IndexingCodePtr,
IndexingCodePtr,
IndexingCodePtr,
),
SwitchOnConstant(IndexMap<Literal, IndexingCodePtr, FxBuildHasher>),
SwitchOnStructure(IndexMap<(Atom, usize), IndexingCodePtr, FxBuildHasher>),
}
#[derive(Debug, Clone, Copy)]
pub enum IndexingCodePtr {
External(usize), // the index points past the indexing instruction prelude.
DynamicExternal(usize), // an External index of a dynamic predicate, potentially invalidated by retraction.
Fail,
Internal(usize), // the index points into the indexing instruction prelude.
}
impl IndexingCodePtr {
#[allow(dead_code)]
pub fn to_functor(self) -> MachineStub {
match self {
IndexingCodePtr::DynamicExternal(o) => functor!(atom!("dynamic_external"), [fixnum(o)]),
IndexingCodePtr::External(o) => functor!(atom!("external"), [fixnum(o)]),
IndexingCodePtr::Internal(o) => functor!(atom!("internal"), [fixnum(o)]),
IndexingCodePtr::Fail => {
vec![atom_as_cell!(atom!("fail"))]
},
}
}
}
impl IndexingInstruction {
pub fn to_functor(&self, mut h: usize) -> MachineStub {
match self {
&IndexingInstruction::SwitchOnTerm(arg, vars, constants, lists, structures) => {
functor!(
atom!("switch_on_term"),
[
fixnum(arg),
indexing_code_ptr(h, vars),
indexing_code_ptr(h, constants),
indexing_code_ptr(h, lists),
indexing_code_ptr(h, structures)
]
)
}
&IndexingInstruction::SwitchOnConstant(ref constants) => {
let mut key_value_list_stub = vec![];
let orig_h = h;
h += 2; // skip the 2-cell "switch_on_constant" functor.
for (c, ptr) in constants.iter() {
let key_value_pair = functor!(
atom!(":"),
[literal(*c), indexing_code_ptr(h + 3, *ptr)]
);
key_value_list_stub.push(list_loc_as_cell!(h + 1));
key_value_list_stub.push(str_loc_as_cell!(h + 3));
key_value_list_stub.push(heap_loc_as_cell!(h + 3 + key_value_pair.len()));
h += key_value_pair.len() + 3;
key_value_list_stub.extend(key_value_pair.into_iter());
}
key_value_list_stub.push(empty_list_as_cell!());
functor!(
atom!("switch_on_constant"),
[str(orig_h, 0)],
[key_value_list_stub]
)
}
&IndexingInstruction::SwitchOnStructure(ref structures) => {
let mut key_value_list_stub = vec![];
let orig_h = h;
h += 2; // skip the 2-cell "switch_on_constant" functor.
for ((name, arity), ptr) in structures.iter() {
let predicate_indicator_stub = functor!(
atom!("/"),
[atom(name), fixnum(*arity)]
);
let key_value_pair = functor!(
atom!(":"),
[str(h + 3, 0), indexing_code_ptr(h + 3, *ptr)],
[predicate_indicator_stub]
);
key_value_list_stub.push(list_loc_as_cell!(h + 1));
key_value_list_stub.push(str_loc_as_cell!(h + 3));
key_value_list_stub.push(heap_loc_as_cell!(h + 3 + key_value_pair.len()));
h += key_value_pair.len() + 3;
key_value_list_stub.extend(key_value_pair.into_iter());
}
key_value_list_stub.push(empty_list_as_cell!());
functor!(
atom!("switch_on_structure"),
[str(orig_h, 0)],
[key_value_list_stub]
)
}
}
}
}
/// A `Line` is an instruction (cf. page 98 of wambook).
#[derive(Clone, Debug)]
pub enum IndexingLine {
Indexing(IndexingInstruction),
IndexedChoice(VecDeque<IndexedChoiceInstruction>),
DynamicIndexedChoice(VecDeque<usize>),
}
impl From<IndexingInstruction> for IndexingLine {
#[inline]
fn from(instr: IndexingInstruction) -> Self {
IndexingLine::Indexing(instr)
}
}
impl From<VecDeque<IndexedChoiceInstruction>> for IndexingLine {
#[inline]
fn from(instrs: VecDeque<IndexedChoiceInstruction>) -> Self {
IndexingLine::IndexedChoice(instrs.into_iter().collect())
}
}
fn arith_instr_unary_functor(
h: usize,
name: Atom,
arena: &mut Arena,
at: &ArithmeticTerm,
t: usize,
) -> MachineStub {
let at_stub = at.into_functor(arena);
functor!(name, [str(h, 0), fixnum(t)], [at_stub])
}
fn arith_instr_bin_functor(
h: usize,
name: Atom,
arena: &mut Arena,
at_1: &ArithmeticTerm,
at_2: &ArithmeticTerm,
t: usize,
) -> MachineStub {
let at_1_stub = at_1.into_functor(arena);
let at_2_stub = at_2.into_functor(arena);
functor!(
name,
[str(h, 0), str(h, 1), fixnum(t)],
[at_1_stub, at_2_stub]
)
}
pub type Code = Vec<Instruction>;
impl Instruction {
#[inline]
pub fn to_indexing_line_mut(&mut self) -> Option<&mut Vec<IndexingLine>> {
match self {
Instruction::IndexingCode(ref mut indexing_code) => Some(indexing_code),
_ => None,
}
}
#[inline]
pub fn to_indexing_line(&self) -> Option<&Vec<IndexingLine>> {
match self {
Instruction::IndexingCode(ref indexing_code) => Some(indexing_code),
_ => None,
}
}
#[inline]
pub fn is_head_instr(&self) -> bool {
match self {
Instruction::Deallocate |
Instruction::GetConstant(..) |
Instruction::GetList(..) |
Instruction::GetPartialString(..) |
Instruction::GetStructure(..) |
Instruction::GetValue(..) |
Instruction::UnifyConstant(..) |
Instruction::UnifyLocalValue(..) |
Instruction::UnifyVariable(..) |
Instruction::UnifyValue(..) |
Instruction::UnifyVoid(..) |
Instruction::GetVariable(..) |
Instruction::PutConstant(..) |
Instruction::PutList(..) |
Instruction::PutPartialString(..) |
Instruction::PutStructure(..) |
Instruction::PutUnsafeValue(..) |
Instruction::PutValue(..) |
Instruction::PutVariable(..) |
Instruction::SetConstant(..) |
Instruction::SetLocalValue(..) |
Instruction::SetVariable(..) |
Instruction::SetValue(..) |
Instruction::SetVoid(..) => true,
_ => false,
}
}
pub fn enqueue_functors(
&self,
mut h: usize,
arena: &mut Arena,
functors: &mut Vec<MachineStub>,
) {
match self {
&Instruction::IndexingCode(ref indexing_instrs) => {
for indexing_instr in indexing_instrs {
match indexing_instr {
IndexingLine::Indexing(indexing_instr) => {
let section = indexing_instr.to_functor(h);
h += section.len();
functors.push(section);
}
IndexingLine::IndexedChoice(indexed_choice_instrs) => {
for indexed_choice_instr in indexed_choice_instrs {
let section = indexed_choice_instr.to_functor();
h += section.len();
functors.push(section);
}
}
IndexingLine::DynamicIndexedChoice(indexed_choice_instrs) => {
for indexed_choice_instr in indexed_choice_instrs {
let section = functor!(atom!("dynamic"), [fixnum(*indexed_choice_instr)]);
h += section.len();
functors.push(section);
}
}
}
}
}
instr => functors.push(instr.to_functor(h, arena)),
}
}
fn to_functor(&self, h: usize, arena: &mut Arena) -> MachineStub {
match self {
&Instruction::InstallVerifyAttr => {
functor!(atom!("install_verify_attr"))
}
&Instruction::VerifyAttrInterrupt => {
functor!(atom!("verify_attr_interrupt"))
}
&Instruction::DynamicElse(birth, death, next_or_fail) => {
match (death, next_or_fail) {
(Death::Infinity, NextOrFail::Next(i)) => {
functor!(
atom!("dynamic_else"),
[fixnum(birth), atom(atom!("inf")), fixnum(i)]
)
}
(Death::Infinity, NextOrFail::Fail(i)) => {
let next_functor = functor!(atom!("fail"), [fixnum(i)]);
functor!(
atom!("dynamic_else"),
[fixnum(birth), atom(atom!("inf")), str(h, 0)],
[next_functor]
)
}
(Death::Finite(d), NextOrFail::Fail(i)) => {
let next_functor = functor!(atom!("fail"), [fixnum(i)]);
functor!(
atom!("dynamic_else"),
[fixnum(birth), fixnum(d), str(h, 0)],
[next_functor]
)
}
(Death::Finite(d), NextOrFail::Next(i)) => {
functor!(atom!("dynamic_else"), [fixnum(birth), fixnum(d), fixnum(i)])
}
}
}
&Instruction::DynamicInternalElse(birth, death, next_or_fail) => {
match (death, next_or_fail) {
(Death::Infinity, NextOrFail::Next(i)) => {
functor!(
atom!("dynamic_internal_else"),
[fixnum(birth), atom(atom!("inf")), fixnum(i)]
)
}
(Death::Infinity, NextOrFail::Fail(i)) => {
let next_functor = functor!(atom!("fail"), [fixnum(i)]);
functor!(
atom!("dynamic_internal_else"),
[fixnum(birth), atom(atom!("inf")), str(h, 0)],
[next_functor]
)
}
(Death::Finite(d), NextOrFail::Fail(i)) => {
let next_functor = functor!(atom!("fail"), [fixnum(i)]);
functor!(
atom!("dynamic_internal_else"),
[fixnum(birth), fixnum(d), str(h, 0)],
[next_functor]
)
}
(Death::Finite(d), NextOrFail::Next(i)) => {
functor!(
atom!("dynamic_internal_else"),
[fixnum(birth), fixnum(d), fixnum(i)]
)
}
}
}
&Instruction::TryMeElse(offset) => {
functor!(atom!("try_me_else"), [fixnum(offset)])
}
&Instruction::RetryMeElse(offset) => {
functor!(atom!("retry_me_else"), [fixnum(offset)])
}
&Instruction::TrustMe(offset) => {
functor!(atom!("trust_me"), [fixnum(offset)])
}
&Instruction::DefaultRetryMeElse(offset) => {
functor!(atom!("default_retry_me_else"), [fixnum(offset)])
}
&Instruction::DefaultTrustMe(offset) => {
functor!(atom!("default_trust_me"), [fixnum(offset)])
}
&Instruction::Cut(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("cut"), [str(h, 0)], [rt_stub])
}
&Instruction::GetLevel(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("get_level"), [str(h, 0)], [rt_stub])
}
&Instruction::GetLevelAndUnify(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("get_level_and_unify"), [str(h, 0)], [rt_stub])
}
&Instruction::NeckCut => {
functor!(atom!("neck_cut"))
}
&Instruction::Add(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("add"), arena, at_1, at_2, t)
}
&Instruction::Sub(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("sub"), arena, at_1, at_2, t)
}
&Instruction::Mul(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("mul"), arena, at_1, at_2, t)
}
&Instruction::IntPow(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("int_pow"), arena, at_1, at_2, t)
}
&Instruction::Pow(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("pow"), arena, at_1, at_2, t)
}
&Instruction::IDiv(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("idiv"), arena, at_1, at_2, t)
}
&Instruction::Max(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("max"), arena, at_1, at_2, t)
}
&Instruction::Min(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("min"), arena, at_1, at_2, t)
}
&Instruction::IntFloorDiv(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("int_floor_div"), arena, at_1, at_2, t)
}
&Instruction::RDiv(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("rdiv"), arena, at_1, at_2, t)
}
&Instruction::Div(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("div"), arena, at_1, at_2, t)
}
&Instruction::Shl(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("shl"), arena, at_1, at_2, t)
}
&Instruction::Shr(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("shr"), arena, at_1, at_2, t)
}
&Instruction::Xor(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("xor"), arena, at_1, at_2, t)
}
&Instruction::And(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("and"), arena, at_1, at_2, t)
}
&Instruction::Or(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("or"), arena, at_1, at_2, t)
}
&Instruction::Mod(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("mod"), arena, at_1, at_2, t)
}
&Instruction::Rem(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("rem"), arena, at_1, at_2, t)
}
&Instruction::ATan2(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("rem"), arena, at_1, at_2, t)
}
&Instruction::Gcd(ref at_1, ref at_2, t) => {
arith_instr_bin_functor(h, atom!("gcd"), arena, at_1, at_2, t)
}
&Instruction::Sign(ref at, t) => {
arith_instr_unary_functor(h, atom!("sign"), arena, at, t)
}
&Instruction::Cos(ref at, t) => {
arith_instr_unary_functor(h, atom!("cos"), arena, at, t)
}
&Instruction::Sin(ref at, t) => {
arith_instr_unary_functor(h, atom!("sin"), arena, at, t)
}
&Instruction::Tan(ref at, t) => {
arith_instr_unary_functor(h, atom!("tan"), arena, at, t)
}
&Instruction::Log(ref at, t) => {
arith_instr_unary_functor(h, atom!("log"), arena, at, t)
}
&Instruction::Exp(ref at, t) => {
arith_instr_unary_functor(h, atom!("exp"), arena, at, t)
}
&Instruction::ACos(ref at, t) => {
arith_instr_unary_functor(h, atom!("acos"), arena, at, t)
}
&Instruction::ASin(ref at, t) => {
arith_instr_unary_functor(h, atom!("asin"), arena, at, t)
}
&Instruction::ATan(ref at, t) => {
arith_instr_unary_functor(h, atom!("atan"), arena, at, t)
}
&Instruction::Sqrt(ref at, t) => {
arith_instr_unary_functor(h, atom!("sqrt"), arena, at, t)
}
&Instruction::Abs(ref at, t) => {
arith_instr_unary_functor(h, atom!("abs"), arena, at, t)
}
&Instruction::Float(ref at, t) => {
arith_instr_unary_functor(h, atom!("float"), arena, at, t)
}
&Instruction::Truncate(ref at, t) => {
arith_instr_unary_functor(h, atom!("truncate"), arena, at, t)
}
&Instruction::Round(ref at, t) => {
arith_instr_unary_functor(h, atom!("round"), arena, at, t)
}
&Instruction::Ceiling(ref at, t) => {
arith_instr_unary_functor(h, atom!("ceiling"), arena, at, t)
}
&Instruction::Floor(ref at, t) => {
arith_instr_unary_functor(h, atom!("floor"), arena, at, t)
}
&Instruction::Neg(ref at, t) => arith_instr_unary_functor(
h,
atom!("-"),
arena,
at,
t,
),
&Instruction::Plus(ref at, t) => arith_instr_unary_functor(
h,
atom!("+"),
arena,
at,
t,
),
&Instruction::BitwiseComplement(ref at, t) => arith_instr_unary_functor(
h,
atom!("\\"),
arena,
at,
t,
),
&Instruction::IndexingCode(_) => {
// this case is covered in enqueue_functors, which
// should be called instead (to_functor is a private
// function for this reason).
vec![]
}
&Instruction::Allocate(num_frames) => {
functor!(atom!("allocate"), [fixnum(num_frames)])
}
&Instruction::CallNamed(arity, name, ..) => {
functor!(atom!("call"), [atom(name), fixnum(arity)])
}
&Instruction::ExecuteNamed(arity, name, ..) => {
functor!(atom!("execute"), [atom(name), fixnum(arity)])
}
&Instruction::DefaultCallNamed(arity, name, ..) => {
functor!(atom!("call_default"), [atom(name), fixnum(arity)])
}
&Instruction::DefaultExecuteNamed(arity, name, ..) => {
functor!(atom!("execute_default"), [atom(name), fixnum(arity)])
}
&Instruction::CallN(arity, _) => {
functor!(atom!("call_n"), [fixnum(arity)])
}
&Instruction::ExecuteN(arity, _) => {
functor!(atom!("execute_n"), [fixnum(arity)])
}
&Instruction::DefaultCallN(arity, _) => {
functor!(atom!("call_default_n"), [fixnum(arity)])
}
&Instruction::DefaultExecuteN(arity, _) => {
functor!(atom!("execute_default_n"), [fixnum(arity)])
}
&Instruction::CallInlineCallN(arity, _) => {
functor!(atom!("call_n_inline"), [fixnum(arity)])
}
&Instruction::ExecuteInlineCallN(arity, _) => {
functor!(atom!("call_n_inline"), [fixnum(arity)])
}
&Instruction::CallTermGreaterThan(_) |
&Instruction::CallTermLessThan(_) |
&Instruction::CallTermGreaterThanOrEqual(_) |
&Instruction::CallTermLessThanOrEqual(_) |
&Instruction::CallTermEqual(_) |
&Instruction::CallTermNotEqual(_) |
&Instruction::CallNumberGreaterThan(..) |
&Instruction::CallNumberLessThan(..) |
&Instruction::CallNumberGreaterThanOrEqual(..) |
&Instruction::CallNumberLessThanOrEqual(..) |
&Instruction::CallNumberEqual(..) |
&Instruction::CallNumberNotEqual(..) |
&Instruction::CallIs(..) |
&Instruction::CallAcyclicTerm(_) |
&Instruction::CallArg(_) |
&Instruction::CallCompare(_) |
&Instruction::CallCopyTerm(_) |
&Instruction::CallFunctor(_) |
&Instruction::CallGround(_) |
&Instruction::CallKeySort(_) |
&Instruction::CallRead(_) |
&Instruction::CallSort(_) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("call"), [atom(name), fixnum(arity)])
}
//
&Instruction::ExecuteTermGreaterThan(_) |
&Instruction::ExecuteTermLessThan(_) |
&Instruction::ExecuteTermGreaterThanOrEqual(_) |
&Instruction::ExecuteTermLessThanOrEqual(_) |
&Instruction::ExecuteTermEqual(_) |
&Instruction::ExecuteTermNotEqual(_) |
&Instruction::ExecuteNumberGreaterThan(..) |
&Instruction::ExecuteNumberLessThan(..) |
&Instruction::ExecuteNumberGreaterThanOrEqual(..) |
&Instruction::ExecuteNumberLessThanOrEqual(..) |
&Instruction::ExecuteNumberEqual(..) |
&Instruction::ExecuteNumberNotEqual(..) |
&Instruction::ExecuteAcyclicTerm(_) |
&Instruction::ExecuteArg(_) |
&Instruction::ExecuteCompare(_) |
&Instruction::ExecuteCopyTerm(_) |
&Instruction::ExecuteFunctor(_) |
&Instruction::ExecuteGround(_) |
&Instruction::ExecuteIs(..) |
&Instruction::ExecuteKeySort(_) |
&Instruction::ExecuteRead(_) |
&Instruction::ExecuteSort(_) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("execute"), [atom(name), fixnum(arity)])
}
//
&Instruction::DefaultCallTermGreaterThan(_) |
&Instruction::DefaultCallTermLessThan(_) |
&Instruction::DefaultCallTermGreaterThanOrEqual(_) |
&Instruction::DefaultCallTermLessThanOrEqual(_) |
&Instruction::DefaultCallTermEqual(_) |
&Instruction::DefaultCallTermNotEqual(_) |
&Instruction::DefaultCallNumberGreaterThan(..) |
&Instruction::DefaultCallNumberLessThan(..) |
&Instruction::DefaultCallNumberGreaterThanOrEqual(..) |
&Instruction::DefaultCallNumberLessThanOrEqual(..) |
&Instruction::DefaultCallNumberEqual(..) |
&Instruction::DefaultCallNumberNotEqual(..) |
&Instruction::DefaultCallAcyclicTerm(_) |
&Instruction::DefaultCallArg(_) |
&Instruction::DefaultCallCompare(_) |
&Instruction::DefaultCallCopyTerm(_) |
&Instruction::DefaultCallFunctor(_) |
&Instruction::DefaultCallGround(_) |
&Instruction::DefaultCallIs(..) |
&Instruction::DefaultCallKeySort(_) |
&Instruction::DefaultCallRead(_) |
&Instruction::DefaultCallSort(_) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("call_default"), [atom(name), fixnum(arity)])
}
//
&Instruction::DefaultExecuteTermGreaterThan(_) |
&Instruction::DefaultExecuteTermLessThan(_) |
&Instruction::DefaultExecuteTermGreaterThanOrEqual(_) |
&Instruction::DefaultExecuteTermLessThanOrEqual(_) |
&Instruction::DefaultExecuteTermEqual(_) |
&Instruction::DefaultExecuteTermNotEqual(_) |
&Instruction::DefaultExecuteNumberGreaterThan(..) |
&Instruction::DefaultExecuteNumberLessThan(..) |
&Instruction::DefaultExecuteNumberGreaterThanOrEqual(..) |
&Instruction::DefaultExecuteNumberLessThanOrEqual(..) |
&Instruction::DefaultExecuteNumberEqual(..) |
&Instruction::DefaultExecuteNumberNotEqual(..) |
&Instruction::DefaultExecuteAcyclicTerm(_) |
&Instruction::DefaultExecuteArg(_) |
&Instruction::DefaultExecuteCompare(_) |
&Instruction::DefaultExecuteCopyTerm(_) |
&Instruction::DefaultExecuteFunctor(_) |
&Instruction::DefaultExecuteGround(_) |
&Instruction::DefaultExecuteIs(..) |
&Instruction::DefaultExecuteKeySort(_) |
&Instruction::DefaultExecuteRead(_) |
&Instruction::DefaultExecuteSort(_) => {
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(_, _) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("call"), [atom(name), fixnum(arity)])
}
&Instruction::ExecuteIsAtom(_, _) |
&Instruction::ExecuteIsAtomic(_, _) |
&Instruction::ExecuteIsCompound(_, _) |
&Instruction::ExecuteIsInteger(_, _) |
&Instruction::ExecuteIsNumber(_, _) |
&Instruction::ExecuteIsRational(_, _) |
&Instruction::ExecuteIsFloat(_, _) |
&Instruction::ExecuteIsNonVar(_, _) |
&Instruction::ExecuteIsVar(_, _) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("execute"), [atom(name), fixnum(arity)])
}
//
&Instruction::CallAtomChars(_) |
&Instruction::CallAtomCodes(_) |
&Instruction::CallAtomLength(_) |
&Instruction::CallBindFromRegister(_) |
&Instruction::CallContinuation(_) |
&Instruction::CallCharCode(_) |
&Instruction::CallCharType(_) |
&Instruction::CallCharsToNumber(_) |
&Instruction::CallCodesToNumber(_) |
&Instruction::CallCopyTermWithoutAttrVars(_) |
&Instruction::CallCheckCutPoint(_) |
&Instruction::CallClose(_) |
&Instruction::CallCopyToLiftedHeap(_) |
&Instruction::CallCreatePartialString(_) |
&Instruction::CallCurrentHostname(_) |
&Instruction::CallCurrentInput(_) |
&Instruction::CallCurrentOutput(_) |
&Instruction::CallDirectoryFiles(_) |
&Instruction::CallFileSize(_) |
&Instruction::CallFileExists(_) |
&Instruction::CallDirectoryExists(_) |
&Instruction::CallDirectorySeparator(_) |
&Instruction::CallMakeDirectory(_) |
&Instruction::CallMakeDirectoryPath(_) |
&Instruction::CallDeleteFile(_) |
&Instruction::CallRenameFile(_) |
&Instruction::CallFileCopy(_) |
&Instruction::CallWorkingDirectory(_) |
&Instruction::CallDeleteDirectory(_) |
&Instruction::CallPathCanonical(_) |
&Instruction::CallFileTime(_) |
&Instruction::CallDynamicModuleResolution(..) |
&Instruction::CallPrepareCallClause(..) |
&Instruction::CallCompileInlineOrExpandedGoal(..) |
&Instruction::CallIsExpandedOrInlined(_) |
&Instruction::CallGetClauseP(_) |
&Instruction::CallInvokeClauseAtP(_) |
&Instruction::CallGetFromAttributedVarList(_) |
&Instruction::CallPutToAttributedVarList(_) |
&Instruction::CallDeleteFromAttributedVarList(_) |
&Instruction::CallFetchGlobalVar(_) |
&Instruction::CallFirstStream(_) |
&Instruction::CallFlushOutput(_) |
&Instruction::CallGetByte(_) |
&Instruction::CallGetChar(_) |
&Instruction::CallGetNChars(_) |
&Instruction::CallGetCode(_) |
&Instruction::CallGetSingleChar(_) |
&Instruction::CallTruncateIfNoLiftedHeapGrowthDiff(_) |
&Instruction::CallTruncateIfNoLiftedHeapGrowth(_) |
&Instruction::CallGetAttributedVariableList(_) |
&Instruction::CallGetAttrVarQueueDelimiter(_) |
&Instruction::CallGetAttrVarQueueBeyond(_) |
&Instruction::CallGetBValue(_) |
&Instruction::CallGetContinuationChunk(_) |
&Instruction::CallGetNextDBRef(_) |
&Instruction::CallGetNextOpDBRef(_) |
&Instruction::CallIsPartialString(_) |
&Instruction::CallHalt(_) |
&Instruction::CallGetLiftedHeapFromOffset(_) |
&Instruction::CallGetLiftedHeapFromOffsetDiff(_) |
&Instruction::CallGetSCCCleaner(_) |
&Instruction::CallHeadIsDynamic(_) |
&Instruction::CallInstallSCCCleaner(_) |
&Instruction::CallInstallInferenceCounter(_) |
&Instruction::CallLiftedHeapLength(_) |
&Instruction::CallLoadLibraryAsStream(_) |
&Instruction::CallModuleExists(_) |
&Instruction::CallNextEP(_) |
&Instruction::CallNoSuchPredicate(_) |
&Instruction::CallNumberToChars(_) |
&Instruction::CallNumberToCodes(_) |
&Instruction::CallOpDeclaration(_) |
&Instruction::CallOpen(_) |
&Instruction::CallSetStreamOptions(_) |
&Instruction::CallNextStream(_) |
&Instruction::CallPartialStringTail(_) |
&Instruction::CallPeekByte(_) |
&Instruction::CallPeekChar(_) |
&Instruction::CallPeekCode(_) |
&Instruction::CallPointsToContinuationResetMarker(_) |
&Instruction::CallPutByte(_) |
&Instruction::CallPutChar(_) |
&Instruction::CallPutChars(_) |
&Instruction::CallPutCode(_) |
&Instruction::CallReadQueryTerm(_) |
&Instruction::CallReadTerm(_) |
&Instruction::CallRedoAttrVarBinding(_) |
&Instruction::CallRemoveCallPolicyCheck(_) |
&Instruction::CallRemoveInferenceCounter(_) |
&Instruction::CallResetContinuationMarker(_) |
&Instruction::CallRestoreCutPolicy(_) |
&Instruction::CallSetCutPoint(..) |
&Instruction::CallSetInput(_) |
&Instruction::CallSetOutput(_) |
&Instruction::CallStoreBacktrackableGlobalVar(_) |
&Instruction::CallStoreGlobalVar(_) |
&Instruction::CallStreamProperty(_) |
&Instruction::CallSetStreamPosition(_) |
&Instruction::CallInferenceLevel(_) |
&Instruction::CallCleanUpBlock(_) |
&Instruction::CallFail(_) |
&Instruction::CallGetBall(_) |
&Instruction::CallGetCurrentBlock(_) |
&Instruction::CallGetCutPoint(_) |
&Instruction::CallGetDoubleQuotes(_) |
&Instruction::CallInstallNewBlock(_) |
&Instruction::CallMaybe(_) |
&Instruction::CallCpuNow(_) |
&Instruction::CallDeterministicLengthRundown(_) |
&Instruction::CallHttpOpen(_) |
&Instruction::CallHttpListen(_) |
&Instruction::CallHttpAccept(_) |
&Instruction::CallHttpAnswer(_) |
&Instruction::CallPredicateDefined(_) |
&Instruction::CallStripModule(_) |
&Instruction::CallCurrentTime(_) |
&Instruction::CallQuotedToken(_) |
&Instruction::CallReadTermFromChars(_) |
&Instruction::CallResetBlock(_) |
&Instruction::CallReturnFromVerifyAttr(_) |
&Instruction::CallSetBall(_) |
&Instruction::CallPushBallStack(_) |
&Instruction::CallPopBallStack(_) |
&Instruction::CallPopFromBallStack(_) |
&Instruction::CallSetCutPointByDefault(..) |
&Instruction::CallSetDoubleQuotes(_) |
&Instruction::CallSetSeed(_) |
&Instruction::CallSkipMaxList(_) |
&Instruction::CallSleep(_) |
&Instruction::CallSocketClientOpen(_) |
&Instruction::CallSocketServerOpen(_) |
&Instruction::CallSocketServerAccept(_) |
&Instruction::CallSocketServerClose(_) |
&Instruction::CallTLSAcceptClient(_) |
&Instruction::CallTLSClientConnect(_) |
&Instruction::CallSucceed(_) |
&Instruction::CallTermAttributedVariables(_) |
&Instruction::CallTermVariables(_) |
&Instruction::CallTermVariablesUnderMaxDepth(_) |
&Instruction::CallTruncateLiftedHeapTo(_) |
&Instruction::CallUnifyWithOccursCheck(_) |
&Instruction::CallUnwindEnvironments(_) |
&Instruction::CallUnwindStack(_) |
&Instruction::CallWAMInstructions(_) |
&Instruction::CallWriteTerm(_) |
&Instruction::CallWriteTermToChars(_) |
&Instruction::CallScryerPrologVersion(_) |
&Instruction::CallCryptoRandomByte(_) |
&Instruction::CallCryptoDataHash(_) |
&Instruction::CallCryptoDataHKDF(_) |
&Instruction::CallCryptoPasswordHash(_) |
&Instruction::CallCryptoDataEncrypt(_) |
&Instruction::CallCryptoDataDecrypt(_) |
&Instruction::CallCryptoCurveScalarMult(_) |
&Instruction::CallEd25519Sign(_) |
&Instruction::CallEd25519Verify(_) |
&Instruction::CallEd25519NewKeyPair(_) |
&Instruction::CallEd25519KeyPairPublicKey(_) |
&Instruction::CallCurve25519ScalarMult(_) |
&Instruction::CallFirstNonOctet(_) |
&Instruction::CallLoadHTML(_) |
&Instruction::CallLoadXML(_) |
&Instruction::CallGetEnv(_) |
&Instruction::CallSetEnv(_) |
&Instruction::CallUnsetEnv(_) |
&Instruction::CallShell(_) |
&Instruction::CallPID(_) |
&Instruction::CallCharsBase64(_) |
&Instruction::CallDevourWhitespace(_) |
&Instruction::CallIsSTOEnabled(_) |
&Instruction::CallSetSTOAsUnify(_) |
&Instruction::CallSetNSTOAsUnify(_) |
&Instruction::CallSetSTOWithErrorAsUnify(_) |
&Instruction::CallHomeDirectory(_) |
&Instruction::CallDebugHook(_) |
&Instruction::CallAddDiscontiguousPredicate(_) |
&Instruction::CallAddDynamicPredicate(_) |
&Instruction::CallAddMultifilePredicate(_) |
&Instruction::CallAddGoalExpansionClause(_) |
&Instruction::CallAddTermExpansionClause(_) |
&Instruction::CallAddInSituFilenameModule(_) |
&Instruction::CallClauseToEvacuable(_) |
&Instruction::CallScopedClauseToEvacuable(_) |
&Instruction::CallConcludeLoad(_) |
&Instruction::CallDeclareModule(_) |
&Instruction::CallLoadCompiledLibrary(_) |
&Instruction::CallLoadContextSource(_) |
&Instruction::CallLoadContextFile(_) |
&Instruction::CallLoadContextDirectory(_) |
&Instruction::CallLoadContextModule(_) |
&Instruction::CallLoadContextStream(_) |
&Instruction::CallPopLoadContext(_) |
&Instruction::CallPopLoadStatePayload(_) |
&Instruction::CallPushLoadContext(_) |
&Instruction::CallPushLoadStatePayload(_) |
&Instruction::CallUseModule(_) |
&Instruction::CallBuiltInProperty(_) |
&Instruction::CallMetaPredicateProperty(_) |
&Instruction::CallMultifileProperty(_) |
&Instruction::CallDiscontiguousProperty(_) |
&Instruction::CallDynamicProperty(_) |
&Instruction::CallAbolishClause(_) |
&Instruction::CallAsserta(_) |
&Instruction::CallAssertz(_) |
&Instruction::CallRetract(_) |
&Instruction::CallIsConsistentWithTermQueue(_) |
&Instruction::CallFlushTermQueue(_) |
&Instruction::CallRemoveModuleExports(_) |
&Instruction::CallAddNonCountedBacktracking(_) |
&Instruction::CallPopCount(_) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("call"), [atom(name), fixnum(arity)])
}
//
&Instruction::ExecuteAtomChars(_) |
&Instruction::ExecuteAtomCodes(_) |
&Instruction::ExecuteAtomLength(_) |
&Instruction::ExecuteBindFromRegister(_) |
&Instruction::ExecuteContinuation(_) |
&Instruction::ExecuteCharCode(_) |
&Instruction::ExecuteCharType(_) |
&Instruction::ExecuteCharsToNumber(_) |
&Instruction::ExecuteCodesToNumber(_) |
&Instruction::ExecuteCopyTermWithoutAttrVars(_) |
&Instruction::ExecuteCheckCutPoint(_) |
&Instruction::ExecuteClose(_) |
&Instruction::ExecuteCopyToLiftedHeap(_) |
&Instruction::ExecuteCreatePartialString(_) |
&Instruction::ExecuteCurrentHostname(_) |
&Instruction::ExecuteCurrentInput(_) |
&Instruction::ExecuteCurrentOutput(_) |
&Instruction::ExecuteDirectoryFiles(_) |
&Instruction::ExecuteFileSize(_) |
&Instruction::ExecuteFileExists(_) |
&Instruction::ExecuteDirectoryExists(_) |
&Instruction::ExecuteDirectorySeparator(_) |
&Instruction::ExecuteMakeDirectory(_) |
&Instruction::ExecuteMakeDirectoryPath(_) |
&Instruction::ExecuteDeleteFile(_) |
&Instruction::ExecuteRenameFile(_) |
&Instruction::ExecuteFileCopy(_) |
&Instruction::ExecuteWorkingDirectory(_) |
&Instruction::ExecuteDeleteDirectory(_) |
&Instruction::ExecutePathCanonical(_) |
&Instruction::ExecuteFileTime(_) |
&Instruction::ExecuteDynamicModuleResolution(..) |
&Instruction::ExecutePrepareCallClause(..) |
&Instruction::ExecuteCompileInlineOrExpandedGoal(..) |
&Instruction::ExecuteIsExpandedOrInlined(_) |
&Instruction::ExecuteGetClauseP(_) |
&Instruction::ExecuteInvokeClauseAtP(_) |
&Instruction::ExecuteGetFromAttributedVarList(_) |
&Instruction::ExecutePutToAttributedVarList(_) |
&Instruction::ExecuteDeleteFromAttributedVarList(_) |
&Instruction::ExecuteFetchGlobalVar(_) |
&Instruction::ExecuteFirstStream(_) |
&Instruction::ExecuteFlushOutput(_) |
&Instruction::ExecuteGetByte(_) |
&Instruction::ExecuteGetChar(_) |
&Instruction::ExecuteGetNChars(_) |
&Instruction::ExecuteGetCode(_) |
&Instruction::ExecuteGetSingleChar(_) |
&Instruction::ExecuteTruncateIfNoLiftedHeapGrowthDiff(_) |
&Instruction::ExecuteTruncateIfNoLiftedHeapGrowth(_) |
&Instruction::ExecuteGetAttributedVariableList(_) |
&Instruction::ExecuteGetAttrVarQueueDelimiter(_) |
&Instruction::ExecuteGetAttrVarQueueBeyond(_) |
&Instruction::ExecuteGetBValue(_) |
&Instruction::ExecuteGetContinuationChunk(_) |
&Instruction::ExecuteGetNextDBRef(_) |
&Instruction::ExecuteGetNextOpDBRef(_) |
&Instruction::ExecuteIsPartialString(_) |
&Instruction::ExecuteHalt(_) |
&Instruction::ExecuteGetLiftedHeapFromOffset(_) |
&Instruction::ExecuteGetLiftedHeapFromOffsetDiff(_) |
&Instruction::ExecuteGetSCCCleaner(_) |
&Instruction::ExecuteHeadIsDynamic(_) |
&Instruction::ExecuteInstallSCCCleaner(_) |
&Instruction::ExecuteInstallInferenceCounter(_) |
&Instruction::ExecuteLiftedHeapLength(_) |
&Instruction::ExecuteLoadLibraryAsStream(_) |
&Instruction::ExecuteModuleExists(_) |
&Instruction::ExecuteNextEP(_) |
&Instruction::ExecuteNoSuchPredicate(_) |
&Instruction::ExecuteNumberToChars(_) |
&Instruction::ExecuteNumberToCodes(_) |
&Instruction::ExecuteOpDeclaration(_) |
&Instruction::ExecuteOpen(_) |
&Instruction::ExecuteSetStreamOptions(_) |
&Instruction::ExecuteNextStream(_) |
&Instruction::ExecutePartialStringTail(_) |
&Instruction::ExecutePeekByte(_) |
&Instruction::ExecutePeekChar(_) |
&Instruction::ExecutePeekCode(_) |
&Instruction::ExecutePointsToContinuationResetMarker(_) |
&Instruction::ExecutePutByte(_) |
&Instruction::ExecutePutChar(_) |
&Instruction::ExecutePutChars(_) |
&Instruction::ExecutePutCode(_) |
&Instruction::ExecuteReadQueryTerm(_) |
&Instruction::ExecuteReadTerm(_) |
&Instruction::ExecuteRedoAttrVarBinding(_) |
&Instruction::ExecuteRemoveCallPolicyCheck(_) |
&Instruction::ExecuteRemoveInferenceCounter(_) |
&Instruction::ExecuteResetContinuationMarker(_) |
&Instruction::ExecuteRestoreCutPolicy(_) |
&Instruction::ExecuteSetCutPoint(_, _) |
&Instruction::ExecuteSetInput(_) |
&Instruction::ExecuteSetOutput(_) |
&Instruction::ExecuteStoreBacktrackableGlobalVar(_) |
&Instruction::ExecuteStoreGlobalVar(_) |
&Instruction::ExecuteStreamProperty(_) |
&Instruction::ExecuteSetStreamPosition(_) |
&Instruction::ExecuteInferenceLevel(_) |
&Instruction::ExecuteCleanUpBlock(_) |
&Instruction::ExecuteFail(_) |
&Instruction::ExecuteGetBall(_) |
&Instruction::ExecuteGetCurrentBlock(_) |
&Instruction::ExecuteGetCutPoint(_) |
&Instruction::ExecuteGetDoubleQuotes(_) |
&Instruction::ExecuteInstallNewBlock(_) |
&Instruction::ExecuteMaybe(_) |
&Instruction::ExecuteCpuNow(_) |
&Instruction::ExecuteDeterministicLengthRundown(_) |
&Instruction::ExecuteHttpOpen(_) |
&Instruction::ExecuteHttpListen(_) |
&Instruction::ExecuteHttpAccept(_) |
&Instruction::ExecuteHttpAnswer(_) |
&Instruction::ExecutePredicateDefined(_) |
&Instruction::ExecuteStripModule(_) |
&Instruction::ExecuteCurrentTime(_) |
&Instruction::ExecuteQuotedToken(_) |
&Instruction::ExecuteReadTermFromChars(_) |
&Instruction::ExecuteResetBlock(_) |
&Instruction::ExecuteReturnFromVerifyAttr(_) |
&Instruction::ExecuteSetBall(_) |
&Instruction::ExecutePushBallStack(_) |
&Instruction::ExecutePopBallStack(_) |
&Instruction::ExecutePopFromBallStack(_) |
&Instruction::ExecuteSetCutPointByDefault(_, _) |
&Instruction::ExecuteSetDoubleQuotes(_) |
&Instruction::ExecuteSetSeed(_) |
&Instruction::ExecuteSkipMaxList(_) |
&Instruction::ExecuteSleep(_) |
&Instruction::ExecuteSocketClientOpen(_) |
&Instruction::ExecuteSocketServerOpen(_) |
&Instruction::ExecuteSocketServerAccept(_) |
&Instruction::ExecuteSocketServerClose(_) |
&Instruction::ExecuteTLSAcceptClient(_) |
&Instruction::ExecuteTLSClientConnect(_) |
&Instruction::ExecuteSucceed(_) |
&Instruction::ExecuteTermAttributedVariables(_) |
&Instruction::ExecuteTermVariables(_) |
&Instruction::ExecuteTermVariablesUnderMaxDepth(_) |
&Instruction::ExecuteTruncateLiftedHeapTo(_) |
&Instruction::ExecuteUnifyWithOccursCheck(_) |
&Instruction::ExecuteUnwindEnvironments(_) |
&Instruction::ExecuteUnwindStack(_) |
&Instruction::ExecuteWAMInstructions(_) |
&Instruction::ExecuteWriteTerm(_) |
&Instruction::ExecuteWriteTermToChars(_) |
&Instruction::ExecuteScryerPrologVersion(_) |
&Instruction::ExecuteCryptoRandomByte(_) |
&Instruction::ExecuteCryptoDataHash(_) |
&Instruction::ExecuteCryptoDataHKDF(_) |
&Instruction::ExecuteCryptoPasswordHash(_) |
&Instruction::ExecuteCryptoDataEncrypt(_) |
&Instruction::ExecuteCryptoDataDecrypt(_) |
&Instruction::ExecuteCryptoCurveScalarMult(_) |
&Instruction::ExecuteEd25519Sign(_) |
&Instruction::ExecuteEd25519Verify(_) |
&Instruction::ExecuteEd25519NewKeyPair(_) |
&Instruction::ExecuteEd25519KeyPairPublicKey(_) |
&Instruction::ExecuteCurve25519ScalarMult(_) |
&Instruction::ExecuteFirstNonOctet(_) |
&Instruction::ExecuteLoadHTML(_) |
&Instruction::ExecuteLoadXML(_) |
&Instruction::ExecuteGetEnv(_) |
&Instruction::ExecuteSetEnv(_) |
&Instruction::ExecuteUnsetEnv(_) |
&Instruction::ExecuteShell(_) |
&Instruction::ExecutePID(_) |
&Instruction::ExecuteCharsBase64(_) |
&Instruction::ExecuteDevourWhitespace(_) |
&Instruction::ExecuteIsSTOEnabled(_) |
&Instruction::ExecuteSetSTOAsUnify(_) |
&Instruction::ExecuteSetNSTOAsUnify(_) |
&Instruction::ExecuteSetSTOWithErrorAsUnify(_) |
&Instruction::ExecuteHomeDirectory(_) |
&Instruction::ExecuteDebugHook(_) |
&Instruction::ExecuteAddDiscontiguousPredicate(_) |
&Instruction::ExecuteAddDynamicPredicate(_) |
&Instruction::ExecuteAddMultifilePredicate(_) |
&Instruction::ExecuteAddGoalExpansionClause(_) |
&Instruction::ExecuteAddTermExpansionClause(_) |
&Instruction::ExecuteAddInSituFilenameModule(_) |
&Instruction::ExecuteClauseToEvacuable(_) |
&Instruction::ExecuteScopedClauseToEvacuable(_) |
&Instruction::ExecuteConcludeLoad(_) |
&Instruction::ExecuteDeclareModule(_) |
&Instruction::ExecuteLoadCompiledLibrary(_) |
&Instruction::ExecuteLoadContextSource(_) |
&Instruction::ExecuteLoadContextFile(_) |
&Instruction::ExecuteLoadContextDirectory(_) |
&Instruction::ExecuteLoadContextModule(_) |
&Instruction::ExecuteLoadContextStream(_) |
&Instruction::ExecutePopLoadContext(_) |
&Instruction::ExecutePopLoadStatePayload(_) |
&Instruction::ExecutePushLoadContext(_) |
&Instruction::ExecutePushLoadStatePayload(_) |
&Instruction::ExecuteUseModule(_) |
&Instruction::ExecuteBuiltInProperty(_) |
&Instruction::ExecuteMetaPredicateProperty(_) |
&Instruction::ExecuteMultifileProperty(_) |
&Instruction::ExecuteDiscontiguousProperty(_) |
&Instruction::ExecuteDynamicProperty(_) |
&Instruction::ExecuteAbolishClause(_) |
&Instruction::ExecuteAsserta(_) |
&Instruction::ExecuteAssertz(_) |
&Instruction::ExecuteRetract(_) |
&Instruction::ExecuteIsConsistentWithTermQueue(_) |
&Instruction::ExecuteFlushTermQueue(_) |
&Instruction::ExecuteRemoveModuleExports(_) |
&Instruction::ExecuteAddNonCountedBacktracking(_) |
&Instruction::ExecutePopCount(_) => {
let (name, arity) = self.to_name_and_arity();
functor!(atom!("execute"), [atom(name), fixnum(arity)])
}
//
&Instruction::Deallocate => {
functor!(atom!("deallocate"))
}
&Instruction::JmpByCall(_, offset, ..) => {
functor!(atom!("jmp_by_call"), [fixnum(offset)])
}
&Instruction::JmpByExecute(_, offset, ..) => {
functor!(atom!("jmp_by_execute"), [fixnum(offset)])
}
&Instruction::RevJmpBy(offset) => {
functor!(atom!("rev_jmp_by"), [fixnum(offset)])
}
&Instruction::Proceed => {
functor!(atom!("proceed"))
}
&Instruction::GetConstant(lvl, c, r) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("get_constant"),
[str(h, 0), cell(c), str(h, 1)],
[lvl_stub, rt_stub]
)
}
&Instruction::GetList(lvl, r) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("get_list"),
[str(h, 0), str(h, 1)],
[lvl_stub, rt_stub]
)
}
&Instruction::GetPartialString(lvl, s, r, has_tail) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("get_partial_string"),
[
str(h, 0),
string(h, s),
str(h, 1),
boolean(has_tail)
],
[lvl_stub, rt_stub]
)
}
&Instruction::GetStructure(name, arity, r) => {
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("get_structure"),
[atom(name), fixnum(arity), str(h, 0)],
[rt_stub]
)
}
&Instruction::GetValue(r, arg) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("get_value"), [str(h, 0), fixnum(arg)], [rt_stub])
}
&Instruction::GetVariable(r, arg) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("get_variable"), [str(h, 0), fixnum(arg)], [rt_stub])
}
&Instruction::UnifyConstant(c) => {
functor!(atom!("unify_constant"), [cell(c)])
}
&Instruction::UnifyLocalValue(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("unify_local_value"), [str(h, 0)], [rt_stub])
}
&Instruction::UnifyVariable(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("unify_variable"), [str(h, 0)], [rt_stub])
}
&Instruction::UnifyValue(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("unify_value"), [str(h, 0)], [rt_stub])
}
&Instruction::UnifyVoid(vars) => {
functor!(atom!("unify_void"), [fixnum(vars)])
}
&Instruction::PutUnsafeValue(norm, arg) => {
functor!(atom!("put_unsafe_value"), [fixnum(norm), fixnum(arg)])
}
&Instruction::PutConstant(lvl, c, r) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("put_constant"),
[str(h, 0), cell(c), str(h, 1)],
[lvl_stub, rt_stub]
)
}
&Instruction::PutList(lvl, r) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("put_list"),
[str(h, 0), str(h, 1)],
[lvl_stub, rt_stub]
)
}
&Instruction::PutPartialString(lvl, s, r, has_tail) => {
let lvl_stub = lvl.into_functor();
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("put_partial_string"),
[
str(h, 0),
string(h, s),
str(h, 1),
boolean(has_tail)
],
[lvl_stub, rt_stub]
)
}
&Instruction::PutStructure(name, arity, r) => {
let rt_stub = reg_type_into_functor(r);
functor!(
atom!("put_structure"),
[atom(name), fixnum(arity), str(h, 0)],
[rt_stub]
)
}
&Instruction::PutValue(r, arg) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("put_value"), [str(h, 0), fixnum(arg)], [rt_stub])
}
&Instruction::PutVariable(r, arg) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("put_variable"), [str(h, 0), fixnum(arg)], [rt_stub])
}
&Instruction::SetConstant(c) => {
functor!(atom!("set_constant"), [cell(c)])
}
&Instruction::SetLocalValue(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("set_local_value"), [str(h, 0)], [rt_stub])
}
&Instruction::SetVariable(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("set_variable"), [str(h, 0)], [rt_stub])
}
&Instruction::SetValue(r) => {
let rt_stub = reg_type_into_functor(r);
functor!(atom!("set_value"), [str(h, 0)], [rt_stub])
}
&Instruction::SetVoid(vars) => {
functor!(atom!("set_void"), [fixnum(vars)])
}
&Instruction::BreakFromDispatchLoop => {
functor!(atom!("$break_from_dispatch_loop"))
}
}
}
}
}
}
pub fn generate_instructions_rs() -> TokenStream {
let input = InstructionTemplate::to_derive_input();
let mut instr_data = InstructionData::new();
instr_data.generate_instruction_enum_loop(input);
let instr_variants: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.map(|(_, _, _, variant)| variant)
.collect();
fn attributeless_enum<T: ToDeriveInput>() -> Vec<Variant> {
if let Data::Enum(DataEnum { mut variants, .. }) = T::to_derive_input().data {
for variant in &mut variants {
variant.attrs.clear();
}
variants.into_iter().collect()
} else {
unreachable!()
}
}
let clause_type_variants = attributeless_enum::<ClauseType>();
let builtin_type_variants = attributeless_enum::<BuiltInClauseType>();
let inlined_type_variants = attributeless_enum::<InlinedClauseType>();
let system_clause_type_variants = attributeless_enum::<SystemClauseType>();
let repl_code_ptr_variants = attributeless_enum::<REPLCodePtr>();
let compare_number_variants = attributeless_enum::<CompareNumber>();
let compare_term_variants = attributeless_enum::<CompareTerm>();
let mut clause_type_from_name_and_arity_arms = vec![];
let mut clause_type_to_instr_arms = vec![];
let mut clause_type_name_arms = vec![];
let mut is_inbuilt_arms = vec![];
for (name, arity, variant) in instr_data.compare_number_variants {
let ident = variant.ident.clone();
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
let ty = field.ty;
quote! { #ty::default() }
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
quote! {
(atom!(#name), #arity) => ClauseType::Inlined(
InlinedClauseType::CompareNumber(CompareNumber::#ident(#(#variant_fields),*))
)
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::Inlined(
InlinedClauseType::CompareNumber(CompareNumber::#ident)
)
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::Inlined(
InlinedClauseType::CompareNumber(CompareNumber::#ident(..))
) => atom!(#name)
}
} else {
quote! {
ClauseType::Inlined(
InlinedClauseType::CompareNumber(CompareNumber::#ident)
) => (atom!(#name), #arity)
}
});
let ident = variant.ident;
let instr_ident = format_ident!("Call{}", ident);
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(
quote! {
ClauseType::Inlined(
InlinedClauseType::CompareNumber(CompareNumber::#ident(#(#placeholder_ids),*))
) => Instruction::#instr_ident(#(#placeholder_ids),*, 0)
}
);
is_inbuilt_arms.push(
quote! {
(atom!(#name), #arity) => true
}
);
}
for (name, arity, variant) in instr_data.compare_term_variants {
let ident = variant.ident.clone();
clause_type_from_name_and_arity_arms.push(quote! {
(atom!(#name), #arity) => ClauseType::BuiltIn(
BuiltInClauseType::CompareTerm(CompareTerm::#ident)
)
});
clause_type_name_arms.push(
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::CompareTerm(CompareTerm::#ident)
) => atom!(#name)
}
);
let ident = variant.ident;
let instr_ident = format_ident!("Call{}", ident);
clause_type_to_instr_arms.push(
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::CompareTerm(CompareTerm::#ident)
) => Instruction::#instr_ident(0)
}
);
is_inbuilt_arms.push(
quote! {
(atom!(#name), #arity) => true
}
);
}
for (name, arity, variant) in instr_data.builtin_type_variants {
let ident = variant.ident.clone();
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
let ty = field.ty;
quote! { #ty::default() }
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
quote! {
(atom!(#name), #arity) => ClauseType::BuiltIn(
BuiltInClauseType::#ident(#(#variant_fields),*)
)
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::BuiltIn(
BuiltInClauseType::#ident
)
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::#ident(..)
) => atom!(#name)
}
} else {
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::#ident
) => atom!(#name)
}
});
let ident = variant.ident;
let instr_ident = format_ident!("Call{}", ident);
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::#ident(#(#placeholder_ids),*)
) => Instruction::#instr_ident(#(#placeholder_ids),*,0)
}
} else {
quote! {
ClauseType::BuiltIn(
BuiltInClauseType::#ident
) => Instruction::#instr_ident(0)
}
});
is_inbuilt_arms.push(
quote! {
(atom!(#name), #arity) => true
}
);
}
for (name, arity, variant) in instr_data.inlined_type_variants {
let ident = variant.ident.clone();
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
if field.ty.type_id() == TypeId::of::<usize>() {
quote! { #arity }
} else {
let ty = field.ty;
quote! { #ty::default() }
}
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
quote! {
(atom!(#name), #arity) => ClauseType::Inlined(
InlinedClauseType::#ident(#(#variant_fields),*)
)
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::Inlined(
InlinedClauseType::#ident
)
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::Inlined(
InlinedClauseType::#ident(..)
) => atom!(#name)
}
} else {
quote! {
ClauseType::Inlined(
InlinedClauseType::#ident
) => atom!(#name)
}
});
let ident = variant.ident;
let instr_ident = format_ident!("Call{}", ident);
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(
quote! {
ClauseType::Inlined(
InlinedClauseType::#ident(#(#placeholder_ids),*)
) => Instruction::#instr_ident(#(#placeholder_ids),*,0)
}
);
is_inbuilt_arms.push(
quote! {
(atom!(#name), #arity) => true
}
);
}
for (name, arity, variant) in instr_data.system_clause_type_variants {
let ident = variant.ident.clone();
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
if field.ty == parse_quote! { usize } {
quote! { #arity }
} else {
let ty = field.ty;
quote! { #ty::default() }
}
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
if ident.to_string() == "SetCutPoint" {
quote! {
(atom!(#name), #arity) => ClauseType::System(
SystemClauseType::#ident(temp_v!(1))
)
}
} else if ident.to_string() == "SetCutPointByDefault" {
quote! {
(atom!(#name), #arity) => ClauseType::System(
SystemClauseType::#ident(temp_v!(1))
)
}
} else if ident.to_string() == "InlineCallN" {
quote! {
(atom!(#name), arity) => ClauseType::System(
SystemClauseType::#ident(arity)
)
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::System(
SystemClauseType::#ident(#(#variant_fields),*)
)
}
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::System(
SystemClauseType::#ident
)
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::System(
SystemClauseType::#ident(..)
) => atom!(#name)
}
} else {
quote! {
ClauseType::System(
SystemClauseType::#ident
) => atom!(#name)
}
});
let ident = variant.ident;
let instr_ident = if ident != "CallContinuation" {
format_ident!("Call{}", ident)
} else {
ident.clone()
};
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::System(
SystemClauseType::#ident(#(#placeholder_ids),*)
) => Instruction::#instr_ident(#(#placeholder_ids),*,0)
}
} else {
quote! {
ClauseType::System(
SystemClauseType::#ident
) => Instruction::#instr_ident(0)
}
});
is_inbuilt_arms.push(
if let Arity::Ident("arity") = &arity {
quote! {
(atom!(#name), _arity) => true
}
} else {
quote! {
(atom!(#name), #arity) => true
}
}
);
}
for (name, arity, variant) in instr_data.repl_code_ptr_variants {
let ident = variant.ident.clone();
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
if field.ty.type_id() == TypeId::of::<usize>() {
quote! { #arity }
} else {
let ty = field.ty;
quote! { #ty::default() }
}
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
quote! {
(atom!(#name), #arity) => ClauseType::System(SystemClauseType::REPL(
REPLCodePtr::#ident(#(#variant_fields),*)
))
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::System(SystemClauseType::REPL(
REPLCodePtr::#ident
))
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::System(
SystemClauseType::REPL(REPLCodePtr::#ident(..))
) => atom!(#name)
}
} else {
quote! {
ClauseType::System(
SystemClauseType::REPL(REPLCodePtr::#ident)
) => atom!(#name)
}
});
let ident = variant.ident;
let instr_ident = format_ident!("Call{}", ident);
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::System(SystemClauseType::REPL(
REPLCodePtr::#ident(#(#placeholder_ids),*)
)) => Instruction::#instr_ident(#(#placeholder_ids),*,0)
}
} else {
quote! {
ClauseType::System(SystemClauseType::REPL(
REPLCodePtr::#ident
)) => Instruction::#instr_ident(0)
}
});
is_inbuilt_arms.push(
quote! {
(atom!(#name), #arity) => true
}
);
}
for (name, arity, variant) in instr_data.clause_type_variants {
let ident = variant.ident.clone();
if ident == "Named" {
clause_type_from_name_and_arity_arms.push(quote! {
(name, arity) => ClauseType::Named(arity, name, CodeIndex::default(arena))
});
clause_type_to_instr_arms.push(quote! {
ClauseType::Named(arity, name, idx) => Instruction::CallNamed(arity, name, idx, 0)
});
clause_type_name_arms.push(quote! {
ClauseType::Named(_, name, _) => *name
});
continue;
}
let variant_fields: Vec<_> = variant.fields
.into_iter()
.map(|field| {
if field.ty == parse_quote! { usize } {
quote! { #arity }
} else {
let ty = field.ty;
quote! { #ty::default() }
}
})
.collect();
clause_type_from_name_and_arity_arms.push(if !variant_fields.is_empty() {
quote! {
(atom!(#name), #arity) => ClauseType::#ident(#(#variant_fields),*)
}
} else {
quote! {
(atom!(#name), #arity) => ClauseType::#ident
}
});
clause_type_name_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::#ident(..) => atom!(#name)
}
} else {
quote! {
ClauseType::#ident => atom!(#name)
}
});
let ident = variant.ident;
let placeholder_ids: Vec<_> = (0 .. variant_fields.len())
.map(|n| format_ident!("f_{}", n))
.collect();
clause_type_to_instr_arms.push(if !variant_fields.is_empty() {
quote! {
ClauseType::#ident(#(#placeholder_ids),*) =>
Instruction::#ident(#(#placeholder_ids),*,0)
}
} else {
quote! {
ClauseType::#ident => Instruction::#ident(0)
}
});
is_inbuilt_arms.push(
quote! {
(atom!(#name), _arity) => true
}
);
}
let to_execute_arms: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.filter_map(|(_, _, _, variant)| {
let variant_ident = variant.ident.clone();
let variant_string = variant.ident.to_string();
let enum_arity = if let Fields::Unnamed(fields) = &variant.fields {
fields.unnamed.len()
} else {
0
};
let placeholder_ids: Vec<_> = (0 .. enum_arity)
.map(|n| format_ident!("f_{}", n))
.collect();
if variant_string.starts_with("Call") {
let execute_ident = format_ident!("Execute{}", variant_string["Call".len() ..]);
Some(if enum_arity == 0 {
quote! {
Instruction::#variant_ident =>
Instruction::#execute_ident
}
} else {
quote! {
Instruction::#variant_ident(#(#placeholder_ids),*) =>
Instruction::#execute_ident(#(#placeholder_ids),*)
}
})
} else if variant_string.starts_with("DefaultCall") {
let execute_ident =
format_ident!("DefaultExecute{}", variant_string["DefaultCall".len() ..]);
Some(if enum_arity == 0 {
quote! {
Instruction::#variant_ident =>
Instruction::#execute_ident
}
} else {
quote! {
Instruction::#variant_ident(#(#placeholder_ids),*) =>
Instruction::#execute_ident(#(#placeholder_ids),*)
}
})
} else if variant_string == "JmpByCall" {
Some(quote! {
Instruction::JmpByCall(#(#placeholder_ids),*) =>
Instruction::JmpByExecute(#(#placeholder_ids),*)
})
} else {
None
}
})
.collect();
let is_execute_arms: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.filter_map(|(_, _, _, variant)| {
let variant_ident = variant.ident.clone();
let variant_string = variant.ident.to_string();
let enum_arity = if let Fields::Unnamed(fields) = &variant.fields {
fields.unnamed.len()
} else {
0
};
if variant_string.starts_with("Execute") {
Some(if enum_arity == 0 {
quote! {
Instruction::#variant_ident => true
}
} else {
quote! {
Instruction::#variant_ident(..) => true
}
})
} else if variant_string.starts_with("DefaultExecute") {
Some(if enum_arity == 0 {
quote! {
Instruction::#variant_ident => true
}
} else {
quote! {
Instruction::#variant_ident(..) => true
}
})
} else if variant_string == "JmpByExecute" {
Some(quote! {
Instruction::#variant_ident(..) => true
})
} else {
None
}
})
.collect();
let to_default_arms: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.filter_map(|(_, _, countable_inference, variant)| {
if !is_non_default_callable(&variant.ident) {
return None;
}
if let CountableInference::HasDefault = countable_inference {
let variant_ident = variant.ident.clone();
let def_variant_ident = format_ident!("Default{}", variant.ident);
let enum_arity = if let Fields::Unnamed(fields) = &variant.fields {
fields.unnamed.len()
} else {
unreachable!()
};
let placeholder_ids: Vec<_> = (0 .. enum_arity)
.map(|n| format_ident!("f_{}", n))
.collect();
Some(quote! {
Instruction::#variant_ident(#(#placeholder_ids),*) =>
Instruction::#def_variant_ident(#(#placeholder_ids),*)
})
} else {
None
}
})
.collect();
let perm_vars_mut_arms: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.filter_map(|(_, _, _, variant)| {
if !is_callable(&variant.ident) && !is_jmp(&variant.ident) {
return None;
}
let variant_ident = variant.ident.clone();
let enum_arity = if let Fields::Unnamed(fields) = &variant.fields {
fields.unnamed.len()
} else {
0
};
let placeholder_ids: Vec<_> = (1 .. enum_arity)
.map(|_| format_ident!("_"))
.collect();
Some(if enum_arity == 1 {
quote! {
Instruction::#variant_ident(ref mut perm_vars) => Some(perm_vars)
}
} else {
quote! {
Instruction::#variant_ident(#(#placeholder_ids),*, ref mut perm_vars) =>
Some(perm_vars)
}
})
})
.collect();
let control_flow_arms: Vec<_> = instr_data.instr_variants
.iter()
.cloned()
.filter_map(|(_, _, _, variant)| {
if !is_callable(&variant.ident) && !is_jmp(&variant.ident) {
return None;
}
let variant_ident = variant.ident.clone();
Some(quote! {
Instruction::#variant_ident(..) => true
})
})
.collect();
let instr_macro_arms: Vec<_> = instr_data.instr_variants
.iter()
.rev() // produce default, execute & default & execute cases first.
.cloned()
.filter_map(|(name, arity, _, variant)| {
let variant_ident = variant.ident.clone();
let variant_string = variant.ident.to_string();
let arity = match arity {
Arity::Static(arity) => arity,
_ => 1
};
Some(if variant_string.starts_with("Execute") {
quote! {
(#name, execute, $($args:expr),*) => {
Instruction::#variant_ident($($args),*)
}
}
} else if variant_string.starts_with("Call") {
quote! {
(#name, $($args:expr),*) => {
Instruction::#variant_ident($($args),*)
}
}
} else if variant_string.starts_with("DefaultExecute") {
quote! {
(#name, execute, default, $($args:expr),*) => {
Instruction::#variant_ident($($args),*)
}
}
} else if variant_string.starts_with("DefaultCall") {
quote! {
(#name, default, $($args:expr),*) => {
Instruction::#variant_ident($($args),*)
}
}
} else {
if arity == 0 {
quote! {
(#name) => {
Instruction::#variant_ident
}
}
} else {
quote! {
(#name, $($args:expr),*) => {
Instruction::#variant_ident($($args),*)
}
}
}
})
})
.collect();
let name_and_arity_arms: Vec<_> = instr_data.instr_variants
.into_iter()
.map(|(name,arity,_,variant)| {
let ident = &variant.ident;
let enum_arity = if let Fields::Unnamed(fields) = &variant.fields {
fields.unnamed.len()
} else {
0
};
match arity {
Arity::Static(_) if enum_arity == 0 => {
quote! { &Instruction::#ident => (atom!(#name), #arity) }
}
Arity::Static(_) => {
quote! { &Instruction::#ident(..) => (atom!(#name), #arity) }
}
Arity::Ident(_) if enum_arity == 0 => {
quote! { &Instruction::#ident(#arity) => (atom!(#name), #arity) }
}
Arity::Ident(_) => {
quote! { &Instruction::#ident(#arity, ..) => (atom!(#name), #arity) }
}
}
})
.collect();
let preface_tokens = generate_instruction_preface();
quote! {
#preface_tokens
#[derive(Clone, Debug)]
pub enum CompareTerm {
#(
#compare_term_variants,
)*
}
#[derive(Clone, Copy, Debug)]
pub enum CompareNumber {
#(
#compare_number_variants,
)*
}
impl CompareNumber {
pub fn set_terms(&mut self, l_at_1: ArithmeticTerm, l_at_2: ArithmeticTerm) {
match self {
CompareNumber::NumberGreaterThan(ref mut at_1, ref mut at_2) |
CompareNumber::NumberLessThan(ref mut at_1, ref mut at_2) |
CompareNumber::NumberGreaterThanOrEqual(ref mut at_1, ref mut at_2) |
CompareNumber::NumberLessThanOrEqual(ref mut at_1, ref mut at_2) |
CompareNumber::NumberNotEqual(ref mut at_1, ref mut at_2) |
CompareNumber::NumberEqual(ref mut at_1, ref mut at_2) => {
*at_1 = l_at_1;
*at_2 = l_at_2;
}
}
}
}
#[derive(Clone, Debug)]
pub enum BuiltInClauseType {
#(
#builtin_type_variants,
)*
}
#[derive(Clone, Debug)]
pub enum InlinedClauseType {
#(
#inlined_type_variants,
)*
}
#[derive(Clone, Debug)]
pub enum SystemClauseType {
#(
#system_clause_type_variants,
)*
}
#[derive(Clone, Debug)]
pub enum REPLCodePtr {
#(
#repl_code_ptr_variants,
)*
}
#[derive(Clone, Debug)]
pub enum ClauseType {
#(
#clause_type_variants,
)*
}
impl ClauseType {
pub fn from(name: Atom, arity: usize, arena: &mut Arena) -> ClauseType {
match (name, arity) {
#(
#clause_type_from_name_and_arity_arms,
)*
}
}
pub fn to_instr(self) -> Instruction {
match self {
#(
#clause_type_to_instr_arms,
)*
}
}
pub fn is_inbuilt(name: Atom, arity: usize) -> bool {
match (name, arity) {
#(
#is_inbuilt_arms,
)*
_ => false,
}
}
pub fn name(&self) -> Atom {
match self {
#(
#clause_type_name_arms,
)*
}
}
}
#[derive(Clone, Debug)]
pub enum Instruction {
#(
#instr_variants,
)*
}
impl Instruction {
pub fn to_name_and_arity(&self) -> (Atom, usize) {
match self {
#(
#name_and_arity_arms,
)*
}
}
pub fn to_default(self) -> Instruction {
match self {
#(
#to_default_arms,
)*
_ => self,
}
}
pub fn to_execute(self) -> Instruction {
match self {
#(
#to_execute_arms,
)*
_ => self
}
}
pub fn is_execute(&self) -> bool {
match self {
#(
#is_execute_arms,
)*
_ => false,
}
}
pub fn perm_vars_mut(&mut self) -> Option<&mut usize> {
match self {
#(
#perm_vars_mut_arms,
)*
_ => None,
}
}
pub fn is_ctrl_instr(&self) -> bool {
match self {
&Instruction::Allocate(_) |
&Instruction::Deallocate |
&Instruction::Proceed |
&Instruction::RevJmpBy(_) => true,
#(
#control_flow_arms,
)*
_ => false,
}
}
pub fn is_query_instr(&self) -> bool {
match self {
&Instruction::GetVariable(..) |
&Instruction::PutConstant(..) |
&Instruction::PutList(..) |
&Instruction::PutPartialString(..) |
&Instruction::PutStructure(..) |
&Instruction::PutUnsafeValue(..) |
&Instruction::PutValue(..) |
&Instruction::PutVariable(..) |
&Instruction::SetConstant(..) |
&Instruction::SetLocalValue(..) |
&Instruction::SetVariable(..) |
&Instruction::SetValue(..) |
&Instruction::SetVoid(..) => true,
_ => false,
}
}
}
#[macro_export]
macro_rules! _instr {
#(
#instr_macro_arms
);*
}
pub use _instr as instr; // https://github.com/rust-lang/rust/pull/52234#issuecomment-976702997
}
}
fn is_callable(id: &Ident) -> bool {
let id = id.to_string();
id.starts_with("Call") || id.starts_with("Execute") || id.starts_with("DefaultCall") ||
id.starts_with("DefaultExecute")
}
fn is_non_default_callable(id: &Ident) -> bool {
let id = id.to_string();
id.starts_with("Call") || id.starts_with("Execute")
}
fn is_jmp(id: &Ident) -> bool {
let id = id.to_string();
id.starts_with("JmpByCall") || id.starts_with("JmpByExecute")
}
fn create_instr_variant(id: Ident, mut variant: Variant) -> Variant {
use proc_macro2::Span;
use syn::punctuated::Punctuated;
use syn::token::Paren;
// add the perm_vars usize field to the variant.
if is_callable(&id) || is_jmp(&id) {
let field = Field {
attrs: vec![],
vis: Visibility::Inherited,
ident: None,
colon_token: None,
ty: parse_quote! { usize },
};
match &mut variant.fields {
Fields::Unnamed(ref mut fields) => {
fields.unnamed.push(field);
}
Fields::Unit => {
variant.fields = Fields::Unnamed(FieldsUnnamed {
paren_token: Paren(Span::call_site()),
unnamed: {
let mut fields_seq = Punctuated::new();
fields_seq.push(field);
fields_seq
}
});
}
_ => {
unreachable!();
}
}
}
variant.ident = id;
variant.attrs.clear();
variant
}
fn prop_from_ident<DiscriminantT>(id: &Ident, key: &'static str) -> &'static str
where DiscriminantT: FromStr + strum::EnumProperty + std::fmt::Debug
{
let disc = match DiscriminantT::from_str(id.to_string().as_str()) {
Ok(disc) => disc,
Err(_) => {
panic!("can't generate discriminant {}", id);
}
};
match disc.get_str(key) {
Some(prop) => prop,
None => {
panic!("can't find property {} of discriminant {:?}", key, disc);
}
}
}
#[derive(Clone, Copy)]
enum Arity {
Static(usize),
Ident(&'static str)
}
impl From<&'static str> for Arity {
fn from(arity: &'static str) -> Self {
usize::from_str_radix(&arity, 10)
.map(Arity::Static)
.unwrap_or_else(|_| Arity::Ident(arity))
}
}
#[derive(Clone, Copy)]
enum CountableInference {
HasDefault,
NotCounted,
}
struct InstructionData {
instr_variants: Vec<(&'static str, Arity, CountableInference, Variant)>,
clause_type_variants: Vec<(&'static str, Arity, Variant)>,
builtin_type_variants: Vec<(&'static str, Arity, Variant)>,
inlined_type_variants: Vec<(&'static str, Arity, Variant)>,
system_clause_type_variants: Vec<(&'static str, Arity, Variant)>,
compare_number_variants: Vec<(&'static str, Arity, Variant)>,
compare_term_variants: Vec<(&'static str, Arity, Variant)>,
repl_code_ptr_variants: Vec<(&'static str, Arity, Variant)>,
}
impl InstructionData {
fn new() -> Self {
Self {
instr_variants: vec![],
clause_type_variants: vec![],
builtin_type_variants: vec![],
inlined_type_variants: vec![],
system_clause_type_variants: vec![],
compare_number_variants: vec![],
compare_term_variants: vec![],
repl_code_ptr_variants: vec![],
}
}
fn label_variant(&mut self, id: &Ident, prefix: &'static str, variant: Variant) {
let (name, arity, countable_inference) = if id == "CompareNumber" {
let (name, arity) = add_discriminant_data::<CompareNumberDiscriminants>(
&variant,
prefix,
&mut self.compare_number_variants,
);
(name, arity, CountableInference::HasDefault)
} else if id == "CompareTerm" {
let (name, arity) = add_discriminant_data::<CompareTermDiscriminants>(
&variant,
prefix,
&mut self.compare_term_variants,
);
(name, arity, CountableInference::HasDefault)
} else if id == "BuiltInClauseType" {
let (name, arity) = add_discriminant_data::<BuiltInClauseTypeDiscriminants>(
&variant,
prefix,
&mut self.builtin_type_variants,
);
(name, arity, CountableInference::HasDefault)
} else if id == "InlinedClauseType" {
let (name, arity) = add_discriminant_data::<InlinedClauseTypeDiscriminants>(
&variant,
prefix,
&mut self.inlined_type_variants,
);
(name, arity, CountableInference::NotCounted)
} else if id == "REPLCodePtr" {
let (name, arity) = add_discriminant_data::<REPLCodePtrDiscriminants>(
&variant,
prefix,
&mut self.repl_code_ptr_variants,
);
(name, arity, CountableInference::NotCounted)
} else if id == "SystemClauseType" {
let (name, arity) = add_discriminant_data::<SystemClauseTypeDiscriminants>(
&variant,
prefix,
&mut self.system_clause_type_variants,
);
(name, arity, CountableInference::NotCounted)
} else if id == "InstructionTemplate" {
( prop_from_ident::<InstructionTemplateDiscriminants>(&variant.ident, "Name"),
Arity::from(prop_from_ident::<InstructionTemplateDiscriminants>(&variant.ident, "Arity")),
CountableInference::NotCounted
)
} else if id == "ClauseType" {
let (name, arity) = add_discriminant_data::<ClauseTypeDiscriminants>(
&variant,
prefix,
&mut self.clause_type_variants,
);
(name, arity, CountableInference::HasDefault)
} else {
panic!("type ID is: {}", id);
};
let v_string = variant.ident.to_string();
let v_ident = if v_string.starts_with("Call") {
format_ident!("{}", v_string["Call".len() ..])
} else {
variant.ident.clone()
};
let generated_variant = create_instr_variant(
format_ident!("{}{}", prefix, v_ident),
variant.clone(),
);
self.instr_variants.push(
(name, arity, countable_inference, generated_variant)
);
}
fn generate_instruction_enum_loop(&mut self, input: syn::DeriveInput) {
if let Data::Enum(DataEnum { variants, .. }) = input.data {
for mut variant in variants {
if let Some(field) = variant.fields.iter().next() {
if let Some(input) = derive_input(&field.ty) {
self.generate_instruction_enum_loop(input);
continue;
}
}
if input.ident == "InstructionTemplate" {
variant.attrs.clear();
self.label_variant(&input.ident, "", variant);
continue;
}
self.label_variant(&input.ident, "Call", variant.clone());
self.label_variant(&input.ident, "Execute", variant.clone());
if input.ident == "BuiltInClauseType" ||
input.ident == "CompareNumber" ||
input.ident == "CompareTerm" ||
input.ident == "ClauseType"
{
self.label_variant(&input.ident, "DefaultCall", variant.clone());
self.label_variant(&input.ident, "DefaultExecute", variant);
}
}
} else {
panic!("{} must be an enum!", input.ident);
}
}
}
Reference in New Issue View Git Blame Copy Permalink