X-Git-Url: http://git.hcoop.net/bpt/guile.git/blobdiff_plain/999f1b26e74a7a8eb9e9e5e479f971e145aa7326..2f4aae6bce7986ad724b374d1a72a6d4c48b462c:/libguile/vm.h diff --git a/libguile/vm.h b/libguile/vm.h dissimilarity index 87% index 7e6ae613b..2479ee4a4 100644 --- a/libguile/vm.h +++ b/libguile/vm.h @@ -1,123 +1,125 @@ -/* Copyright (C) 2001 Free Software Foundation, Inc. - * - * This program is free software; you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2, or (at your option) - * any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this software; see the file COPYING. If not, write to - * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, - * Boston, MA 02111-1307 USA - * - * As a special exception, the Free Software Foundation gives permission - * for additional uses of the text contained in its release of GUILE. - * - * The exception is that, if you link the GUILE library with other files - * to produce an executable, this does not by itself cause the - * resulting executable to be covered by the GNU General Public License. - * Your use of that executable is in no way restricted on account of - * linking the GUILE library code into it. - * - * This exception does not however invalidate any other reasons why - * the executable file might be covered by the GNU General Public License. - * - * This exception applies only to the code released by the - * Free Software Foundation under the name GUILE. If you copy - * code from other Free Software Foundation releases into a copy of - * GUILE, as the General Public License permits, the exception does - * not apply to the code that you add in this way. To avoid misleading - * anyone as to the status of such modified files, you must delete - * this exception notice from them. - * - * If you write modifications of your own for GUILE, it is your choice - * whether to permit this exception to apply to your modifications. - * If you do not wish that, delete this exception notice. */ - -#ifndef _SCM_VM_H_ -#define _SCM_VM_H_ - -#include -#include - -#define SCM_VM_BOOT_HOOK 0 -#define SCM_VM_HALT_HOOK 1 -#define SCM_VM_NEXT_HOOK 2 -#define SCM_VM_BREAK_HOOK 3 -#define SCM_VM_ENTER_HOOK 4 -#define SCM_VM_APPLY_HOOK 5 -#define SCM_VM_EXIT_HOOK 6 -#define SCM_VM_RETURN_HOOK 7 -#define SCM_VM_NUM_HOOKS 8 - -struct scm_vm { - scm_byte_t *ip; /* instruction pointer */ - SCM *sp; /* stack pointer */ - SCM *fp; /* frame pointer */ - size_t stack_size; /* stack size */ - SCM *stack_base; /* stack base address */ - SCM *stack_limit; /* stack limit address */ - SCM this_frame; /* currrent frame */ - SCM last_frame; /* last frame */ - scm_byte_t *last_ip; /* ip when exception occured */ - SCM hooks[SCM_VM_NUM_HOOKS]; /* hooks */ - SCM options; /* options */ - unsigned long time; /* time spent */ - unsigned long clock; /* bogos clock */ -}; - -extern SCM scm_the_vm_fluid; - -#define SCM_VM_P(x) SCM_SMOB_PREDICATE (scm_tc16_vm, x) -#define SCM_VM_DATA(vm) ((struct scm_vm *) SCM_SMOB_DATA (vm)) -#define SCM_VALIDATE_VM(pos,x) SCM_MAKE_VALIDATE (pos, x, VM_P) - -extern SCM scm_the_vm (); -extern SCM scm_make_vm (void); -extern SCM scm_vm_apply (SCM vm, SCM program, SCM args); -extern SCM scm_vm_option_ref (SCM vm, SCM key); -extern SCM scm_vm_option_set_x (SCM vm, SCM key, SCM val); - -extern SCM scm_vm_version (void); -extern SCM scm_the_vm (void); -extern SCM scm_vm_p (SCM obj); -extern SCM scm_vm_ip (SCM vm); -extern SCM scm_vm_sp (SCM vm); -extern SCM scm_vm_fp (SCM vm); -extern SCM scm_vm_boot_hook (SCM vm); -extern SCM scm_vm_halt_hook (SCM vm); -extern SCM scm_vm_next_hook (SCM vm); -extern SCM scm_vm_break_hook (SCM vm); -extern SCM scm_vm_enter_hook (SCM vm); -extern SCM scm_vm_apply_hook (SCM vm); -extern SCM scm_vm_exit_hook (SCM vm); -extern SCM scm_vm_return_hook (SCM vm); -extern SCM scm_vm_option (SCM vm, SCM key); -extern SCM scm_set_vm_option_x (SCM vm, SCM key, SCM val); -extern SCM scm_vm_stats (SCM vm); -extern SCM scm_vm_this_frame (SCM vm); -extern SCM scm_vm_last_frame (SCM vm); -extern SCM scm_vm_last_ip (SCM vm); -extern SCM scm_vm_save_stack (SCM vm); -extern SCM scm_vm_fetch_code (SCM vm); -extern SCM scm_vm_fetch_stack (SCM vm); - -extern SCM scm_vm_capture_continuations (void); -extern void scm_vm_reinstate_continuations (SCM conts); - -extern SCM scm_load_compiled_with_vm (SCM file); - -extern void scm_init_vm (void); - -#endif /* _SCM_VM_H_ */ - -/* - Local Variables: - c-file-style: "gnu" - End: -*/ +/* Copyright (C) 2001, 2009, 2010, 2011 Free Software Foundation, Inc. + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public License + * as published by the Free Software Foundation; either version 3 of + * the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + * 02110-1301 USA + */ + +#ifndef _SCM_VM_H_ +#define _SCM_VM_H_ + +#include +#include + +enum { + SCM_VM_APPLY_HOOK, + SCM_VM_PUSH_CONTINUATION_HOOK, + SCM_VM_POP_CONTINUATION_HOOK, + SCM_VM_NEXT_HOOK, + SCM_VM_ABORT_CONTINUATION_HOOK, + SCM_VM_RESTORE_CONTINUATION_HOOK, + SCM_VM_NUM_HOOKS, +}; + +struct scm_vm; + +typedef SCM (*scm_t_vm_engine) (SCM vm, SCM program, SCM *argv, int nargs); + +#define SCM_VM_REGULAR_ENGINE 0 +#define SCM_VM_DEBUG_ENGINE 1 +#define SCM_VM_NUM_ENGINES 2 + +struct scm_vm { + scm_t_uint8 *ip; /* instruction pointer */ + SCM *sp; /* stack pointer */ + SCM *fp; /* frame pointer */ + size_t stack_size; /* stack size */ + SCM *stack_base; /* stack base address */ + SCM *stack_limit; /* stack limit address */ + int engine; /* which vm engine we're using */ + SCM hooks[SCM_VM_NUM_HOOKS]; /* hooks */ + int trace_level; /* traces enabled if trace_level > 0 */ + scm_t_int64 cookie; /* used to detect unrewindable continuations */ +}; + +SCM_API SCM scm_the_vm_fluid; + +#define SCM_VM_P(x) (SCM_HAS_TYP7 (x, scm_tc7_vm)) +#define SCM_VM_DATA(vm) ((struct scm_vm *) SCM_CELL_WORD_1 (vm)) +#define SCM_VALIDATE_VM(pos,x) SCM_MAKE_VALIDATE (pos, x, VM_P) + +SCM_API SCM scm_the_vm (void); +SCM_API SCM scm_make_vm (void); + +SCM_API SCM scm_the_vm (void); +SCM_API SCM scm_call_with_vm (SCM vm, SCM proc, SCM args); + +SCM_API SCM scm_vm_p (SCM obj); +SCM_API SCM scm_vm_ip (SCM vm); +SCM_API SCM scm_vm_sp (SCM vm); +SCM_API SCM scm_vm_fp (SCM vm); +SCM_API SCM scm_vm_apply_hook (SCM vm); +SCM_API SCM scm_vm_push_continuation_hook (SCM vm); +SCM_API SCM scm_vm_pop_continuation_hook (SCM vm); +SCM_API SCM scm_vm_abort_continuation_hook (SCM vm); +SCM_API SCM scm_vm_restore_continuation_hook (SCM vm); +SCM_API SCM scm_vm_next_hook (SCM vm); +SCM_API SCM scm_vm_trace_level (SCM vm); +SCM_API SCM scm_set_vm_trace_level_x (SCM vm, SCM level); +SCM_API SCM scm_vm_engine (SCM vm); +SCM_API SCM scm_set_vm_engine_x (SCM vm, SCM engine); +SCM_API SCM scm_set_default_vm_engine_x (SCM engine); +SCM_API void scm_c_set_vm_engine_x (SCM vm, int engine); +SCM_API void scm_c_set_default_vm_engine_x (int engine); + +#define SCM_F_VM_CONT_PARTIAL 0x1 +#define SCM_F_VM_CONT_REWINDABLE 0x2 + +struct scm_vm_cont { + SCM *sp; + SCM *fp; + scm_t_uint8 *ra, *mvra; + scm_t_ptrdiff stack_size; + SCM *stack_base; + scm_t_ptrdiff reloc; + scm_t_uint32 flags; +}; + +#define SCM_VM_CONT_P(OBJ) (SCM_HAS_TYP7 (OBJ, scm_tc7_vm_cont)) +#define SCM_VM_CONT_DATA(CONT) ((struct scm_vm_cont *) SCM_CELL_WORD_1 (CONT)) +#define SCM_VM_CONT_PARTIAL_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_PARTIAL) +#define SCM_VM_CONT_REWINDABLE_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_REWINDABLE) + +SCM_API SCM scm_load_compiled_with_vm (SCM file); + +SCM_INTERNAL SCM scm_c_vm_run (SCM vm, SCM program, SCM *argv, int nargs); + +SCM_INTERNAL void scm_i_vm_print (SCM x, SCM port, + scm_print_state *pstate); +SCM_INTERNAL SCM scm_i_vm_capture_continuation (SCM vm); +SCM_INTERNAL SCM scm_i_vm_capture_stack (SCM *stack_base, SCM *fp, SCM *sp, + scm_t_uint8 *ra, scm_t_uint8 *mvra, + scm_t_uint32 flags); +SCM_INTERNAL void scm_i_vm_cont_print (SCM x, SCM port, + scm_print_state *pstate); +SCM_INTERNAL void scm_bootstrap_vm (void); +SCM_INTERNAL void scm_init_vm (void); + +#endif /* _SCM_VM_H_ */ + +/* + Local Variables: + c-file-style: "gnu" + End: +*/