- data ParamLocation a
- = RegisterParam GlobalReg
- | StackParam a
- type ArgumentFormat a b = [(a, ParamLocation b)]
- assignArguments :: (a -> CmmType) -> [a] -> ArgumentFormat a WordOff
- assignArgumentsPos :: Outputable a => Convention -> (a -> CmmType) -> [a] -> ArgumentFormat a ByteOff
- argumentsSize :: (a -> CmmType) -> [a] -> WordOff
Documentation
data ParamLocation a Source
Outputable a => Outputable (ParamLocation a) |
type ArgumentFormat a b = [(a, ParamLocation b)]Source
assignArguments :: (a -> CmmType) -> [a] -> ArgumentFormat a WordOffSource
assignArgumentsPos :: Outputable a => Convention -> (a -> CmmType) -> [a] -> ArgumentFormat a ByteOffSource
JD: For the new stack story, I want arguments passed on the stack to manifest as positive offsets in a CallArea, not negative offsets from the stack pointer. Also, I want byte offsets, not word offsets.
argumentsSize :: (a -> CmmType) -> [a] -> WordOffSource