LLVM M.D.Source codeContentsIndex
MD.Driver
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
Driver functions for the validator.
Synopsis
validate :: Bool -> FilePath -> FilePath -> [String] -> IO ()
trans :: Maybe [String] -> FilePath -> IO [GFun]
data GFun = GFun {
gf_name :: String
gf_args :: [Ident]
gf_blocks :: [Block]
gf_gblocks :: [GBlock]
gf_rules :: [RR]
gf_ret_val :: Term
gf_ret_mem :: Term
}
gFun :: String -> [Argument] -> [Block] -> IO GFun
se :: [String] -> Decl -> IO ()
findFn :: String -> [Decl] -> Decl
findRV :: [GBlock] -> (Term, Int)
Documentation
validate :: Bool -> FilePath -> FilePath -> [String] -> IO ()Source
Entry point for validator. The first two arguments are the names of the two files that should be compared. The third argument is a list of functions to compare; this list can be empty, in which case all functions found in the first file will be used.
trans :: Maybe [String] -> FilePath -> IO [GFun]Source
data GFun Source
Constructors
GFun
gf_name :: String
gf_args :: [Ident]
gf_blocks :: [Block]
gf_gblocks :: [GBlock]
gf_rules :: [RR]
gf_ret_val :: Term
gf_ret_mem :: Term
gFun :: String -> [Argument] -> [Block] -> IO GFunSource
se :: [String] -> Decl -> IO ()Source
findFn :: String -> [Decl] -> DeclSource
findRV :: [GBlock] -> (Term, Int)Source
Produced by Haddock version 2.6.0