remove lambda wrap hack of brainfuck tree-il compiler
[bpt/guile.git] / libguile / objcodes.c
CommitLineData
8f5cfc81 1/* Copyright (C) 2001 Free Software Foundation, Inc.
8f5cfc81 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.
8f5cfc81 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.
8f5cfc81 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 */
8f5cfc81 18
13c47753
AW
19#if HAVE_CONFIG_H
20# include <config.h>
21#endif
22
8f5cfc81
KN
23#include <string.h>
24#include <fcntl.h>
25#include <unistd.h>
26#include <sys/mman.h>
27#include <sys/stat.h>
28#include <sys/types.h>
054599f1 29#include <assert.h>
8f5cfc81 30
560b9c25 31#include "_scm.h"
83495480 32#include "vm-bootstrap.h"
8f5cfc81
KN
33#include "programs.h"
34#include "objcodes.h"
35
53e28ed9 36/* nb, the length of the header should be a multiple of 8 bytes */
8f5cfc81
KN
37#define OBJCODE_COOKIE "GOOF-0.5"
38
39\f
40/*
41 * Objcode type
42 */
43
f9e8c09d 44scm_t_bits scm_tc16_objcode;
8f5cfc81 45
8f5cfc81
KN
46static SCM
47make_objcode_by_mmap (int fd)
48#define FUNC_NAME "make_objcode_by_mmap"
49{
50 int ret;
51 char *addr;
52 struct stat st;
53e28ed9
AW
53 SCM sret = SCM_BOOL_F;
54 struct scm_objcode *data;
8f5cfc81
KN
55
56 ret = fstat (fd, &st);
0b5f0e49 57 if (ret < 0)
62082959 58 SCM_SYSERROR;
8f5cfc81 59
53e28ed9 60 if (st.st_size <= sizeof (struct scm_objcode) + strlen (OBJCODE_COOKIE))
0b5f0e49 61 scm_misc_error (FUNC_NAME, "object file too small (~a bytes)",
da8b4747 62 scm_list_1 (SCM_I_MAKINUM (st.st_size)));
0b5f0e49 63
8f5cfc81 64 addr = mmap (0, st.st_size, PROT_READ, MAP_SHARED, fd, 0);
62082959
LC
65 if (addr == MAP_FAILED)
66 SCM_SYSERROR;
67
68 if (memcmp (addr, OBJCODE_COOKIE, strlen (OBJCODE_COOKIE)))
74fdb02e
AW
69 scm_misc_error (FUNC_NAME, "bad header on object file: ~s",
70 scm_list_1 (scm_from_locale_stringn
71 (addr, strlen (OBJCODE_COOKIE))));
8f5cfc81 72
53e28ed9
AW
73 data = (struct scm_objcode*)(addr + strlen (OBJCODE_COOKIE));
74
1f1ec13b 75 if (data->len + data->metalen != (st.st_size - sizeof (*data) - strlen (OBJCODE_COOKIE)))
53e28ed9 76 scm_misc_error (FUNC_NAME, "bad length header (~a, ~a)",
da8b4747
LC
77 scm_list_2 (scm_from_size_t (st.st_size),
78 scm_from_uint32 (sizeof (*data) + data->len + data->metalen)));
53e28ed9
AW
79
80 SCM_NEWSMOB3 (sret, scm_tc16_objcode, addr + strlen (OBJCODE_COOKIE),
81 SCM_PACK (SCM_BOOL_F), fd);
82 SCM_SET_SMOB_FLAGS (sret, SCM_F_OBJCODE_IS_MMAP);
83
84 /* FIXME: we leak ourselves and the file descriptor. but then again so does
85 dlopen(). */
86 return scm_permanent_object (sret);
8f5cfc81
KN
87}
88#undef FUNC_NAME
89
53e28ed9
AW
90SCM
91scm_c_make_objcode_slice (SCM parent, scm_t_uint8 *ptr)
92#define FUNC_NAME "make-objcode-slice"
8f5cfc81 93{
53e28ed9
AW
94 struct scm_objcode *data, *parent_data;
95 SCM ret;
96
97 SCM_VALIDATE_OBJCODE (1, parent);
98 parent_data = SCM_OBJCODE_DATA (parent);
99
100 if (ptr < parent_data->base
1f1ec13b 101 || ptr >= (parent_data->base + parent_data->len + parent_data->metalen
53e28ed9 102 - sizeof (struct scm_objcode)))
1f1ec13b 103 scm_misc_error (FUNC_NAME, "offset out of bounds (~a vs ~a + ~a + ~a)",
da8b4747
LC
104 scm_list_4 (scm_from_ulong ((unsigned long)ptr),
105 scm_from_ulong ((unsigned long)parent_data->base),
106 scm_from_uint32 (parent_data->len),
107 scm_from_uint32 (parent_data->metalen)));
53e28ed9
AW
108
109 data = (struct scm_objcode*)ptr;
1f1ec13b 110 if (data->base + data->len + data->metalen > parent_data->base + parent_data->len + parent_data->metalen)
53e28ed9
AW
111 abort ();
112
113 SCM_NEWSMOB2 (ret, scm_tc16_objcode, data, parent);
114 SCM_SET_SMOB_FLAGS (ret, SCM_F_OBJCODE_IS_SLICE);
115 return ret;
8f5cfc81
KN
116}
117#undef FUNC_NAME
118
53e28ed9
AW
119static SCM
120objcode_mark (SCM obj)
121{
122 return SCM_SMOB_OBJECT_2 (obj);
123}
124
8f5cfc81
KN
125\f
126/*
127 * Scheme interface
128 */
129
130SCM_DEFINE (scm_objcode_p, "objcode?", 1, 0, 0,
131 (SCM obj),
132 "")
133#define FUNC_NAME s_scm_objcode_p
134{
135 return SCM_BOOL (SCM_OBJCODE_P (obj));
136}
137#undef FUNC_NAME
138
1f1ec13b
AW
139SCM_DEFINE (scm_objcode_meta, "objcode-meta", 1, 0, 0,
140 (SCM objcode),
141 "")
142#define FUNC_NAME s_scm_objcode_meta
143{
144 SCM_VALIDATE_OBJCODE (1, objcode);
145
146 if (SCM_OBJCODE_META_LEN (objcode) == 0)
147 return SCM_BOOL_F;
148 else
149 return scm_c_make_objcode_slice (objcode, (SCM_OBJCODE_BASE (objcode)
150 + SCM_OBJCODE_LEN (objcode)));
151}
152#undef FUNC_NAME
153
53e28ed9
AW
154SCM_DEFINE (scm_bytecode_to_objcode, "bytecode->objcode", 1, 0, 0,
155 (SCM bytecode),
8f5cfc81
KN
156 "")
157#define FUNC_NAME s_scm_bytecode_to_objcode
158{
159 size_t size;
054599f1
LC
160 ssize_t increment;
161 scm_t_array_handle handle;
b6368dbb 162 const scm_t_uint8 *c_bytecode;
53e28ed9 163 struct scm_objcode *data;
8f5cfc81
KN
164 SCM objcode;
165
53e28ed9 166 if (scm_is_false (scm_u8vector_p (bytecode)))
054599f1 167 scm_wrong_type_arg (FUNC_NAME, 1, bytecode);
8f5cfc81 168
054599f1 169 c_bytecode = scm_u8vector_elements (bytecode, &handle, &size, &increment);
53e28ed9
AW
170 data = (struct scm_objcode*)c_bytecode;
171 SCM_NEWSMOB2 (objcode, scm_tc16_objcode, data, bytecode);
054599f1 172 scm_array_handle_release (&handle);
ac47d5f6
AW
173
174 SCM_ASSERT_RANGE (0, bytecode, size >= sizeof(struct scm_objcode));
175 if (data->len + data->metalen != (size - sizeof (*data)))
176 scm_misc_error (FUNC_NAME, "bad u8vector size (~a != ~a)",
da8b4747
LC
177 scm_list_2 (scm_from_size_t (size),
178 scm_from_uint32 (sizeof (*data) + data->len + data->metalen)));
53e28ed9 179 assert (increment == 1);
53e28ed9
AW
180 SCM_SET_SMOB_FLAGS (objcode, SCM_F_OBJCODE_IS_U8VECTOR);
181
182 /* foolishly, we assume that as long as bytecode is around, that c_bytecode
183 will be of the same length; perhaps a bad assumption? */
d8eeb67c 184
8f5cfc81
KN
185 return objcode;
186}
187#undef FUNC_NAME
188
189SCM_DEFINE (scm_load_objcode, "load-objcode", 1, 0, 0,
190 (SCM file),
191 "")
192#define FUNC_NAME s_scm_load_objcode
193{
194 int fd;
2d80426a 195 char *c_file;
8f5cfc81
KN
196
197 SCM_VALIDATE_STRING (1, file);
198
2d80426a
LC
199 c_file = scm_to_locale_string (file);
200 fd = open (c_file, O_RDONLY);
201 free (c_file);
8f5cfc81
KN
202 if (fd < 0) SCM_SYSERROR;
203
204 return make_objcode_by_mmap (fd);
205}
206#undef FUNC_NAME
207
9bb8012d 208SCM_DEFINE (scm_objcode_to_bytecode, "objcode->bytecode", 1, 0, 0,
8f5cfc81
KN
209 (SCM objcode),
210 "")
9bb8012d 211#define FUNC_NAME s_scm_objcode_to_bytecode
8f5cfc81 212{
b6368dbb 213 scm_t_uint8 *u8vector;
53e28ed9 214 scm_t_uint32 len;
054599f1 215
8f5cfc81 216 SCM_VALIDATE_OBJCODE (1, objcode);
054599f1 217
1f1ec13b 218 len = sizeof(struct scm_objcode) + SCM_OBJCODE_TOTAL_LEN (objcode);
054599f1 219 /* FIXME: Is `gc_malloc' ok here? */
53e28ed9
AW
220 u8vector = scm_gc_malloc (len, "objcode-u8vector");
221 memcpy (u8vector, SCM_OBJCODE_DATA (objcode), len);
054599f1 222
53e28ed9 223 return scm_take_u8vector (u8vector, len);
8f5cfc81
KN
224}
225#undef FUNC_NAME
226
53e28ed9
AW
227SCM_DEFINE (scm_write_objcode, "write-objcode", 2, 0, 0,
228 (SCM objcode, SCM port),
8f5cfc81 229 "")
53e28ed9 230#define FUNC_NAME s_scm_write_objcode
8f5cfc81 231{
8f5cfc81 232 SCM_VALIDATE_OBJCODE (1, objcode);
53e28ed9
AW
233 SCM_VALIDATE_OUTPUT_PORT (2, port);
234
235 scm_c_write (port, OBJCODE_COOKIE, strlen (OBJCODE_COOKIE));
236 scm_c_write (port, SCM_OBJCODE_DATA (objcode),
1f1ec13b 237 sizeof (struct scm_objcode) + SCM_OBJCODE_TOTAL_LEN (objcode));
53e28ed9
AW
238
239 return SCM_UNSPECIFIED;
8f5cfc81
KN
240}
241#undef FUNC_NAME
242
243\f
244void
07e56b27 245scm_bootstrap_objcodes (void)
8f5cfc81
KN
246{
247 scm_tc16_objcode = scm_make_smob_type ("objcode", 0);
53e28ed9 248 scm_set_smob_mark (scm_tc16_objcode, objcode_mark);
60ae5ca2
AW
249 scm_c_register_extension ("libguile", "scm_init_objcodes",
250 (scm_t_extension_init_func)scm_init_objcodes, NULL);
07e56b27
AW
251}
252
8992a9e3
AW
253/* Before, we used __BYTE_ORDER, but that is not defined on all
254 systems. So punt and use automake, PDP endianness be damned. */
255#ifdef WORDS_BIGENDIAN
256#define SCM_BYTE_ORDER 4321
257#else
258#define SCM_BYTE_ORDER 1234
259#endif
260
07e56b27
AW
261void
262scm_init_objcodes (void)
263{
264 scm_bootstrap_vm ();
8f5cfc81
KN
265
266#ifndef SCM_MAGIC_SNARFER
aeeff258 267#include "libguile/objcodes.x"
8f5cfc81 268#endif
53e28ed9
AW
269
270 scm_c_define ("word-size", scm_from_size_t (sizeof(SCM)));
8992a9e3 271 scm_c_define ("byte-order", scm_from_uint16 (SCM_BYTE_ORDER));
8f5cfc81
KN
272}
273
274/*
275 Local Variables:
276 c-file-style: "gnu"
277 End:
278*/