0580563299
## Purpose This patch is one in a series of code-mods that annotate LLVM’s public interface for export. This patch annotates the `llvm-c` interface with a new `LLVM_C_ABI` annotation, which behaves like the `LLVM_ABI`. This annotation currently has no meaningful impact on the LLVM build; however, it is a prerequisite to support an LLVM Windows DLL (shared library) build. ## Overview 1. Add a new `llvm-c/Visibility.h` header file that defines a new `LLVM_C_ABI` macro. The macro resolves to the proper DLL export/import annotation on Windows and a "default" visibility annotation elsewhere. 2. Add a new `LLVM_ENABLE_LLVM_C_EXPORT_ANNOTATIONS` `#cmakedefine` that is used to gate the definition of `LLVM_C_ABI`. 3. Remove the existing `LLVM_C_ABI` definition from `llvm/Support/Compiler.h`. Update the small number of `LLVM_C_ABI` references to get it from the new `llvm-c/Visibility.h` header. 4. Code-mod annotate the public `llvm-c` interface using the [Interface Definition Scanner (IDS)](https://github.com/compnerd/ids) tool. 5. Format the changes with `clang-format`. ## Background This effort is tracked in #109483. Additional context is provided in [this discourse](https://discourse.llvm.org/t/psa-annotating-llvm-public-interface/85307), and documentation for `LLVM_ABI` and related annotations is found in the LLVM repo [here](https://github.com/llvm/llvm-project/blob/main/llvm/docs/InterfaceExportAnnotations.rst). ## Validation Local builds and tests to validate cross-platform compatibility. This included llvm, clang, and lldb on the following configurations: - Windows with MSVC - Windows with Clang - Linux with GCC - Linux with Clang - Darwin with Clang
66 lines
2.7 KiB
C++
66 lines
2.7 KiB
C++
/*===-- 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"
|
|
#include "llvm-c/Visibility.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. */
|
|
LLVM_C_ABI LLVMBool LLVMVerifyModule(LLVMModuleRef M,
|
|
LLVMVerifierFailureAction Action,
|
|
char **OutMessage);
|
|
|
|
/* Verifies that a single function is valid, taking the specified action. Useful
|
|
for debugging. */
|
|
LLVM_C_ABI LLVMBool LLVMVerifyFunction(LLVMValueRef Fn,
|
|
LLVMVerifierFailureAction Action);
|
|
|
|
/* Open up a ghostview window that displays the CFG of the current function.
|
|
Useful for debugging. */
|
|
LLVM_C_ABI void LLVMViewFunctionCFG(LLVMValueRef Fn);
|
|
LLVM_C_ABI void LLVMViewFunctionCFGOnly(LLVMValueRef Fn);
|
|
|
|
/**
|
|
* @}
|
|
*/
|
|
|
|
LLVM_C_EXTERN_C_END
|
|
|
|
#endif
|