From 6205f2f1f1a344408ef0e6503873b091f3690aed Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Mon, 17 Feb 2025 19:58:46 +0100
Subject: [PATCH] add a simple ffi test using structs

---
 tests-pl/ffi_struct.pl | 19 +++++++++++++++
 tests/scryer/ffi.rs    | 52 ++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 71 insertions(+)
 create mode 100644 tests-pl/ffi_struct.pl

diff --git a/tests-pl/ffi_struct.pl b/tests-pl/ffi_struct.pl
new file mode 100644
index 00000000..6c7fff98
--- /dev/null
+++ b/tests-pl/ffi_struct.pl
@@ -0,0 +1,19 @@
+:- use_module(library(os)).
+:- use_module(library(ffi)).
+
+test :- 
+    read(Body),
+    term_variables(Body, [LIB]),
+    Body,
+    foreign_struct(pg, [uint8, uint16, uint32, uint64, uint8, f32, f64]),
+    use_foreign_module(LIB, ['construct'([uint8, uint16, uint32, uint64, uint8, f32, f64], pg), 'modify'([pg], pg)]),
+    ffi:'construct'(8, 12, 46, 40, 127, 1.368, -4.587, PG),
+    write(("PG"-PG)), nl,
+    ffi:'modify'(PG, [pg, A, B, C, D, A2, E, F]),
+    % skipping E & F for now as the result changes between runs for some reason
+    write(("PG2"-[pg, A, B, C, D, A2, "skip", "skip"])), nl,
+    % avoide singelton warning
+    E = _,
+    F = _.
+
+:- initialization(test).
diff --git a/tests/scryer/ffi.rs b/tests/scryer/ffi.rs
index a98f85a2..472f5df4 100644
--- a/tests/scryer/ffi.rs
+++ b/tests/scryer/ffi.rs
@@ -194,3 +194,55 @@ fn ffi_invalid_type() {
         "% Warning: initialization/1 failed for: user:test\n",
     );
 }
+
+#[test]
+#[cfg_attr(miri, ignore = "ffi")]
+fn ffi_struct() {
+    let dynlib_path = build_dynamic_library(
+        "ffi_struct",
+        r##"
+                #[repr(C)]
+                struct PaddingGalore {
+                    a: u8,
+                    b: u16,
+                    c: u32,
+                    d: u64,
+                    a2: u8,
+                    e: f32,
+                    f: f64,
+                }
+
+                #[no_mangle]
+                extern "C" fn construct(a: u8, b: u16, c: u32, d: u64, a2: u8, e: f32, f: f64) -> PaddingGalore {
+                    PaddingGalore {
+                        a,
+                        a2,
+                        b,
+                        c,
+                        d,
+                        e,
+                        f,
+                    }
+                }
+
+                #[no_mangle]
+                extern "C" fn modify(data: PaddingGalore) -> PaddingGalore {
+                    PaddingGalore {
+                        a: data.a2,
+                        a2: data.a,
+                        b: !data.b,
+                        c: !data.c,
+                        d: !data.d,
+                        e: -data.e,
+                        f: -data.f,
+                    }
+                }
+            "##,
+    );
+
+    load_module_test_with_input(
+        "tests-pl/ffi_struct.pl",
+        format!("LIB={dynlib_path:?}."),
+        "[P,G]-[pg,8,12,46,40,127,1.3680000305175781,-4.587]\n[P,G,2]-[pg,127,65523,4294967249,18446744073709551575,8,[s,k,i,p],[s,k,i,p]]\n",
+    );
+}
-- 
2.54.0