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

Safe HaskellNone
LanguageHaskell98

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 CExpr Source

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

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

compSize :: MonadTrav m => MachineDesc -> CompTypeRef -> m Integer Source

intOp :: CBinaryOp -> Integer -> Integer -> Integer Source

intUnOp :: CUnaryOp -> Integer -> Maybe Integer Source

withWordBytes :: Int -> Integer -> Integer Source

boolValue :: CExpr -> Maybe Bool Source

intValue :: CExpr -> Maybe Integer Source

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