!9167: Cmm: track the type of global registers · Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Snippets Groups Projects

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

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 2 years ago by sheaf

Activity

sheaf changed the description 2 years ago

changed the description
sheaf changed the description 2 years ago

changed the description
sheaf added 1 commit 2 years ago
added 1 commit

d04dc395 - Cmm: refactor VanillaReg to not store VGcPtr

Compare with previous version
sheaf marked the checklist item Make AvailRegs into a datatype. as completed 2 years ago

marked the checklist item Make AvailRegs into a datatype. as completed
sheaf marked the checklist item Refactor the VanillaReg constructor of GlobalReg by removing the VGcPtr field. as completed 2 years ago

marked the checklist item Refactor the VanillaReg constructor of GlobalReg by removing the VGcPtr field. as completed
sheaf added 1 commit 2 years ago
added 1 commit

6c2f5b0f - Cmm: don't narrow/extend into registers

Compare with previous version
sheaf added 8 commits 2 years ago
added 8 commits

6c2f5b0f...62a55001 - 5 commits from branch ghc:master

61b04ea5 - Cmm: track the type of global registers

b3acab0e - Cmm: refactor VanillaReg to not store VGcPtr

e561f0a2 - Cmm: don't narrow/extend into registers

Compare with previous version
Toggle commit list
sheaf added 3 commits 2 years ago
added 3 commits

c2ffef1d - Cmm: track the type of global registers

0f2eacfe - Cmm: refactor VanillaReg to not store VGcPtr

c2bd8e3d - Cmm: don't narrow/extend into registers

Compare with previous version
Ben Gamari @bgamari started a thread on the diff 2 years ago

Resolved 2 years ago by sheaf
Last reply by Ben Gamari 2 years ago

sheaf added 18 commits 2 years ago

added 18 commits

c2bd8e3d...ba4bd4a4 - 17 commits from branch ghc:master
c3cd40dc - Cmm: track the type of global registers

Compare with previous version

sheaf marked this merge request as ready 2 years ago

marked this merge request as ready

sheaf added 1 commit 2 years ago

added 1 commit

47616be2 - Cmm: track the type of global registers

Compare with previous version

sheaf marked this merge request as draft 2 years ago

marked this merge request as draft

sheaf added 1 commit 2 years ago

added 1 commit

362b2562 - Cmm: track the type of global registers

Compare with previous version

sheaf @sheaf started a thread on the diff 2 years ago

Resolved 2 years ago by sheaf

sheaf marked this merge request as ready 2 years ago

marked this merge request as ready

sheaf requested review from @bgamari 2 years ago

requested review from @bgamari

Ben Gamari approved this merge request 2 years ago

approved this merge request

Ben Gamari added 472 commits 2 years ago

added 472 commits

362b2562...f4d50baf - 471 commits from branch ghc:master
d096bc38 - Cmm: track the type of global registers

Compare with previous version

Ben Gamari @bgamari · 2 years ago

Maintainer

@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.

Please register or sign in to reply