objcode type is an enumeration, not flags
[bpt/guile.git] / libguile / objcodes.c
CommitLineData
4914fe19 1/* Copyright (C) 2001, 2009, 2010, 2011 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>
1119e493 30#include <alignof.h>
8f5cfc81 31
560b9c25 32#include "_scm.h"
8f5cfc81
KN
33#include "programs.h"
34#include "objcodes.h"
35
4b02bf47
AW
36/* SCM_OBJCODE_COOKIE, defined in _scm.h, is a magic value prepended
37 to objcode on disk but not in memory.
38
39 The length of the header must be a multiple of 8 bytes. */
86cfb42d 40verify (((sizeof (SCM_OBJCODE_COOKIE) - 1) & 7) == 0);
8f5cfc81
KN
41
42\f
43/*
44 * Objcode type
45 */
46
4b02bf47
AW
47/* The words in an objcode SCM object are as follows:
48 - scm_tc7_objcode | the flags for this objcode
49 - the struct scm_objcode C object
50 - the parent of this objcode, if this is a slice, or #f if none
51 - the file descriptor this objcode came from if this was mmaped,
52 or 0 if none
53 */
54
8f5cfc81
KN
55static SCM
56make_objcode_by_mmap (int fd)
57#define FUNC_NAME "make_objcode_by_mmap"
58{
59 int ret;
60 char *addr;
61 struct stat st;
53e28ed9
AW
62 SCM sret = SCM_BOOL_F;
63 struct scm_objcode *data;
8f5cfc81
KN
64
65 ret = fstat (fd, &st);
0b5f0e49 66 if (ret < 0)
62082959 67 SCM_SYSERROR;
8f5cfc81 68
86cfb42d 69 if (st.st_size <= sizeof (struct scm_objcode) + strlen (SCM_OBJCODE_COOKIE))
0b5f0e49 70 scm_misc_error (FUNC_NAME, "object file too small (~a bytes)",
da8b4747 71 scm_list_1 (SCM_I_MAKINUM (st.st_size)));
0b5f0e49 72
8f5cfc81 73 addr = mmap (0, st.st_size, PROT_READ, MAP_SHARED, fd, 0);
62082959 74 if (addr == MAP_FAILED)
376b6bd7
LC
75 {
76 (void) close (fd);
77 SCM_SYSERROR;
78 }
62082959 79
86cfb42d 80 if (memcmp (addr, SCM_OBJCODE_COOKIE, strlen (SCM_OBJCODE_COOKIE)))
376b6bd7 81 {
4914fe19 82 SCM args = scm_list_1 (scm_from_latin1_stringn
86cfb42d 83 (addr, strlen (SCM_OBJCODE_COOKIE)));
376b6bd7
LC
84 (void) close (fd);
85 (void) munmap (addr, st.st_size);
7c957b86 86 scm_misc_error (FUNC_NAME, "bad header on object file: ~s", args);
376b6bd7 87 }
8f5cfc81 88
86cfb42d 89 data = (struct scm_objcode*)(addr + strlen (SCM_OBJCODE_COOKIE));
53e28ed9 90
86cfb42d 91 if (data->len + data->metalen != (st.st_size - sizeof (*data) - strlen (SCM_OBJCODE_COOKIE)))
376b6bd7
LC
92 {
93 (void) close (fd);
94 (void) munmap (addr, st.st_size);
95 scm_misc_error (FUNC_NAME, "bad length header (~a, ~a)",
96 scm_list_2 (scm_from_size_t (st.st_size),
97 scm_from_uint32 (sizeof (*data) + data->len
98 + data->metalen)));
99 }
53e28ed9 100
f9654187 101 sret = scm_double_cell (SCM_MAKE_OBJCODE_TAG (SCM_OBJCODE_TYPE_MMAP, 0),
6f3b0cc2
AW
102 (scm_t_bits)(addr + strlen (SCM_OBJCODE_COOKIE)),
103 SCM_UNPACK (SCM_BOOL_F),
104 (scm_t_bits)fd);
53e28ed9
AW
105
106 /* FIXME: we leak ourselves and the file descriptor. but then again so does
107 dlopen(). */
108 return scm_permanent_object (sret);
8f5cfc81
KN
109}
110#undef FUNC_NAME
111
53e28ed9 112SCM
b67cb286 113scm_c_make_objcode_slice (SCM parent, const scm_t_uint8 *ptr)
53e28ed9 114#define FUNC_NAME "make-objcode-slice"
8f5cfc81 115{
b67cb286 116 const struct scm_objcode *data, *parent_data;
3dbbe28d 117 const scm_t_uint8 *parent_base;
53e28ed9
AW
118
119 SCM_VALIDATE_OBJCODE (1, parent);
120 parent_data = SCM_OBJCODE_DATA (parent);
3dbbe28d
LC
121 parent_base = SCM_C_OBJCODE_BASE (parent_data);
122
123 if (ptr < parent_base
124 || ptr >= (parent_base + parent_data->len + parent_data->metalen
53e28ed9 125 - sizeof (struct scm_objcode)))
3d27ef4b
AW
126 scm_misc_error
127 (FUNC_NAME, "offset out of bounds (~a vs ~a + ~a + ~a)",
128 scm_list_4 (scm_from_unsigned_integer ((scm_t_bits) ptr),
129 scm_from_unsigned_integer ((scm_t_bits) parent_base),
130 scm_from_uint32 (parent_data->len),
131 scm_from_uint32 (parent_data->metalen)));
53e28ed9 132
e3c9c676
LC
133 /* Make sure bytecode for the objcode-meta is suitable aligned. Failing to
134 do so leads to SIGBUS/SIGSEGV on some arches (e.g., SPARC). */
1119e493
LC
135 assert ((((scm_t_bits) ptr) &
136 (alignof_type (struct scm_objcode) - 1UL)) == 0);
53e28ed9 137
3dbbe28d
LC
138 data = (struct scm_objcode*) ptr;
139 assert (SCM_C_OBJCODE_BASE (data) + data->len + data->metalen
140 <= parent_base + parent_data->len + parent_data->metalen);
53e28ed9 141
f9654187 142 return scm_double_cell (SCM_MAKE_OBJCODE_TAG (SCM_OBJCODE_TYPE_SLICE, 0),
6f3b0cc2 143 (scm_t_bits)data, SCM_UNPACK (parent), 0);
8f5cfc81
KN
144}
145#undef FUNC_NAME
146
147\f
148/*
149 * Scheme interface
150 */
151
152SCM_DEFINE (scm_objcode_p, "objcode?", 1, 0, 0,
153 (SCM obj),
154 "")
155#define FUNC_NAME s_scm_objcode_p
156{
5c8cefe5 157 return scm_from_bool (SCM_OBJCODE_P (obj));
8f5cfc81
KN
158}
159#undef FUNC_NAME
160
1f1ec13b
AW
161SCM_DEFINE (scm_objcode_meta, "objcode-meta", 1, 0, 0,
162 (SCM objcode),
163 "")
164#define FUNC_NAME s_scm_objcode_meta
165{
166 SCM_VALIDATE_OBJCODE (1, objcode);
167
168 if (SCM_OBJCODE_META_LEN (objcode) == 0)
169 return SCM_BOOL_F;
170 else
171 return scm_c_make_objcode_slice (objcode, (SCM_OBJCODE_BASE (objcode)
172 + SCM_OBJCODE_LEN (objcode)));
173}
174#undef FUNC_NAME
175
53e28ed9
AW
176SCM_DEFINE (scm_bytecode_to_objcode, "bytecode->objcode", 1, 0, 0,
177 (SCM bytecode),
8f5cfc81
KN
178 "")
179#define FUNC_NAME s_scm_bytecode_to_objcode
180{
181 size_t size;
b6368dbb 182 const scm_t_uint8 *c_bytecode;
53e28ed9 183 struct scm_objcode *data;
8f5cfc81 184
a2689737 185 if (!scm_is_bytevector (bytecode))
054599f1 186 scm_wrong_type_arg (FUNC_NAME, 1, bytecode);
8f5cfc81 187
a2689737
AW
188 size = SCM_BYTEVECTOR_LENGTH (bytecode);
189 c_bytecode = (const scm_t_uint8*)SCM_BYTEVECTOR_CONTENTS (bytecode);
190
191 SCM_ASSERT_RANGE (0, bytecode, size >= sizeof(struct scm_objcode));
53e28ed9 192 data = (struct scm_objcode*)c_bytecode;
ac47d5f6 193
ac47d5f6 194 if (data->len + data->metalen != (size - sizeof (*data)))
a2689737 195 scm_misc_error (FUNC_NAME, "bad bytevector size (~a != ~a)",
da8b4747
LC
196 scm_list_2 (scm_from_size_t (size),
197 scm_from_uint32 (sizeof (*data) + data->len + data->metalen)));
a2689737 198
53e28ed9
AW
199 /* foolishly, we assume that as long as bytecode is around, that c_bytecode
200 will be of the same length; perhaps a bad assumption? */
f9654187 201 return scm_double_cell (SCM_MAKE_OBJCODE_TAG (SCM_OBJCODE_TYPE_BYTEVECTOR, 0),
6f3b0cc2 202 (scm_t_bits)data, SCM_UNPACK (bytecode), 0);
8f5cfc81
KN
203}
204#undef FUNC_NAME
205
206SCM_DEFINE (scm_load_objcode, "load-objcode", 1, 0, 0,
207 (SCM file),
208 "")
209#define FUNC_NAME s_scm_load_objcode
210{
211 int fd;
2d80426a 212 char *c_file;
8f5cfc81
KN
213
214 SCM_VALIDATE_STRING (1, file);
215
2d80426a
LC
216 c_file = scm_to_locale_string (file);
217 fd = open (c_file, O_RDONLY);
218 free (c_file);
8f5cfc81
KN
219 if (fd < 0) SCM_SYSERROR;
220
221 return make_objcode_by_mmap (fd);
222}
223#undef FUNC_NAME
224
9bb8012d 225SCM_DEFINE (scm_objcode_to_bytecode, "objcode->bytecode", 1, 0, 0,
8f5cfc81
KN
226 (SCM objcode),
227 "")
9bb8012d 228#define FUNC_NAME s_scm_objcode_to_bytecode
8f5cfc81 229{
a2689737 230 scm_t_int8 *s8vector;
53e28ed9 231 scm_t_uint32 len;
054599f1 232
8f5cfc81 233 SCM_VALIDATE_OBJCODE (1, objcode);
054599f1 234
9a690dfb 235 len = sizeof (struct scm_objcode) + SCM_OBJCODE_TOTAL_LEN (objcode);
d7e7a02a 236
a2689737
AW
237 s8vector = scm_malloc (len);
238 memcpy (s8vector, SCM_OBJCODE_DATA (objcode), len);
054599f1 239
a2689737 240 return scm_c_take_bytevector (s8vector, len);
8f5cfc81
KN
241}
242#undef FUNC_NAME
243
53e28ed9
AW
244SCM_DEFINE (scm_write_objcode, "write-objcode", 2, 0, 0,
245 (SCM objcode, SCM port),
8f5cfc81 246 "")
53e28ed9 247#define FUNC_NAME s_scm_write_objcode
8f5cfc81 248{
8f5cfc81 249 SCM_VALIDATE_OBJCODE (1, objcode);
53e28ed9
AW
250 SCM_VALIDATE_OUTPUT_PORT (2, port);
251
86cfb42d 252 scm_c_write (port, SCM_OBJCODE_COOKIE, strlen (SCM_OBJCODE_COOKIE));
53e28ed9 253 scm_c_write (port, SCM_OBJCODE_DATA (objcode),
1f1ec13b 254 sizeof (struct scm_objcode) + SCM_OBJCODE_TOTAL_LEN (objcode));
53e28ed9
AW
255
256 return SCM_UNSPECIFIED;
8f5cfc81
KN
257}
258#undef FUNC_NAME
259
6f3b0cc2
AW
260void
261scm_i_objcode_print (SCM objcode, SCM port, scm_print_state *pstate)
262{
263 scm_puts ("#<objcode ", port);
264 scm_uintprint ((scm_t_bits)SCM_OBJCODE_BASE (objcode), 16, port);
265 scm_puts (">", port);
266}
267
8f5cfc81
KN
268\f
269void
07e56b27 270scm_bootstrap_objcodes (void)
8f5cfc81 271{
44602b08
AW
272 scm_c_register_extension ("libguile-" SCM_EFFECTIVE_VERSION,
273 "scm_init_objcodes",
60ae5ca2 274 (scm_t_extension_init_func)scm_init_objcodes, NULL);
07e56b27
AW
275}
276
8992a9e3
AW
277/* Before, we used __BYTE_ORDER, but that is not defined on all
278 systems. So punt and use automake, PDP endianness be damned. */
279#ifdef WORDS_BIGENDIAN
280#define SCM_BYTE_ORDER 4321
281#else
282#define SCM_BYTE_ORDER 1234
283#endif
284
07e56b27
AW
285void
286scm_init_objcodes (void)
287{
8f5cfc81 288#ifndef SCM_MAGIC_SNARFER
aeeff258 289#include "libguile/objcodes.x"
8f5cfc81 290#endif
53e28ed9
AW
291
292 scm_c_define ("word-size", scm_from_size_t (sizeof(SCM)));
8992a9e3 293 scm_c_define ("byte-order", scm_from_uint16 (SCM_BYTE_ORDER));
8f5cfc81
KN
294}
295
296/*
297 Local Variables:
298 c-file-style: "gnu"
299 End:
300*/