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, | |
f3120251 AW |
30 | SCM_VM_ABORT_CONTINUATION_HOOK, |
31 | SCM_VM_RESTORE_CONTINUATION_HOOK, | |
c45d4d77 AW |
32 | SCM_VM_NUM_HOOKS, |
33 | }; | |
a98cef7e | 34 | |
6d14383e AW |
35 | struct scm_vm; |
36 | ||
7656f194 | 37 | typedef SCM (*scm_t_vm_engine) (SCM vm, SCM program, SCM *argv, int nargs); |
6d14383e AW |
38 | |
39 | #define SCM_VM_REGULAR_ENGINE 0 | |
40 | #define SCM_VM_DEBUG_ENGINE 1 | |
41 | #define SCM_VM_NUM_ENGINES 2 | |
42 | ||
17e90c5e | 43 | struct scm_vm { |
2fb924f6 | 44 | scm_t_uint8 *ip; /* instruction pointer */ |
17e90c5e KN |
45 | SCM *sp; /* stack pointer */ |
46 | SCM *fp; /* frame pointer */ | |
47 | size_t stack_size; /* stack size */ | |
48 | SCM *stack_base; /* stack base address */ | |
49 | SCM *stack_limit; /* stack limit address */ | |
6d14383e | 50 | int engine; /* which vm engine we're using */ |
17e90c5e KN |
51 | SCM hooks[SCM_VM_NUM_HOOKS]; /* hooks */ |
52 | SCM options; /* options */ | |
7656f194 | 53 | int trace_level; /* traces enabled if trace_level > 0 */ |
2d026f04 | 54 | scm_t_int64 cookie; /* used to detect unrewindable continuations */ |
17e90c5e | 55 | }; |
a98cef7e | 56 | |
560b9c25 | 57 | SCM_API SCM scm_the_vm_fluid; |
7bbed518 | 58 | |
6f3b0cc2 AW |
59 | #define SCM_VM_P(x) (SCM_NIMP (x) && SCM_TYP7 (x) == scm_tc7_vm) |
60 | #define SCM_VM_DATA(vm) ((struct scm_vm *) SCM_CELL_WORD_1 (vm)) | |
17e90c5e | 61 | #define SCM_VALIDATE_VM(pos,x) SCM_MAKE_VALIDATE (pos, x, VM_P) |
a98cef7e | 62 | |
560b9c25 AW |
63 | SCM_API SCM scm_the_vm (); |
64 | SCM_API SCM scm_make_vm (void); | |
65 | SCM_API SCM scm_vm_apply (SCM vm, SCM program, SCM args); | |
66 | SCM_API SCM scm_c_vm_run (SCM vm, SCM program, SCM *argv, int nargs); | |
67 | SCM_API SCM scm_vm_option_ref (SCM vm, SCM key); | |
68 | SCM_API SCM scm_vm_option_set_x (SCM vm, SCM key, SCM val); | |
69 | ||
70 | SCM_API SCM scm_vm_version (void); | |
71 | SCM_API SCM scm_the_vm (void); | |
72 | SCM_API SCM scm_vm_p (SCM obj); | |
73 | SCM_API SCM scm_vm_ip (SCM vm); | |
74 | SCM_API SCM scm_vm_sp (SCM vm); | |
75 | SCM_API SCM scm_vm_fp (SCM vm); | |
560b9c25 | 76 | SCM_API SCM scm_vm_apply_hook (SCM vm); |
c45d4d77 AW |
77 | SCM_API SCM scm_vm_push_continuation_hook (SCM vm); |
78 | SCM_API SCM scm_vm_pop_continuation_hook (SCM vm); | |
f3120251 AW |
79 | SCM_API SCM scm_vm_abort_continuation_hook (SCM vm); |
80 | SCM_API SCM scm_vm_restore_continuation_hook (SCM vm); | |
c45d4d77 | 81 | SCM_API SCM scm_vm_next_hook (SCM vm); |
560b9c25 AW |
82 | SCM_API SCM scm_vm_option (SCM vm, SCM key); |
83 | SCM_API SCM scm_set_vm_option_x (SCM vm, SCM key, SCM val); | |
7656f194 AW |
84 | SCM_API SCM scm_vm_trace_level (SCM vm); |
85 | SCM_API SCM scm_set_vm_trace_level_x (SCM vm, SCM level); | |
b1b942b7 | 86 | |
cee1d22c AW |
87 | #define SCM_F_VM_CONT_PARTIAL 0x1 |
88 | #define SCM_F_VM_CONT_REWINDABLE 0x2 | |
89 | ||
b1b942b7 | 90 | struct scm_vm_cont { |
7aa6f86b AW |
91 | SCM *sp; |
92 | SCM *fp; | |
d8873dfe | 93 | scm_t_uint8 *ra, *mvra; |
b1b942b7 AW |
94 | scm_t_ptrdiff stack_size; |
95 | SCM *stack_base; | |
96 | scm_t_ptrdiff reloc; | |
cee1d22c | 97 | scm_t_uint32 flags; |
b1b942b7 AW |
98 | }; |
99 | ||
6f3b0cc2 AW |
100 | #define SCM_VM_CONT_P(OBJ) (SCM_NIMP (OBJ) && SCM_TYP7 (OBJ) == scm_tc7_vm_cont) |
101 | #define SCM_VM_CONT_DATA(CONT) ((struct scm_vm_cont *) SCM_CELL_WORD_1 (CONT)) | |
b3950ad6 AW |
102 | #define SCM_VM_CONT_PARTIAL_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_PARTIAL) |
103 | #define SCM_VM_CONT_REWINDABLE_P(CONT) (SCM_VM_CONT_DATA (CONT)->flags & SCM_F_VM_CONT_REWINDABLE) | |
fcd4901b | 104 | |
560b9c25 | 105 | SCM_API SCM scm_load_compiled_with_vm (SCM file); |
07e56b27 | 106 | |
6f3b0cc2 AW |
107 | SCM_INTERNAL void scm_i_vm_print (SCM x, SCM port, |
108 | scm_print_state *pstate); | |
d8873dfe | 109 | SCM_INTERNAL SCM scm_i_vm_capture_continuation (SCM vm); |
cee1d22c AW |
110 | SCM_INTERNAL SCM scm_i_vm_capture_stack (SCM *stack_base, SCM *fp, SCM *sp, |
111 | scm_t_uint8 *ra, scm_t_uint8 *mvra, | |
112 | scm_t_uint32 flags); | |
6f3b0cc2 AW |
113 | SCM_INTERNAL void scm_i_vm_cont_print (SCM x, SCM port, |
114 | scm_print_state *pstate); | |
a6029b97 | 115 | SCM_INTERNAL void scm_bootstrap_vm (void); |
560b9c25 | 116 | SCM_INTERNAL void scm_init_vm (void); |
a98cef7e | 117 | |
8f5cfc81 | 118 | #endif /* _SCM_VM_H_ */ |
a98cef7e | 119 | |
17e90c5e KN |
120 | /* |
121 | Local Variables: | |
122 | c-file-style: "gnu" | |
123 | End: | |
124 | */ |