diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-05 08:49:10 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-05 08:49:10 +0000 |
commit | 9b3fe24698bcb3d1e025db263c3003f10b46bdf4 (patch) | |
tree | bbd8627582c6fc82a782f5bce3b7a86a0d281dd6 /asmcomp/alpha | |
parent | 80125701646dc26b8fb7c72459258fc8687e194b (diff) |
Orthographe: failthrough -> fallthrough
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/alpha')
-rw-r--r-- | asmcomp/alpha/emit.mlp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/asmcomp/alpha/emit.mlp b/asmcomp/alpha/emit.mlp index b882adecc..d04913800 100644 --- a/asmcomp/alpha/emit.mlp +++ b/asmcomp/alpha/emit.mlp @@ -127,8 +127,8 @@ let fastcode_flag = ref true let emit_label lbl = emit_string "$"; emit_int lbl -let emit_Llabel failthrough lbl = - if (not failthrough) then begin +let emit_Llabel fallthrough lbl = + if (not fallthrough) then begin emit_string " .align 4\n" end ; emit_label lbl @@ -352,7 +352,7 @@ let range_check_trap = ref 0 let float_constants = ref ([] : (label * string) list) let bigint_constants = ref ([] : (label * nativeint) list) -let emit_instr failthrough i = +let emit_instr fallthrough i = match i.desc with Lend -> () | Lop(Imove | Ispill | Ireload) -> @@ -595,7 +595,7 @@ let emit_instr failthrough i = liveregs i live_26; ` ret ($26)\n` | Llabel lbl -> - `{emit_Llabel failthrough lbl}:\n` + `{emit_Llabel fallthrough lbl}:\n` | Lbranch lbl -> ` br {emit_label lbl}\n` | Lcondbranch(tst, lbl) -> @@ -691,11 +691,11 @@ let emit_instr failthrough i = liveregs i live_26; ` jmp $25, ($26)\n` (* Keep retaddr in $25 for debugging *) -let rec emit_all failthrough i = match i.desc with +let rec emit_all fallthrough i = match i.desc with | Lend -> () | _ -> - emit_instr failthrough i; - emit_all (has_failthrough i.desc) i.next + emit_instr fallthrough i; + emit_all (has_fallthrough i.desc) i.next (* Emission of a function declaration *) |