remove type discusison from dynamic-pointer docstring
[bpt/guile.git] / libguile / foreign.c
CommitLineData
e2c2a699 1/* Copyright (C) 2010 Free Software Foundation, Inc.
5b46a8c2 2 *
e2c2a699
AW
3 * This library is free software; you can redistribute it and/or
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.
7 *
8 * This library is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * Lesser General Public License for more details.
12 *
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
15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
16 * 02110-1301 USA
17 */
18
19#if HAVE_CONFIG_H
20# include <config.h>
21#endif
22
d8b04f04
AW
23#include <ffi.h>
24
25#include <alignof.h>
e2c2a699 26#include <string.h>
86425e26
LC
27#include <assert.h>
28
ea7d717b 29#include "libguile/_scm.h"
20aafae2 30#include "libguile/bytevectors.h"
d8b04f04 31#include "libguile/instructions.h"
ea7d717b 32#include "libguile/foreign.h"
e2c2a699
AW
33
34\f
35
ab4779ff
AW
36SCM_SYMBOL (sym_void, "void");
37SCM_SYMBOL (sym_float, "float");
38SCM_SYMBOL (sym_double, "double");
39SCM_SYMBOL (sym_uint8, "uint8");
40SCM_SYMBOL (sym_int8, "int8");
41SCM_SYMBOL (sym_uint16, "uint16");
42SCM_SYMBOL (sym_int16, "int16");
43SCM_SYMBOL (sym_uint32, "uint32");
44SCM_SYMBOL (sym_int32, "int32");
45SCM_SYMBOL (sym_uint64, "uint64");
46SCM_SYMBOL (sym_int64, "int64");
dd1464bf
LC
47SCM_SYMBOL (sym_int, "int");
48SCM_SYMBOL (sym_long, "long");
49SCM_SYMBOL (sym_unsigned_int, "unsigned-int");
50SCM_SYMBOL (sym_unsigned_long, "unsigned-long");
51SCM_SYMBOL (sym_size_t, "size_t");
ab4779ff 52
3435f3c0
AW
53/* that's for pointers, you know. */
54SCM_SYMBOL (sym_asterisk, "*");
55
54eb59cf 56SCM_SYMBOL (sym_null, "%null-pointer");
01ad5a7b 57SCM_SYMBOL (sym_null_pointer_error, "null-pointer-error");
54eb59cf
LC
58
59/* The cell representing the null pointer. */
3e5ea35c 60static SCM null_pointer;
3435f3c0 61
d4149a51
LC
62#if SIZEOF_VOID_P == 4
63# define scm_to_uintptr scm_to_uint32
64# define scm_from_uintptr scm_from_uint32
65#elif SIZEOF_VOID_P == 8
66# define scm_to_uintptr scm_to_uint64
67# define scm_from_uintptr scm_from_uint64
68#else
69# error unsupported pointer size
70#endif
71
72
01ad5a7b
LC
73/* Raise a null pointer dereference error. */
74static void
75null_pointer_error (const char *func_name)
76{
77 scm_error (sym_null_pointer_error, func_name,
78 "null pointer dereference", SCM_EOL, SCM_EOL);
79}
80
81\f
d8b04f04
AW
82static SCM cif_to_procedure (SCM cif, SCM func_ptr);
83
84
5b46a8c2 85static SCM pointer_weak_refs = SCM_BOOL_F;
20aafae2
AW
86
87static void
88register_weak_reference (SCM from, SCM to)
89{
5b46a8c2 90 scm_hashq_set_x (pointer_weak_refs, from, to);
20aafae2 91}
d4149a51 92
e2c2a699 93static void
5b46a8c2 94pointer_finalizer_trampoline (GC_PTR ptr, GC_PTR data)
e2c2a699 95{
5b46a8c2
LC
96 scm_t_pointer_finalizer finalizer = data;
97 finalizer (SCM_POINTER_VALUE (PTR2SCM (ptr)));
e2c2a699
AW
98}
99
d4149a51
LC
100SCM_DEFINE (scm_make_pointer, "make-pointer", 1, 1, 0,
101 (SCM address, SCM finalizer),
102 "Return a foreign pointer object pointing to @var{address}. "
103 "If @var{finalizer} is passed, it should be a pointer to a "
104 "one-argument C function that will be called when the pointer "
105 "object becomes unreachable.")
106#define FUNC_NAME s_scm_make_pointer
107{
108 void *c_finalizer;
109 scm_t_uintptr c_address;
d4149a51
LC
110
111 c_address = scm_to_uintptr (address);
112 if (SCM_UNBNDP (finalizer))
113 c_finalizer = NULL;
114 else
115 {
5b46a8c2
LC
116 SCM_VALIDATE_POINTER (2, finalizer);
117 c_finalizer = SCM_POINTER_VALUE (finalizer);
d4149a51
LC
118 }
119
854aa906 120 return scm_from_pointer ((void *) c_address, c_finalizer);
d4149a51
LC
121}
122#undef FUNC_NAME
123
e2c2a699 124SCM
5b46a8c2 125scm_from_pointer (void *ptr, scm_t_pointer_finalizer finalizer)
e2c2a699 126{
9fdee5b4 127 SCM ret;
d4149a51 128
854aa906
LC
129 if (ptr == NULL && finalizer == NULL)
130 ret = null_pointer;
131 else
e2c2a699 132 {
854aa906
LC
133 scm_t_bits type;
134
135 type = scm_tc7_pointer | (finalizer ? (1 << 16UL) : 0UL);
136 ret = scm_cell (type, (scm_t_bits) ptr);
137
138 if (finalizer)
139 {
140 /* Register a finalizer for the newly created instance. */
141 GC_finalization_proc prev_finalizer;
142 GC_PTR prev_finalizer_data;
143 GC_REGISTER_FINALIZER_NO_ORDER (SCM2PTR (ret),
144 pointer_finalizer_trampoline,
145 finalizer,
146 &prev_finalizer,
147 &prev_finalizer_data);
148 }
e2c2a699
AW
149 }
150
9fdee5b4 151 return ret;
e2c2a699
AW
152}
153
5b46a8c2
LC
154SCM_DEFINE (scm_pointer_address, "pointer-address", 1, 0, 0,
155 (SCM pointer),
156 "Return the numerical value of @var{pointer}.")
157#define FUNC_NAME s_scm_pointer_address
e2c2a699 158{
5b46a8c2 159 SCM_VALIDATE_POINTER (1, pointer);
01ad5a7b 160
5b46a8c2 161 return scm_from_uintptr ((scm_t_uintptr) SCM_POINTER_VALUE (pointer));
e2c2a699
AW
162}
163#undef FUNC_NAME
164
17fc9efe 165SCM_DEFINE (scm_dereference_pointer, "dereference-pointer", 1, 0, 0,
5b46a8c2 166 (SCM pointer),
183a2a22
LC
167 "Assuming @var{pointer} points to a memory region that\n"
168 "holds a pointer, return this pointer.")
17fc9efe
LC
169#define FUNC_NAME s_scm_dereference_pointer
170{
5b46a8c2 171 SCM_VALIDATE_POINTER (1, pointer);
17fc9efe 172
5b46a8c2 173 return scm_from_pointer (* (void **) SCM_POINTER_VALUE (pointer), NULL);
17fc9efe
LC
174}
175#undef FUNC_NAME
176
5b46a8c2
LC
177SCM_DEFINE (scm_pointer_to_bytevector, "pointer->bytevector", 2, 2, 0,
178 (SCM pointer, SCM len, SCM offset, SCM uvec_type),
183a2a22
LC
179 "Return a bytevector aliasing the @var{len} bytes pointed\n"
180 "to by @var{pointer}.\n\n"
20aafae2
AW
181 "The user may specify an alternate default interpretation for\n"
182 "the memory by passing the @var{uvec_type} argument, to indicate\n"
183 "that the memory is an array of elements of that type.\n"
184 "@var{uvec_type} should be something that\n"
185 "@code{uniform-vector-element-type} would return, like @code{f32}\n"
186 "or @code{s16}.\n\n"
183a2a22
LC
187 "When @var{offset} is passed, it specifies the offset in bytes\n"
188 "relative to @var{pointer} of the memory region aliased by the\n"
189 "returned bytevector.")
5b46a8c2 190#define FUNC_NAME s_scm_pointer_to_bytevector
20aafae2
AW
191{
192 SCM ret;
193 scm_t_int8 *ptr;
194 size_t boffset, blen;
195 scm_t_array_element_type btype;
196
5b46a8c2
LC
197 SCM_VALIDATE_POINTER (1, pointer);
198 ptr = SCM_POINTER_VALUE (pointer);
54eb59cf
LC
199
200 if (SCM_UNLIKELY (ptr == NULL))
01ad5a7b 201 null_pointer_error (FUNC_NAME);
54eb59cf 202
20aafae2
AW
203 if (SCM_UNBNDP (uvec_type))
204 btype = SCM_ARRAY_ELEMENT_TYPE_VU8;
205 else
206 {
207 int i;
208 for (i = 0; i <= SCM_ARRAY_ELEMENT_TYPE_LAST; i++)
209 if (scm_is_eq (uvec_type, scm_i_array_element_types[i]))
210 break;
211 switch (i)
212 {
213 case SCM_ARRAY_ELEMENT_TYPE_VU8:
214 case SCM_ARRAY_ELEMENT_TYPE_U8:
215 case SCM_ARRAY_ELEMENT_TYPE_S8:
216 case SCM_ARRAY_ELEMENT_TYPE_U16:
217 case SCM_ARRAY_ELEMENT_TYPE_S16:
218 case SCM_ARRAY_ELEMENT_TYPE_U32:
219 case SCM_ARRAY_ELEMENT_TYPE_S32:
220 case SCM_ARRAY_ELEMENT_TYPE_U64:
221 case SCM_ARRAY_ELEMENT_TYPE_S64:
222 case SCM_ARRAY_ELEMENT_TYPE_F32:
223 case SCM_ARRAY_ELEMENT_TYPE_F64:
224 case SCM_ARRAY_ELEMENT_TYPE_C32:
225 case SCM_ARRAY_ELEMENT_TYPE_C64:
226 btype = i;
227 break;
228 default:
229 scm_wrong_type_arg_msg (FUNC_NAME, SCM_ARG1, uvec_type,
230 "uniform vector type");
231 }
232 }
d4149a51 233
20aafae2
AW
234 if (SCM_UNBNDP (offset))
235 boffset = 0;
20aafae2
AW
236 else
237 boffset = scm_to_size_t (offset);
238
d4149a51 239 blen = scm_to_size_t (len);
20aafae2
AW
240
241 ret = scm_c_take_typed_bytevector (ptr + boffset, blen, btype);
5b46a8c2 242 register_weak_reference (ret, pointer);
20aafae2
AW
243 return ret;
244}
245#undef FUNC_NAME
246
22697acb
LC
247SCM_DEFINE (scm_bytevector_to_pointer, "bytevector->pointer", 1, 1, 0,
248 (SCM bv, SCM offset),
5b46a8c2 249 "Return a pointer pointer aliasing the memory pointed to by\n"
22697acb
LC
250 "@var{bv} or @var{offset} bytes after @var{bv} when @var{offset}\n"
251 "is passed.")
5b46a8c2 252#define FUNC_NAME s_scm_bytevector_to_pointer
20aafae2
AW
253{
254 SCM ret;
255 scm_t_int8 *ptr;
22697acb 256 size_t boffset;
20aafae2
AW
257
258 SCM_VALIDATE_BYTEVECTOR (1, bv);
259 ptr = SCM_BYTEVECTOR_CONTENTS (bv);
22697acb 260
20aafae2
AW
261 if (SCM_UNBNDP (offset))
262 boffset = 0;
263 else
264 boffset = scm_to_unsigned_integer (offset, 0,
265 SCM_BYTEVECTOR_LENGTH (bv) - 1);
266
5b46a8c2 267 ret = scm_from_pointer (ptr + boffset, NULL);
20aafae2
AW
268 register_weak_reference (ret, bv);
269 return ret;
270}
271#undef FUNC_NAME
272
5b46a8c2
LC
273SCM_DEFINE (scm_set_pointer_finalizer_x, "set-pointer-finalizer!", 2, 0, 0,
274 (SCM pointer, SCM finalizer),
3435f3c0 275 "Arrange for the C procedure wrapped by @var{finalizer} to be\n"
5b46a8c2 276 "called on the pointer wrapped by @var{pointer} when @var{pointer}\n"
3435f3c0
AW
277 "becomes unreachable. Note: the C procedure should not call into\n"
278 "Scheme. If you need a Scheme finalizer, use guardians.")
5b46a8c2 279#define FUNC_NAME s_scm_set_pointer_finalizer_x
3435f3c0
AW
280{
281 void *c_finalizer;
282 GC_finalization_proc prev_finalizer;
283 GC_PTR prev_finalizer_data;
284
5b46a8c2
LC
285 SCM_VALIDATE_POINTER (1, pointer);
286 SCM_VALIDATE_POINTER (2, finalizer);
d4149a51 287
5b46a8c2 288 c_finalizer = SCM_POINTER_VALUE (finalizer);
3435f3c0 289
5b46a8c2 290 SCM_SET_CELL_WORD_0 (pointer, SCM_CELL_WORD_0 (pointer) | (1 << 16UL));
3435f3c0 291
5b46a8c2
LC
292 GC_REGISTER_FINALIZER_NO_ORDER (SCM2PTR (pointer),
293 pointer_finalizer_trampoline,
3435f3c0
AW
294 c_finalizer,
295 &prev_finalizer,
296 &prev_finalizer_data);
297
298 return SCM_UNSPECIFIED;
299}
300#undef FUNC_NAME
301
302\f
303
e2c2a699 304void
5b46a8c2 305scm_i_pointer_print (SCM pointer, SCM port, scm_print_state *pstate)
e2c2a699 306{
5b46a8c2
LC
307 scm_puts ("#<pointer ", port);
308 scm_display (scm_pointer_address (pointer), port);
e2c2a699
AW
309 scm_putc ('>', port);
310}
311
312\f
313
b9264dc5
AW
314SCM_DEFINE (scm_alignof, "alignof", 1, 0, 0, (SCM type),
315 "Return the alignment of @var{type}, in bytes.\n\n"
316 "@var{type} should be a valid C type, like @code{int}.\n"
317 "Alternately @var{type} may be the symbol @code{*}, in which\n"
318 "case the alignment of a pointer is returned. @var{type} may\n"
319 "also be a list of types, in which case the alignment of a\n"
320 "@code{struct} with ABI-conventional packing is returned.")
9a396cbd
AW
321#define FUNC_NAME s_scm_alignof
322{
323 if (SCM_I_INUMP (type))
324 {
325 switch (SCM_I_INUM (type))
326 {
327 case SCM_FOREIGN_TYPE_FLOAT:
328 return scm_from_size_t (alignof (float));
329 case SCM_FOREIGN_TYPE_DOUBLE:
330 return scm_from_size_t (alignof (double));
331 case SCM_FOREIGN_TYPE_UINT8:
332 return scm_from_size_t (alignof (scm_t_uint8));
333 case SCM_FOREIGN_TYPE_INT8:
334 return scm_from_size_t (alignof (scm_t_int8));
335 case SCM_FOREIGN_TYPE_UINT16:
336 return scm_from_size_t (alignof (scm_t_uint16));
337 case SCM_FOREIGN_TYPE_INT16:
338 return scm_from_size_t (alignof (scm_t_int16));
339 case SCM_FOREIGN_TYPE_UINT32:
340 return scm_from_size_t (alignof (scm_t_uint32));
341 case SCM_FOREIGN_TYPE_INT32:
342 return scm_from_size_t (alignof (scm_t_int32));
343 case SCM_FOREIGN_TYPE_UINT64:
344 return scm_from_size_t (alignof (scm_t_uint64));
345 case SCM_FOREIGN_TYPE_INT64:
346 return scm_from_size_t (alignof (scm_t_int64));
347 default:
348 scm_wrong_type_arg (FUNC_NAME, 1, type);
349 }
350 }
3435f3c0
AW
351 else if (scm_is_eq (type, sym_asterisk))
352 /* a pointer */
353 return scm_from_size_t (alignof (void*));
9a396cbd
AW
354 else if (scm_is_pair (type))
355 /* a struct, yo */
356 return scm_alignof (scm_car (type));
357 else
358 scm_wrong_type_arg (FUNC_NAME, 1, type);
359}
360#undef FUNC_NAME
361
b9264dc5
AW
362SCM_DEFINE (scm_sizeof, "sizeof", 1, 0, 0, (SCM type),
363 "Return the size of @var{type}, in bytes.\n\n"
364 "@var{type} should be a valid C type, like @code{int}.\n"
365 "Alternately @var{type} may be the symbol @code{*}, in which\n"
366 "case the size of a pointer is returned. @var{type} may also\n"
367 "be a list of types, in which case the size of a @code{struct}\n"
368 "with ABI-conventional packing is returned.")
9a396cbd
AW
369#define FUNC_NAME s_scm_sizeof
370{
371 if (SCM_I_INUMP (type))
372 {
373 switch (SCM_I_INUM (type))
374 {
375 case SCM_FOREIGN_TYPE_FLOAT:
376 return scm_from_size_t (sizeof (float));
377 case SCM_FOREIGN_TYPE_DOUBLE:
378 return scm_from_size_t (sizeof (double));
379 case SCM_FOREIGN_TYPE_UINT8:
380 return scm_from_size_t (sizeof (scm_t_uint8));
381 case SCM_FOREIGN_TYPE_INT8:
382 return scm_from_size_t (sizeof (scm_t_int8));
383 case SCM_FOREIGN_TYPE_UINT16:
384 return scm_from_size_t (sizeof (scm_t_uint16));
385 case SCM_FOREIGN_TYPE_INT16:
386 return scm_from_size_t (sizeof (scm_t_int16));
387 case SCM_FOREIGN_TYPE_UINT32:
388 return scm_from_size_t (sizeof (scm_t_uint32));
389 case SCM_FOREIGN_TYPE_INT32:
390 return scm_from_size_t (sizeof (scm_t_int32));
391 case SCM_FOREIGN_TYPE_UINT64:
392 return scm_from_size_t (sizeof (scm_t_uint64));
393 case SCM_FOREIGN_TYPE_INT64:
394 return scm_from_size_t (sizeof (scm_t_int64));
395 default:
396 scm_wrong_type_arg (FUNC_NAME, 1, type);
397 }
398 }
3435f3c0
AW
399 else if (scm_is_eq (type, sym_asterisk))
400 /* a pointer */
401 return scm_from_size_t (sizeof (void*));
9a396cbd
AW
402 else if (scm_is_pair (type))
403 {
404 /* a struct */
405 size_t off = 0;
406 while (scm_is_pair (type))
407 {
408 off = ROUND_UP (off, scm_to_size_t (scm_alignof (scm_car (type))));
409 off += scm_to_size_t (scm_sizeof (scm_car (type)));
410 type = scm_cdr (type);
411 }
412 return scm_from_size_t (off);
413 }
414 else
415 scm_wrong_type_arg (FUNC_NAME, 1, type);
416}
417#undef FUNC_NAME
418
419
d8b04f04
AW
420/* return 1 on success, 0 on failure */
421static int
422parse_ffi_type (SCM type, int return_p, long *n_structs, long *n_struct_elts)
423{
424 if (SCM_I_INUMP (type))
425 {
426 if ((SCM_I_INUM (type) < 0 )
427 || (SCM_I_INUM (type) > SCM_FOREIGN_TYPE_LAST))
428 return 0;
429 else if (SCM_I_INUM (type) == SCM_FOREIGN_TYPE_VOID && !return_p)
430 return 0;
431 else
432 return 1;
433 }
3435f3c0
AW
434 else if (scm_is_eq (type, sym_asterisk))
435 /* a pointer */
436 return 1;
d8b04f04
AW
437 else
438 {
439 long len;
440
441 len = scm_ilength (type);
442 if (len < 1)
443 return 0;
444 while (len--)
445 {
446 if (!parse_ffi_type (scm_car (type), 0, n_structs, n_struct_elts))
447 return 0;
448 (*n_struct_elts)++;
449 type = scm_cdr (type);
450 }
451 (*n_structs)++;
452 return 1;
453 }
454}
455
456static void
457fill_ffi_type (SCM type, ffi_type *ftype, ffi_type ***type_ptrs,
458 ffi_type **types)
459{
460 if (SCM_I_INUMP (type))
461 {
462 switch (SCM_I_INUM (type))
463 {
464 case SCM_FOREIGN_TYPE_FLOAT:
465 *ftype = ffi_type_float;
466 return;
467 case SCM_FOREIGN_TYPE_DOUBLE:
468 *ftype = ffi_type_double;
469 return;
470 case SCM_FOREIGN_TYPE_UINT8:
471 *ftype = ffi_type_uint8;
472 return;
473 case SCM_FOREIGN_TYPE_INT8:
474 *ftype = ffi_type_sint8;
475 return;
476 case SCM_FOREIGN_TYPE_UINT16:
477 *ftype = ffi_type_uint16;
478 return;
479 case SCM_FOREIGN_TYPE_INT16:
480 *ftype = ffi_type_sint16;
481 return;
482 case SCM_FOREIGN_TYPE_UINT32:
483 *ftype = ffi_type_uint32;
484 return;
485 case SCM_FOREIGN_TYPE_INT32:
486 *ftype = ffi_type_sint32;
487 return;
488 case SCM_FOREIGN_TYPE_UINT64:
489 *ftype = ffi_type_uint64;
490 return;
491 case SCM_FOREIGN_TYPE_INT64:
492 *ftype = ffi_type_sint64;
493 return;
494 case SCM_FOREIGN_TYPE_VOID:
495 *ftype = ffi_type_void;
496 return;
497 default:
75383ddb
AW
498 scm_wrong_type_arg_msg ("make-foreign-function", 0, type,
499 "foreign type");
d8b04f04
AW
500 }
501 }
3435f3c0
AW
502 else if (scm_is_eq (type, sym_asterisk))
503 /* a pointer */
504 {
505 *ftype = ffi_type_pointer;
506 return;
507 }
d8b04f04
AW
508 else
509 {
510 long i, len;
511
512 len = scm_ilength (type);
513
514 ftype->size = 0;
515 ftype->alignment = 0;
516 ftype->type = FFI_TYPE_STRUCT;
517 ftype->elements = *type_ptrs;
518 *type_ptrs += len + 1;
519
520 for (i = 0; i < len; i++)
521 {
9a396cbd
AW
522 ftype->elements[i] = *types;
523 *types += 1;
d8b04f04
AW
524 fill_ffi_type (scm_car (type), ftype->elements[i],
525 type_ptrs, types);
526 type = scm_cdr (type);
527 }
528 ftype->elements[i] = NULL;
529 }
530}
531
532SCM_DEFINE (scm_make_foreign_function, "make-foreign-function", 3, 0, 0,
533 (SCM return_type, SCM func_ptr, SCM arg_types),
71725997
AW
534 "Make a foreign function.\n\n"
535 "Given the foreign void pointer @var{func_ptr}, its argument and\n"
536 "return types @var{arg_types} and @var{return_type}, return a\n"
537 "procedure that will pass arguments to the foreign function\n"
538 "and return appropriate values.\n\n"
539 "@var{arg_types} should be a list of foreign types.\n"
540 "@code{return_type} should be a foreign type.")
d8b04f04
AW
541#define FUNC_NAME s_scm_make_foreign_function
542{
543 SCM walk, scm_cif;
544 long i, nargs, n_structs, n_struct_elts;
545 size_t cif_len;
546 char *mem;
547 ffi_cif *cif;
548 ffi_type **type_ptrs;
549 ffi_type *types;
5b46a8c2
LC
550
551 SCM_VALIDATE_POINTER (2, func_ptr);
d4149a51 552
d8b04f04
AW
553 nargs = scm_ilength (arg_types);
554 SCM_ASSERT (nargs >= 0, arg_types, 3, FUNC_NAME);
555 /* fixme: assert nargs < 1<<32 */
556 n_structs = n_struct_elts = 0;
557
558 /* For want of talloc, we're going to have to do this in two passes: first we
559 figure out how much memory is needed for all types, then we allocate the
560 cif and the types all in one block. */
561 if (!parse_ffi_type (return_type, 1, &n_structs, &n_struct_elts))
562 scm_wrong_type_arg (FUNC_NAME, 1, return_type);
563 for (walk = arg_types; scm_is_pair (walk); walk = scm_cdr (walk))
564 if (!parse_ffi_type (scm_car (walk), 0, &n_structs, &n_struct_elts))
565 scm_wrong_type_arg (FUNC_NAME, 3, scm_car (walk));
566
567 /* the memory: with space for the cif itself */
568 cif_len = sizeof (ffi_cif);
569
570 /* then ffi_type pointers: one for each arg, one for each struct
571 element, and one for each struct (for null-termination) */
572 cif_len = (ROUND_UP (cif_len, alignof(void*))
573 + (nargs + n_structs + n_struct_elts)*sizeof(void*));
574
575 /* then the ffi_type structs themselves, one per arg and struct element, and
576 one for the return val */
577 cif_len = (ROUND_UP (cif_len, alignof(ffi_type))
578 + (nargs + n_struct_elts + 1)*sizeof(ffi_type));
087aa6aa
LC
579
580 mem = scm_gc_malloc_pointerless (cif_len, "foreign");
5b46a8c2 581 scm_cif = scm_from_pointer (mem, NULL);
087aa6aa
LC
582 cif = (ffi_cif *) mem;
583
d8b04f04
AW
584 /* reuse cif_len to walk through the mem */
585 cif_len = ROUND_UP (sizeof (ffi_cif), alignof(void*));
586 type_ptrs = (ffi_type**)(mem + cif_len);
587 cif_len = ROUND_UP (cif_len
588 + (nargs + n_structs + n_struct_elts)*sizeof(void*),
589 alignof(ffi_type));
590 types = (ffi_type*)(mem + cif_len);
591
592 /* whew. now knit the pointers together. */
593 cif->rtype = types++;
594 fill_ffi_type (return_type, cif->rtype, &type_ptrs, &types);
595 cif->arg_types = type_ptrs;
596 type_ptrs += nargs;
597 for (walk = arg_types, i = 0; scm_is_pair (walk); walk = scm_cdr (walk), i++)
598 {
599 cif->arg_types[i] = types++;
600 fill_ffi_type (scm_car (walk), cif->arg_types[i], &type_ptrs, &types);
601 }
602
603 /* round out the cif, and we're done. */
604 cif->abi = FFI_DEFAULT_ABI;
605 cif->nargs = nargs;
606 cif->bytes = 0;
607 cif->flags = 0;
608
609 if (FFI_OK != ffi_prep_cif (cif, FFI_DEFAULT_ABI, cif->nargs, cif->rtype,
610 cif->arg_types))
611 scm_misc_error (FUNC_NAME, "ffi_prep_cif failed", SCM_EOL);
612
613 return cif_to_procedure (scm_cif, func_ptr);
614}
615#undef FUNC_NAME
616
617\f
618
619/* Pre-generate trampolines for less than 10 arguments. */
620
621#ifdef WORDS_BIGENDIAN
622#define OBJCODE_HEADER 0, 0, 0, 8, 0, 0, 0, 40
623#define META_HEADER 0, 0, 0, 32, 0, 0, 0, 0
624#else
625#define OBJCODE_HEADER 8, 0, 0, 0, 40, 0, 0, 0
626#define META_HEADER 32, 0, 0, 0, 0, 0, 0, 0
627#endif
628
629#define CODE(nreq) \
630 OBJCODE_HEADER, \
631 /* 0 */ scm_op_assert_nargs_ee, 0, nreq, /* assert number of args */ \
632 /* 3 */ scm_op_object_ref, 0, /* push the pair with the cif and the function pointer */ \
633 /* 5 */ scm_op_foreign_call, nreq, /* and call (will return value as well) */ \
634 /* 7 */ scm_op_nop, \
635 /* 8 */ META (3, 7, nreq)
636
637#define META(start, end, nreq) \
638 META_HEADER, \
639 /* 0 */ scm_op_make_eol, /* bindings */ \
640 /* 1 */ scm_op_make_eol, /* sources */ \
641 /* 2 */ scm_op_make_int8, start, scm_op_make_int8, end, /* arity: from ip N to ip N */ \
642 /* 6 */ scm_op_make_int8, nreq, /* the arity is N required args */ \
643 /* 8 */ scm_op_list, 0, 3, /* make a list of those 3 vals */ \
644 /* 11 */ scm_op_list, 0, 1, /* and the arities will be a list of that one list */ \
645 /* 14 */ scm_op_load_symbol, 0, 0, 4, 'n', 'a', 'm', 'e', /* `name' */ \
646 /* 22 */ scm_op_object_ref, 1, /* the name from the object table */ \
647 /* 24 */ scm_op_cons, /* make a pair for the properties */ \
648 /* 25 */ scm_op_list, 0, 4, /* pack bindings, sources, and arities into list */ \
649 /* 28 */ scm_op_return, /* and return */ \
650 /* 29 */ scm_op_nop, scm_op_nop, scm_op_nop \
651 /* 32 */
652
653static const struct
654{
655 scm_t_uint64 dummy; /* ensure 8-byte alignment; perhaps there's a better way */
656 const scm_t_uint8 bytes[10 * (sizeof (struct scm_objcode) + 8
657 + sizeof (struct scm_objcode) + 32)];
658} raw_bytecode = {
659 0,
660 {
661 CODE (0), CODE (1), CODE (2), CODE (3), CODE (4),
662 CODE (5), CODE (6), CODE (7), CODE (8), CODE (9)
663 }
664};
665
666#undef CODE
667#undef META
668#undef OBJCODE_HEADER
669#undef META_HEADER
670
671/*
672 (defun generate-objcode-cells (n)
673 "Generate objcode cells for up to N arguments"
674 (interactive "p")
675 (let ((i 0))
676 (while (< i n)
677 (insert
678 (format " { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + %d) },\n"
679 (* (+ 4 4 8 4 4 32) i)))
680 (insert " { SCM_BOOL_F, SCM_PACK (0) },\n")
681 (setq i (1+ i)))))
682*/
683#define STATIC_OBJCODE_TAG \
684 SCM_PACK (scm_tc7_objcode | (SCM_F_OBJCODE_IS_STATIC << 8))
685
686static const struct
687{
688 scm_t_uint64 dummy; /* alignment */
689 scm_t_cell cells[10 * 2]; /* 10 double cells */
690} objcode_cells = {
691 0,
692 /* C-u 1 0 M-x generate-objcode-cells RET */
693 {
694 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 0) },
695 { SCM_BOOL_F, SCM_PACK (0) },
696 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 56) },
697 { SCM_BOOL_F, SCM_PACK (0) },
698 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 112) },
699 { SCM_BOOL_F, SCM_PACK (0) },
700 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 168) },
701 { SCM_BOOL_F, SCM_PACK (0) },
702 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 224) },
703 { SCM_BOOL_F, SCM_PACK (0) },
704 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 280) },
705 { SCM_BOOL_F, SCM_PACK (0) },
706 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 336) },
707 { SCM_BOOL_F, SCM_PACK (0) },
708 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 392) },
709 { SCM_BOOL_F, SCM_PACK (0) },
710 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 448) },
711 { SCM_BOOL_F, SCM_PACK (0) },
712 { STATIC_OBJCODE_TAG, SCM_PACK (raw_bytecode.bytes + 504) },
713 { SCM_BOOL_F, SCM_PACK (0) }
714 }
715};
716
717static const SCM objcode_trampolines[10] = {
718 SCM_PACK (objcode_cells.cells+0),
719 SCM_PACK (objcode_cells.cells+2),
720 SCM_PACK (objcode_cells.cells+4),
721 SCM_PACK (objcode_cells.cells+6),
722 SCM_PACK (objcode_cells.cells+8),
723 SCM_PACK (objcode_cells.cells+10),
724 SCM_PACK (objcode_cells.cells+12),
725 SCM_PACK (objcode_cells.cells+14),
726 SCM_PACK (objcode_cells.cells+16),
727 SCM_PACK (objcode_cells.cells+18),
728};
729
730static SCM
731cif_to_procedure (SCM cif, SCM func_ptr)
732{
d4149a51
LC
733 ffi_cif *c_cif;
734 unsigned int nargs;
d8b04f04 735 SCM objcode, table, ret;
d4149a51 736
5b46a8c2 737 c_cif = (ffi_cif *) SCM_POINTER_VALUE (cif);
d4149a51
LC
738 nargs = c_cif->nargs;
739
d8b04f04
AW
740 if (nargs < 10)
741 objcode = objcode_trampolines[nargs];
742 else
75383ddb
AW
743 scm_misc_error ("make-foreign-function", "args >= 10 currently unimplemented",
744 SCM_EOL);
d8b04f04
AW
745
746 table = scm_c_make_vector (2, SCM_UNDEFINED);
747 SCM_SIMPLE_VECTOR_SET (table, 0, scm_cons (cif, func_ptr));
748 SCM_SIMPLE_VECTOR_SET (table, 1, SCM_BOOL_F); /* name */
749 ret = scm_make_program (objcode, table, SCM_BOOL_F);
750
751 return ret;
752}
753
165a8643 754/* Set *LOC to the foreign representation of X with TYPE. */
4d9130a5 755static void
165a8643 756unpack (const ffi_type *type, void *loc, SCM x)
4d9130a5
AW
757{
758 switch (type->type)
759 {
760 case FFI_TYPE_FLOAT:
165a8643 761 *(float *) loc = scm_to_double (x);
4d9130a5
AW
762 break;
763 case FFI_TYPE_DOUBLE:
165a8643 764 *(double *) loc = scm_to_double (x);
4d9130a5
AW
765 break;
766 case FFI_TYPE_UINT8:
165a8643 767 *(scm_t_uint8 *) loc = scm_to_uint8 (x);
4d9130a5
AW
768 break;
769 case FFI_TYPE_SINT8:
165a8643 770 *(scm_t_int8 *) loc = scm_to_int8 (x);
4d9130a5
AW
771 break;
772 case FFI_TYPE_UINT16:
165a8643 773 *(scm_t_uint16 *) loc = scm_to_uint16 (x);
4d9130a5
AW
774 break;
775 case FFI_TYPE_SINT16:
165a8643 776 *(scm_t_int16 *) loc = scm_to_int16 (x);
4d9130a5
AW
777 break;
778 case FFI_TYPE_UINT32:
165a8643 779 *(scm_t_uint32 *) loc = scm_to_uint32 (x);
4d9130a5
AW
780 break;
781 case FFI_TYPE_SINT32:
165a8643 782 *(scm_t_int32 *) loc = scm_to_int32 (x);
4d9130a5
AW
783 break;
784 case FFI_TYPE_UINT64:
165a8643 785 *(scm_t_uint64 *) loc = scm_to_uint64 (x);
4d9130a5
AW
786 break;
787 case FFI_TYPE_SINT64:
165a8643 788 *(scm_t_int64 *) loc = scm_to_int64 (x);
4d9130a5
AW
789 break;
790 case FFI_TYPE_STRUCT:
5b46a8c2 791 memcpy (loc, SCM_POINTER_VALUE (x), type->size);
4d9130a5
AW
792 break;
793 case FFI_TYPE_POINTER:
5b46a8c2 794 *(void **) loc = SCM_POINTER_VALUE (x);
4d9130a5
AW
795 break;
796 default:
797 abort ();
798 }
799}
800
165a8643 801/* Return a Scheme representation of the foreign value at LOC of type TYPE. */
4d9130a5 802static SCM
165a8643 803pack (const ffi_type * type, const void *loc)
4d9130a5
AW
804{
805 switch (type->type)
806 {
807 case FFI_TYPE_VOID:
808 return SCM_UNSPECIFIED;
809 case FFI_TYPE_FLOAT:
165a8643 810 return scm_from_double (*(float *) loc);
4d9130a5 811 case FFI_TYPE_DOUBLE:
165a8643 812 return scm_from_double (*(double *) loc);
4d9130a5 813 case FFI_TYPE_UINT8:
165a8643 814 return scm_from_uint8 (*(scm_t_uint8 *) loc);
4d9130a5 815 case FFI_TYPE_SINT8:
165a8643 816 return scm_from_int8 (*(scm_t_int8 *) loc);
4d9130a5 817 case FFI_TYPE_UINT16:
165a8643 818 return scm_from_uint16 (*(scm_t_uint16 *) loc);
4d9130a5 819 case FFI_TYPE_SINT16:
165a8643 820 return scm_from_int16 (*(scm_t_int16 *) loc);
4d9130a5 821 case FFI_TYPE_UINT32:
165a8643 822 return scm_from_uint32 (*(scm_t_uint32 *) loc);
4d9130a5 823 case FFI_TYPE_SINT32:
165a8643 824 return scm_from_int32 (*(scm_t_int32 *) loc);
4d9130a5 825 case FFI_TYPE_UINT64:
165a8643 826 return scm_from_uint64 (*(scm_t_uint64 *) loc);
4d9130a5 827 case FFI_TYPE_SINT64:
165a8643 828 return scm_from_int64 (*(scm_t_int64 *) loc);
4d9130a5
AW
829 case FFI_TYPE_STRUCT:
830 {
165a8643
LC
831 void *mem = scm_gc_malloc_pointerless (type->size, "foreign");
832 memcpy (mem, loc, type->size);
5b46a8c2 833 return scm_from_pointer (mem, NULL);
4d9130a5
AW
834 }
835 case FFI_TYPE_POINTER:
5b46a8c2 836 return scm_from_pointer (*(void **) loc, NULL);
4d9130a5
AW
837 default:
838 abort ();
839 }
840}
841
165a8643 842
4d9130a5 843SCM
165a8643 844scm_i_foreign_call (SCM foreign, const SCM *argv)
4d9130a5
AW
845{
846 /* FOREIGN is the pair that cif_to_procedure set as the 0th element of the
847 objtable. */
848 ffi_cif *cif;
b577bc90 849 void (*func) (void);
4d9130a5
AW
850 scm_t_uint8 *data;
851 void *rvalue;
852 void **args;
853 unsigned i;
a2c69049 854 size_t arg_size;
4d9130a5
AW
855 scm_t_ptrdiff off;
856
5b46a8c2
LC
857 cif = SCM_POINTER_VALUE (SCM_CAR (foreign));
858 func = SCM_POINTER_VALUE (SCM_CDR (foreign));
a2c69049
LC
859
860 /* Argument pointers. */
b577bc90 861 args = alloca (sizeof (void *) * cif->nargs);
a2c69049 862
86425e26
LC
863 /* Compute the worst-case amount of memory needed to store all the argument
864 values. Note: as of libffi 3.0.9 `cif->bytes' is undocumented and is zero,
865 so it can't be used for that purpose. */
866 for (i = 0, arg_size = 0; i < cif->nargs; i++)
867 arg_size += cif->arg_types[i]->size + cif->arg_types[i]->alignment - 1;
a2c69049
LC
868
869 /* Space for argument values, followed by return value. */
86425e26
LC
870 data = alloca (arg_size + cif->rtype->size
871 + max (sizeof (void *), cif->rtype->alignment));
a2c69049 872
165a8643
LC
873 /* Unpack ARGV to native values, setting ARGV pointers. */
874 for (i = 0, off = 0;
875 i < cif->nargs;
86425e26
LC
876 off = (scm_t_uint8 *) args[i] - data + cif->arg_types[i]->size,
877 i++)
4d9130a5 878 {
86425e26
LC
879 /* Suitably align the storage area for argument I. */
880 args[i] = (void *) ROUND_UP ((scm_t_uintptr) data + off,
881 cif->arg_types[i]->alignment);
882 assert ((scm_t_uintptr) args[i] % cif->arg_types[i]->alignment == 0);
4d9130a5 883 unpack (cif->arg_types[i], args[i], argv[i]);
4d9130a5 884 }
165a8643 885
86425e26
LC
886 /* Prepare space for the return value. On some platforms, such as
887 `armv5tel-*-linux-gnueabi', the return value has to be at least
888 word-aligned, even if its type doesn't have any alignment requirement as is
889 the case with `char'. */
890 rvalue = (void *) ROUND_UP ((scm_t_uintptr) data + off,
891 max (sizeof (void *), cif->rtype->alignment));
4d9130a5
AW
892
893 /* off we go! */
894 ffi_call (cif, func, rvalue, args);
895
896 return pack (cif->rtype, rvalue);
897}
898
d8b04f04
AW
899\f
900
ab4779ff 901static void
e2c2a699
AW
902scm_init_foreign (void)
903{
904#ifndef SCM_MAGIC_SNARFER
905#include "libguile/foreign.x"
906#endif
ab4779ff
AW
907 scm_define (sym_void, scm_from_uint8 (SCM_FOREIGN_TYPE_VOID));
908 scm_define (sym_float, scm_from_uint8 (SCM_FOREIGN_TYPE_FLOAT));
909 scm_define (sym_double, scm_from_uint8 (SCM_FOREIGN_TYPE_DOUBLE));
910 scm_define (sym_uint8, scm_from_uint8 (SCM_FOREIGN_TYPE_UINT8));
911 scm_define (sym_int8, scm_from_uint8 (SCM_FOREIGN_TYPE_INT8));
912 scm_define (sym_uint16, scm_from_uint8 (SCM_FOREIGN_TYPE_UINT16));
913 scm_define (sym_int16, scm_from_uint8 (SCM_FOREIGN_TYPE_INT16));
914 scm_define (sym_uint32, scm_from_uint8 (SCM_FOREIGN_TYPE_UINT32));
915 scm_define (sym_int32, scm_from_uint8 (SCM_FOREIGN_TYPE_INT32));
916 scm_define (sym_uint64, scm_from_uint8 (SCM_FOREIGN_TYPE_UINT64));
917 scm_define (sym_int64, scm_from_uint8 (SCM_FOREIGN_TYPE_INT64));
dd1464bf
LC
918
919 scm_define (sym_int,
920#if SIZEOF_INT == 8
921 scm_from_uint8 (SCM_FOREIGN_TYPE_INT64)
922#elif SIZEOF_INT == 4
923 scm_from_uint8 (SCM_FOREIGN_TYPE_INT32)
924#else
925# error unsupported sizeof (int)
926#endif
927 );
928
929 scm_define (sym_unsigned_int,
930#if SIZEOF_UNSIGNED_INT == 8
931 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT64)
932#elif SIZEOF_UNSIGNED_INT == 4
933 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT32)
934#else
935# error unsupported sizeof (unsigned int)
936#endif
937 );
938
939 scm_define (sym_long,
940#if SIZEOF_LONG == 8
941 scm_from_uint8 (SCM_FOREIGN_TYPE_INT64)
942#elif SIZEOF_LONG == 4
943 scm_from_uint8 (SCM_FOREIGN_TYPE_INT32)
944#else
945# error unsupported sizeof (long)
946#endif
947 );
948
949 scm_define (sym_unsigned_long,
950#if SIZEOF_UNSIGNED_LONG == 8
951 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT64)
952#elif SIZEOF_UNSIGNED_LONG == 4
953 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT32)
954#else
955# error unsupported sizeof (unsigned long)
956#endif
957 );
958
959 scm_define (sym_size_t,
960#if SIZEOF_SIZE_T == 8
961 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT64)
962#elif SIZEOF_SIZE_T == 4
963 scm_from_uint8 (SCM_FOREIGN_TYPE_UINT32)
964#else
965# error unsupported sizeof (size_t)
966#endif
967 );
54eb59cf 968
5b46a8c2 969 null_pointer = scm_cell (scm_tc7_pointer, 0);
3e5ea35c 970 scm_define (sym_null, null_pointer);
ab4779ff
AW
971}
972
973void
974scm_register_foreign (void)
975{
44602b08
AW
976 scm_c_register_extension ("libguile-" SCM_EFFECTIVE_VERSION,
977 "scm_init_foreign",
ab4779ff
AW
978 (scm_t_extension_init_func)scm_init_foreign,
979 NULL);
5b46a8c2 980 pointer_weak_refs = scm_make_weak_key_hash_table (SCM_UNDEFINED);
e2c2a699
AW
981}
982
983/*
984 Local Variables:
985 c-file-style: "gnu"
986 End:
987*/