summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2013-06-03 04:57:42 +0000
committerFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2013-06-03 04:57:42 +0000
commite6c8fdd2a81b88d41b5b72e61fc4addb563b32fb (patch)
treee8234a271a2e4efafe7fa6c4f3ad488749999cf9
parent1b2667b9f2e4284e5a34c9f430edaeb5492d71c3 (diff)
Fix compilation issue with amd64.S
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmrun/amd64.S10
1 files changed, 5 insertions, 5 deletions
diff --git a/asmrun/amd64.S b/asmrun/amd64.S
index 5924e4311..df7bc937f 100644
--- a/asmrun/amd64.S
+++ b/asmrun/amd64.S
@@ -81,9 +81,9 @@
popq %rbp; CFI_ADJUST(-8);
#else
#define ENTER_FUNCTION \
- subl $8, %rsp; CFI_ADJUST(8)
+ subq $8, %rsp; CFI_ADJUST(8)
#define LEAVE_FUNCTION \
- addl $8, %rsp; CFI_ADJUST(-8)
+ addq $8, %rsp; CFI_ADJUST(-8)
#endif
#if defined(__PIC__) && !defined(SYS_mingw64)
@@ -213,8 +213,8 @@
/* Unix API: callee-save regs are rbx, rbp, r12-r15 */
#define PUSH_CALLEE_SAVE_REGS \
- ENTER_FUNCTION; \
pushq %rbx; CFI_ADJUST(8); \
+ pushq %rbp; CFI_ADJUST(8); \
pushq %r12; CFI_ADJUST(8); \
pushq %r13; CFI_ADJUST(8); \
pushq %r14; CFI_ADJUST(8); \
@@ -227,8 +227,8 @@
popq %r14; CFI_ADJUST(-8); \
popq %r13; CFI_ADJUST(-8); \
popq %r12; CFI_ADJUST(-8); \
- popq %rbx; CFI_ADJUST(-8); \
- LEAVE_FUNCTION
+ popq %rbp; CFI_ADJUST(-8); \
+ popq %rbx; CFI_ADJUST(-8);
#endif