summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-08-21 09:37:05 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-08-21 09:37:05 +0000
commitaad8a09b88bf87fa38116c4a2c3acba9678b4d12 (patch)
treef00465978255d4a30cfab6b70b4ce38d8c2d126d
parent8cd35202f4a237655599412f7557b6691ab75ce7 (diff)
Suppression de local_entry_point, maintenant inutile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/alpha/emit.mlp28
1 files changed, 1 insertions, 27 deletions
diff --git a/asmcomp/alpha/emit.mlp b/asmcomp/alpha/emit.mlp
index 475695051..65580b26b 100644
--- a/asmcomp/alpha/emit.mlp
+++ b/asmcomp/alpha/emit.mlp
@@ -340,31 +340,6 @@ let name_for_float_comparison cmp neg =
| Cle -> ("cmptle", false, neg) | Cgt -> ("cmptlt", true, neg)
| Clt -> ("cmptlt", false, neg) | Cge -> ("cmptle", true, neg)
-(* Determine if a function label is defined in the current compilation
- unit *)
-
-let is_local s =
- let cu = Compilenv.current_unit_name() in
- let lcu = String.length cu in
- String.length s >= lcu + 1 && String.sub s 0 lcu = cu && s.[lcu] = '.'
-
-(* Local entry points for functions defined in the current compilation unit *)
-
-let local_entry_points = (Hashtbl.create 19 : (string, label) Hashtbl.t)
-
-exception External_function
-
-let local_entry_point s =
- try
- Hashtbl.find local_entry_points s
- with Not_found ->
- if is_local s then begin
- let lbl = new_label() in
- Hashtbl.add local_entry_points s lbl;
- lbl
- end else
- raise External_function
-
(* Output the assembly code for an instruction *)
(* Name of current function *)
@@ -794,8 +769,7 @@ let begin_assembly() =
let lbl_begin = Compilenv.current_unit_name() ^ "_code_begin" in
` .text\n`;
` .globl {emit_symbol lbl_begin}\n`;
- `{emit_symbol lbl_begin}:\n`;
- Hashtbl.clear local_entry_points
+ `{emit_symbol lbl_begin}:\n`
let end_assembly () =
let lbl_end = Compilenv.current_unit_name() ^ "_code_end" in