diff options
author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2013-06-03 04:57:42 +0000 |
---|---|---|
committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2013-06-03 04:57:42 +0000 |
commit | e6c8fdd2a81b88d41b5b72e61fc4addb563b32fb (patch) | |
tree | e8234a271a2e4efafe7fa6c4f3ad488749999cf9 | |
parent | 1b2667b9f2e4284e5a34c9f430edaeb5492d71c3 (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.S | 10 |
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 |