curly-system-0.3.3: System-specific code generation libraries for the Curly compiler

Safe Haskell	None
Language	Haskell2010

Curly.System.ARM.Common

Documentation

data R Source #

Constructors

R_r0
R_r1
R_r2
R_r3
R_r4
R_r5
R_r7
R_r8
R_r9
R_r10
R_r11
R_r12
R_sp
R_lr
R_pc

Instances

Enum R Source #
Methods succ :: R -> R # pred :: R -> R # toEnum :: Int -> R # fromEnum :: R -> Int # enumFrom :: R -> [R] # enumFromThen :: R -> R -> [R] # enumFromTo :: R -> R -> [R] # enumFromThenTo :: R -> R -> R -> [R] #
Show R Source #
Methods showsPrec :: Int -> R -> ShowS # show :: R -> String # showList :: [R] -> ShowS #
IsValue R Source #
Methods toValue :: R -> Value Source #
IsLocus R Source #
Methods toLocus :: R -> Locus Source #

data Cond Source #

Constructors

C_EQ
C_NE
C_CS
C_CC
C_MI
C_PL
C_VS
C_VC
C_HI
C_LS
C_GE
C_LT
C_GT
C_LE
C_AL
C_None

Instances

Enum Cond Source #
Methods succ :: Cond -> Cond # pred :: Cond -> Cond # toEnum :: Int -> Cond # fromEnum :: Cond -> Int # enumFrom :: Cond -> [Cond] # enumFromThen :: Cond -> Cond -> [Cond] # enumFromTo :: Cond -> Cond -> [Cond] # enumFromThenTo :: Cond -> Cond -> Cond -> [Cond] #
Show Cond Source #
Methods showsPrec :: Int -> Cond -> ShowS # show :: Cond -> String # showList :: [Cond] -> ShowS #

data Instruction Source #

Constructors

Conditional Cond Op

Instances

BCSerializable Instruction Source #
Methods bcEncode :: Instruction -> BinaryCode Source #
Serializable Bytes Instruction Source #
Methods encode :: Proxy Bytes -> Instruction -> StreamBuilder Bytes #

data Op Source #

Constructors

MOVL R Word16
MOVH R Word16
MOV R R
LDR R (R, Word16)
STR (R, Word16) R
CMPRR R R
CMPRI R Word16
Push [R]
Pop [R]
BLI Word32
BLR R
SVC Word32
Branch Word32

reg :: Enum a => a -> RegID Source #

mkInstr :: [(Int, Word32)] -> Word32 Source #

archOffset :: (Semiring n, Num n) => Offset -> n Source #

arm_wordSize :: Num t => t Source #

en :: (Enum n, Num m) => n -> m Source #

toR :: Enum a => RegID -> a Source #

rsrc :: RegID Source #

rdst :: RegID Source #

arm_cp :: Locus -> Value -> [Instruction] Source #

arm_add :: a Source #

arm_sub :: a Source #

arm_push :: MonadASM m s => Value -> m () Source #

arm_pop :: MonadASM m s => Either Int Locus -> m () Source #

arm_ret :: MonadASM m s => m () Source #

arm_call :: MonadASM f s => Value -> f () Source #

arm_jmp :: MonadASM m s => Value -> m () Source #

arm_jcmp :: (Functor f, MonadASM m s) => f Bool -> (Bool, Ordering) -> Value -> Value -> BinAddress -> m () Source #

toReg :: MonadASM f s => RegID -> Locus -> f RegID Source #

cond :: (Bool, Ordering) -> Cond Source #

arm_instr :: (MonadASM m s, Foldable f, BCSerializable s') => f s' -> m () Source #

arm_curlyBuiltin :: t -> Maybe a Source #

arm_load :: t -> a Source #

arm_store :: t -> a Source #

arm_machine :: VonNeumannMachine Source #

arm_sys :: String -> Standalone -> System Source #