Ivory.Compile.C.Gen

Ivory backend targeting language-c-quote.

Documentation

data Visibility

Constructors

Public

Private

Instances

Eq Visibility

Methods

(==) :: Visibility -> Visibility -> Bool

(/=) :: Visibility -> Visibility -> Bool

Show Visibility

Methods

showsPrec :: Int -> Visibility -> ShowS

show :: Visibility -> String

showList :: [Visibility] -> ShowS

compile :: Def a -> Compile

Compile a top-level element.

compileStruct :: Visibility -> Struct -> Compile

Compile a struct.

mkFieldGroup :: Typed String -> FieldGroup

compileAreaImport :: AreaImport -> Compile

Compile an external memory area reference.

extractAreaProto :: Visibility -> Area -> Compile

Get prototypes for memory areas.

compileArea :: Visibility -> Area -> Compile

Compile a memory area definition into an extern in the header, and a structure in the source.

compileUnit :: Proc -> Compile

Compile a definition unit.

collapseComment :: BlockItem -> [BlockItem] -> [BlockItem]

extractProto :: Visibility -> Proc -> Compile

Get the prototypes.

toArgs :: [Typed Var] -> [Param]

Argument conversion.

toParam :: Type -> Param

toTypeDecay :: Type -> Type

Make C type, and decay array types into pointers (e.g., `x[2][3]` decays into `(*x)[3]`).

toType :: Type -> Type

Make C type, but don't decay array types (default).

toType' :: Bool -> Type -> Type

C type conversion, with a special case for references and pointers.

intSize :: IntSize -> Type

wordSize :: WordSize -> Type

toName :: Name -> String

Call Symbols

toVar :: Var -> String

Variable name mangling.

toBody :: [Cond] -> Stmt -> [BlockItem]

Translate statements.

typedRet :: Typed Expr -> Exp

Return statement.

toInit :: Init -> Initializer

fieldDes :: String -> Designation

derefExp :: Exp -> Exp

labelExp :: Exp -> String -> Exp

toExpr :: Type -> Expr -> Exp

Translate an expression.

exp0 :: [Exp] -> Exp

exp1 :: [Exp] -> Exp

exp2 :: [Exp] -> Exp

mkArgs :: Type -> [Expr] -> [Exp]

toExpOp :: Type -> ExpOp -> [Expr] -> Exp

floatingSym :: Type -> String -> String

floatingBinary :: Type -> String -> [Expr] -> Exp

floatingUnary :: Type -> String -> [Expr] -> Exp

toLogBase :: Type -> [Expr] -> Exp

toMod :: Type -> [Expr] -> Exp

absSym :: Type -> String

Emit the function name for a call to abs. This doesn't include any symbol for unsigned things, as they should be optimized out by the front end.

signumSym :: Type -> String

Emit the function name for a call to signum.

showInt :: IntSize -> String

showWord :: WordSize -> String

toRequire :: Cond -> BlockItem

toEnsure :: Expr -> Cond -> BlockItem

Takes the return expression, the condition, and returns a BlockItem.

toAssertion :: (Expr -> Expr) -> String -> Cond -> BlockItem