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 ()]