diff options
Diffstat (limited to 'asmcomp/amd64')
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/amd64/proc.ml | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 097c6cd2e..5e0d763ba 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -653,7 +653,7 @@ let emit_profile () = | "linux" | "gnu" -> (* mcount preserves rax, rcx, rdx, rsi, rdi, r8, r9 explicitly and rbx, rbp, r12-r15 like all C functions. - We need to preserve r10 and r11 ourselves, since Caml can + We need to preserve r10 and r11 ourselves, since OCaml can use them for argument passing. *) ` pushq %r10\n`; ` movq %rsp, %rbp\n`; diff --git a/asmcomp/amd64/proc.ml b/asmcomp/amd64/proc.ml index fa0387bb6..01132e6cb 100644 --- a/asmcomp/amd64/proc.ml +++ b/asmcomp/amd64/proc.ml @@ -56,10 +56,10 @@ let masm = xmm0 - xmm15 100 - 115 *) (* Conventions: - rax - r11: Caml function arguments - rax: Caml and C function results - xmm0 - xmm9: Caml function arguments - xmm0: Caml and C function results + rax - r11: OCaml function arguments + rax: OCaml and C function results + xmm0 - xmm9: OCaml function arguments + xmm0: OCaml and C function results Under Unix: rdi, rsi, rdx, rcx, r8, r9: C function arguments xmm0 - xmm7: C function arguments |