2007-10-06 21:00:36 +00:00
|
|
|
/*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\
|
|
|
|
|* *|
|
|
|
|
|* The LLVM Compiler Infrastructure *|
|
|
|
|
|* *|
|
2007-12-29 19:59:42 +00:00
|
|
|
|* This file is distributed under the University of Illinois Open Source *|
|
|
|
|
|* License. See LICENSE.TXT for details. *|
|
2007-10-06 21:00:36 +00:00
|
|
|
|* *|
|
|
|
|
|*===----------------------------------------------------------------------===*|
|
|
|
|
|* *|
|
|
|
|
|* 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
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
2007-12-19 22:30:40 +00:00
|
|
|
Optionally returns a human-readable description of any invalid constructs.
|
|
|
|
OutMessage must be disposed with LLVMDisposeMessage. */
|
2007-10-06 21:00:36 +00:00
|
|
|
int LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
|
|
|
|
char **OutMessage);
|
|
|
|
|
|
|
|
/* Verifies that a single function is valid, taking the specified action. Useful
|
|
|
|
for debugging. */
|
|
|
|
int LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action);
|
|
|
|
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|