Safe Haskell	Safe-Inferred
Language	Haskell2010

Kempe.Asm.X86.Linear

Description

Linear scan register allocator

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

Documentation

data X86Reg Source #

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

Instances details

Bounded X86Reg Source #
Instance details Defined in Kempe.Asm.X86.Type Methods minBound :: X86Reg # maxBound :: X86Reg #
Enum X86Reg Source #
Instance details 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 Source #
Instance details Defined in Kempe.Asm.X86.Type Methods (==) :: X86Reg -> X86Reg -> Bool # (/=) :: X86Reg -> X86Reg -> Bool #
Ord X86Reg Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Kempe.Asm.X86.Type Methods rnf :: X86Reg -> () #
Pretty X86Reg Source #
Instance details Defined in Kempe.Asm.X86.Type Methods pretty :: X86Reg -> Doc ann # prettyList :: [X86Reg] -> Doc ann #
type Rep X86Reg Source #
Instance details 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 ()] Source #