• Michal Terepeta's avatar
    Hoopl: remove dependency on Hoopl package · 42eee6ea
    Michal Terepeta authored
    This copies the subset of Hoopl's functionality needed by GHC to
    `cmm/Hoopl` and removes the dependency on the Hoopl package.
    The main motivation for this change is the confusing/noisy interface
    between GHC and Hoopl:
    - Hoopl has `Label` which is GHC's `BlockId` but different than
      GHC's `CLabel`
    - Hoopl has `Unique` which is different than GHC's `Unique`
    - Hoopl has `Unique{Map,Set}` which are different than GHC's
    - GHC has its own specialized copy of `Dataflow`, so `cmm/Hoopl` is
      needed just to filter the exposed functions (filter out some of the
      Hoopl's and add the GHC ones)
    With this change, we'll be able to simplify this significantly.
    It'll also be much easier to do invasive changes (Hoopl is a public
    package on Hackage with users that depend on the current behavior)
    This should introduce no changes in functionality - it merely
    copies the relevant code.
    Signed-off-by: Michal Terepeta's avatarMichal Terepeta <michal.terepeta@gmail.com>
    Test Plan: ./validate
    Reviewers: austin, bgamari, simonmar
    Reviewed By: bgamari, simonmar
    Subscribers: simonpj, kavon, rwbarton, thomie
    Differential Revision: https://phabricator.haskell.org/D3616
CmmContFlowOpt.hs 15.7 KB