From 85f61cd1790d588b933841b6bbe113dabe144301 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 22 Mar 2019 22:04:20 +0100
Subject: passage de structures en varargs (fonctionne avec une convention
 "passage par référence" cohérente avec CompCert mais pas forcément avec gcc)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 runtime/mppa_k1c/vararg.S | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'runtime')

diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S
index af6a0f9c..8054068b 100644
--- a/runtime/mppa_k1c/vararg.S
+++ b/runtime/mppa_k1c/vararg.S
@@ -41,8 +41,11 @@ __compcert_va_int32:
 	.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
 	addd	$r14 = $r12, 0
 ;;
-- 
cgit