Tests: change to use FFI syntax instead of command line

Author: alastairreid

tests/backends/ffi_export_00.isa

@@ -1,8 +1,11 @@
-// RUN: %aslrun %s --import=FFI_Call128 --export=FFI_Extract128_32 --extra-c=%S/ffi_export_00.c | filecheck %s
+// RUN: %aslrun %s --extra-c=%S/ffi_export_00.c | filecheck %s
 // Copyright (C) 2025-2026 Intel Corporation
 
 // UNSUPPORTED: interpreter
 
+foreign import function "FFI_Call128" = FFI_Call128 with {};
+foreign export function "FFI_Extract128_32" = FFI_Extract128_32 with {};
+
 // Function imported from C
 function FFI_Call128(x : Bits(128)) -> Bits(32);
 

tests/backends/ffi_export_01.isa

@@ -1,8 +1,27 @@
-// RUN: %aslrun %s --configuration=%S/ffi_export_01.json --extra-c=%S/ffi_export_01.c | filecheck %s
+// RUN: %aslrun %s --extra-c=%S/ffi_export_01.c | filecheck %s
 // Copyright (C) 2025-2026 Intel Corporation
 
 // UNSUPPORTED: interpreter
 
+foreign export type "E" = E;
+foreign export function "FFI_bits8"        = FFI_bits8 with {};
+foreign export function "FFI_bits16"       = FFI_bits16 with {};
+foreign export function "FFI_bits32"       = FFI_bits32 with {};
+foreign export function "FFI_bits64"       = FFI_bits64 with {};
+foreign export function "FFI_bits2"        = FFI_bits2 with {};
+foreign export function "FFI_bits17"       = FFI_bits17 with {};
+foreign export function "FFI_bits65"       = FFI_bits65 with {};
+foreign export function "FFI_bits127"      = FFI_bits127 with {};
+foreign export function "FFI_bits128"      = FFI_bits128 with {};
+foreign export function "FFI_string"       = FFI_string with {};
+foreign export function "FFI_E"            = FFI_E with {};
+foreign export function "FFI_Boolean"      = FFI_Boolean with {};
+foreign export function "FFI_integer"      = FFI_integer with {};
+foreign export function "FFI_sint17"       = FFI_sint17 with {};
+foreign export function "FFI_int_bool"     = FFI_int_bool with {};
+
+foreign import function "FFI_test_exports" = FFI_test_exports with {};
+
 enumeration E = { A, B, C };
 
 // to be exported

tests/backends/ffi_export_01.json

@@ -1,30 +1,25 @@
-// RUN: %aslrun %s --import=FFI_Invert32 --import=FFI_Invert128 --extra-c=%S/ffi_import_00.c | filecheck %s
+// RUN: %aslrun %s --extra-c=%S/ffi_import_00.c | filecheck %s
 // Copyright (C) 2025-2026 Intel Corporation
 
 // UNSUPPORTED: interpreter
 
+foreign import function "FFI_Invert32" = FFI_Invert with { size => 32 };
+foreign import function "FFI_Invert128" = FFI_Invert with { size => 128 };
+
 // The following functions will be replaced by
 // a version that is defined externally.
 // Normally, the internal and external version have
 // similar behaviour but, for testing purposes, the
 // internal version is the identity function
 // and the external version inverts its argument.
-function FFI_Invert32(x : Bits(32)) -> Bits(32)
-begin
-    return x;
-end
-
-function FFI_Invert128(x : Bits(128)) -> Bits(128)
-begin
-    return x;
-end
+function FFI_Invert(implicit size : {0..}, x : Bits(size)) -> Bits(size);
 
 function main() -> Builtin::Foreign::CInt
 begin
-    Std::Print::Bits::Hex(FFI_Invert32(32'x3)); Print("\n");
+    Std::Print::Bits::Hex(FFI_Invert(32'x3)); Print("\n");
     // CHECK: 32'xfffffffc
 
-    Std::Print::Bits::Hex(FFI_Invert128(128'x3)); Print("\n");
+    Std::Print::Bits::Hex(FFI_Invert(128'x3)); Print("\n");
     // CHECK: 128'xfffffffffffffffffffffffffffffffc
 
     return Builtin::Foreign::CInt::From_Integer(0);

tests/backends/ffi_import_00.isa

@@ -1,8 +1,25 @@
-// RUN: %aslrun %s --configuration=%S/ffi_import_01.json --extra-c=%S/ffi_import_01.c | filecheck %s
+// RUN: %aslrun %s --extra-c=%S/ffi_import_01.c | filecheck %s
 // Copyright (C) 2025-2026 Intel Corporation
 
 // UNSUPPORTED: interpreter
 
+foreign export type     "E"                = E;
+foreign import function "FFI_null_bits8"   = FFI_null_bits8 with {};
+foreign import function "FFI_null_bits16"  = FFI_null_bits16 with {};
+foreign import function "FFI_null_bits32"  = FFI_null_bits32 with {};
+foreign import function "FFI_null_bits64"  = FFI_null_bits64 with {};
+foreign import function "FFI_null_bits2"   = FFI_null_bits2 with {};
+foreign import function "FFI_null_bits17"  = FFI_null_bits17 with {};
+foreign import function "FFI_null_bits65"  = FFI_null_bits65 with {};
+foreign import function "FFI_null_bits127" = FFI_null_bits127 with {};
+foreign import function "FFI_null_bits128" = FFI_null_bits128 with {};
+foreign import function "FFI_null_string"  = FFI_null_string with {};
+foreign import function "FFI_null_E"       = FFI_null_E with {};
+foreign import function "FFI_null_Boolean" = FFI_null_Boolean with {};
+foreign import function "FFI_null_integer" = FFI_null_integer with {};
+foreign import function "FFI_null_sint17"  = FFI_null_sint17 with {};
+foreign import function "FFI_int_bool"     = FFI_int_bool with {};
+
 enumeration E = { A, B, C };
 
 // to be defined externally

tests/backends/ffi_import_01.isa

@@ -1,4 +1,4 @@
-// RUN: %iii --batchmode --configuration=%S/config.json --project=%S/iii.prj %s | filecheck %s
+// RUN: %iii --batchmode --project=%S/iii.prj %s | filecheck %s
 // Copyright (C) 2024-2026 Intel Corporation
 
 function C(x : Bits(N)) -> Integer
@@ -16,6 +16,8 @@ begin
     return B(0b0);
 end
 
+foreign export function "A" = A with {};
+
 // CHECK:       WARNING: Bitwidth parameters are not statically known in the following definitions.
 // CHECK-NEXT:  This will cause code generation to fail.
 //