[redo flags for printing various stages of core and grin
John Meacham <john@repetae.net>**20060420020711] hunk ./FlagDump.flags 35
-lambdacube show intermediate lambda cube code
-lambdacube-before-lift show intermediate lambda cube code just before lambda lifting
-pass show optimization passes over intermediate code
-datatable show data table of constructors
+lambdacube  show intermediate lambda cube code
+datatable   show data table of constructors
hunk ./FlagDump.flags 38
-rules show all rules
+rules       show all rules
hunk ./FlagDump.flags 40
-e-verbose print very verbose version of E code always
+e-verbose   print very verbose version of E code always
+core-pass   show each iteration of code while transforming
+core-steps  show what happens in each pass
+core-mini   show details even when optimizing individual functions
+core-beforelift show core before lambdalifting
+core-afterlift  show final core before writing ho file
+core-mangled de-typed core right before it is converted to grin
hunk ./FlagDump.flags 50
-mangled-core de-typed core right before it is converted to grin
hunk ./FlagDump.flags 58
+grin-pass  show each iteration of code while transforming
+grin-steps show what happens in each transformation
hunk ./Main.hs 158
-    transformProgram "Barendregt" DontIterate (dump FD.Pass) (return . barendregtProgram) prog
+    transformProgram "Barendregt" DontIterate (dump FD.CorePass) (return . barendregtProgram) prog
hunk ./Main.hs 284
-        when (dump FD.Lambdacube || dump FD.Pass) $ putErrLn ("----\n" ++ pprint names)
+        when (dump FD.Lambdacube || dump FD.CorePass) $ putErrLn ("----\n" ++ pprint names)
hunk ./Main.hs 296
-        mprog <- transformProgram "floatOutward" DontIterate (dump FD.Pass) floatOutward mprog
+        mprog <- transformProgram "floatOutward" DontIterate (dump FD.CorePass) floatOutward mprog
hunk ./Main.hs 298
-        mprog <- transformProgram "float inward" DontIterate (dump FD.Pass) (programMapBodies (return . floatInward allRules)) mprog
+        mprog <- transformProgram "float inward" DontIterate (dump FD.CorePass) (programMapBodies (return . floatInward allRules)) mprog
hunk ./Main.hs 307
-        wdump FD.Lambdacube $ mapM_ (\ (v,lc) -> printCheckName'' fullDataTable v lc) (programDs mprog)
-        wdump FD.Pass $ Stats.print ("InitialOptimize:" ++ pprint names) mstats
+        when (dump FD.CoreMini && dump FD.CorePass) $ mapM_ (\ (v,lc) -> printCheckName'' fullDataTable v lc) (programDs mprog)
+        when (dump FD.CoreMini && dump FD.CoreSteps) $ Stats.print ("InitialOptimize:" ++ pprint names) mstats
hunk ./Main.hs 338
-        when (dump FD.Lambdacube || dump FD.Pass) $ putErrLn ("----\n" ++ pprint names)
+        when (dump FD.Lambdacube || dump FD.CorePass) $ putErrLn ("----\n" ++ pprint names)
hunk ./Main.hs 346
-            wdump FD.Pass $ printCheckName fullDataTable e''
+            wdump FD.CorePass $ printCheckName fullDataTable e''
hunk ./Main.hs 391
-                    wdump FD.Pass $ printCheckName fullDataTable e''
+                    wdump FD.CorePass $ printCheckName fullDataTable e''
hunk ./Main.hs 450
-programPrune prog = transformProgram "Prune Unreachable" DontIterate (dump FD.Pass) (return . programPruneUnreachable) prog
+programPrune prog = transformProgram "Prune Unreachable" DontIterate (dump FD.CorePass) (return . programPruneUnreachable) prog
hunk ./Main.hs 455
-    transformProgram "eta expansion" DontIterate (dump FD.Pass) (const $ return prog' { progStats = progStats prog' `mappend` stats }) prog
+    transformProgram "eta expansion" DontIterate (dump FD.CorePass) (const $ return prog' { progStats = progStats prog' `mappend` stats }) prog
hunk ./Main.hs 527
-        wdump FD.LambdacubeBeforeLift $ printProgram prog
+        wdump FD.CoreBeforelift $ printProgram prog
hunk ./Main.hs 531
-        wdump FD.Lambdacube $ printProgram prog -- printCheckName dataTable (programE prog)
+        wdump FD.CoreAfterlift $ printProgram prog -- printCheckName dataTable (programE prog)
hunk ./Main.hs 570
-    wdump FD.LambdacubeBeforeLift $ printProgram prog
+    wdump FD.CoreBeforelift $ printProgram prog
hunk ./Main.hs 589
-    wdump FD.Lambdacube $ printProgram prog -- printCheckName dataTable (programE prog)
+    wdump FD.CoreAfterlift $ printProgram prog -- printCheckName dataTable (programE prog)
hunk ./Main.hs 600
-    wdump FD.MangledCore $ printUntypedProgram prog -- printCheckName dataTable (programE prog)
+    wdump FD.CoreMangled $ printUntypedProgram prog -- printCheckName dataTable (programE prog)
hunk ./Main.hs 617
-        wdump FD.Steps $ printGrin x
+        wdump FD.GrinPass $ printGrin x
hunk ./Main.hs 713
-    when ((dodump && dump FD.Progress) || dump FD.Pass) $ Stats.printStat name (progStats prog)
+    when ((dodump && dump FD.Progress) || dump FD.CorePass) $ Stats.printStat name (progStats prog)
hunk ./Main.hs 720
-    when ((dodump && dump FD.Progress) || dump FD.Pass) $ Stats.printStat name (progStats prog)
+    when ((dodump && dump FD.Progress) || dump FD.CorePass) $ Stats.printStat name (progStats prog)
hunk ./Main.hs 727
-    when ((dodump && dump FD.Progress) || dump FD.Pass) $ Stats.printStat name (progStats prog)
+    when ((dodump && dump FD.Progress) || dump FD.CorePass) $ Stats.printStat name (progStats prog)
hunk ./Main.hs 756
-    when (dodump && dump FD.Steps) $ printProgram prog
+    when (dodump && dump FD.CorePass) $ printProgram prog
hunk ./Main.hs 773
-    when (dodump && dump FD.Steps) $ Stats.printStat name estat
+    when (dodump && dump FD.CoreSteps) $ Stats.printStat name estat
hunk ./Main.hs 789
-            when ((dmp && dump FD.Progress) || dump FD.Pass) $ Stats.print "Optimization" stats'
+            when ((dmp && dump FD.Progress) || dump FD.CoreSteps) $ Stats.print "Optimization" stats'
hunk ./Main.hs 804
-    when ((b && dump FD.Progress) || dump FD.Pass) $ putErrLn $ "-- " ++ s
+    when ((b && dump FD.Progress) || dump FD.CorePass) $ putErrLn $ "-- " ++ s