Opened 7 months ago

#8315 new task

Improve specialized Hoopl module

Reported by: jstolarek Owned by:
Priority: low Milestone:
Component: Compiler Version: 7.7
Keywords: Cc:
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 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. This wiki page gives full detail about proposed design changes.

Change History (0)

Note: See TracTickets for help on using tickets.