lab/sx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ffi 0.1: primitives baseline (#import c, one roundtrip per type)

Browse Source 
87/87 regression tests pass (was 86; +ffi-01-primitives).

vendors/ffi_primitives/{.h,.c} exposes a trivial identity roundtrip
per primitive C type — int/uint/short/ushort/long long/unsigned long
long/signed char/unsigned char/float/double/void* — plus two-arg
add helpers (int + double) for multi-arg ABI exercise. The sx-side
example imports the .h via `#import c { #include / #source }` and
prints each result; the snapshot in tests/expected pins today's
parameter + return ABI so Phase 1's #objc_call / #jni_call lowering
work can't silently regress primitive marshalling.

Two findings logged in current/CHECKPOINT-FFI.md's Known issues
section (current behavior, not new bugs): (1) c_import.zig maps
`signed char` -> `u8` not `s8`, and (2) sx integer-literal parser
rejects values >= 2^63 as overflow even when the receiver is u64.
Both worked around in this test without blocking the baseline.
This commit is contained in:
agra
2026-05-19 11:15:13 +03:00
parent 7d2e579667
commit bb80b7ca87
5 changed files with 99 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
vendors/ffi_primitives/ffi_primitives.c vendored Normal file
View File

@@ -0,0 +1,16 @@
#include "ffi_primitives.h"
int ffi_id_int (int v) { return v; }
unsigned int ffi_id_uint (unsigned int v) { return v; }
short ffi_id_short (short v) { return v; }
unsigned short ffi_id_ushort(unsigned short v) { return v; }
long long ffi_id_s64 (long long v) { return v; }
unsigned long long ffi_id_u64 (unsigned long long v) { return v; }
signed char ffi_id_schar (signed char v) { return v; }
unsigned char ffi_id_uchar (unsigned char v) { return v; }
float ffi_id_f32 (float v) { return v; }
double ffi_id_f64 (double v) { return v; }
void * ffi_id_ptr (void * v) { return v; }
int ffi_add_int (int a, int b) { return a + b; }
double ffi_add_double(double a, double b) { return a + b; }

20
vendors/ffi_primitives/ffi_primitives.h vendored Normal file
View File

@@ -0,0 +1,20 @@
// FFI baseline test helpers — one trivial roundtrip per primitive C
// type so the sx-side test can verify both the parameter ABI and the
// return-value ABI per type. Locking these in BEFORE the Phase 1
// `#objc_call` / `#jni_call` work so any future lowering change that
// silently regresses primitive marshalling shows up here.
int ffi_id_int (int v);
unsigned int ffi_id_uint (unsigned int v);
short ffi_id_short (short v);
unsigned short ffi_id_ushort(unsigned short v);
long long ffi_id_s64 (long long v);
unsigned long long ffi_id_u64 (unsigned long long v);
signed char ffi_id_schar (signed char v);
unsigned char ffi_id_uchar (unsigned char v);
float ffi_id_f32 (float v);
double ffi_id_f64 (double v);
void * ffi_id_ptr (void * v);
int ffi_add_int (int a, int b);
double ffi_add_double(double a, double b);