-useVanillaRegs | opt_Unregisterised = 0
- | otherwise = mAX_Real_Vanilla_REG
-useFloatRegs | opt_Unregisterised = 0
- | otherwise = mAX_Real_Float_REG
-useDoubleRegs | opt_Unregisterised = 0
- | otherwise = mAX_Real_Double_REG
-useLongRegs | opt_Unregisterised = 0
- | otherwise = mAX_Real_Long_REG
-
-getRegs reserveNode =
- (if reserveNode then filter (\r -> r VGcPtr /= node) intRegs else intRegs,
- regList FloatReg useFloatRegs,
- regList DoubleReg useDoubleRegs,
- regList LongReg useLongRegs)
- where
- regList f max = map f [1 .. max]
- intRegs = regList VanillaReg useVanillaRegs
-
-noStack = (map VanillaReg any, map FloatReg any, map DoubleReg any, map LongReg any)
- where any = [1 .. ]
+vanillaRegNos, floatRegNos, doubleRegNos, longRegNos :: [Int]
+vanillaRegNos | opt_Unregisterised = []
+ | otherwise = regList mAX_Real_Vanilla_REG
+floatRegNos | opt_Unregisterised = []
+ | otherwise = regList mAX_Real_Float_REG
+doubleRegNos | opt_Unregisterised = []
+ | otherwise = regList mAX_Real_Double_REG
+longRegNos | opt_Unregisterised = []
+ | otherwise = regList mAX_Real_Long_REG
+
+--
+getRegsWithoutNode, getRegsWithNode :: AvailRegs
+getRegsWithoutNode =
+ (filter (\r -> r VGcPtr /= node) intRegs,
+ map FloatReg floatRegNos, map DoubleReg doubleRegNos, map LongReg longRegNos)
+ where intRegs = map VanillaReg vanillaRegNos
+getRegsWithNode =
+ (intRegs, map FloatReg floatRegNos, map DoubleReg doubleRegNos, map LongReg longRegNos)
+ where intRegs = map VanillaReg vanillaRegNos
+
+allVanillaRegNos, allFloatRegNos, allDoubleRegNos, allLongRegNos :: [Int]
+allVanillaRegNos = regList mAX_Vanilla_REG
+allFloatRegNos = regList mAX_Float_REG
+allDoubleRegNos = regList mAX_Double_REG
+allLongRegNos = regList mAX_Long_REG
+
+regList :: Int -> [Int]
+regList n = [1 .. n]
+
+allRegs :: AvailRegs
+allRegs = (map VanillaReg allVanillaRegNos, map FloatReg allFloatRegNos,
+ map DoubleReg allDoubleRegNos, map LongReg allLongRegNos)
+
+noRegs :: AvailRegs