diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-11 11:51:16 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-11 11:51:16 +0200 |
| commit | e73d255ec045983787ed935ad02d31d45353a2b1 (patch) | |
| tree | 7a935f55c4c037863e607802c8f557ad13e8ed0b /runtime/x86_64 | |
| parent | 3c605199ab0d096cd66ba671a4e23eac9e79bbc2 (diff) | |
| download | compcert-kvx-e73d255ec045983787ed935ad02d31d45353a2b1.tar.gz compcert-kvx-e73d255ec045983787ed935ad02d31d45353a2b1.zip | |
x86-64 MacOS X support
- Avoid absolute addressing for labels, use RIP-relative addressing
- Different, RIP-relative implementation of jump tables
Diffstat (limited to 'runtime/x86_64')
| -rw-r--r-- | runtime/x86_64/vararg.S | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/x86_64/vararg.S b/runtime/x86_64/vararg.S index 3e645474..9c0d787b 100644 --- a/runtime/x86_64/vararg.S +++ b/runtime/x86_64/vararg.S @@ -117,7 +117,7 @@ FUNCTION(__compcert_va_float64) ENDFUNCTION(__compcert_va_float64) FUNCTION(__compcert_va_composite) - jmp __compcert_va_int64 // by-ref convention, FIXME + jmp GLOB(__compcert_va_int64) // by-ref convention, FIXME ENDFUNCTION(__compcert_va_composite) // Save integer and FP registers at beginning of vararg function |