Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work

2 files changed, 43 insertions, 0 deletions

diff --git a/test/monniaux/varargs/Makefile b/test/monniaux/varargs/Makefile
new file mode 100644
index 00000000..f24d41ac
--- /dev/null
+++ b/test/monniaux/varargs/Makefile
@@ -0,0 +1,9 @@
+include ../rules.mk
+
+all: varargs.ccomp.k1c.s varargs.ccomp.k1c
+
+varargs.ccomp.k1c: varargs.ccomp.k1c.o
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
+
+clean:
+	$(RM) -f *.k1c *.host *.o *.s
diff --git a/test/monniaux/varargs/varargs.c b/test/monniaux/varargs/varargs.c
new file mode 100644
index 00000000..7aa95799
--- /dev/null
+++ b/test/monniaux/varargs/varargs.c
@@ -0,0 +1,34 @@
+#include <stdio.h>
+#include <stdarg.h>
+
+void simple_printf(const char* fmt, ...)
+{
+    va_list args;
+    va_start(args, fmt);
+ 
+    while (*fmt != '\0') {
+        if (*fmt == 'd') {
+            int i = va_arg(args, int);
+            printf("%d\n", i);
+        } else if (*fmt == 'c') {
+            // A 'char' variable will be promoted to 'int'
+            // A character literal in C is already 'int' by itself
+            int c = va_arg(args, int);
+            printf("%c\n", c);
+        } else if (*fmt == 'f') {
+            double d = va_arg(args, double);
+            printf("%f\n", d);
+        } else if (*fmt == 'l') {
+            long d = va_arg(args, long);
+            printf("%ld\n", d);
+        }
+        ++fmt;
+    }
+ 
+    va_end(args);
+}
+ 
+int main(void)
+{
+  simple_printf("dlcff", 3, 4L, 'a', 1.999, 42.5); 
+}