1 /*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\
3 |* Part of the LLVM Project, under the Apache License v2.0 with LLVM *|
5 |* See https://llvm.org/LICENSE.txt for license information. *|
6 |* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *|
8 |*===----------------------------------------------------------------------===*|
10 |* This header declares the C interface to libLLVMAnalysis.a, which *|
11 |* implements various analyses of the LLVM IR. *|
13 |* Many exotic languages can interoperate with C code but have a harder time *|
14 |* with C++ due to name mangling. So in addition to C, this interface enables *|
15 |* tools written in such languages. *|
17 \*===----------------------------------------------------------------------===*/
19 #ifndef LLVM_C_ANALYSIS_H
20 #define LLVM_C_ANALYSIS_H
22 #include "llvm-c/ExternC.h"
23 #include "llvm-c/Types.h"
28 * @defgroup LLVMCAnalysis Analysis
35 LLVMAbortProcessAction, /* verifier will print to stderr and abort() */
36 LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */
37 LLVMReturnStatusAction /* verifier will just return 1 */
38 } LLVMVerifierFailureAction;
41 /* Verifies that a module is valid, taking the specified action if not.
42 Optionally returns a human-readable description of any invalid constructs.
43 OutMessage must be disposed with LLVMDisposeMessage. */
44 LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
47 /* Verifies that a single function is valid, taking the specified action. Useful
49 LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action);
51 /* Open up a ghostview window that displays the CFG of the current function.
52 Useful for debugging. */
53 void LLVMViewFunctionCFG(LLVMValueRef Fn);
54 void LLVMViewFunctionCFGOnly(LLVMValueRef Fn);