LLVM M.D.Source codeContentsIndex
MD.Rewrite
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
This module implements bottom-up symbolic evaluation of GDSA programs.
Synopsis
simplify :: AliasRules -> [RR] -> Term -> Term
inline :: [(String, [Ident], Term, Term)] -> Term -> Term
binop :: Opr -> String -> Type -> Term -> Term -> Term
eq :: Type -> Term -> Term -> Term
ne :: Type -> Term -> Term -> Term
inv :: Term -> Term
Documentation
simplify :: AliasRules -> [RR] -> Term -> TermSource
Compute symbolic value of a term given a set of GDSA rewrite rules and aliasing information.
inline :: [(String, [Ident], Term, Term)] -> Term -> TermSource
Basic inlining support.
binop :: Opr -> String -> Type -> Term -> Term -> TermSource
eq :: Type -> Term -> Term -> TermSource
ne :: Type -> Term -> Term -> TermSource
inv :: Term -> TermSource
Produced by Haddock version 2.6.0