Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-15 14:12:38 -0800 (Tue, 15 Mar 2005)
Revision: 6934
Log message:

      Added direct-call optimization.  Currently, direct-call optimization
      is just a selective inlining stage, where closure are inlined into all
      places where they are used as functions.  Closure elimination then has
      an optimization rule that handles this optimization.
      
      mmc_int_test/test_cps1 passes.
      

Changes  Path
+1 -1 mpcompiler/mmc/core/mmc_core_closure_grammar.ml
+34 -11 mpcompiler/mmc/lir/mmc_lir_closure_elim.ml
+12 -7 mpcompiler/mmc/opt/base/mmc_meta_bool.ml
+4 -0 mpcompiler/mmc/opt/base/mmc_meta_bool.mli
+13 -4 mpcompiler/mmc/opt/base/mmc_meta_bool_grammar.mli
+1 -1 mpcompiler/mmc/opt/dead/mmc_opt_dead.ml
+3 -0 mpcompiler/mmc/opt/direct/mmc_opt_direct.ml
+32 -19 mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
+15 -0 mpcompiler/mmc/opt/inline/mmc_opt_value.ml
+1 -1 mpcompiler/mmc/opt/inline/mmc_opt_value_grammar.mli
+6 -6 mpcompiler/util/mm_tactic_util.ml