From 0c25f714e690681c50420a218dad518fbecdb42a Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 6 Feb 2020 11:48:30 +0100
Subject: Fixed using ccomp assembly preprocessor

---
 runtime/mppa_k1c/vararg.S | 54 -----------------------------------------------
 runtime/mppa_k1c/vararg.s | 54 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+), 54 deletions(-)
 delete mode 100644 runtime/mppa_k1c/vararg.S
 create mode 100644 runtime/mppa_k1c/vararg.s

(limited to 'runtime')

diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S
deleted file mode 100644
index 9e23e0b3..00000000
--- a/runtime/mppa_k1c/vararg.S
+++ /dev/null
@@ -1,54 +0,0 @@
-
-// 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:
-	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
-	ret
-;;
-
-	.text
-	.balign 2
-	.globl __compcert_va_int64
-	.globl __compcert_va_float64
-	.globl __compcert_va_composite
-__compcert_va_int64:
-__compcert_va_float64:
-# FIXME this assumes pass-by-reference
-__compcert_va_composite:
-# Prologue
-	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
-	ret
-;;
-	
-# FIXME this assumes pass-by-reference
-	.globl __compcert_acswapd
-__compcert_acswapd:
-	acswapd	0[$r1] = $r2r3
-	;;
-	sq	0[$r0] = $r2r3
-	ret
-	;;
-	.globl __compcert_acswapw
-__compcert_acswapw:
-	acswapw	0[$r1] = $r2r3
-	;;
-	sq	0[$r0] = $r2r3
-	ret
-	;;
diff --git a/runtime/mppa_k1c/vararg.s b/runtime/mppa_k1c/vararg.s
new file mode 100644
index 00000000..65c1eab8
--- /dev/null
+++ b/runtime/mppa_k1c/vararg.s
@@ -0,0 +1,54 @@
+
+# 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:
+	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
+	ret
+;;
+
+	.text
+	.balign 2
+	.globl __compcert_va_int64
+	.globl __compcert_va_float64
+	.globl __compcert_va_composite
+__compcert_va_int64:
+__compcert_va_float64:
+# FIXME this assumes pass-by-reference
+__compcert_va_composite:
+# Prologue
+	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
+	ret
+;;
+	
+# FIXME this assumes pass-by-reference
+	.globl __compcert_acswapd
+__compcert_acswapd:
+	acswapd	0[$r1] = $r2r3
+	;;
+	sq	0[$r0] = $r2r3
+	ret
+	;;
+	.globl __compcert_acswapw
+__compcert_acswapw:
+	acswapw	0[$r1] = $r2r3
+	;;
+	sq	0[$r0] = $r2r3
+	ret
+	;;
-- 
cgit