llvm-0.10.0.1: Bindings to the LLVM compiler toolkit.

LLVM.FFI.Analysis

Documentation

type VerifierFailureAction = CInt Source

verifyFunction :: ValueRef -> VerifierFailureAction -> IO CInt Source

verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO CInt Source

viewFunctionCFG :: ValueRef -> IO ()Source

viewFunctionCFGOnly :: ValueRef -> IO ()Source