Harpy.X86CGCombinators

This module exports several combinators for writing loops, conditionals and function prolog/epilog code.

Note: this module is under heavy development and the exported API is definitely not yet stable.

Types

data UserState

User state is used to maintain bitmask of registers currently in use.

Constructors

UserState

data UserEnv

User environment stores code generators for accessing specific variables as well as the current data and control destinations

Constructors

UserEnv

Fields

bindings :: [(String, CodeGen UserEnv UserState ())]

dataDest :: DataDest

ctrlDest :: CtrlDest

emptyUserEnv :: UserEnv

emptyUserState :: UserState

data CtrlDest

Destination for control transfers

Constructors

FallThrough

Go to next instruction

Return

Return from current functio

Goto Label

Go to specific label

Branch CtrlDest CtrlDest

Go to one of the given labels depending on outcome of test

data DataDest

Destination for a calculated value.

Constructors

RegDest Reg32

Store into specific register

StackDest

Push onto stack

MemBaseDest Reg32 Word32

Store at memory address

Ignore

Throw result away.

Combinators

ifThenElse :: CodeGen UserEnv s r -> CodeGen UserEnv s a -> CodeGen UserEnv s a1 -> CodeGen UserEnv s ()

doWhile :: CodeGen UserEnv s r -> CodeGen UserEnv s a -> CodeGen UserEnv s ()

continue :: CodeGen UserEnv s ()

continueBranch :: Int -> Bool -> CodeGen UserEnv s ()

saveRegs :: [Reg32] -> CodeGen UserEnv s r -> CodeGen UserEnv s ()

Save a number of registers on the stack, perform the given code generation, and restore the registers.

function :: CodeGen UserEnv s r -> CodeGen UserEnv s r

Emit the necessary function prolog and epilog code and invoke the given code generator for the code inbetween.

withDataDest :: DataDest -> CodeGen UserEnv s r -> CodeGen UserEnv s r

Set the data destinations to the given values while running the code generator.

withCtrlDest :: CtrlDest -> CodeGen UserEnv s r -> CodeGen UserEnv s r

Set the control destinations to the given values while running the code generator.

withDest :: DataDest -> CtrlDest -> CodeGen UserEnv s r -> CodeGen UserEnv s r

Set the data and control destinations to the given values while running the code generator.