1
/*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\
3
|* The LLVM Compiler Infrastructure *|
5
|* This file is distributed under the University of Illinois Open Source *|
6
|* License. See LICENSE.TXT for details. *|
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/Core.h"
30
LLVMAbortProcessAction, /* verifier will print to stderr and abort() */
31
LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */
32
LLVMReturnStatusAction /* verifier will just return 1 */
33
} LLVMVerifierFailureAction;
36
/* Verifies that a module is valid, taking the specified action if not.
37
Optionally returns a human-readable description of any invalid constructs.
38
OutMessage must be disposed with LLVMDisposeMessage. */
39
LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
42
/* Verifies that a single function is valid, taking the specified action. Useful
44
LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action);
46
/* Open up a ghostview window that displays the CFG of the current function.
47
Useful for debugging. */
48
void LLVMViewFunctionCFG(LLVMValueRef Fn);
49
void LLVMViewFunctionCFGOnly(LLVMValueRef Fn);