Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ID comments are so passé. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 2014-04-26 09:38:29 +00:00
parent 9c1d005ebb
commit 95d98cd978
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
asmcomp/deadcode.ml
View File

@ -4,14 +4,12 @@
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2012 Institut National de Recherche en Informatique et *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* $Id: linearize.ml 11156 2011-07-27 14:17:02Z doligez $ *)
(* Dead code elimination: remove pure instructions whose results are
not used. *)

4
asmcomp/deadcode.mli
View File

@ -4,14 +4,12 @@
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2012 Institut National de Recherche en Informatique et *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* $Id: linearize.ml 11156 2011-07-27 14:17:02Z doligez $ *)
(* Dead code elimination: remove pure instructions whose results are
not used. *)