edd8689fb2
Now that emit_llvm.zig bridges the struct<->[2 x i64] ABI mismatch
(previous commit), the 9..16-byte integer-only shapes round-trip
cleanly. Extended `examples/ffi-02-small-struct.sx` to cover all
four aggregate ABI slots in one place:
Vec2 — 8 B, two f32 (register pair, float)
Vec4f — 16 B, four f32 (HFA — homogeneous float aggregate)
Pair64 — 16 B, two s64 (9..16 B int — [2 x i64] coercion slot)
Quad32 — 16 B, four s32 (same slot as Pair64)
Vendor helpers (`vendors/ffi_structs/{ffi_structs.h,ffi_structs.c}`)
grow `ffi_pair64_*` + `ffi_quad32_*` companions. Snapshot updated
to capture the full output. 89/89 regression tests pass.
`examples/101-ffi-medium-struct.sx` keeps a minimal focused repro
of the Pair64 case so the issue's emergence-and-fix history stays
greppable.
30 lines
1.3 KiB
C
30 lines
1.3 KiB
C
// FFI struct-marshalling baselines covering four aggregate ABI slots:
|
|
// Vec2 — 8 B, two f32 — register-pair (float) path
|
|
// Vec4f — 16 B, four f32 — HFA (homogeneous float aggregate)
|
|
// Pair64 — 16 B, two s64 — 9..16 B int ABI ([2 x i64] coercion)
|
|
// Quad32 — 16 B, four s32 — 9..16 B int ABI ([2 x i64] coercion)
|
|
// Declared here so the .c has a header to include; sx side imports
|
|
// via `#source` only and re-declares the structs natively (c_import
|
|
// rewrites struct-typed params/returns to *void).
|
|
|
|
typedef struct { float x; float y; } Vec2;
|
|
typedef struct { float x; float y; float z; float w; } Vec4f;
|
|
typedef struct { long long a; long long b; } Pair64;
|
|
typedef struct { int a; int b; int c; int d; } Quad32;
|
|
|
|
Vec2 ffi_vec2_make (float x, float y);
|
|
Vec2 ffi_vec2_swap (Vec2 v);
|
|
float ffi_vec2_sum (Vec2 v);
|
|
|
|
Vec4f ffi_vec4f_make (float x, float y, float z, float w);
|
|
Vec4f ffi_vec4f_reverse(Vec4f v);
|
|
float ffi_vec4f_sum (Vec4f v);
|
|
|
|
Pair64 ffi_pair64_make (long long a, long long b);
|
|
Pair64 ffi_pair64_swap (Pair64 p);
|
|
long long ffi_pair64_sum (Pair64 p);
|
|
|
|
Quad32 ffi_quad32_make (int a, int b, int c, int d);
|
|
Quad32 ffi_quad32_reverse(Quad32 q);
|
|
int ffi_quad32_sum (Quad32 q);
|