Ivory.Compile.C.Gen

Ivory backend targeting language-c-quote.

Documentation

data Visibility

Constructors

Public

Private

Instances

Eq Visibility

Show Visibility

compile :: Def a -> Compile

Compile a top-level element.

compileExtern :: Extern -> Compile

Compile an extern declaration

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.

extractProto :: Visibility -> Proc -> Compile

Get the prototypes.

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

Argument conversion.

toParam :: Type -> Param

toType :: Type -> Type

Type conversion outside of an assignment context. This converts arrays to arrays, and carrays to pointers.

toTypeAssign :: Type -> Type

Type conversion in the context of an assignment. This converts all arrays/carrays to pointers.

toTypeCxt :: (Type -> Type) -> 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

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