 | llvm-0.6.4.0: Bindings to the LLVM compiler toolkit | Source code | Contents | Index |
| LLVM.FFI.Analysis |
| 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 |