diff options
-rw-r--r-- | runtime/mppa_k1c/vararg.S | 3 |
1 files changed, 3 insertions, 0 deletions
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 ;; |