Initial snarf.
[shack.git] / arch / mir / opt / mir_valias.mli
blob9492f43505bb282952e5fd2dd0dd62556452b613
1 (*
2 Perform variable alias analysis on the MIR code
3 Copyright (C) 2001 Justin David Smith, Caltech
5 This program is free software; you can redistribute it and/or
6 modify it under the terms of the GNU General Public License
7 as published by the Free Software Foundation; either version 2
8 of the License, or (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
21 (* Useful modules *)
22 open Mir
25 (* Functions *)
26 val valias_prog : prog -> prog