language-c-0.4.1: Analysis and generation of C code

Language.C.Analysis.ConstEval

Documentation

data MachineDesc Source

Constructors

MachineDesc 

Fields

iSize :: IntType -> Integer
 
fSize :: FloatType -> Integer
 
builtinSize :: BuiltinType -> Integer
 
ptrSize :: Integer
 
voidSize :: Integer
 
iAlign :: IntType -> Integer
 
fAlign :: FloatType -> Integer
 
builtinAlign :: BuiltinType -> Integer
 
ptrAlign :: Integer
 
voidAlign :: Integer
 

intExpr :: (Pos n, MonadName m) => n -> Integer -> m CExprSource

sizeofType :: (MonadTrav m, CNode n) => MachineDesc -> n -> Type -> m IntegerSource

alignofType :: (MonadTrav m, CNode n) => MachineDesc -> n -> Type -> m IntegerSource

compSize :: MonadTrav m => MachineDesc -> CompTypeRef -> m IntegerSource

intOp :: CBinaryOp -> Integer -> Integer -> IntegerSource

intUnOp :: CUnaryOp -> Integer -> Maybe IntegerSource

withWordBytes :: Int -> Integer -> IntegerSource

boolValue :: CExpr -> Maybe BoolSource

intValue :: CExpr -> Maybe IntegerSource

constEval :: MonadTrav m => MachineDesc -> Map Ident CExpr -> CExpr -> m CExprSource