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/SPARC/CodeGen/Sanity.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/SPARC/CodeGen/Sanity.hs')
| -rw-r--r-- | compiler/nativeGen/SPARC/CodeGen/Sanity.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/nativeGen/SPARC/CodeGen/Sanity.hs b/compiler/nativeGen/SPARC/CodeGen/Sanity.hs index 5d2f481a15..56f71e44ed 100644 --- a/compiler/nativeGen/SPARC/CodeGen/Sanity.hs +++ b/compiler/nativeGen/SPARC/CodeGen/Sanity.hs @@ -20,7 +20,8 @@ import Outputable -- | Enforce intra-block invariants. -- checkBlock - :: CmmBasicBlock -> NatBasicBlock Instr -> NatBasicBlock Instr + :: CmmBasicBlock + -> NatBasicBlock Instr -> NatBasicBlock Instr checkBlock cmm block@(BasicBlock _ instrs) | checkBlockInstrs instrs |