Skip to content
Snippets Groups Projects

Cmm: track the type of global registers

Closed sheaf requested to merge sheaf/ghc:cmm-typed-registers into master

This is an attempt to keep track of the types we store in Cmm global registers. This is meant to address #22297 (closed). Putting it up for preliminary discussion only, for the moment.

TODO:

  • Refactor the VanillaReg constructor of GlobalReg by removing the VGcPtr field. This information should instead be recovered from the CmmType of the GlobalRegUse.
  • Make AvailRegs into a datatype.
Edited by sheaf

Merge request reports

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • sheaf added 18 commits

    added 18 commits

    Compare with previous version

  • sheaf marked this merge request as ready

    marked this merge request as ready

  • sheaf added 1 commit

    added 1 commit

    • 47616be2 - Cmm: track the type of global registers

    Compare with previous version

  • sheaf marked this merge request as draft

    marked this merge request as draft

  • sheaf added 1 commit

    added 1 commit

    • 362b2562 - Cmm: track the type of global registers

    Compare with previous version

  • sheaf
  • sheaf marked this merge request as ready

    marked this merge request as ready

  • sheaf requested review from @bgamari

    requested review from @bgamari

  • Ben Gamari approved this merge request

    approved this merge request

  • Ben Gamari added 472 commits

    added 472 commits

    Compare with previous version

  • @sheaf, I have gone ahead and rebased this as both Alexis and I have broken it in the intervening months while it was sitting in my review queue.

  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Please register or sign in to reply
    Loading