diff options
author | Ben.Lippmeier@anu.edu.au <unknown> | 2009-05-18 01:44:44 +0000 |
---|---|---|
committer | Ben.Lippmeier@anu.edu.au <unknown> | 2009-05-18 01:44:44 +0000 |
commit | f9288086f935c97812b2d80defcff38baf7b6a6c (patch) | |
tree | f5363edcc32f9414c6763c060f6be330d46f0cc6 /compiler/nativeGen/RegAlloc/Liveness.hs | |
parent | de29a9f02449359b70402f763ac7590673774124 (diff) | |
download | haskell-f9288086f935c97812b2d80defcff38baf7b6a6c.tar.gz |
Split Reg into vreg/hreg and add register pairs
* The old Reg type is now split into VirtualReg and RealReg.
* For the graph coloring allocator, the type of the register graph
is now (Graph VirtualReg RegClass RealReg), which shows that it colors
in nodes representing virtual regs with colors representing real regs.
(as was intended)
* RealReg contains two contructors, RealRegSingle and RealRegPair,
where RealRegPair is used to represent a SPARC double reg
constructed from two single precision FP regs.
* On SPARC we can now allocate double regs into an arbitrary register
pair, instead of reserving some reg ranges to only hold float/double values.
Diffstat (limited to 'compiler/nativeGen/RegAlloc/Liveness.hs')
-rw-r--r-- | compiler/nativeGen/RegAlloc/Liveness.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/nativeGen/RegAlloc/Liveness.hs b/compiler/nativeGen/RegAlloc/Liveness.hs index 8faab5af92..0c289c16e9 100644 --- a/compiler/nativeGen/RegAlloc/Liveness.hs +++ b/compiler/nativeGen/RegAlloc/Liveness.hs @@ -465,7 +465,8 @@ patchEraseLive patchF cmm patchCmm (CmmProc info label params (ListGraph comps)) | LiveInfo static id blockMap <- info - = let patchRegSet set = mkUniqSet $ map patchF $ uniqSetToList set + = let + patchRegSet set = mkUniqSet $ map patchF $ uniqSetToList set blockMap' = mapBlockEnv patchRegSet blockMap info' = LiveInfo static id blockMap' @@ -781,5 +782,3 @@ liveness1 liveregs blockmap instr live_branch_only) - - |