blob: 5d824300887fb77dfc559b614b3a320a815b863f (
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/ 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.
|