src/analysis/dead_method_removal.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
   4 #
   5 # Licensed under the Apache License, Version 2.0 (the "License");
   6 # you may not use this file except in compliance with the License.
   7 # You may obtain a copy of the License at
   8 #
   9 #        http://www.apache.org/licenses/LICENSE-2.0
  10 #
  11 # Unless required by applicable law or agreed to in writing, software
  12 # distributed under the License is distributed on an "AS IS" BASIS,
  13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14 # See the License for the specific language governing permissions and
  15 # limitations under the License.
  16
  17 # This package introduces an algorithm to remove the body of dead methods
  18 package dead_method_removal
  19
  20 import reachable_method_analysis
  21
  22 redef class Program
  23         readable var _nb_removed_iroutines: Int = 0
  24         readable var _nb_not_removed_iroutines: Int = 0
  25
  26         # Calling this method will change all iroutines that are dead
  27         # and put an abort in them
  28         fun optimize_dead_methods do
  29                 with_each_iroutines !action(i,m) do
  30                         if not rma.is_iroutine_reachable(i) then
  31                                 i.set_not_reachable(m)
  32                                 _nb_removed_iroutines = nb_removed_iroutines + 1
  33                         else
  34                                 _nb_not_removed_iroutines = nb_not_removed_iroutines + 1
  35                         end
  36                 end
  37         end
  38
  39         # This method will create a file and output informations about this optimization
  40         fun dump_dead_method_optimization(directory_name: String) do
  41                 var f = new OFStream.open("{directory_name}/{main_module.name}.dmr_opt.log")
  42
  43                 f.write("Nb. dead iroutines removed: {nb_removed_iroutines}\n")
  44                 f.write("Nb. live iroutines: {nb_not_removed_iroutines}\n")
  45
  46                 f.close
  47         end
  48 end
  49
  50 redef class IRoutine
  51         # Simple helper function ...
  52         private fun set_not_reachable(m: MMModule) do
  53                 var icb = new ICodeBuilder(m, self)
  54                 icb.seq.icodes.clear
  55                 icb.add_abort("This method should not be called !")
  56         end
  57 end