diff options
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/amd64/scheduling.ml | 2 | ||||
| -rw-r--r-- | asmcomp/amd64/selection.ml | 2 | ||||
| -rw-r--r-- | asmcomp/asmlink.ml | 1 | ||||
| -rw-r--r-- | asmcomp/asmpackager.ml | 3 | ||||
| -rw-r--r-- | asmcomp/cmmgen.ml | 3 | ||||
| -rw-r--r-- | asmcomp/compilenv.mli | 1 | ||||
| -rw-r--r-- | asmcomp/emitaux.ml | 3 | ||||
| -rw-r--r-- | asmcomp/interf.ml | 1 | ||||
| -rw-r--r-- | asmcomp/printclambda.ml | 1 | ||||
| -rw-r--r-- | asmcomp/schedgen.ml | 1 | ||||
| -rw-r--r-- | asmcomp/split.ml | 2 |
11 files changed, 2 insertions, 18 deletions
diff --git a/asmcomp/amd64/scheduling.ml b/asmcomp/amd64/scheduling.ml index 8ba88f4a7..1052a540d 100644 --- a/asmcomp/amd64/scheduling.ml +++ b/asmcomp/amd64/scheduling.ml @@ -12,7 +12,7 @@ (* $Id$ *) -open Schedgen (* to create a dependency *) +let _ = let module M = Schedgen in () (* to create a dependency *) (* Scheduling is turned off because the processor schedules dynamically much better than what we could do. *) diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml index 9c4464aed..9953b73a6 100644 --- a/asmcomp/amd64/selection.ml +++ b/asmcomp/amd64/selection.ml @@ -14,11 +14,9 @@ (* Instruction selection for the AMD64 *) -open Misc open Arch open Proc open Cmm -open Reg open Mach (* Auxiliary for recognizing addressing modes *) diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index e99e62a39..fe78bd02c 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -14,7 +14,6 @@ (* Link a set of .cmx/.o files and produce an executable *) -open Sys open Misc open Config open Cmx_format diff --git a/asmcomp/asmpackager.ml b/asmcomp/asmpackager.ml index 3f44a0a98..0fc89866f 100644 --- a/asmcomp/asmpackager.ml +++ b/asmcomp/asmpackager.ml @@ -15,10 +15,7 @@ (* "Package" a set of .cmx/.o files into one .cmx/.o file having the original compilation units as sub-modules. *) -open Printf open Misc -open Lambda -open Clambda open Cmx_format type error = diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index d29f8c67c..5a3bac2a1 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -18,7 +18,6 @@ open Misc open Arch open Asttypes open Primitive -open Types open Lambda open Clambda open Cmm @@ -714,8 +713,6 @@ let simplif_primitive p = let transl_isout h arg = tag_int (Cop(Ccmpa Clt, [h ; arg])) -exception Found of int - let make_switch_gen arg cases acts = let lcases = Array.length cases in let new_cases = Array.create lcases 0 in diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index 3e4d83e20..eeab477f2 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -14,7 +14,6 @@ (* Compilation environments for compilation units *) -open Clambda open Cmx_format val reset: ?packname:string -> string -> unit diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml index 4013c4674..8241592f5 100644 --- a/asmcomp/emitaux.ml +++ b/asmcomp/emitaux.ml @@ -15,9 +15,6 @@ (* Common functions for emitting assembly code *) open Debuginfo -open Cmm -open Reg -open Linearize let output_channel = ref stdout diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml index f22672b55..aa71ebd38 100644 --- a/asmcomp/interf.ml +++ b/asmcomp/interf.ml @@ -18,7 +18,6 @@ module IntPairSet = Set.Make(struct type t = int * int let compare = compare end) -open Misc open Reg open Mach diff --git a/asmcomp/printclambda.ml b/asmcomp/printclambda.ml index 3d89f5020..fdb048d7f 100644 --- a/asmcomp/printclambda.ml +++ b/asmcomp/printclambda.ml @@ -14,7 +14,6 @@ open Format open Asttypes open Clambda -open Debuginfo let rec pr_idents ppf = function | [] -> () diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 89c031d1b..9bf93af00 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -14,7 +14,6 @@ (* Instruction scheduling *) -open Misc open Reg open Mach open Linearize diff --git a/asmcomp/split.ml b/asmcomp/split.ml index da5cdf1f5..a7effdda3 100644 --- a/asmcomp/split.ml +++ b/asmcomp/split.ml @@ -21,7 +21,7 @@ open Mach type subst = Reg.t Reg.Map.t -let subst_reg r sub = +let subst_reg r (sub : subst) = try Reg.Map.find r sub with Not_found -> |