#8315: Improve specialized Hoopl module
------------------------------------+-------------------------------------
Reporter: jstolarek | Owner:
Type: task | Status: new
Priority: low | Milestone:
Component: Compiler | Version: 7.7
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
GHC uses Hoopl to perform some of the Cmm-to-Cmm optimization passes, but
instead of relying directly on Hoopl library GHC uses its own specialized
module (see [[GhcFile(compiler/cmm/Hoopl/Dataflow.hs)]]). Interface of
that module, as well as its internal implementation can be improved. Right
now interface places responsibility of maintaining some of the invariants
on user. It also ignores differences between forward and backward
analysis. [http://ghc.haskell.org/trac/ghc/wiki/Hoopl/Cleanup This wiki
page] gives full detail about proposed design changes.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8315>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets