From 79a2dac7e5317e515ce9610db1d48d0fc9ff0708 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 30 Nov 2018 17:31:11 +0100
Subject: Finished implementation of va_arg + testing done

---
 runtime/Makefile          |  2 +-
 runtime/mppa_k1c/vararg.S | 72 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 73 insertions(+), 1 deletion(-)
 create mode 100644 runtime/mppa_k1c/vararg.S

(limited to 'runtime')

diff --git a/runtime/Makefile b/runtime/Makefile
index 30c1fc83..66ec6fec 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -23,7 +23,7 @@ OBJS=i64_dtou.o i64_utod.o i64_utof.o vararg.o
 else ifeq ($(ARCH),powerpc64)
 OBJS=i64_dtou.o i64_stof.o i64_utod.o i64_utof.o vararg.o
 else ifeq ($(ARCH),mppa_k1c)
-OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o
+OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o vararg.o
 DOMAKE:=$(shell (cd mppa_k1c && make))
 else
 OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \
diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S
new file mode 100644
index 00000000..41c2b39e
--- /dev/null
+++ b/runtime/mppa_k1c/vararg.S
@@ -0,0 +1,72 @@
+
+// typedef void * va_list;
+// unsigned int __compcert_va_int32(va_list * ap);
+// unsigned long long __compcert_va_int64(va_list * ap);
+
+	.text
+	.balign 2
+	.globl __compcert_va_int32
+__compcert_va_int32:
+# Prologue
+	addd	$r14 = $r12, 0
+;;
+	addd	$r12 = $r12, -16
+;;
+	sd		0[$r12] = $r14
+;;
+	get		$r16 = $ra
+;;
+	sd		8[$r12] = $r16
+;;
+# Body
+	ld		$r32 = 0[$r0]	# $r32 <- *ap
+;;
+	addd	$r32 = $r32, 8	# $r32 <- $r32 + WORDSIZE
+;;
+	sd		0[$r0] = $r32	# *ap <- $r32
+;;
+	lws		$r0 = -8[$r32]	# retvalue <- 32-bits at *ap - WORDSIZE
+;;
+# Prologue
+	ld		$r16 = 8[$r12]
+;;
+	set		$ra = $r16
+;;
+	addd	$r12 = $r12, 16
+;;
+	ret
+;;
+
+	.text
+	.balign 2
+	.globl __compcert_va_int64
+__compcert_va_int64:
+# Prologue
+	addd	$r14 = $r12, 0
+;;
+	addd	$r12 = $r12, -16
+;;
+	sd		0[$r12] = $r14
+;;
+	get		$r16 = $ra
+;;
+	sd		8[$r12] = $r16
+;;
+# Body
+	ld		$r32 = 0[$r0]	# $r32 <- *ap
+;;
+	addd	$r32 = $r32, 8	# $r32 <- $r32 + WORDSIZE
+;;
+	sd		0[$r0] = $r32	# *ap <- $r32
+;;
+	ld		$r0 = -8[$r32]	# retvalue <- 64-bits at *ap - WORDSIZE
+;;
+# Prologue
+	ld		$r16 = 8[$r12]
+;;
+	set		$ra = $r16
+;;
+	addd	$r12 = $r12, 16
+;;
+	ret
+;;
-- 
cgit