diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 16:15:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 16:15:24 +0000 |
| commit | e7f5b858c2aee1fc6caeefc3d7c80ca696be2897 (patch) | |
| tree | f6e4f76927ce2a4f604fcc0596f1b6505cc39fe3 /asmcomp | |
| parent | d7cbf2a01a390f2fe6bedef1292bb5aa55d8b6f7 (diff) | |
More renaming to OCaml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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). *) |