llvm-hs-7.0.1: General purpose LLVM bindings

Safe HaskellNone
LanguageHaskell2010

LLVM.Analysis

Description

functionality for analyzing Modules. Much of the analysis possible with LLVM is managed internally, as needed by Transforms, and so is not yet exposed here.

Synopsis

Documentation

verify :: Module -> IO () Source #

Run basic sanity checks on a Module. Note that the same checks will trigger assertions within LLVM if LLVM was built with them turned on, before this function can be is called.