Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-19 05:39:18 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

initial uvector ffi support

Browse source
This commit is contained in:
Alex Shinn 2019-12-17 23:48:26 +08:00
parent 5b60641f43
commit d5b5a079f4
1 changed files with 24 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
tools/chibi-ffi
View file

@ -213,20 +213,21 @@
(assq type *c-enum-types*)) (assq type *c-enum-types*))
(define (signed-int-type? type) (define (signed-int-type? type)
(or (memq type '(signed-char short int long)) (or (memq type '(signed-char short int long s8 s16 s32 s64))
(memq type *c-int-types*) (memq type *c-int-types*)
(enum-type? type))) (enum-type? type)))
(define (unsigned-int-type? type) (define (unsigned-int-type? type)
(memq type '(unsigned-char unsigned-short unsigned unsigned-int unsigned-long (memq type '(unsigned-char unsigned-short unsigned unsigned-int unsigned-long
size_t off_t time_t clock_t dev_t ino_t mode_t nlink_t size_t off_t time_t clock_t dev_t ino_t mode_t nlink_t
uid_t gid_t pid_t blksize_t blkcnt_t sigval_t))) uid_t gid_t pid_t blksize_t blkcnt_t sigval_t
u1 u8 u16 u32 u64)))
(define (int-type? type) (define (int-type? type)
(or (signed-int-type? type) (unsigned-int-type? type))) (or (signed-int-type? type) (unsigned-int-type? type)))
(define (float-type? type) (define (float-type? type)
(memq type '(float double long-double long-long-double))) (memq type '(float double long-double long-long-double f32 f64)))
(define (string-type? type) (define (string-type? type)
(or (memq type '(char* string env-string non-null-string)) (or (memq type '(char* string env-string non-null-string))
@ -851,7 +852,7 @@
val) val)
((uniform-vector-type? base) ((uniform-vector-type? base)
(cat "sexp_make_cuvector(ctx, " (uniform-vector-type-code base) ", " (cat "sexp_make_cuvector(ctx, " (uniform-vector-type-code base) ", "
val ", " (if (c-type-free? type) 1 0))) val ", " (if (c-type-free? type) 1 0) ")"))
(else (else
(let ((ctype (lookup-type base)) (let ((ctype (lookup-type base))
(void*? (void-pointer-type? type))) (void*? (void-pointer-type? type)))
@ -932,7 +933,16 @@
((string env-string non-null-string bytevector u8vector) ((string env-string non-null-string bytevector u8vector)
(if *c++?* "string" "char*")) (if *c++?* "string" "char*"))
((fileno fileno-nonblock) "int") ((fileno fileno-nonblock) "int")
(else (string-replace (symbol->string base) #\- " ")))) ((u1 u8 u16 u32 u64 s8 s16 s32 s64 f32 f64)
(let ((a
(uniform-vector-ctype
(string->symbol
(string-append (x->string base) "vector")))))
(substring a 0 (- (string-length a) 1))))
(else
(if (uniform-vector-type? base)
(uniform-vector-ctype base)
(string-replace (symbol->string base) #\- " ")))))
(define (type-struct-type type) (define (type-struct-type type)
(let ((type-spec (lookup-type (if (vector? type) (type-base type) type)))) (let ((type-spec (lookup-type (if (vector? type) (type-base type) type))))
@ -1258,7 +1268,11 @@
(cond (cond
((or (type-result? arg) (type-array arg)) ((or (type-result? arg) (type-array arg))
(cat (if (or (type-free? arg) (type-reference? arg) (cat (if (or (type-free? arg) (type-reference? arg)
(type-address-of? arg) (basic-type? arg)) (type-address-of? arg) (basic-type? arg)
;; a non-pointer, non-basic result needs indirection
(and (type-result? arg) (not (type-pointer? arg))
(not (type-struct-type arg)) (not (basic-type? arg))
(not (type-array arg))))
"&" "&"
"") "")
"tmp" (type-index arg))) "tmp" (type-index arg)))
@ -1289,8 +1303,10 @@
(cat " tmp" (type-index a) (cat " tmp" (type-index a)
" = new " (type-c-name-derefed (type-base a)) "();\n") " = new " (type-c-name-derefed (type-base a)) "();\n")
(cat " tmp" (type-index a) (cat " tmp" (type-index a)
" = (" (type-c-name (type-base a)) "*) calloc(" " = (" (if (type-const? a) "const " "")
"(sexp_unbox_fixnum(sexp_length(ctx, arg" (type-index a) (type-c-name (type-base a)) "*) "
"calloc((sexp_unbox_fixnum(sexp_length(ctx, arg"
(type-index a)
"))+1), sizeof(tmp" (type-index a) "[0]));\n"))) "))+1), sizeof(tmp" (type-index a) "[0]));\n")))
(cat " for (i=0, res=arg" (type-index a) (cat " for (i=0, res=arg" (type-index a)
"; sexp_pairp(res); res=sexp_cdr(res), i++) {\n" "; sexp_pairp(res); res=sexp_cdr(res), i++) {\n"