diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2016-02-11 10:05:03 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2016-02-11 10:06:26 +0100 |
| commit | a1931b9f28b1b44cc67b1666719db5ff46ee19ef (patch) | |
| tree | 4c52bcdf9a47dbff2bc54d8713854e3b0cdc77e2 | |
| parent | 00c6e03ca16bdbf3ee8ad70854960a7a8ab95dbe (diff) | |
| download | haskell-wip/js-hoopl-cleanup.tar.gz | |
Comment cleanupwip/js-hoopl-cleanup
| -rw-r--r-- | compiler/cmm/Hoopl/Dataflow.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/cmm/Hoopl/Dataflow.hs b/compiler/cmm/Hoopl/Dataflow.hs index 1517c684d8..191ff11bd0 100644 --- a/compiler/cmm/Hoopl/Dataflow.hs +++ b/compiler/cmm/Hoopl/Dataflow.hs @@ -226,8 +226,6 @@ forwardBlockList entries blks = postorder_dfs_from blks entries -- Forward Analysis only ---------------------------------------------------------------- --- | if the graph being analyzed is open at the entry, there must --- be no other entry point, or all goes horribly wrong... analyzeFwd :: forall n f . NonLocal n => FwdPass UniqSM n f @@ -258,8 +256,6 @@ analyzeFwd FwdPass { fp_lattice = lattice, cat :: forall f1 f2 f3 . (f1 -> f2) -> (f2 -> f3) -> (f1 -> f3) cat ft1 ft2 = \f -> ft2 $! ft1 f --- | if the graph being analyzed is open at the entry, there must --- be no other entry point, or all goes horribly wrong... analyzeFwdBlocks :: forall n f. NonLocal n => FwdPass UniqSM n f @@ -291,8 +287,6 @@ analyzeFwdBlocks FwdPass { fp_lattice = lattice, -- Backward Analysis only ---------------------------------------------------------------- --- | if the graph being analyzed is open at the entry, there must --- be no other entry point, or all goes horribly wrong... analyzeBwd :: forall n f. NonLocal n => BwdPass UniqSM n f @@ -329,8 +323,6 @@ analyzeBwd BwdPass { bp_lattice = lattice, ----------------------------------------------------------------------------- --- | if the graph being analyzed is open at the exit, I don't --- quite understand the implications of possible other exits analyzeAndRewriteBwd :: NonLocal n => BwdPass UniqSM n f |