Feldspar.Primitive.Backend.C

C code generation of primitive Feldspar expressions

Documentation

viewLitPrim :: ASTF (Primitive :&: PrimTypeRep) a -> Maybe a

compComplexLit :: (Eq a, Num a, ToExp a) => Complex a -> Exp

Compile a complex literal

addTagMacro :: MonadC m => m ()

compUnOp :: MonadC m => UnOp -> ASTF PrimDomain a -> m Exp

Compile a unary operator

compBinOp :: MonadC m => BinOp -> ASTF PrimDomain a -> ASTF PrimDomain b -> m Exp

Compile a binary operator

compFun :: MonadC m => String -> Args (AST PrimDomain) sig -> m Exp

Compile a function call

compAbs :: MonadC m => PrimTypeRep a -> ASTF PrimDomain a -> m Exp

Compile a call to abs

complexSign_def :: Definition

complexSignf_def :: Definition

compSign :: MonadC m => PrimTypeRep a -> ASTF PrimDomain a -> m Exp

Compile a call to signum

compCast :: MonadC m => PrimTypeRep a -> ASTF PrimDomain b -> m Exp

Compile a type casted primitive expression

compCastExp :: MonadC m => PrimTypeRep a -> Exp -> m Exp

Applies type cast on a compiled expression

compRound :: (PrimType' a, Num a, RealFrac b, MonadC m) => PrimTypeRep a -> ASTF PrimDomain b -> m Exp

Compile a call to round A cast is added to the resulting expression to allow compatibility between different integral and floating return types.

div_def :: Definition

ldiv_def :: Definition

mod_def :: Definition

lmod_def :: Definition

compDiv :: MonadC m => PrimTypeRep a -> ASTF PrimDomain a -> ASTF PrimDomain b -> m Exp

compMod :: MonadC m => PrimTypeRep a -> ASTF PrimDomain a -> ASTF PrimDomain b -> m Exp

compPrim :: MonadC m => Prim a -> m Exp

Compile an expression

Orphan instances

CompExp Prim

Methods

compExp :: MonadC m => Prim a -> m Exp

CompTypeClass PrimType'

Methods

compType :: (PrimType' a, MonadC m) => proxy1 PrimType' -> proxy2 a -> m Type

compLit :: (PrimType' a, MonadC m) => proxy PrimType' -> a -> m Exp