summaryrefslogtreecommitdiffstats
path: root/asmcomp/alpha
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-02-05 08:49:10 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-02-05 08:49:10 +0000
commit9b3fe24698bcb3d1e025db263c3003f10b46bdf4 (patch)
treebbd8627582c6fc82a782f5bce3b7a86a0d281dd6 /asmcomp/alpha
parent80125701646dc26b8fb7c72459258fc8687e194b (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.mlp14
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 *)