diff options
Diffstat (limited to 'runtime/README')
-rw-r--r-- | runtime/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/README b/runtime/README index 5d824300..f38ed894 100644 --- a/runtime/README +++ b/runtime/README @@ -1,11 +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. +arm/ powerpc/ powerpc64/ riscV/ x86_32/ x86_64/ 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. - |