Move more code into codeGen/CodeGen/Platform.hs

HaskellMachRegs.h is no longer included in anything under compiler/

Also, includes/CodeGen.Platform.hs now includes "stg/MachRegs.h"
rather than <stg/MachRegs.h> which means that we always get the file
from the tree, rather than from the bootstrapping compiler.

1 files changed, 584 insertions, 1 deletions

diff --git a/includes/CodeGen.Platform.hs b/includes/CodeGen.Platform.hs
index 7b29edea0c..0ba57a46d7 100644
--- a/includes/CodeGen.Platform.hs
+++ b/includes/CodeGen.Platform.hs
@@ -1,5 +1,244 @@
 
-#include <stg/MachRegs.h>
+import CmmExpr
+import FastBool
+#if !(MACHREGS_i386 || MACHREGS_x86_64 || MACHREGS_sparc || MACHREGS_powerpc)
+import Panic
+#endif
+import Reg
+
+#include "stg/MachRegs.h"
+
+#if MACHREGS_i386 || MACHREGS_x86_64
+
+# if MACHREGS_i386
+#  define eax 0
+#  define ebx 1
+#  define ecx 2
+#  define edx 3
+#  define esi 4
+#  define edi 5
+#  define ebp 6
+#  define esp 7
+# endif
+
+# if MACHREGS_x86_64
+#  define rax   0
+#  define rbx   1
+#  define rcx   2
+#  define rdx   3
+#  define rsi   4
+#  define rdi   5
+#  define rbp   6
+#  define rsp   7
+#  define r8    8
+#  define r9    9
+#  define r10   10
+#  define r11   11
+#  define r12   12
+#  define r13   13
+#  define r14   14
+#  define r15   15
+# endif
+
+# define fake0 16
+# define fake1 17
+# define fake2 18
+# define fake3 19
+# define fake4 20
+# define fake5 21
+
+# define xmm0  24
+# define xmm1  25
+# define xmm2  26
+# define xmm3  27
+# define xmm4  28
+# define xmm5  29
+# define xmm6  30
+# define xmm7  31
+# define xmm8  32
+# define xmm9  33
+# define xmm10 34
+# define xmm11 35
+# define xmm12 36
+# define xmm13 37
+# define xmm14 38
+# define xmm15 39
+
+#elif MACHREGS_powerpc
+
+# define r0 0
+# define r1 1
+# define r2 2
+# define r3 3
+# define r4 4
+# define r5 5
+# define r6 6
+# define r7 7
+# define r8 8
+# define r9 9
+# define r10 10
+# define r11 11
+# define r12 12
+# define r13 13
+# define r14 14
+# define r15 15
+# define r16 16
+# define r17 17
+# define r18 18
+# define r19 19
+# define r20 20
+# define r21 21
+# define r22 22
+# define r23 23
+# define r24 24
+# define r25 25
+# define r26 26
+# define r27 27
+# define r28 28
+# define r29 29
+# define r30 30
+# define r31 31
+
+# if MACHREGS_darwin
+#  define f0  32
+#  define f1  33
+#  define f2  34
+#  define f3  35
+#  define f4  36
+#  define f5  37
+#  define f6  38
+#  define f7  39
+#  define f8  40
+#  define f9  41
+#  define f10 42
+#  define f11 43
+#  define f12 44
+#  define f13 45
+#  define f14 46
+#  define f15 47
+#  define f16 48
+#  define f17 49
+#  define f18 50
+#  define f19 51
+#  define f20 52
+#  define f21 53
+#  define f22 54
+#  define f23 55
+#  define f24 56
+#  define f25 57
+#  define f26 58
+#  define f27 59
+#  define f28 60
+#  define f29 61
+#  define f30 62
+#  define f31 63
+# else
+#  define fr0  32
+#  define fr1  33
+#  define fr2  34
+#  define fr3  35
+#  define fr4  36
+#  define fr5  37
+#  define fr6  38
+#  define fr7  39
+#  define fr8  40
+#  define fr9  41
+#  define fr10 42
+#  define fr11 43
+#  define fr12 44
+#  define fr13 45
+#  define fr14 46
+#  define fr15 47
+#  define fr16 48
+#  define fr17 49
+#  define fr18 50
+#  define fr19 51
+#  define fr20 52
+#  define fr21 53
+#  define fr22 54
+#  define fr23 55
+#  define fr24 56
+#  define fr25 57
+#  define fr26 58
+#  define fr27 59
+#  define fr28 60
+#  define fr29 61
+#  define fr30 62
+#  define fr31 63
+# endif
+
+#elif MACHREGS_sparc
+
+# define g0  0
+# define g1  1
+# define g2  2
+# define g3  3
+# define g4  4
+# define g5  5
+# define g6  6
+# define g7  7
+
+# define o0  8
+# define o1  9
+# define o2  10
+# define o3  11
+# define o4  12
+# define o5  13
+# define o6  14
+# define o7  15
+
+# define l0  16
+# define l1  17
+# define l2  18
+# define l3  19
+# define l4  20
+# define l5  21
+# define l6  22
+# define l7  23
+
+# define i0  24
+# define i1  25
+# define i2  26
+# define i3  27
+# define i4  28
+# define i5  29
+# define i6  30
+# define i7  31
+
+# define f0  32
+# define f1  33
+# define f2  34
+# define f3  35
+# define f4  36
+# define f5  37
+# define f6  38
+# define f7  39
+# define f8  40
+# define f9  41
+# define f10 42
+# define f11 43
+# define f12 44
+# define f13 45
+# define f14 46
+# define f15 47
+# define f16 48
+# define f17 49
+# define f18 50
+# define f19 51
+# define f20 52
+# define f21 53
+# define f22 54
+# define f23 55
+# define f24 56
+# define f25 57
+# define f26 58
+# define f27 59
+# define f28 60
+# define f29 61
+# define f30 62
+# define f31 63
+
+#endif
 
 callerSaves :: GlobalReg -> Bool
 #ifdef CALLER_SAVES_Base
@@ -150,3 +389,347 @@ haveRegBase = True
 haveRegBase = False
 #endif
 
+--  | Returns 'Nothing' if this global register is not stored
+-- in a real machine register, otherwise returns @'Just' reg@, where
+-- reg is the machine register it is stored in.
+globalRegMaybe :: GlobalReg -> Maybe RealReg
+#if MACHREGS_i386 || MACHREGS_x86_64 || MACHREGS_sparc || MACHREGS_powerpc
+# ifdef REG_Base
+globalRegMaybe BaseReg                  = Just (RealRegSingle REG_Base)
+# endif
+# ifdef REG_R1
+globalRegMaybe (VanillaReg 1 _)         = Just (RealRegSingle REG_R1)
+# endif
+# ifdef REG_R2
+globalRegMaybe (VanillaReg 2 _)         = Just (RealRegSingle REG_R2)
+# endif
+# ifdef REG_R3
+globalRegMaybe (VanillaReg 3 _)         = Just (RealRegSingle REG_R3)
+# endif
+# ifdef REG_R4
+globalRegMaybe (VanillaReg 4 _)         = Just (RealRegSingle REG_R4)
+# endif
+# ifdef REG_R5
+globalRegMaybe (VanillaReg 5 _)         = Just (RealRegSingle REG_R5)
+# endif
+# ifdef REG_R6
+globalRegMaybe (VanillaReg 6 _)         = Just (RealRegSingle REG_R6)
+# endif
+# ifdef REG_R7
+globalRegMaybe (VanillaReg 7 _)         = Just (RealRegSingle REG_R7)
+# endif
+# ifdef REG_R8
+globalRegMaybe (VanillaReg 8 _)         = Just (RealRegSingle REG_R8)
+# endif
+# ifdef REG_R9
+globalRegMaybe (VanillaReg 9 _)         = Just (RealRegSingle REG_R9)
+# endif
+# ifdef REG_R10
+globalRegMaybe (VanillaReg 10 _)        = Just (RealRegSingle REG_R10)
+# endif
+# ifdef REG_F1
+globalRegMaybe (FloatReg 1)             = Just (RealRegSingle REG_F1)
+# endif
+# ifdef REG_F2
+globalRegMaybe (FloatReg 2)             = Just (RealRegSingle REG_F2)
+# endif
+# ifdef REG_F3
+globalRegMaybe (FloatReg 3)             = Just (RealRegSingle REG_F3)
+# endif
+# ifdef REG_F4
+globalRegMaybe (FloatReg 4)             = Just (RealRegSingle REG_F4)
+# endif
+# ifdef REG_D1
+globalRegMaybe (DoubleReg 1)            =
+#  if MACHREGS_sparc
+                                          Just (RealRegPair REG_D1 (REG_D1 + 1))
+#  else
+                                          Just (RealRegSingle REG_D1)
+#  endif
+# endif
+# ifdef REG_D2
+globalRegMaybe (DoubleReg 2)            =
+#  if MACHREGS_sparc
+                                          Just (RealRegPair REG_D2 (REG_D2 + 1))
+#  else
+                                          Just (RealRegSingle REG_D2)
+#  endif
+# endif
+# ifdef REG_Sp
+globalRegMaybe Sp                       = Just (RealRegSingle REG_Sp)
+# endif
+# ifdef REG_Lng1
+globalRegMaybe (LongReg 1)              = Just (RealRegSingle REG_Lng1)
+# endif
+# ifdef REG_Lng2
+globalRegMaybe (LongReg 2)              = Just (RealRegSingle REG_Lng2)
+# endif
+# ifdef REG_SpLim
+globalRegMaybe SpLim                    = Just (RealRegSingle REG_SpLim)
+# endif
+# ifdef REG_Hp
+globalRegMaybe Hp                       = Just (RealRegSingle REG_Hp)
+# endif
+# ifdef REG_HpLim
+globalRegMaybe HpLim                    = Just (RealRegSingle REG_HpLim)
+# endif
+# ifdef REG_CurrentTSO
+globalRegMaybe CurrentTSO               = Just (RealRegSingle REG_CurrentTSO)
+# endif
+# ifdef REG_CurrentNursery
+globalRegMaybe CurrentNursery           = Just (RealRegSingle REG_CurrentNursery)
+# endif
+globalRegMaybe _                        = Nothing
+#else
+globalRegMaybe = panic "globalRegMaybe not defined for this platform"
+#endif
+
+freeReg :: RegNo -> FastBool
+
+#if MACHREGS_i386 || MACHREGS_x86_64
+
+# if MACHREGS_i386
+freeReg esp = fastBool False -- %esp is the C stack pointer
+freeReg esi = fastBool False -- Note [esi/edi not allocatable]
+freeReg edi = fastBool False
+# endif
+# if MACHREGS_x86_64
+freeReg rsp = fastBool False  --        %rsp is the C stack pointer
+# endif
+
+{-
+Note [esi/edi not allocatable]
+
+%esi is mapped to R1, so %esi would normally be allocatable while it
+is not being used for R1.  However, %esi has no 8-bit version on x86,
+and the linear register allocator is not sophisticated enough to
+handle this irregularity (we need more RegClasses).  The
+graph-colouring allocator also cannot handle this - it was designed
+with more flexibility in mind, but the current implementation is
+restricted to the same set of classes as the linear allocator.
+
+Hence, on x86 esi and edi are treated as not allocatable.
+-}
+
+-- split patterns in two functions to prevent overlaps
+freeReg r         = freeRegBase r
+
+freeRegBase :: RegNo -> FastBool
+# ifdef REG_Base
+freeRegBase REG_Base = fastBool False
+# endif
+# ifdef REG_Sp
+freeRegBase REG_Sp   = fastBool False
+# endif
+# ifdef REG_SpLim
+freeRegBase REG_SpLim = fastBool False
+# endif
+# ifdef REG_Hp
+freeRegBase REG_Hp   = fastBool False
+# endif
+# ifdef REG_HpLim
+freeRegBase REG_HpLim = fastBool False
+# endif
+-- All other regs are considered to be "free", because we can track
+-- their liveness accurately.
+freeRegBase _ = fastBool True
+
+#elif MACHREGS_powerpc
+
+freeReg 0 = fastBool False -- Hack: r0 can't be used in all insns,
+                           -- but it's actually free
+freeReg 1 = fastBool False -- The Stack Pointer
+# if !MACHREGS_darwin
+-- most non-darwin powerpc OSes use r2 as a TOC pointer or something like that
+freeReg 2 = fastBool False
+# endif
+# ifdef REG_Base
+freeReg REG_Base = fastBool False
+# endif
+# ifdef REG_R1
+freeReg REG_R1   = fastBool False
+# endif
+# ifdef REG_R2
+freeReg REG_R2   = fastBool False
+# endif
+# ifdef REG_R3
+freeReg REG_R3   = fastBool False
+# endif
+# ifdef REG_R4
+freeReg REG_R4   = fastBool False
+# endif
+# ifdef REG_R5
+freeReg REG_R5   = fastBool False
+# endif
+# ifdef REG_R6
+freeReg REG_R6   = fastBool False
+# endif
+# ifdef REG_R7
+freeReg REG_R7   = fastBool False
+# endif
+# ifdef REG_R8
+freeReg REG_R8   = fastBool False
+# endif
+# ifdef REG_R9
+freeReg REG_R9   = fastBool False
+# endif
+# ifdef REG_R10
+freeReg REG_R10  = fastBool False
+# endif
+# ifdef REG_F1
+freeReg REG_F1 = fastBool False
+# endif
+# ifdef REG_F2
+freeReg REG_F2 = fastBool False
+# endif
+# ifdef REG_F3
+freeReg REG_F3 = fastBool False
+# endif
+# ifdef REG_F4
+freeReg REG_F4 = fastBool False
+# endif
+# ifdef REG_D1
+freeReg REG_D1 = fastBool False
+# endif
+# ifdef REG_D2
+freeReg REG_D2 = fastBool False
+# endif
+# ifdef REG_Sp
+freeReg REG_Sp   = fastBool False
+# endif
+# ifdef REG_Su
+freeReg REG_Su   = fastBool False
+# endif
+# ifdef REG_SpLim
+freeReg REG_SpLim = fastBool False
+# endif
+# ifdef REG_Hp
+freeReg REG_Hp   = fastBool False
+# endif
+# ifdef REG_HpLim
+freeReg REG_HpLim = fastBool False
+# endif
+freeReg _               = fastBool True
+
+#elif MACHREGS_sparc
+
+-- SPARC regs used by the OS / ABI
+-- %g0(r0) is always zero
+freeReg g0  = fastBool False
+
+-- %g5(r5) - %g7(r7)
+--  are reserved for the OS
+freeReg g5  = fastBool False
+freeReg g6  = fastBool False
+freeReg g7  = fastBool False
+
+-- %o6(r14)
+--  is the C stack pointer
+freeReg o6  = fastBool False
+
+-- %o7(r15)
+--  holds the C return address
+freeReg o7  = fastBool False
+
+-- %i6(r30)
+--  is the C frame pointer
+freeReg i6  = fastBool False
+
+-- %i7(r31)
+--  is used for C return addresses
+freeReg i7  = fastBool False
+
+-- %f0(r32) - %f1(r32)
+--  are C floating point return regs
+freeReg f0  = fastBool False
+freeReg f1  = fastBool False
+
+{-
+freeReg regNo
+    -- don't release high half of double regs
+    | regNo >= f0
+    , regNo <  NCG_FirstFloatReg
+    , regNo `mod` 2 /= 0
+    = fastBool False
+-}
+
+# ifdef REG_Base
+freeReg REG_Base = fastBool False
+# endif
+# ifdef REG_R1
+freeReg REG_R1  = fastBool False
+# endif
+# ifdef REG_R2
+freeReg REG_R2  = fastBool False
+# endif
+# ifdef REG_R3
+freeReg REG_R3  = fastBool False
+# endif
+# ifdef REG_R4
+freeReg REG_R4  = fastBool False
+# endif
+# ifdef REG_R5
+freeReg REG_R5  = fastBool False
+# endif
+# ifdef REG_R6
+freeReg REG_R6  = fastBool False
+# endif
+# ifdef REG_R7
+freeReg REG_R7  = fastBool False
+# endif
+# ifdef REG_R8
+freeReg REG_R8  = fastBool False
+# endif
+# ifdef REG_R9
+freeReg REG_R9  = fastBool False
+# endif
+# ifdef REG_R10
+freeReg REG_R10 = fastBool False
+# endif
+# ifdef REG_F1
+freeReg REG_F1  = fastBool False
+# endif
+# ifdef REG_F2
+freeReg REG_F2  = fastBool False
+# endif
+# ifdef REG_F3
+freeReg REG_F3  = fastBool False
+# endif
+# ifdef REG_F4
+freeReg REG_F4  = fastBool False
+# endif
+# ifdef REG_D1
+freeReg REG_D1  = fastBool False
+# endif
+# ifdef REG_D1_2
+freeReg REG_D1_2 = fastBool False
+# endif
+# ifdef REG_D2
+freeReg REG_D2  = fastBool False
+# endif
+# ifdef REG_D2_2
+freeReg REG_D2_2 = fastBool False
+# endif
+# ifdef REG_Sp
+freeReg REG_Sp  = fastBool False
+# endif
+# ifdef REG_Su
+freeReg REG_Su  = fastBool False
+# endif
+# ifdef REG_SpLim
+freeReg REG_SpLim = fastBool False
+# endif
+# ifdef REG_Hp
+freeReg REG_Hp  = fastBool False
+# endif
+# ifdef REG_HpLim
+freeReg REG_HpLim = fastBool False
+# endif
+freeReg _   = fastBool True
+
+#else
+
+freeReg = panic "freeReg not defined for this platform"
+
+#endif
+