Kempe.Asm.X86.Linear

Linear scan register allocator

See: https://web.stanford.edu/class/archive/cs/cs143/cs143.1128/lectures/17/Slides17.pdf

Documentation

data X86Reg

Constructors

R8

R9

R10

R11

R12

R13

R14

R15

Rdi

Rsi

R8b

R9b

R10b

R11b

R12b

R13b

R14b

R15b

Sil

Dil

Rsp

Rbp

Rbx

Rcx

CH

CL

Rax

Rdx

AH

AL

DH

DL

Instances

Bounded X86Reg

Defined in Kempe.Asm.X86.Type

Methods

minBound :: X86Reg

maxBound :: X86Reg

Enum X86Reg

Defined in Kempe.Asm.X86.Type

Methods

succ :: X86Reg -> X86Reg

pred :: X86Reg -> X86Reg

toEnum :: Int -> X86Reg

fromEnum :: X86Reg -> Int

enumFrom :: X86Reg -> [X86Reg]

enumFromThen :: X86Reg -> X86Reg -> [X86Reg]

enumFromTo :: X86Reg -> X86Reg -> [X86Reg]

enumFromThenTo :: X86Reg -> X86Reg -> X86Reg -> [X86Reg]

Eq X86Reg

Defined in Kempe.Asm.X86.Type

Methods

(==) :: X86Reg -> X86Reg -> Bool

(/=) :: X86Reg -> X86Reg -> Bool

Ord X86Reg

Defined in Kempe.Asm.X86.Type

Methods

compare :: X86Reg -> X86Reg -> Ordering

(<) :: X86Reg -> X86Reg -> Bool

(<=) :: X86Reg -> X86Reg -> Bool

(>) :: X86Reg -> X86Reg -> Bool

(>=) :: X86Reg -> X86Reg -> Bool

max :: X86Reg -> X86Reg -> X86Reg

min :: X86Reg -> X86Reg -> X86Reg

Generic X86Reg

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep X86Reg :: Type -> Type

Methods

from :: X86Reg -> Rep X86Reg x

to :: Rep X86Reg x -> X86Reg

NFData X86Reg

Defined in Kempe.Asm.X86.Type

Methods

rnf :: X86Reg -> ()

Pretty X86Reg

Defined in Kempe.Asm.X86.Type

Methods

pretty :: X86Reg -> Doc ann

prettyList :: [X86Reg] -> Doc ann

type Rep X86Reg

Defined in Kempe.Asm.X86.Type

type Rep X86Reg = D1 ('MetaData "X86Reg" "Kempe.Asm.X86.Type" "kempe-0.1.1.1-EFnLFVNjuQo99bQNXiXMKL-kempe-modules" 'False) (((((C1 ('MetaCons "R8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "R12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R15" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Rdi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rsi" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R8b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R9b" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "R10b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R11b" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R12b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R13b" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "R14b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R15b" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dil" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Rsp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rbp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rbx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rcx" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "CH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdx" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "AH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DL" 'PrefixI 'False) (U1 :: Type -> Type))))))

allocRegs :: [X86 AbsReg Liveness] -> [X86 X86Reg ()]