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; | |
57 | ||
58 | SCM | |
59 | scm_c_make_program (void *addr, size_t size, SCM holder) | |
60 | #define FUNC_NAME "scm_c_make_program" | |
61 | { | |
d8eeb67c LC |
62 | struct scm_program *p = scm_gc_malloc (sizeof (struct scm_program), |
63 | "program"); | |
17e90c5e KN |
64 | p->size = size; |
65 | p->nargs = 0; | |
66 | p->nrest = 0; | |
67 | p->nlocs = 0; | |
3d5ee0cd | 68 | p->nexts = 0; |
ac99cb0c | 69 | p->meta = SCM_BOOL_F; |
17e90c5e KN |
70 | p->objs = zero_vector; |
71 | p->external = SCM_EOL; | |
72 | p->holder = holder; | |
8e367074 | 73 | p->module = scm_current_module (); |
17e90c5e KN |
74 | |
75 | /* If nobody holds bytecode's address, then allocate a new memory */ | |
29711eb9 AW |
76 | if (SCM_FALSEP (holder)) |
77 | { | |
78 | p->base = scm_gc_malloc (size, "program-base"); | |
79 | memcpy (p->base, addr, size); | |
80 | } | |
17e90c5e KN |
81 | else |
82 | p->base = addr; | |
83 | ||
84 | SCM_RETURN_NEWSMOB (scm_tc16_program, p); | |
85 | } | |
86 | #undef FUNC_NAME | |
87 | ||
88 | SCM | |
3d5ee0cd | 89 | scm_c_make_closure (SCM program, SCM external) |
17e90c5e | 90 | { |
ac02b386 KN |
91 | SCM prog = scm_c_make_program (0, 0, program); |
92 | *SCM_PROGRAM_DATA (prog) = *SCM_PROGRAM_DATA (program); | |
ac99cb0c | 93 | SCM_PROGRAM_DATA (prog)->external = external; |
17e90c5e KN |
94 | return prog; |
95 | } | |
96 | ||
97 | static SCM | |
98 | program_mark (SCM obj) | |
99 | { | |
100 | struct scm_program *p = SCM_PROGRAM_DATA (obj); | |
ac99cb0c | 101 | scm_gc_mark (p->meta); |
17e90c5e KN |
102 | scm_gc_mark (p->objs); |
103 | scm_gc_mark (p->external); | |
8e367074 | 104 | scm_gc_mark (p->module); |
17e90c5e KN |
105 | return p->holder; |
106 | } | |
107 | ||
108 | static scm_sizet | |
109 | program_free (SCM obj) | |
110 | { | |
111 | struct scm_program *p = SCM_PROGRAM_DATA (obj); | |
112 | scm_sizet size = (sizeof (struct scm_program)); | |
d8eeb67c | 113 | |
17e90c5e | 114 | if (SCM_FALSEP (p->holder)) |
d8eeb67c LC |
115 | scm_gc_free (p->base, p->size, "program-base"); |
116 | ||
117 | scm_gc_free (p, size, "program"); | |
118 | ||
119 | return 0; | |
17e90c5e KN |
120 | } |
121 | ||
17e90c5e KN |
122 | static SCM |
123 | program_apply (SCM program, SCM args) | |
124 | { | |
499a4c07 | 125 | return scm_vm_apply (scm_the_vm (), program, args); |
17e90c5e KN |
126 | } |
127 | ||
128 | \f | |
129 | /* | |
130 | * Scheme interface | |
131 | */ | |
132 | ||
133 | SCM_DEFINE (scm_program_p, "program?", 1, 0, 0, | |
134 | (SCM obj), | |
135 | "") | |
136 | #define FUNC_NAME s_scm_program_p | |
137 | { | |
138 | return SCM_BOOL (SCM_PROGRAM_P (obj)); | |
139 | } | |
140 | #undef FUNC_NAME | |
141 | ||
ac99cb0c KN |
142 | SCM_DEFINE (scm_program_base, "program-base", 1, 0, 0, |
143 | (SCM program), | |
144 | "") | |
145 | #define FUNC_NAME s_scm_program_base | |
146 | { | |
147 | SCM_VALIDATE_PROGRAM (1, program); | |
148 | ||
f41cb00c | 149 | return scm_from_ulong ((unsigned long) SCM_PROGRAM_DATA (program)->base); |
ac99cb0c KN |
150 | } |
151 | #undef FUNC_NAME | |
152 | ||
17e90c5e KN |
153 | SCM_DEFINE (scm_program_arity, "program-arity", 1, 0, 0, |
154 | (SCM program), | |
155 | "") | |
156 | #define FUNC_NAME s_scm_program_arity | |
ac99cb0c KN |
157 | { |
158 | struct scm_program *p; | |
159 | ||
160 | SCM_VALIDATE_PROGRAM (1, program); | |
161 | ||
162 | p = SCM_PROGRAM_DATA (program); | |
2d80426a LC |
163 | return SCM_LIST4 (SCM_I_MAKINUM (p->nargs), |
164 | SCM_I_MAKINUM (p->nrest), | |
165 | SCM_I_MAKINUM (p->nlocs), | |
166 | SCM_I_MAKINUM (p->nexts)); | |
ac99cb0c KN |
167 | } |
168 | #undef FUNC_NAME | |
169 | ||
170 | SCM_DEFINE (scm_program_meta, "program-meta", 1, 0, 0, | |
171 | (SCM program), | |
172 | "") | |
173 | #define FUNC_NAME s_scm_program_meta | |
17e90c5e KN |
174 | { |
175 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 176 | return SCM_PROGRAM_DATA (program)->meta; |
17e90c5e KN |
177 | } |
178 | #undef FUNC_NAME | |
179 | ||
180 | SCM_DEFINE (scm_program_objects, "program-objects", 1, 0, 0, | |
181 | (SCM program), | |
182 | "") | |
183 | #define FUNC_NAME s_scm_program_objects | |
184 | { | |
185 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 186 | return SCM_PROGRAM_DATA (program)->objs; |
17e90c5e KN |
187 | } |
188 | #undef FUNC_NAME | |
189 | ||
8e367074 AW |
190 | SCM_DEFINE (scm_program_module, "program-module", 1, 0, 0, |
191 | (SCM program), | |
192 | "") | |
193 | #define FUNC_NAME s_scm_program_module | |
194 | { | |
195 | SCM_VALIDATE_PROGRAM (1, program); | |
196 | return SCM_PROGRAM_DATA (program)->module; | |
197 | } | |
198 | #undef FUNC_NAME | |
199 | ||
17e90c5e KN |
200 | SCM_DEFINE (scm_program_external, "program-external", 1, 0, 0, |
201 | (SCM program), | |
202 | "") | |
203 | #define FUNC_NAME s_scm_program_external | |
204 | { | |
205 | SCM_VALIDATE_PROGRAM (1, program); | |
ac99cb0c | 206 | return SCM_PROGRAM_DATA (program)->external; |
17e90c5e KN |
207 | } |
208 | #undef FUNC_NAME | |
209 | ||
62082959 LC |
210 | SCM_DEFINE (scm_program_external_set_x, "program-external-set!", 2, 0, 0, |
211 | (SCM program, SCM external), | |
212 | "Modify the list of closure variables of @var{program} (for " | |
213 | "debugging purposes).") | |
214 | #define FUNC_NAME s_scm_program_external_set_x | |
215 | { | |
216 | SCM_VALIDATE_PROGRAM (1, program); | |
217 | SCM_VALIDATE_LIST (2, external); | |
218 | SCM_PROGRAM_DATA (program)->external = external; | |
219 | return SCM_UNSPECIFIED; | |
220 | } | |
221 | #undef FUNC_NAME | |
222 | ||
17e90c5e KN |
223 | SCM_DEFINE (scm_program_bytecode, "program-bytecode", 1, 0, 0, |
224 | (SCM program), | |
fa19602c | 225 | "Return a u8vector containing @var{program}'s bytecode.") |
17e90c5e KN |
226 | #define FUNC_NAME s_scm_program_bytecode |
227 | { | |
fa19602c | 228 | size_t size; |
b6368dbb | 229 | scm_t_uint8 *c_bytecode; |
fa19602c | 230 | |
17e90c5e | 231 | SCM_VALIDATE_PROGRAM (1, program); |
fa19602c LC |
232 | |
233 | size = SCM_PROGRAM_DATA (program)->size; | |
234 | c_bytecode = malloc (size); | |
235 | if (!c_bytecode) | |
236 | return SCM_BOOL_F; | |
237 | ||
238 | memcpy (c_bytecode, SCM_PROGRAM_DATA (program)->base, size); | |
239 | ||
240 | return scm_take_u8vector (c_bytecode, size); | |
17e90c5e KN |
241 | } |
242 | #undef FUNC_NAME | |
243 | ||
fa19602c | 244 | |
17e90c5e KN |
245 | \f |
246 | void | |
07e56b27 | 247 | scm_bootstrap_programs (void) |
17e90c5e KN |
248 | { |
249 | zero_vector = scm_permanent_object (scm_c_make_vector (0, SCM_BOOL_F)); | |
250 | ||
251 | scm_tc16_program = scm_make_smob_type ("program", 0); | |
252 | scm_set_smob_mark (scm_tc16_program, program_mark); | |
253 | scm_set_smob_free (scm_tc16_program, program_free); | |
17e90c5e | 254 | scm_set_smob_apply (scm_tc16_program, program_apply, 0, 0, 1); |
07e56b27 | 255 | } |
17e90c5e | 256 | |
07e56b27 AW |
257 | void |
258 | scm_init_programs (void) | |
259 | { | |
260 | scm_bootstrap_vm (); | |
261 | ||
17e90c5e KN |
262 | #ifndef SCM_MAGIC_SNARFER |
263 | #include "programs.x" | |
264 | #endif | |
265 | } | |
266 | ||
267 | /* | |
268 | Local Variables: | |
269 | c-file-style: "gnu" | |
270 | End: | |
271 | */ |