blob: f38ed89482be68a252ca1a3dea9183f47dcea6f1 (
plain)
1
2
3
4
5
6
7
8
9
10
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/ 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.
|