From fe57280950fc20b2d1650a022033484b152ae51d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 14 Feb 2015 11:08:57 +0100
Subject: C reference implementation of the int64 helper functions. In
 test_int64.c: don't test FP->int64 conversions when the FP argument is out of
 range.

---
 runtime/README | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 runtime/README

(limited to 'runtime/README')

diff --git a/runtime/README b/runtime/README
new file mode 100644
index 00000000..5d824300
--- /dev/null
+++ b/runtime/README
@@ -0,0 +1,11 @@
+This is the support library for CompCert-generated code.
+It provides helper functions for:
+- 64-bit integer arithmetic
+- implementing the va_arg macro from <stdarg.h>
+
+The implementation is written in assembly language in the
+arm/ ia32/ powerpc/ directories.
+
+The c/ directory contains a C implementation of the 64-bit integer functions.
+It is provided for reference and as a guide for the asm implementations.
+
-- 
cgit