llvm-base-3.2.0.0: FFI bindings to the LLVM compiler toolkit.
LLVM.Wrapper.Analysis
verifyFunction :: Value -> IO BoolSource
verifyModule :: Module -> IO (Maybe String)Source