Commit | Line | Data |
---|---|---|
e6eb2467 | 1 | /* Copyright (C) 2001, 2009 Free Software Foundation, Inc. |
a98cef7e | 2 | * |
560b9c25 | 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 | |
6d14383e AW |
19 | /* This file is included in vm.c multiple times */ |
20 | ||
21 | #if (VM_ENGINE == SCM_VM_REGULAR_ENGINE) | |
22 | #define VM_USE_HOOKS 0 /* Various hooks */ | |
23 | #define VM_USE_CLOCK 0 /* Bogoclock */ | |
6d14383e | 24 | #define VM_CHECK_OBJECT 1 /* Check object table */ |
57ab0671 | 25 | #define VM_CHECK_FREE_VARIABLES 1 /* Check free variable access */ |
e06e857c | 26 | #define VM_PUSH_DEBUG_FRAMES 0 /* Push frames onto the evaluator debug stack */ |
6d14383e AW |
27 | #elif (VM_ENGINE == SCM_VM_DEBUG_ENGINE) |
28 | #define VM_USE_HOOKS 1 | |
29 | #define VM_USE_CLOCK 1 | |
6d14383e | 30 | #define VM_CHECK_OBJECT 1 |
57ab0671 | 31 | #define VM_CHECK_FREE_VARIABLES 1 |
e06e857c | 32 | #define VM_PUSH_DEBUG_FRAMES 1 |
6d14383e AW |
33 | #else |
34 | #error unknown debug engine VM_ENGINE | |
35 | #endif | |
a98cef7e | 36 | |
83495480 | 37 | #include "vm-engine.h" |
a98cef7e | 38 | |
238e7a11 | 39 | |
a98cef7e | 40 | static SCM |
6d14383e | 41 | VM_NAME (struct scm_vm *vp, SCM program, SCM *argv, int nargs) |
a98cef7e | 42 | { |
17e90c5e | 43 | /* VM registers */ |
2fb924f6 | 44 | register scm_t_uint8 *ip IP_REG; /* instruction pointer */ |
17e90c5e KN |
45 | register SCM *sp SP_REG; /* stack pointer */ |
46 | register SCM *fp FP_REG; /* frame pointer */ | |
a98cef7e | 47 | |
d608d68d | 48 | /* Cache variables */ |
53e28ed9 | 49 | struct scm_objcode *bp = NULL; /* program base pointer */ |
57ab0671 AW |
50 | SCM *free_vars = NULL; /* free variables */ |
51 | size_t free_vars_count = 0; /* length of FREE_VARS */ | |
17e90c5e | 52 | SCM *objects = NULL; /* constant objects */ |
2fda0242 | 53 | size_t object_count = 0; /* length of OBJECTS */ |
3d5ee0cd | 54 | SCM *stack_limit = vp->stack_limit; /* stack limit address */ |
a98cef7e | 55 | |
d608d68d | 56 | /* Internal variables */ |
ef24c01b | 57 | int nvalues = 0; |
3d5ee0cd | 58 | long start_time = scm_c_get_internal_run_time (); |
e06e857c AW |
59 | SCM finish_args; /* used both for returns: both in error |
60 | and normal situations */ | |
17e90c5e | 61 | #if VM_USE_HOOKS |
6d14383e | 62 | SCM hook_args = SCM_EOL; |
a98cef7e | 63 | #endif |
17d1b4bf | 64 | |
53e28ed9 AW |
65 | #ifdef HAVE_LABELS_AS_VALUES |
66 | static void **jump_table = NULL; | |
e06e857c | 67 | #endif |
53e28ed9 | 68 | |
e06e857c AW |
69 | #if VM_PUSH_DEBUG_FRAMES |
70 | scm_t_debug_frame debug; | |
71 | scm_t_debug_info debug_vect_body; | |
72 | debug.status = SCM_VOIDFRAME; | |
73 | #endif | |
74 | ||
75 | #ifdef HAVE_LABELS_AS_VALUES | |
53e28ed9 AW |
76 | if (SCM_UNLIKELY (!jump_table)) |
77 | { | |
78 | int i; | |
f775e51b | 79 | jump_table = malloc (SCM_VM_NUM_INSTRUCTIONS * sizeof(void*)); |
53e28ed9 AW |
80 | for (i = 0; i < SCM_VM_NUM_INSTRUCTIONS; i++) |
81 | jump_table[i] = &&vm_error_bad_instruction; | |
82 | #define VM_INSTRUCTION_TO_LABEL 1 | |
aeeff258 AW |
83 | #include <libguile/vm-expand.h> |
84 | #include <libguile/vm-i-system.i> | |
85 | #include <libguile/vm-i-scheme.i> | |
86 | #include <libguile/vm-i-loader.i> | |
53e28ed9 AW |
87 | #undef VM_INSTRUCTION_TO_LABEL |
88 | } | |
89 | #endif | |
90 | ||
3d5ee0cd KN |
91 | /* Initialization */ |
92 | { | |
499a4c07 KN |
93 | SCM prog = program; |
94 | ||
95 | /* Boot program */ | |
6d14383e | 96 | program = vm_make_boot_program (nargs); |
a98cef7e | 97 | |
e06e857c AW |
98 | #if VM_PUSH_DEBUG_FRAMES |
99 | debug.prev = scm_i_last_debug_frame (); | |
2f9769b6 AW |
100 | debug.status = SCM_APPLYFRAME; |
101 | debug.vect = &debug_vect_body; | |
102 | debug.vect[0].a.proc = program; /* the boot program */ | |
103 | debug.vect[0].a.args = SCM_EOL; | |
104 | scm_i_set_last_debug_frame (&debug); | |
e06e857c AW |
105 | #endif |
106 | ||
3d5ee0cd KN |
107 | /* Initial frame */ |
108 | CACHE_REGISTER (); | |
03e6c165 | 109 | PUSH ((SCM)fp); /* dynamic link */ |
03e6c165 | 110 | PUSH (0); /* mvra */ |
6c6a4439 | 111 | PUSH ((SCM)ip); /* ra */ |
499a4c07 | 112 | CACHE_PROGRAM (); |
3616e9e9 | 113 | PUSH (program); |
03e6c165 | 114 | fp = sp + 1; |
a6f15a1e | 115 | ip = bp->base; |
b7946e9e AW |
116 | /* MV-call frame, function & arguments */ |
117 | PUSH ((SCM)fp); /* dynamic link */ | |
b7946e9e | 118 | PUSH (0); /* mvra */ |
6c6a4439 | 119 | PUSH (0); /* ra */ |
3616e9e9 | 120 | PUSH (prog); |
6d14383e AW |
121 | if (SCM_UNLIKELY (sp + nargs >= stack_limit)) |
122 | goto vm_error_too_many_args; | |
123 | while (nargs--) | |
124 | PUSH (*argv++); | |
3d5ee0cd | 125 | } |
a98cef7e KN |
126 | |
127 | /* Let's go! */ | |
17e90c5e | 128 | BOOT_HOOK (); |
53e28ed9 | 129 | NEXT; |
a98cef7e KN |
130 | |
131 | #ifndef HAVE_LABELS_AS_VALUES | |
17e90c5e | 132 | vm_start: |
53e28ed9 | 133 | switch ((*ip++) & SCM_VM_INSTRUCTION_MASK) { |
a98cef7e KN |
134 | #endif |
135 | ||
83495480 AW |
136 | #include "vm-expand.h" |
137 | #include "vm-i-system.c" | |
138 | #include "vm-i-scheme.c" | |
139 | #include "vm-i-loader.c" | |
a98cef7e KN |
140 | |
141 | #ifndef HAVE_LABELS_AS_VALUES | |
53e28ed9 AW |
142 | default: |
143 | goto vm_error_bad_instruction; | |
a98cef7e KN |
144 | } |
145 | #endif | |
146 | ||
e06e857c AW |
147 | |
148 | vm_done: | |
149 | SYNC_ALL (); | |
150 | #if VM_PUSH_DEBUG_FRAMES | |
2f9769b6 | 151 | scm_i_set_last_debug_frame (debug.prev); |
e06e857c AW |
152 | #endif |
153 | return finish_args; | |
154 | ||
17e90c5e KN |
155 | /* Errors */ |
156 | { | |
e06e857c AW |
157 | SCM err_msg; |
158 | ||
53e28ed9 | 159 | vm_error_bad_instruction: |
7ea9a0a7 | 160 | err_msg = scm_from_locale_string ("VM: Bad instruction: ~s"); |
da8b4747 | 161 | finish_args = scm_list_1 (scm_from_uchar (ip[-1])); |
53e28ed9 AW |
162 | goto vm_error; |
163 | ||
17e90c5e | 164 | vm_error_unbound: |
7ea9a0a7 | 165 | err_msg = scm_from_locale_string ("VM: Unbound variable: ~s"); |
17e90c5e KN |
166 | goto vm_error; |
167 | ||
4c9ad01d | 168 | vm_error_wrong_type_arg: |
fa19602c | 169 | err_msg = scm_from_locale_string ("VM: Wrong type argument"); |
e06e857c | 170 | finish_args = SCM_EOL; |
4c9ad01d KN |
171 | goto vm_error; |
172 | ||
7e01997e AW |
173 | vm_error_kwargs_length_not_even: |
174 | err_msg = scm_from_locale_string ("Bad keyword argument list: odd length"); | |
175 | finish_args = SCM_EOL; | |
176 | goto vm_error; | |
177 | ||
178 | vm_error_kwargs_invalid_keyword: | |
179 | err_msg = scm_from_locale_string ("Bad keyword argument list: expected keyword"); | |
180 | finish_args = SCM_EOL; | |
181 | goto vm_error; | |
182 | ||
183 | vm_error_kwargs_unrecognized_keyword: | |
184 | err_msg = scm_from_locale_string ("Bad keyword argument list: unrecognized keyword"); | |
185 | finish_args = SCM_EOL; | |
186 | goto vm_error; | |
187 | ||
6d14383e AW |
188 | vm_error_too_many_args: |
189 | err_msg = scm_from_locale_string ("VM: Too many arguments"); | |
da8b4747 | 190 | finish_args = scm_list_1 (scm_from_int (nargs)); |
6d14383e AW |
191 | goto vm_error; |
192 | ||
17e90c5e | 193 | vm_error_wrong_num_args: |
9a8cc8e7 | 194 | /* nargs and program are valid */ |
0570c3f1 | 195 | SYNC_ALL (); |
9a8cc8e7 AW |
196 | scm_wrong_num_args (program); |
197 | /* shouldn't get here */ | |
17e90c5e KN |
198 | goto vm_error; |
199 | ||
200 | vm_error_wrong_type_apply: | |
7ea9a0a7 AW |
201 | SYNC_ALL (); |
202 | scm_error (scm_misc_error_key, FUNC_NAME, "Wrong type to apply: ~S", | |
203 | scm_list_1 (program), SCM_BOOL_F); | |
17e90c5e KN |
204 | goto vm_error; |
205 | ||
ac02b386 | 206 | vm_error_stack_overflow: |
fa19602c | 207 | err_msg = scm_from_locale_string ("VM: Stack overflow"); |
e06e857c | 208 | finish_args = SCM_EOL; |
17e90c5e | 209 | goto vm_error; |
17e90c5e | 210 | |
ac02b386 | 211 | vm_error_stack_underflow: |
fa19602c | 212 | err_msg = scm_from_locale_string ("VM: Stack underflow"); |
e06e857c | 213 | finish_args = SCM_EOL; |
17e90c5e KN |
214 | goto vm_error; |
215 | ||
1f40459f | 216 | vm_error_improper_list: |
7ea9a0a7 | 217 | err_msg = scm_from_locale_string ("Expected a proper list, but got object with tail ~s"); |
1f40459f AW |
218 | goto vm_error; |
219 | ||
5e390de6 AW |
220 | vm_error_not_a_pair: |
221 | SYNC_ALL (); | |
e06e857c | 222 | scm_wrong_type_arg_msg (FUNC_NAME, 1, finish_args, "pair"); |
5e390de6 AW |
223 | /* shouldn't get here */ |
224 | goto vm_error; | |
225 | ||
e6eb2467 AW |
226 | vm_error_not_a_bytevector: |
227 | SYNC_ALL (); | |
228 | scm_wrong_type_arg_msg (FUNC_NAME, 1, finish_args, "bytevector"); | |
229 | /* shouldn't get here */ | |
230 | goto vm_error; | |
231 | ||
a222b0fa | 232 | vm_error_no_values: |
7ea9a0a7 | 233 | err_msg = scm_from_locale_string ("Zero values returned to single-valued continuation"); |
e06e857c | 234 | finish_args = SCM_EOL; |
a222b0fa AW |
235 | goto vm_error; |
236 | ||
d51406fe | 237 | vm_error_not_enough_values: |
7ea9a0a7 | 238 | err_msg = scm_from_locale_string ("Too few values returned to continuation"); |
e06e857c | 239 | finish_args = SCM_EOL; |
d51406fe AW |
240 | goto vm_error; |
241 | ||
94ff26b9 AW |
242 | vm_error_bad_wide_string_length: |
243 | err_msg = scm_from_locale_string ("VM: Bad wide string length: ~S"); | |
244 | goto vm_error; | |
245 | ||
ac02b386 KN |
246 | #if VM_CHECK_IP |
247 | vm_error_invalid_address: | |
fa19602c | 248 | err_msg = scm_from_locale_string ("VM: Invalid program address"); |
e06e857c | 249 | finish_args = SCM_EOL; |
17e90c5e | 250 | goto vm_error; |
ac02b386 KN |
251 | #endif |
252 | ||
0b5f0e49 LC |
253 | #if VM_CHECK_OBJECT |
254 | vm_error_object: | |
255 | err_msg = scm_from_locale_string ("VM: Invalid object table access"); | |
e06e857c | 256 | finish_args = SCM_EOL; |
0b5f0e49 LC |
257 | goto vm_error; |
258 | #endif | |
259 | ||
57ab0671 AW |
260 | #if VM_CHECK_FREE_VARIABLES |
261 | vm_error_free_variable: | |
262 | err_msg = scm_from_locale_string ("VM: Invalid free variable access"); | |
8d90b356 AW |
263 | finish_args = SCM_EOL; |
264 | goto vm_error; | |
265 | #endif | |
266 | ||
17e90c5e KN |
267 | vm_error: |
268 | SYNC_ALL (); | |
a52b2d3d | 269 | |
da8b4747 LC |
270 | scm_ithrow (sym_vm_error, scm_list_3 (sym_vm_run, err_msg, finish_args), |
271 | 1); | |
17e90c5e KN |
272 | } |
273 | ||
a98cef7e KN |
274 | abort (); /* never reached */ |
275 | } | |
6d14383e AW |
276 | |
277 | #undef VM_USE_HOOKS | |
278 | #undef VM_USE_CLOCK | |
6d14383e | 279 | #undef VM_CHECK_OBJECT |
57ab0671 | 280 | #undef VM_CHECK_FREE_VARIABLE |
e06e857c | 281 | #undef VM_PUSH_DEBUG_FRAMES |
17e90c5e KN |
282 | |
283 | /* | |
284 | Local Variables: | |
285 | c-file-style: "gnu" | |
286 | End: | |
287 | */ |