diff options
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/amd64/proc.ml | 8 | ||||
| -rw-r--r-- | asmcomp/selectgen.ml | 2 |
3 files changed, 6 insertions, 6 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 diff --git a/asmcomp/selectgen.ml b/asmcomp/selectgen.ml index 47b334821..d6eba0ff4 100644 --- a/asmcomp/selectgen.ml +++ b/asmcomp/selectgen.ml @@ -824,7 +824,7 @@ method emit_fundecl f = end (* Tail call criterion (estimated). Assumes: -- all arguments are of type "int" (always the case for Caml function calls) +- all arguments are of type "int" (always the case for OCaml function calls) - one extra argument representing the closure environment (conservative). *) |