[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / compiler / simplCore / SimplPgm.lhs

diff --git a/ghc/compiler/simplCore/SimplPgm.lhs b/ghc/compiler/simplCore/SimplPgm.lhs
deleted file mode 100644 (file)
index c04aaac..0000000
--- a/ghc/compiler/simplCore/SimplPgm.lhs
+++ /dev/null
@@ -1,105 +0,0 @@
-%
-% (c) The AQUA Project, Glasgow University, 1993-1996
-%
-\section[SimplPgm]{Interface to the simplifier}
-
-\begin{code}
-module SimplPgm ( simplifyPgm ) where
-
-#include "HsVersions.h"
-
-import CmdLineOpts     ( opt_D_verbose_core2core, opt_D_dump_simpl_iterations,
-                         switchIsOn, SimplifierSwitch(..), SwitchResult
-                       )
-import CoreSyn
-import Id              ( mkIdEnv, lookupIdEnv, IdEnv
-                       )
-import Maybes          ( catMaybes )
-import OccurAnal       ( occurAnalyseBinds )
-import PprCore          ( pprCoreBinding ) -- added SOF
-import SimplEnv
-import SimplMonad
-import Simplify                ( simplTopBinds )
-import TyVar           ( TyVarEnv )
-import UniqSupply      ( thenUs, returnUs, mapUs, 
-                         splitUniqSupply, UniqSM,
-                         UniqSupply
-                        )
-import Util            ( isIn, isn'tIn, removeDups, trace )
-import Outputable 
-
-\end{code}
-
-\begin{code}
-simplifyPgm :: [CoreBinding]   -- input
-           -> (SimplifierSwitch->SwitchResult)
-           -> SimplCount       -- info about how many times
-                               -- each transformation has occurred
-           -> UniqSupply
-           -> ([CoreBinding],  -- output
-                Int,           -- info about how much happened
-                SimplCount)    -- accumulated simpl stats
-
-simplifyPgm binds s_sw_chkr simpl_stats us
-  = --case (splitUniqSupply us)                     of { (s1, s2) ->
-    case (initSmpl us (simpl_pgm 0 1 binds)) of { ((pgm2, it_count, simpl_stats2), _) ->
-    (pgm2, it_count, combineSimplCounts simpl_stats simpl_stats2) }
-  where
-    simpl_switch_is_on  = switchIsOn s_sw_chkr
-
-    max_simpl_iterations = getSimplIntSwitch s_sw_chkr MaxSimplifierIterations
-
-    simpl_pgm :: Int -> Int -> [CoreBinding] -> SmplM ([CoreBinding], Int, SimplCount)
-
-    simpl_pgm n iterations pgm
-      =        -- find out what top-level binders are used,
-       -- and prepare to unfold all the "simple" bindings
-       let
-           tagged_pgm = _scc_ "OccAnal" occurAnalyseBinds pgm simpl_switch_is_on
-       in
-             -- do the business
-       simplTopBinds (nullSimplEnv s_sw_chkr) tagged_pgm `thenSmpl` \ new_pgm ->
-
-             -- Quit if we didn't actually do anything; otherwise,
-             -- try again (if suitable flags)
-
-       simplCount                              `thenSmpl` \ r ->
-       detailedSimplCount                      `thenSmpl` \ dr ->
-       let
-           show_status = pprTrace "Simplifer run: " (vcat [
-               hcat [ptext SLIT("iteration "), 
-                          int iterations, 
-                          ptext SLIT(" out of "), 
-                          int max_simpl_iterations],
-               text (showSimplCount dr),
-               if opt_D_dump_simpl_iterations then
-                       vcat (map (pprCoreBinding) new_pgm)
-               else
-                       empty
-               ])
-       in
-
-       (if opt_D_verbose_core2core
-        || simpl_switch_is_on  ShowSimplifierProgress
-        then show_status
-        else id)
-
-       (let stop_now = r == n {-nothing happened-}
-                    || (if iterations >= max_simpl_iterations then
-                           (if max_simpl_iterations > 1 {-otherwise too boring-} then
-                               trace
-                               ("NOTE: Simplifier still going after " ++ 
-                                 show max_simpl_iterations ++ 
-                                 " iterations; bailing out.")
-                            else id)
-                           True
-                        else
-                           False)
-       in
-       if stop_now then
-           returnSmpl (new_pgm, iterations, dr)
-       else
-           simpl_pgm r (iterations + 1) new_pgm
-       )
-\end{code}
-