LLVM 22.0.0git
Analysis.h
Go to the documentation of this file.
1/*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\
2|* *|
3|* Part of the LLVM Project, under the Apache License v2.0 with LLVM *|
4|* Exceptions. *|
5|* See https://llvm.org/LICENSE.txt for license information. *|
6|* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *|
7|* *|
8|*===----------------------------------------------------------------------===*|
9|* *|
10|* This header declares the C interface to libLLVMAnalysis.a, which *|
11|* implements various analyses of the LLVM IR. *|
12|* *|
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. *|
16|* *|
17\*===----------------------------------------------------------------------===*/
18
19#ifndef LLVM_C_ANALYSIS_H
20#define LLVM_C_ANALYSIS_H
21
22#include "llvm-c/ExternC.h"
23#include "llvm-c/Types.h"
24#include "llvm-c/Visibility.h"
25
27
28/**
29 * @defgroup LLVMCAnalysis Analysis
30 * @ingroup LLVMC
31 *
32 * @{
33 */
34
35typedef enum {
36 LLVMAbortProcessAction, /* verifier will print to stderr and abort() */
37 LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */
38 LLVMReturnStatusAction /* verifier will just return 1 */
40
41
42/* Verifies that a module is valid, taking the specified action if not.
43 Optionally returns a human-readable description of any invalid constructs.
44 OutMessage must be disposed with LLVMDisposeMessage. */
47 char **OutMessage);
48
49/* Verifies that a single function is valid, taking the specified action. Useful
50 for debugging. */
53
54/* Open up a ghostview window that displays the CFG of the current function.
55 Useful for debugging. */
58
59/**
60 * @}
61 */
62
64
65#endif
#define LLVM_C_EXTERN_C_BEGIN
Definition: ExternC.h:35
#define LLVM_C_EXTERN_C_END
Definition: ExternC.h:36
#define LLVM_C_ABI
LLVM_C_ABI is the export/visibility macro used to mark symbols declared in llvm-c as exported when bu...
Definition: Visibility.h:40
LLVM_C_ABI LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action)
Definition: Analysis.cpp:101
LLVM_C_ABI void LLVMViewFunctionCFG(LLVMValueRef Fn)
Definition: Analysis.cpp:112
LLVM_C_ABI LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action, char **OutMessage)
Definition: Analysis.cpp:80
LLVM_C_ABI void LLVMViewFunctionCFGOnly(LLVMValueRef Fn)
Definition: Analysis.cpp:117
LLVMVerifierFailureAction
Definition: Analysis.h:35
@ LLVMPrintMessageAction
Definition: Analysis.h:37
@ LLVMReturnStatusAction
Definition: Analysis.h:38
@ LLVMAbortProcessAction
Definition: Analysis.h:36
struct LLVMOpaqueValue * LLVMValueRef
Represents an individual value in LLVM IR.
Definition: Types.h:75
int LLVMBool
Definition: Types.h:28
struct LLVMOpaqueModule * LLVMModuleRef
The top-level container for all other LLVM Intermediate Representation (IR) objects.
Definition: Types.h:61