| /*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\ |
| |* *| |
| |* The LLVM Compiler Infrastructure *| |
| |* *| |
| |* This file is distributed under the University of Illinois Open Source *| |
| |* License. See LICENSE.TXT for details. *| |
| |* *| |
| |*===----------------------------------------------------------------------===*| |
| |* *| |
| |* This header declares the C interface to libLLVMAnalysis.a, which *| |
| |* implements various analyses of the LLVM IR. *| |
| |* *| |
| |* Many exotic languages can interoperate with C code but have a harder time *| |
| |* with C++ due to name mangling. So in addition to C, this interface enables *| |
| |* tools written in such languages. *| |
| |* *| |
| \*===----------------------------------------------------------------------===*/ |
| |
| #ifndef LLVM_C_ANALYSIS_H |
| #define LLVM_C_ANALYSIS_H |
| |
| #include "llvm-c/Core.h" |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| /** |
| * @defgroup LLVMCAnalysis Analysis |
| * @ingroup LLVMC |
| * |
| * @{ |
| */ |
| |
| typedef enum { |
| LLVMAbortProcessAction, /* verifier will print to stderr and abort() */ |
| LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */ |
| LLVMReturnStatusAction /* verifier will just return 1 */ |
| } LLVMVerifierFailureAction; |
| |
| |
| /* Verifies that a module is valid, taking the specified action if not. |
| Optionally returns a human-readable description of any invalid constructs. |
| OutMessage must be disposed with LLVMDisposeMessage. */ |
| LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action, |
| char **OutMessage); |
| |
| /* Verifies that a single function is valid, taking the specified action. Useful |
| for debugging. */ |
| LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action); |
| |
| /* Open up a ghostview window that displays the CFG of the current function. |
| Useful for debugging. */ |
| void LLVMViewFunctionCFG(LLVMValueRef Fn); |
| void LLVMViewFunctionCFGOnly(LLVMValueRef Fn); |
| |
| /** |
| * @} |
| */ |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif |