llvm-ht-0.7.0.0: Bindings to the LLVM compiler toolkit with some custom extensions.

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