anil.recoil.org
My working unpac repository
1(**************************************************************************)
2(* *)
3(* OCaml *)
4(* *)
5(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6(* *)
7(* Copyright 2014 Institut National de Recherche en Informatique et *)
8(* en Automatique. *)
9(* *)
10(* All rights reserved. This file is distributed under the terms of *)
11(* the GNU Lesser General Public License version 2.1, with the *)
12(* special exception on linking described in the file LICENSE. *)
13(* *)
14(**************************************************************************)
15
16(* Dead code elimination: remove pure instructions whose results are
17 not used. *)
18
19val fundecl: Mach.fundecl -> Mach.fundecl