diff options
Diffstat (limited to 'asmcomp')
90 files changed, 0 insertions, 180 deletions
diff --git a/asmcomp/amd64/arch.ml b/asmcomp/amd64/arch.ml index 8e065d9ae..6d6612961 100644 --- a/asmcomp/amd64/arch.ml +++ b/asmcomp/amd64/arch.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Machine-specific command-line options *) let pic_code = ref true diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 970108abf..06f6abafa 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of x86-64 (AMD 64) assembly code *) open Cmm diff --git a/asmcomp/amd64/emit_nt.mlp b/asmcomp/amd64/emit_nt.mlp index 47dce9f59..bc1750c16 100644 --- a/asmcomp/amd64/emit_nt.mlp +++ b/asmcomp/amd64/emit_nt.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of x86-64 (AMD 64) assembly code, MASM syntax *) module StringSet = diff --git a/asmcomp/amd64/proc.ml b/asmcomp/amd64/proc.ml index b9de3e1cd..351770b28 100644 --- a/asmcomp/amd64/proc.ml +++ b/asmcomp/amd64/proc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Description of the AMD64 processor *) open Misc diff --git a/asmcomp/amd64/reload.ml b/asmcomp/amd64/reload.ml index e7d5e23b0..510f201f1 100644 --- a/asmcomp/amd64/reload.ml +++ b/asmcomp/amd64/reload.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - open Cmm open Arch open Reg diff --git a/asmcomp/amd64/scheduling.ml b/asmcomp/amd64/scheduling.ml index 1052a540d..e234431bf 100644 --- a/asmcomp/amd64/scheduling.ml +++ b/asmcomp/amd64/scheduling.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - let _ = let module M = Schedgen in () (* to create a dependency *) (* Scheduling is turned off because the processor schedules dynamically diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml index 9953b73a6..cc0713320 100644 --- a/asmcomp/amd64/selection.ml +++ b/asmcomp/amd64/selection.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction selection for the AMD64 *) open Arch diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index cce352c21..8822d3813 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Specific operations for the ARM processor *) open Format diff --git a/asmcomp/arm/emit.mlp b/asmcomp/arm/emit.mlp index cc87ab461..2c6eb7233 100644 --- a/asmcomp/arm/emit.mlp +++ b/asmcomp/arm/emit.mlp @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of ARM assembly code *) open Misc diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index aed2b01a7..f42749c0a 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Description of the ARM processor *) open Misc diff --git a/asmcomp/arm/reload.ml b/asmcomp/arm/reload.ml index c5b137abc..bd783acb8 100644 --- a/asmcomp/arm/reload.ml +++ b/asmcomp/arm/reload.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Reloading for the ARM *) let fundecl f = diff --git a/asmcomp/arm/scheduling.ml b/asmcomp/arm/scheduling.ml index 4b47733f1..58446d086 100644 --- a/asmcomp/arm/scheduling.ml +++ b/asmcomp/arm/scheduling.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - open Arch open Mach diff --git a/asmcomp/arm/selection.ml b/asmcomp/arm/selection.ml index 147e24191..e84366ac3 100644 --- a/asmcomp/arm/selection.ml +++ b/asmcomp/arm/selection.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction selection for the ARM processor *) open Arch diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index 5f513db1b..62d466ed9 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* From lambda to assembly code *) open Format diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli index f71cba8f7..33582af4a 100644 --- a/asmcomp/asmgen.mli +++ b/asmcomp/asmgen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* From lambda to assembly code *) val compile_implementation : diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml index e0d2170b5..ea17365ac 100644 --- a/asmcomp/asmlibrarian.ml +++ b/asmcomp/asmlibrarian.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Build libraries of .cmx files *) open Misc diff --git a/asmcomp/asmlibrarian.mli b/asmcomp/asmlibrarian.mli index 20a0380c9..c1a6a4788 100644 --- a/asmcomp/asmlibrarian.mli +++ b/asmcomp/asmlibrarian.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Build libraries of .cmx files *) open Format diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index fe78bd02c..dc5893394 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Link a set of .cmx/.o files and produce an executable *) open Misc diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index b9465f809..1cf9e302c 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Link a set of .cmx/.o files and produce an executable or a plugin *) open Format diff --git a/asmcomp/asmpackager.ml b/asmcomp/asmpackager.ml index 0fc89866f..7e19f60d3 100644 --- a/asmcomp/asmpackager.ml +++ b/asmcomp/asmpackager.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* "Package" a set of .cmx/.o files into one .cmx/.o file having the original compilation units as sub-modules. *) diff --git a/asmcomp/asmpackager.mli b/asmcomp/asmpackager.mli index fafccfea3..165f5d331 100644 --- a/asmcomp/asmpackager.mli +++ b/asmcomp/asmpackager.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* "Package" a set of .cmx/.o files into one .cmx/.o file having the original compilation units as sub-modules. *) diff --git a/asmcomp/clambda.ml b/asmcomp/clambda.ml index 9a01de819..dd53020d7 100644 --- a/asmcomp/clambda.ml +++ b/asmcomp/clambda.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* A variant of the "lambda" code with direct / indirect calls explicit and closures explicit too *) diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli index 808c1c6da..737965db8 100644 --- a/asmcomp/clambda.mli +++ b/asmcomp/clambda.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* A variant of the "lambda" code with direct / indirect calls explicit and closures explicit too *) diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index 365976521..114f5e641 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Introduction of closures, uncurrying, recognition of direct calls *) open Misc diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli index f406603c2..e7bccbca6 100644 --- a/asmcomp/closure.mli +++ b/asmcomp/closure.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Introduction of closures, uncurrying, recognition of direct calls *) val intro: int -> Lambda.lambda -> Clambda.ulambda diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml index 7787a2204..941b01423 100644 --- a/asmcomp/cmm.ml +++ b/asmcomp/cmm.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - type machtype_component = Addr | Int diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index 5787bcb96..202b6aece 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Second intermediate language (machine independent) *) type machtype_component = diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index 366f15d6c..45ddfd2b5 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Translation from closed lambda to C-- *) open Misc diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli index a192b985e..84db405f8 100644 --- a/asmcomp/cmmgen.mli +++ b/asmcomp/cmmgen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Translation from closed lambda to C-- *) val compunit: int -> Clambda.ulambda -> Cmm.phrase list diff --git a/asmcomp/cmx_format.mli b/asmcomp/cmx_format.mli index db8158e66..07955169b 100644 --- a/asmcomp/cmx_format.mli +++ b/asmcomp/cmx_format.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Format of .cmx, .cmxa and .cmxs files *) (* Each .o file has a matching .cmx file that provides the following infos diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml index 4b71503f9..a31824628 100644 --- a/asmcomp/codegen.ml +++ b/asmcomp/codegen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* From C-- to assembly code *) open Format diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli index 43f98e50b..5dab12fc9 100644 --- a/asmcomp/codegen.mli +++ b/asmcomp/codegen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* From C-- to assembly code *) val phrase: Cmm.phrase -> unit diff --git a/asmcomp/coloring.ml b/asmcomp/coloring.ml index 06c1eb824..db171d8a2 100644 --- a/asmcomp/coloring.ml +++ b/asmcomp/coloring.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Register allocation by coloring of the interference graph *) open Reg diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli index 72576fa10..b0cd0437a 100644 --- a/asmcomp/coloring.mli +++ b/asmcomp/coloring.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Register allocation by coloring of the interference graph *) val allocate_registers: unit -> unit diff --git a/asmcomp/comballoc.ml b/asmcomp/comballoc.ml index 9767d2638..6192f1e86 100644 --- a/asmcomp/comballoc.ml +++ b/asmcomp/comballoc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Combine heap allocations occurring in the same basic block *) open Mach diff --git a/asmcomp/comballoc.mli b/asmcomp/comballoc.mli index 20be98054..ee04c16b3 100644 --- a/asmcomp/comballoc.mli +++ b/asmcomp/comballoc.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Combine heap allocations occurring in the same basic block *) val fundecl: Mach.fundecl -> Mach.fundecl diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 4c6e72d0b..5f2bcdd46 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Compilation environments for compilation units *) open Config diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index eeab477f2..8db90c287 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Compilation environments for compilation units *) open Cmx_format diff --git a/asmcomp/emit.mli b/asmcomp/emit.mli index e2ff68ffc..ab9442efc 100644 --- a/asmcomp/emit.mli +++ b/asmcomp/emit.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Generation of assembly code *) val fundecl: Linearize.fundecl -> unit diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml index 41c70212e..c3f888851 100644 --- a/asmcomp/emitaux.ml +++ b/asmcomp/emitaux.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Common functions for emitting assembly code *) open Debuginfo diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index c7fe802e5..cc479d8cc 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Common functions for emitting assembly code *) val output_channel: out_channel ref diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index d5fc630ad..58560fdd3 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Machine-specific command-line options *) let fast_math = ref false diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp index ad428d6b7..012be8c53 100644 --- a/asmcomp/i386/emit.mlp +++ b/asmcomp/i386/emit.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of Intel 386 assembly code *) module StringSet = Set.Make(struct type t = string let compare = compare end) diff --git a/asmcomp/i386/emit_nt.mlp b/asmcomp/i386/emit_nt.mlp index 48704ab40..3f940f6df 100644 --- a/asmcomp/i386/emit_nt.mlp +++ b/asmcomp/i386/emit_nt.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of Intel 386 assembly code, MASM syntax. *) module StringSet = diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml index a65622d47..bb510bbf4 100644 --- a/asmcomp/i386/proc.ml +++ b/asmcomp/i386/proc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Description of the Intel 386 processor *) open Misc diff --git a/asmcomp/i386/reload.ml b/asmcomp/i386/reload.ml index 66ad6a140..623d12a84 100644 --- a/asmcomp/i386/reload.ml +++ b/asmcomp/i386/reload.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - open Cmm open Arch open Reg diff --git a/asmcomp/i386/scheduling.ml b/asmcomp/i386/scheduling.ml index 48ce38077..b166a05a3 100644 --- a/asmcomp/i386/scheduling.ml +++ b/asmcomp/i386/scheduling.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - let () = let module M = Schedgen in () (* to create a dependency *) (* Scheduling is turned off because our model does not fit the 486 diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 2363e48f9..49b5059d9 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction selection for the Intel x86 *) open Misc diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml index aa71ebd38..f47f138a3 100644 --- a/asmcomp/interf.ml +++ b/asmcomp/interf.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Construction of the interference graph. Annotate pseudoregs with interference lists and preference lists. *) diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli index 9e16f8364..a9b0b6309 100644 --- a/asmcomp/interf.mli +++ b/asmcomp/interf.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Construction of the interference graph. Annotate pseudoregs with interference lists and preference lists. *) diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 8a5411876..963ffe9a2 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Transformation of Mach code into a list of pseudo-instructions. *) open Reg diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 9fbe14ddb..ad5dc3a9f 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Transformation of Mach code into a list of pseudo-instructions. *) type label = int diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml index 74a034fb3..b3085b6c7 100644 --- a/asmcomp/liveness.ml +++ b/asmcomp/liveness.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Liveness analysis. Annotate mach code with the set of regs live at each point. *) diff --git a/asmcomp/liveness.mli b/asmcomp/liveness.mli index 8a25a27bc..b52ec5a2b 100644 --- a/asmcomp/liveness.mli +++ b/asmcomp/liveness.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Liveness analysis. Annotate mach code with the set of regs live at each point. *) diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml index 3d29bde11..3e7160b51 100644 --- a/asmcomp/mach.ml +++ b/asmcomp/mach.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Representation of machine code by sequences of pseudoinstructions *) type integer_comparison = diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index 05cc999b5..06fe1c33d 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Representation of machine code by sequences of pseudoinstructions *) type integer_comparison = diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index c1323234a..d547df294 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Specific operations for the PowerPC processor *) open Misc diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index 38586076f..dfe6e1eb4 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of PowerPC assembly code *) module StringSet = Set.Make(struct type t = string let compare = compare end) diff --git a/asmcomp/power/proc.ml b/asmcomp/power/proc.ml index 6eaacbbad..feb38f253 100644 --- a/asmcomp/power/proc.ml +++ b/asmcomp/power/proc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Description of the Power PC *) open Misc diff --git a/asmcomp/power/reload.ml b/asmcomp/power/reload.ml index ef0ab79df..98f747a81 100644 --- a/asmcomp/power/reload.ml +++ b/asmcomp/power/reload.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Reloading for the PowerPC *) let fundecl f = diff --git a/asmcomp/power/scheduling.ml b/asmcomp/power/scheduling.ml index 90d08831d..e4a575e0a 100644 --- a/asmcomp/power/scheduling.ml +++ b/asmcomp/power/scheduling.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction scheduling for the Power PC *) open Arch diff --git a/asmcomp/power/selection.ml b/asmcomp/power/selection.ml index 179548af5..41b6e9fa7 100644 --- a/asmcomp/power/selection.ml +++ b/asmcomp/power/selection.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction selection for the Power PC processor *) open Misc diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index ca1c0f11c..f29bcbc43 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of C-- code *) open Format diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli index c64657653..1c97c4a00 100644 --- a/asmcomp/printcmm.mli +++ b/asmcomp/printcmm.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of C-- code *) open Format diff --git a/asmcomp/printlinear.ml b/asmcomp/printlinear.ml index 0ac6e0655..6e1770709 100644 --- a/asmcomp/printlinear.ml +++ b/asmcomp/printlinear.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of linearized machine code *) open Format diff --git a/asmcomp/printlinear.mli b/asmcomp/printlinear.mli index bb179c94c..68eda9c1d 100644 --- a/asmcomp/printlinear.mli +++ b/asmcomp/printlinear.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of linearized machine code *) open Format diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 93d0a0224..6407f4f78 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of pseudo machine code *) open Format diff --git a/asmcomp/printmach.mli b/asmcomp/printmach.mli index 509018d54..bfb0dbefa 100644 --- a/asmcomp/printmach.mli +++ b/asmcomp/printmach.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pretty-printing of pseudo machine code *) open Format diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli index 7d0a5e485..91a480b09 100644 --- a/asmcomp/proc.mli +++ b/asmcomp/proc.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Processor descriptions *) (* Instruction selection *) diff --git a/asmcomp/reg.ml b/asmcomp/reg.ml index 30c0ab5ab..1ec0bf9eb 100644 --- a/asmcomp/reg.ml +++ b/asmcomp/reg.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - open Cmm type t = diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli index 11e314f61..889e026f2 100644 --- a/asmcomp/reg.mli +++ b/asmcomp/reg.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Pseudo-registers *) type t = diff --git a/asmcomp/reload.mli b/asmcomp/reload.mli index ff4b1637a..cecacbd4a 100644 --- a/asmcomp/reload.mli +++ b/asmcomp/reload.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Insert load/stores for pseudoregs that got assigned to stack locations. *) val fundecl: Mach.fundecl -> Mach.fundecl * bool diff --git a/asmcomp/reloadgen.ml b/asmcomp/reloadgen.ml index 9da79587a..8f40ad019 100644 --- a/asmcomp/reloadgen.ml +++ b/asmcomp/reloadgen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Insert load/stores for pseudoregs that got assigned to stack locations. *) open Misc diff --git a/asmcomp/reloadgen.mli b/asmcomp/reloadgen.mli index 9f0b2b4e1..45c68d1c3 100644 --- a/asmcomp/reloadgen.mli +++ b/asmcomp/reloadgen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - class reload_generic : object method reload_operation : Mach.operation -> Reg.t array -> Reg.t array -> Reg.t array * Reg.t array diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 5cde55642..885c94540 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction scheduling *) open Reg diff --git a/asmcomp/schedgen.mli b/asmcomp/schedgen.mli index e2c046d22..6019d96f4 100644 --- a/asmcomp/schedgen.mli +++ b/asmcomp/schedgen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction scheduling *) type code_dag_node = diff --git a/asmcomp/scheduling.mli b/asmcomp/scheduling.mli index a006d1f13..5949661d1 100644 --- a/asmcomp/scheduling.mli +++ b/asmcomp/scheduling.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction scheduling *) val fundecl: Linearize.fundecl -> Linearize.fundecl diff --git a/asmcomp/selectgen.ml b/asmcomp/selectgen.ml index e2ffd34ac..1d2bf96d2 100644 --- a/asmcomp/selectgen.ml +++ b/asmcomp/selectgen.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Selection of pseudo-instructions, assignment of pseudo-registers, sequentialization. *) diff --git a/asmcomp/selectgen.mli b/asmcomp/selectgen.mli index 058f9e73e..11af7c1ff 100644 --- a/asmcomp/selectgen.mli +++ b/asmcomp/selectgen.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Selection of pseudo-instructions, assignment of pseudo-registers, sequentialization. *) diff --git a/asmcomp/selection.mli b/asmcomp/selection.mli index a78cb1dae..f1c9e34ce 100644 --- a/asmcomp/selection.mli +++ b/asmcomp/selection.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Selection of pseudo-instructions, assignment of pseudo-registers, sequentialization. *) diff --git a/asmcomp/sparc/arch.ml b/asmcomp/sparc/arch.ml index ce2c0e157..78725b53f 100644 --- a/asmcomp/sparc/arch.ml +++ b/asmcomp/sparc/arch.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Specific operations for the Sparc processor *) open Format diff --git a/asmcomp/sparc/emit.mlp b/asmcomp/sparc/emit.mlp index 95bb29421..b8387cd7b 100644 --- a/asmcomp/sparc/emit.mlp +++ b/asmcomp/sparc/emit.mlp @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Emission of Sparc assembly code *) open Misc diff --git a/asmcomp/sparc/proc.ml b/asmcomp/sparc/proc.ml index f7b204db5..b88d5aaae 100644 --- a/asmcomp/sparc/proc.ml +++ b/asmcomp/sparc/proc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Description of the Sparc processor *) open Misc diff --git a/asmcomp/sparc/reload.ml b/asmcomp/sparc/reload.ml index 6b1d8aea9..caae16d7f 100644 --- a/asmcomp/sparc/reload.ml +++ b/asmcomp/sparc/reload.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Reloading for the Sparc *) let fundecl f = diff --git a/asmcomp/sparc/scheduling.ml b/asmcomp/sparc/scheduling.ml index 180af4b19..048880abd 100644 --- a/asmcomp/sparc/scheduling.ml +++ b/asmcomp/sparc/scheduling.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - open Cmm open Mach diff --git a/asmcomp/sparc/selection.ml b/asmcomp/sparc/selection.ml index 31d6e7020..055b78f19 100644 --- a/asmcomp/sparc/selection.ml +++ b/asmcomp/sparc/selection.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Instruction selection for the Sparc processor *) open Cmm diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml index 7b055959e..f52b09fc6 100644 --- a/asmcomp/spill.ml +++ b/asmcomp/spill.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Insertion of moves to suggest possible spilling / reloading points before register allocation. *) diff --git a/asmcomp/spill.mli b/asmcomp/spill.mli index 4db422227..66954aef5 100644 --- a/asmcomp/spill.mli +++ b/asmcomp/spill.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Insertion of moves to suggest possible spilling / reloading points before register allocation. *) diff --git a/asmcomp/split.ml b/asmcomp/split.ml index a7effdda3..96e9e376b 100644 --- a/asmcomp/split.ml +++ b/asmcomp/split.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Renaming of registers at reload points to split live ranges. *) open Reg diff --git a/asmcomp/split.mli b/asmcomp/split.mli index baf350d50..f794fec16 100644 --- a/asmcomp/split.mli +++ b/asmcomp/split.mli @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Renaming of registers at reload points to split live ranges. *) val fundecl: Mach.fundecl -> Mach.fundecl |