Documentation

Fields

• postCallStackDelta :: Integer

  Amount stack should shift after call returns.

  On X86_64 this is 8 to reflect the pop of the return value.

• stackGrowsDown :: !Bool

  Returns true if stack grows down

• preserveReg :: forall (tp :: Type). r tp -> Bool

  Return true if a register value is preserved by a call.

  We assume stack pointer and instruction pointer are preserved, so the return value for these does not matter.