Commit | Line | Data |
---|---|---|
a6029b97 | 1 | /* Copyright (C) 2001, 2009, 2010 Free Software Foundation, Inc. |
560b9c25 AW |
2 | * |
3 | * This library is free software; you can redistribute it and/or | |
53befeb7 NJ |
4 | * modify it under the terms of the GNU Lesser General Public License |
5 | * as published by the Free Software Foundation; either version 3 of | |
6 | * the License, or (at your option) any later version. | |
a98cef7e | 7 | * |
53befeb7 NJ |
8 | * This library is distributed in the hope that it will be useful, but |
9 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
560b9c25 AW |
10 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
11 | * Lesser General Public License for more details. | |
a98cef7e | 12 | * |
560b9c25 AW |
13 | * You should have received a copy of the GNU Lesser General Public |
14 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
15 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
16 | * 02110-1301 USA | |
560b9c25 | 17 | */ |
a98cef7e | 18 | |
8f5cfc81 KN |
19 | #ifndef _SCM_VM_H_ |
20 | #define _SCM_VM_H_ | |
a98cef7e KN |
21 | |
22 | #include <libguile.h> | |
22f4ee48 | 23 | #include <libguile/programs.h> |
a98cef7e | 24 | |
c45d4d77 AW |
25 | enum { |
26 | SCM_VM_APPLY_HOOK, | |
27 | SCM_VM_PUSH_CONTINUATION_HOOK, | |
28 | SCM_VM_POP_CONTINUATION_HOOK, | |
29 | SCM_VM_NEXT_HOOK, | |
30 | SCM_VM_NUM_HOOKS, | |
31 | }; | |
a98cef7e | 32 | |
6d14383e AW |
33 | struct scm_vm; |
34 | ||
7656f194 | 35 | typedef SCM (*scm_t_vm_engine) (SCM vm, SCM program, SCM *argv, int nargs); |
6d14383e AW |
36 | |
37 | #define SCM_VM_REGULAR_ENGINE 0 | |
38 | #define SCM_VM_DEBUG_ENGINE 1 | |
39 | #define SCM_VM_NUM_ENGINES 2 | |
40 | ||
17e90c5e | 41 | struct scm_vm { |
2fb924f6 | 42 | scm_t_uint8 *ip; /* instruction pointer */ |
17e90c5e KN |
43 | SCM *sp; /* stack pointer */ |
44 | SCM *fp; /* frame pointer */ | |
45 | size_t stack_size; /* stack size */ | |
46 | SCM *stack_base; /* stack base address */ | |
47 | SCM *stack_limit; /* stack limit address */ | |
6d14383e | 48 | int engine; /* which vm engine we're using */ |
17e90c5e KN |
49 | SCM hooks[SCM_VM_NUM_HOOKS]; /* hooks */ |
50 | SCM options; /* options */ | |
7656f194 | 51 | int trace_level; /* traces enabled if trace_level > 0 */ |
2d026f04 | 52 | scm_t_int64 cookie; /* used to detect unrewindable continuations */ |
17e90c5e | 53 | }; |
a98cef7e | 54 | |
560b9c25 | 55 | SCM_API SCM scm_the_vm_fluid; |
7bbed518 | 56 | |
6f3b0cc2 AW |
57 | #define SCM_VM_P(x) (SCM_NIMP (x) && SCM_TYP7 (x) == scm_tc7_vm) |
58 | #define SCM_VM_DATA(vm) ((struct scm_vm *) SCM_CELL_WORD_1 (vm)) | |
17e90c5e | 59 | #define SCM_VALIDATE_VM(pos,x) SCM_MAKE_VALIDATE (pos, x, VM_P) |
a98cef7e | 60 | |
560b9c25 AW |
61 | SCM_API SCM scm_the_vm (); |
62 | SCM_API SCM scm_make_vm (void); | |
63 | SCM_API SCM scm_vm_apply (SCM vm, SCM program, SCM args); | |
64 | SCM_API SCM scm_c_vm_run (SCM vm, SCM program, SCM *argv, int nargs); | |
65 | SCM_API SCM scm_vm_option_ref (SCM vm, SCM key); | |
66 | SCM_API SCM scm_vm_option_set_x (SCM vm, SCM key, SCM val); | |
67 | ||
68 | SCM_API SCM scm_vm_version (void); | |
69 | SCM_API SCM scm_the_vm (void); | |
70 | SCM_API SCM scm_vm_p (SCM obj); | |
71 | SCM_API SCM scm_vm_ip (SCM vm); | |
72 | SCM_API SCM scm_vm_sp (SCM vm); | |
73 | SCM_API SCM scm_vm_fp (SCM vm); | |
560b9c25 | 74 | SCM_API SCM scm_vm_apply_hook (SCM vm); |
c45d4d77 AW |
75 | SCM_API SCM scm_vm_push_continuation_hook (SCM vm); |
76 | SCM_API SCM scm_vm_pop_continuation_hook (SCM vm); | |
77 | SCM_API SCM scm_vm_next_hook (SCM vm); | |
560b9c25 AW |
78 | SCM_API SCM scm_vm_option (SCM vm, SCM key); |
79 | SCM_API SCM scm_set_vm_option_x (SCM vm, SCM key, SCM val); | |
7656f194 AW |
80 | SCM_API SCM scm_vm_trace_level (SCM vm); |
81 | SCM_API SCM scm_set_vm_trace_level_x (SCM vm, SCM level); | |
b1b942b7 | 82 | |
cee1d22c AW |
83 | #define SCM_F_VM_CONT_PARTIAL 0x1 |
84 | #define SCM_F_VM_CONT_REWINDABLE 0x2 | |
85 | ||
b1b942b7 | 86 | struct scm_vm_cont { |
7aa6f86b AW |
87 | SCM *sp; |
88 | SCM *fp; | |
d8873dfe | 89 | scm_t_uint8 *ra, *mvra; |
b1b942b7 AW |
90 | scm_t_ptrdiff stack_size; |
91 | SCM *stack_base; | |
92 | scm_t_ptrdiff reloc; | |
cee1d22c | 93 | scm_t_uint32 flags; |
b1b942b7 AW |
94 | }; |
95 | ||
6f3b0cc2 AW |
96 | #define SCM_VM_CONT_P(OBJ) (SCM_NIMP (OBJ) && SCM_TYP7 (OBJ) == scm_tc7_vm_cont) |
97 | #define SCM_VM_CONT_DATA(CONT) ((struct scm_vm_cont *) SCM_CELL_WORD_1 (CONT)) | |
b3950ad6 AW |
98 | #define SCM_VM_CONT_PARTIAL_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_PARTIAL) |
99 | #define SCM_VM_CONT_REWINDABLE_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_REWINDABLE) | |
fcd4901b | 100 | |
560b9c25 | 101 | SCM_API SCM scm_load_compiled_with_vm (SCM file); |
07e56b27 | 102 | |
6f3b0cc2 AW |
103 | SCM_INTERNAL void scm_i_vm_print (SCM x, SCM port, |
104 | scm_print_state *pstate); | |
d8873dfe | 105 | SCM_INTERNAL SCM scm_i_vm_capture_continuation (SCM vm); |
cee1d22c AW |
106 | SCM_INTERNAL SCM scm_i_vm_capture_stack (SCM *stack_base, SCM *fp, SCM *sp, |
107 | scm_t_uint8 *ra, scm_t_uint8 *mvra, | |
108 | scm_t_uint32 flags); | |
6f3b0cc2 AW |
109 | SCM_INTERNAL void scm_i_vm_cont_print (SCM x, SCM port, |
110 | scm_print_state *pstate); | |
a6029b97 | 111 | SCM_INTERNAL void scm_bootstrap_vm (void); |
560b9c25 | 112 | SCM_INTERNAL void scm_init_vm (void); |
a98cef7e | 113 | |
8f5cfc81 | 114 | #endif /* _SCM_VM_H_ */ |
a98cef7e | 115 | |
17e90c5e KN |
116 | /* |
117 | Local Variables: | |
118 | c-file-style: "gnu" | |
119 | End: | |
120 | */ |