X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FnativeGen%2FRegAlloc%2FLinear%2FX86%2FFreeRegs.hs;h=4ba637f9b735fd548fef2a3ea6987b545a3e32be;hb=703ca1542c8e0983cc9d8eebce6e9f3dd3fd71e2;hp=eedaca8cc0db8a09848237ed233d6aef8beeed68;hpb=b04a210e26ca57242fd052f2aa91011a80b76299;p=ghc-hetmet.git

diff --git a/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs b/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
index eedaca8..4ba637f 100644
--- a/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
+++ b/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
@@ -6,10 +6,10 @@ where
 import X86.Regs
 import RegClass
 import Reg
+import Panic
 
 import Data.Word
 import Data.Bits
-import Data.List
 
 type FreeRegs 
 	= Word32
@@ -17,26 +17,35 @@ type FreeRegs
 noFreeRegs :: FreeRegs
 noFreeRegs = 0
 
-releaseReg :: RegNo -> FreeRegs -> FreeRegs
-releaseReg n f = f .|. (1 `shiftL` n)
+releaseReg :: RealReg -> FreeRegs -> FreeRegs
+releaseReg (RealRegSingle n) f 
+	= f .|. (1 `shiftL` n)
+
+releaseReg _ _	
+	= panic "RegAlloc.Linear.X86.FreeRegs.realeaseReg: no reg"
 
 initFreeRegs :: FreeRegs
-initFreeRegs = foldr releaseReg noFreeRegs allocatableRegs
+initFreeRegs 
+	= foldr releaseReg noFreeRegs allocatableRegs
 
-getFreeRegs :: RegClass -> FreeRegs -> [RegNo]	-- lazilly
+getFreeRegs :: RegClass -> FreeRegs -> [RealReg]	-- lazilly
 getFreeRegs cls f = go f 0
 
   where go 0 _ = []
         go n m 
-	  | n .&. 1 /= 0 && regClass (RealReg m) == cls
-	  = m : (go (n `shiftR` 1) $! (m+1))
+	  | n .&. 1 /= 0 && classOfRealReg (RealRegSingle m) == cls
+	  = RealRegSingle m : (go (n `shiftR` 1) $! (m+1))
 
 	  | otherwise
 	  = go (n `shiftR` 1) $! (m+1)
 	-- ToDo: there's no point looking through all the integer registers
 	-- in order to find a floating-point one.
 
-allocateReg :: RegNo -> FreeRegs -> FreeRegs
-allocateReg r f = f .&. complement (1 `shiftL` fromIntegral r)
+allocateReg :: RealReg -> FreeRegs -> FreeRegs
+allocateReg (RealRegSingle r) f 
+	= f .&. complement (1 `shiftL` fromIntegral r)
+
+allocateReg _ _
+	= panic "RegAlloc.Linear.X86.FreeRegs.allocateReg: no reg"