Commit | Line | Data |
---|---|---|
8f5cfc81 | 1 | /* Copyright (C) 2001 Free Software Foundation, Inc. |
17e90c5e KN |
2 | * |
3 | * This program is free software; you can redistribute it and/or modify | |
4 | * it under the terms of the GNU General Public License as published by | |
5 | * the Free Software Foundation; either version 2, or (at your option) | |
6 | * any later version. | |
7 | * | |
8 | * This program is distributed in the hope that it will be useful, | |
9 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | * GNU General Public License for more details. | |
12 | * | |
13 | * You should have received a copy of the GNU General Public License | |
14 | * along with this software; see the file COPYING. If not, write to | |
15 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, | |
16 | * Boston, MA 02111-1307 USA | |
17 | * | |
18 | * As a special exception, the Free Software Foundation gives permission | |
19 | * for additional uses of the text contained in its release of GUILE. | |
20 | * | |
21 | * The exception is that, if you link the GUILE library with other files | |
22 | * to produce an executable, this does not by itself cause the | |
23 | * resulting executable to be covered by the GNU General Public License. | |
24 | * Your use of that executable is in no way restricted on account of | |
25 | * linking the GUILE library code into it. | |
26 | * | |
27 | * This exception does not however invalidate any other reasons why | |
28 | * the executable file might be covered by the GNU General Public License. | |
29 | * | |
30 | * This exception applies only to the code released by the | |
31 | * Free Software Foundation under the name GUILE. If you copy | |
32 | * code from other Free Software Foundation releases into a copy of | |
33 | * GUILE, as the General Public License permits, the exception does | |
34 | * not apply to the code that you add in this way. To avoid misleading | |
35 | * anyone as to the status of such modified files, you must delete | |
36 | * this exception notice from them. | |
37 | * | |
38 | * If you write modifications of your own for GUILE, it is your choice | |
39 | * whether to permit this exception to apply to your modifications. | |
40 | * If you do not wish that, delete this exception notice. */ | |
41 | ||
13c47753 AW |
42 | #if HAVE_CONFIG_H |
43 | # include <config.h> | |
44 | #endif | |
45 | ||
17e90c5e | 46 | #include <string.h> |
83495480 | 47 | #include "vm-bootstrap.h" |
17e90c5e | 48 | #include "instructions.h" |
8e367074 | 49 | #include "modules.h" |
17e90c5e KN |
50 | #include "programs.h" |
51 | #include "vm.h" | |
52 | ||
53 | \f | |
f9e8c09d | 54 | scm_t_bits scm_tc16_program; |
17e90c5e KN |
55 | |
56 | static SCM zero_vector; | |
e6fea618 | 57 | static SCM write_program = SCM_BOOL_F; |
17e90c5e KN |
58 | |
59 | SCM | |
60 | scm_c_make_program (void *addr, size_t size, SCM holder) | |
61 | #define FUNC_NAME "scm_c_make_program" | |
62 | { | |
d8eeb67c LC |
63 | struct scm_program *p = scm_gc_malloc (sizeof (struct scm_program), |
64 | "program"); | |
17e90c5e KN |
65 | p->size = size; |
66 | p->nargs = 0; | |
67 | p->nrest = 0; | |
68 | p->nlocs = 0; | |
3d5ee0cd | 69 | p->nexts = 0; |
ac99cb0c | 70 | p->meta = SCM_BOOL_F; |
17e90c5e KN |
71 | p->objs = zero_vector; |
72 | p->external = SCM_EOL; | |
73 | p->holder = holder; | |
8e367074 | 74 | p->module = scm_current_module (); |
17e90c5e KN |
75 | |
76 | /* If nobody holds bytecode's address, then allocate a new memory */ | |
29711eb9 AW |
77 | if (SCM_FALSEP (holder)) |
78 | { | |
79 | p->base = scm_gc_malloc (size, "program-base"); | |
80 | memcpy (p->base, addr, size); | |
81 | } | |
17e90c5e KN |
82 | else |
83 | p->base = addr; | |
84 | ||
85 | SCM_RETURN_NEWSMOB (scm_tc16_program, p); | |
86 | } | |
87 | #undef FUNC_NAME | |
88 | ||
89 | SCM | |
3d5ee0cd | 90 | scm_c_make_closure (SCM program, SCM external) |
17e90c5e | 91 | { |
ac02b386 | 92 | SCM prog = scm_c_make_program (0, 0, program); |
877ffa3f AW |
93 | if (!SCM_PROGRAM_P (program)) |
94 | abort (); | |
ac02b386 | 95 | *SCM_PROGRAM_DATA (prog) = *SCM_PROGRAM_DATA (program); |
ac99cb0c | 96 | SCM_PROGRAM_DATA (prog)->external = external; |
17e90c5e KN |
97 | return prog; |
98 | } | |
99 | ||
100 | static SCM | |
101 | program_mark (SCM obj) | |
102 | { | |
103 | struct scm_program *p = SCM_PROGRAM_DATA (obj); | |
ac99cb0c | 104 | scm_gc_mark (p->meta); |
17e90c5e KN |
105 | scm_gc_mark (p->objs); |
106 | scm_gc_mark (p->external); | |
8e367074 | 107 | scm_gc_mark (p->module); |
17e90c5e KN |
108 | return p->holder; |
109 | } | |
110 | ||
111 | static scm_sizet | |
112 | program_free (SCM obj) | |
113 | { | |
114 | struct scm_program *p = SCM_PROGRAM_DATA (obj); | |
115 | scm_sizet size = (sizeof (struct scm_program)); | |
d8eeb67c | 116 | |
17e90c5e | 117 | if (SCM_FALSEP (p->holder)) |
d8eeb67c LC |
118 | scm_gc_free (p->base, p->size, "program-base"); |
119 | ||
120 | scm_gc_free (p, size, "program"); | |
121 | ||
122 | return 0; | |
17e90c5e KN |
123 | } |
124 | ||
17e90c5e KN |
125 | static SCM |
126 | program_apply (SCM program, SCM args) | |
127 | { | |
499a4c07 | 128 | return scm_vm_apply (scm_the_vm (), program, args); |
17e90c5e KN |
129 | } |
130 | ||
e6fea618 AW |
131 | static int |
132 | program_print (SCM program, SCM port, scm_print_state *pstate) | |
133 | { | |
0ba8bb71 AW |
134 | static int print_error = 0; |
135 | ||
28106f54 | 136 | if (SCM_FALSEP (write_program) && scm_module_system_booted_p) |
e6fea618 AW |
137 | write_program = scm_module_local_variable |
138 | (scm_c_resolve_module ("system vm program"), | |
139 | scm_from_locale_symbol ("write-program")); | |
140 | ||
0ba8bb71 | 141 | if (SCM_FALSEP (write_program) || print_error) |
e6fea618 AW |
142 | return scm_smob_print (program, port, pstate); |
143 | ||
0ba8bb71 | 144 | print_error = 1; |
e6fea618 | 145 | scm_call_2 (SCM_VARIABLE_REF (write_program), program, port); |
0ba8bb71 | 146 | print_error = 0; |
e6fea618 AW |
147 | return 1; |
148 | } | |
149 | ||
17e90c5e KN |
150 | \f |
151 | /* | |
152 | * Scheme interface | |
153 | */ | |
154 | ||
155 | SCM_DEFINE (scm_program_p, "program?", 1, 0, 0, | |
156 | (SCM obj), | |
157 | "") | |
158 | #define FUNC_NAME s_scm_program_p | |
159 | { | |
160 | return SCM_BOOL (SCM_PROGRAM_P (obj)); | |
161 | } | |
162 | #undef FUNC_NAME | |
163 | ||
ac99cb0c KN |
164 | SCM_DEFINE (scm_program_base, "program-base", 1, 0, 0, |
165 | (SCM program), | |
166 | "") | |
167 | #define FUNC_NAME s_scm_program_base | |
168 | { | |
169 | SCM_VALIDATE_PROGRAM (1, program); | |
170 | ||
f41cb00c | 171 | return scm_from_ulong ((unsigned long) SCM_PROGRAM_DATA (program)->base); |
ac99cb0c KN |
172 | } |
173 | #undef FUNC_NAME | |
174 | ||
17e90c5e KN |
175 | SCM_DEFINE (scm_program_arity, "program-arity", 1, 0, 0, |
176 | (SCM program), | |
177 | "") | |
178 | #define FUNC_NAME s_scm_program_arity | |
ac99cb0c KN |
179 | { |
180 | struct scm_program *p; | |
181 | ||
182 | SCM_VALIDATE_PROGRAM (1, program); | |
183 | ||
184 | p = SCM_PROGRAM_DATA (program); | |
2d80426a LC |
185 | return SCM_LIST4 (SCM_I_MAKINUM (p->nargs), |
186 | SCM_I_MAKINUM (p->nrest), | |
187 | SCM_I_MAKINUM (p->nlocs), | |
188 | SCM_I_MAKINUM (p->nexts)); | |
ac99cb0c KN |
189 | } |
190 | #undef FUNC_NAME | |
191 | ||
192 | SCM_DEFINE (scm_program_meta, "program-meta", 1, 0, 0, | |
193 | (SCM program), | |
194 | "") | |
195 | #define FUNC_NAME s_scm_program_meta | |
17e90c5e KN |
196 | { |
197 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 198 | return SCM_PROGRAM_DATA (program)->meta; |
17e90c5e KN |
199 | } |
200 | #undef FUNC_NAME | |
201 | ||
9a9f6487 AW |
202 | extern SCM |
203 | scm_c_program_source (struct scm_program *p, size_t ip) | |
204 | { | |
205 | SCM meta, sources, source; | |
206 | ||
207 | if (scm_is_false (p->meta)) | |
208 | return SCM_BOOL_F; | |
209 | meta = scm_call_0 (p->meta); | |
210 | if (scm_is_false (meta)) | |
211 | return SCM_BOOL_F; | |
212 | sources = scm_cadr (meta); | |
213 | source = scm_assv (scm_from_size_t (ip), sources); | |
214 | if (scm_is_false (source)) | |
215 | return SCM_BOOL_F; | |
216 | ||
217 | return scm_cdr (source); /* a #(line column file) vector */ | |
218 | } | |
219 | ||
17e90c5e KN |
220 | SCM_DEFINE (scm_program_objects, "program-objects", 1, 0, 0, |
221 | (SCM program), | |
222 | "") | |
223 | #define FUNC_NAME s_scm_program_objects | |
224 | { | |
225 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 226 | return SCM_PROGRAM_DATA (program)->objs; |
17e90c5e KN |
227 | } |
228 | #undef FUNC_NAME | |
229 | ||
8e367074 AW |
230 | SCM_DEFINE (scm_program_module, "program-module", 1, 0, 0, |
231 | (SCM program), | |
232 | "") | |
233 | #define FUNC_NAME s_scm_program_module | |
234 | { | |
235 | SCM_VALIDATE_PROGRAM (1, program); | |
236 | return SCM_PROGRAM_DATA (program)->module; | |
237 | } | |
238 | #undef FUNC_NAME | |
239 | ||
17e90c5e KN |
240 | SCM_DEFINE (scm_program_external, "program-external", 1, 0, 0, |
241 | (SCM program), | |
242 | "") | |
243 | #define FUNC_NAME s_scm_program_external | |
244 | { | |
245 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 246 | return SCM_PROGRAM_DATA (program)->external; |
17e90c5e KN |
247 | } |
248 | #undef FUNC_NAME | |
249 | ||
62082959 LC |
250 | SCM_DEFINE (scm_program_external_set_x, "program-external-set!", 2, 0, 0, |
251 | (SCM program, SCM external), | |
252 | "Modify the list of closure variables of @var{program} (for " | |
253 | "debugging purposes).") | |
254 | #define FUNC_NAME s_scm_program_external_set_x | |
255 | { | |
256 | SCM_VALIDATE_PROGRAM (1, program); | |
257 | SCM_VALIDATE_LIST (2, external); | |
258 | SCM_PROGRAM_DATA (program)->external = external; | |
259 | return SCM_UNSPECIFIED; | |
260 | } | |
261 | #undef FUNC_NAME | |
262 | ||
17e90c5e KN |
263 | SCM_DEFINE (scm_program_bytecode, "program-bytecode", 1, 0, 0, |
264 | (SCM program), | |
fa19602c | 265 | "Return a u8vector containing @var{program}'s bytecode.") |
17e90c5e KN |
266 | #define FUNC_NAME s_scm_program_bytecode |
267 | { | |
fa19602c | 268 | size_t size; |
b6368dbb | 269 | scm_t_uint8 *c_bytecode; |
fa19602c | 270 | |
17e90c5e | 271 | SCM_VALIDATE_PROGRAM (1, program); |
fa19602c LC |
272 | |
273 | size = SCM_PROGRAM_DATA (program)->size; | |
274 | c_bytecode = malloc (size); | |
275 | if (!c_bytecode) | |
276 | return SCM_BOOL_F; | |
277 | ||
278 | memcpy (c_bytecode, SCM_PROGRAM_DATA (program)->base, size); | |
279 | ||
280 | return scm_take_u8vector (c_bytecode, size); | |
17e90c5e KN |
281 | } |
282 | #undef FUNC_NAME | |
283 | ||
fa19602c | 284 | |
17e90c5e KN |
285 | \f |
286 | void | |
07e56b27 | 287 | scm_bootstrap_programs (void) |
17e90c5e KN |
288 | { |
289 | zero_vector = scm_permanent_object (scm_c_make_vector (0, SCM_BOOL_F)); | |
290 | ||
291 | scm_tc16_program = scm_make_smob_type ("program", 0); | |
292 | scm_set_smob_mark (scm_tc16_program, program_mark); | |
293 | scm_set_smob_free (scm_tc16_program, program_free); | |
17e90c5e | 294 | scm_set_smob_apply (scm_tc16_program, program_apply, 0, 0, 1); |
e6fea618 | 295 | scm_set_smob_print (scm_tc16_program, program_print); |
07e56b27 | 296 | } |
17e90c5e | 297 | |
07e56b27 AW |
298 | void |
299 | scm_init_programs (void) | |
300 | { | |
301 | scm_bootstrap_vm (); | |
302 | ||
17e90c5e KN |
303 | #ifndef SCM_MAGIC_SNARFER |
304 | #include "programs.x" | |
305 | #endif | |
306 | } | |
307 | ||
308 | /* | |
309 | Local Variables: | |
310 | c-file-style: "gnu" | |
311 | End: | |
312 | */ |