arch/mir/opt/mir_const.mli

   1 (*
   2    Perform simple constant folding in MIR.  Note that this optimization
   3    module is primarily intended to clean up code emitted during the
   4    backend, NOT to cleanup constants lying around from the source code.
   5    Copyright (C) 2001 Justin David Smith, Caltech
   6
   7    This program is free software; you can redistribute it and/or
   8    modify it under the terms of the GNU General Public License
   9    as published by the Free Software Foundation; either version 2
  10    of the License, or (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program; if not, write to the Free Software
  19    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  20  *)
  21
  22
  23 val const_prog : Mir.prog -> Mir.prog