diff options
| author | Baitinq <[email protected]> | 2025-03-04 00:55:34 +0100 |
|---|---|---|
| committer | Baitinq <[email protected]> | 2025-03-04 01:08:28 +0100 |
| commit | d55372bfbf798416ad55a854581bf9bfa4af9ba6 (patch) | |
| tree | ad3fbf5b725b7018f74bef8a74dab72d51c6852f /llvm-c/Analysis.h | |
| parent | Codegen: Initialize all llvm targets (diff) | |
| download | interpreter-d55372bfbf798416ad55a854581bf9bfa4af9ba6.tar.gz interpreter-d55372bfbf798416ad55a854581bf9bfa4af9ba6.tar.bz2 interpreter-d55372bfbf798416ad55a854581bf9bfa4af9ba6.zip | |
Codegen: add bundled llvm
Diffstat (limited to 'llvm-c/Analysis.h')
| -rw-r--r-- | llvm-c/Analysis.h | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/llvm-c/Analysis.h b/llvm-c/Analysis.h new file mode 100644 index 0000000..270b145 --- /dev/null +++ b/llvm-c/Analysis.h @@ -0,0 +1,62 @@ +/*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\ +|* *| +|* Part of the LLVM Project, under the Apache License v2.0 with LLVM *| +|* Exceptions. *| +|* See https://llvm.org/LICENSE.txt for license information. *| +|* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception *| +|* *| +|*===----------------------------------------------------------------------===*| +|* *| +|* 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/ExternC.h" +#include "llvm-c/Types.h" + +LLVM_C_EXTERN_C_BEGIN + +/** + * @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); + +/** + * @} + */ + +LLVM_C_EXTERN_C_END + +#endif |