WIP Add criterion-free minimal test for ARM

rewriter/tests/CMakeLists.txt

@@ -45,6 +45,7 @@ add_subdirectory(heap_two_keys)
 # add_subdirectory(libusb)
 add_subdirectory(macro_attr)
 add_subdirectory(minimal)
+add_subdirectory(minimal_arm)
 add_subdirectory(mmap_loop)
 # TODO: support C++ namespaces
 #add_subdirectory(namespaces)

rewriter/tests/minimal_arm/CMakeLists.txt

@@ -0,0 +1,11 @@
+# Build the wrapped lib
+define_shared_lib(SRCS minimal.c)
+
+# Build the test
+define_test(
+    SRCS main.c
+    NEEDS_LD_WRAP
+)
+
+# Build the wrapper lib
+define_ia2_wrapper()

rewriter/tests/minimal_arm/Output/minimal.out

@@ -0,0 +1 @@
+foo

rewriter/tests/minimal_arm/include/minimal.h

@@ -0,0 +1,10 @@
+#pragma once
+
+// This function does nothing
+void foo();
+
+// This returns an integer
+int return_val();
+
+// This takes an integer
+void arg1(int x);

rewriter/tests/minimal_arm/main.c

@@ -0,0 +1,18 @@
+/*
+RUN: sh -c 'if [ ! -s "minimal_call_gates_0.ld" ]; then echo "No link args as expected"; exit 0; fi; echo "Unexpected link args"; exit 1;'
+*/
+
+// Check that readelf shows exactly one executable segment
+
+#include "minimal.h"
+#include <ia2.h>
+#include <stdio.h>
+
+INIT_RUNTIME(1);
+#define IA2_COMPARTMENT 1
+#include <ia2_compartment_init.inc>
+
+int main() {
+    printf("Calling foo");
+    foo();
+}

rewriter/tests/minimal_arm/minimal.c

@@ -0,0 +1,23 @@
+/*
+RUN: cat minimal_call_gates_1.ld | FileCheck --check-prefix=LINKARGS %s
+*/
+
+#include "minimal.h"
+#include <stdio.h>
+
+// LINKARGS: --wrap=arg1
+void arg1(int x) {
+    printf("arg1");
+}
+
+// LINKARGS: --wrap=foo
+void foo() {
+    printf("foo");
+}
+
+// LINKARGS: --wrap=return_val
+int return_val() {
+    printf("return_val");
+    return 1;
+}
+