Kempe.Pipeline

Documentation

irGen

Arguments

:: Typeable a

=> Int

Thread uniques through

-> Declarations a c b

-> ([Stmt], WriteSt, SizeEnv)

x86Parsed :: Typeable a => Int -> Declarations a c b -> [X86 AbsReg ()]

x86Alloc :: Typeable a => Int -> Declarations a c b -> [X86 X86Reg ()]

armParsed :: Typeable a => Int -> Declarations a c b -> [Arm AbsReg ()]

armAlloc :: Typeable a => Int -> Declarations a c b -> [Arm ArmReg ()]