LLVM.Internal.Analysis

Documentation

verify :: Module -> IO ()

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.