From 896e50458071cccfb2465c65d3f2bf1f58792791 Mon Sep 17 00:00:00 2001
From: Julien Fischer <juliensf@gmail.com>
Date: Sun, 15 Mar 2020 17:05:37 +1100
Subject: [PATCH] Add missing out-of-line definitions for
 MR_box_{int64,uint64}.

runtime/mercury.c:
     Provide out-of-line definitions for MR_box_{int64,uint64} when using
     boxed 64-bit integers and *not* using GCC.
---
 runtime/mercury.c | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/runtime/mercury.c b/runtime/mercury.c
index cefd3d880..9aaf920b9 100644
--- a/runtime/mercury.c
+++ b/runtime/mercury.c
@@ -93,6 +93,40 @@ MR_OUTLINE_DEFN(
 
 #endif // MR_BOXED_FLOAT && !MR_GNUC
 
+#if defined(MR_BOXED_INT64S) && !defined(MR_GNUC)
+
+MR_OUTLINE_DEFN(
+    MR_Box
+    MR_box_int64(int64_t i)
+,
+    {
+        int64_t *ptr;
+
+        MR_make_hp_int64_aligned();
+        ptr = MR_new_object_atomic(int64_t, sizeof(int64_t),
+            MR_ALLOC_SITE_INT64, NULL);
+        *ptr = i;
+        return (MR_Box) ptr;
+    }
+)
+
+MR_OUTLINE_DEFN(
+    MR_Box
+    MR_box_uint64(uint64_t i)
+,
+    {
+        uint64_t *ptr;
+
+        MR_make_hp_uint64_aligned();
+        ptr = MR_new_object_atomic(uint64_t, sizeof(uint64_t),
+            MR_ALLOC_SITE_UINT64, NULL);
+        *ptr = i;
+        return (MR_Box) ptr;
+    }
+)
+
+#endif // MR_BOXED_INT64S && !MR_GNUC
+
 #endif // ! MR_HIGHLEVEL_CODE
 
 ////////////////////////////////////////////////////////////////////////////