llvm/include/llvm-c/Analysis.h

   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
  25 LLVM_C_EXTERN_C_BEGIN
  26
  27 /**
  28  * @defgroup LLVMCAnalysis Analysis
  29  * @ingroup LLVMC
  30  *
  31  * @{
  32  */
  33
  34 typedef enum {
  35   LLVMAbortProcessAction, /* verifier will print to stderr and abort() */
  36   LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */
  37   LLVMReturnStatusAction  /* verifier will just return 1 */
  38 } LLVMVerifierFailureAction;
  39
  40
  41 /* Verifies that a module is valid, taking the specified action if not.
  42    Optionally returns a human-readable description of any invalid constructs.
  43    OutMessage must be disposed with LLVMDisposeMessage. */
  44 LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
  45                           char **OutMessage);
  46
  47 /* Verifies that a single function is valid, taking the specified action. Useful
  48    for debugging. */
  49 LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action);
  50
  51 /* Open up a ghostview window that displays the CFG of the current function.
  52    Useful for debugging. */
  53 void LLVMViewFunctionCFG(LLVMValueRef Fn);
  54 void LLVMViewFunctionCFGOnly(LLVMValueRef Fn);
  55
  56 /**
  57  * @}
  58  */
  59
  60 LLVM_C_EXTERN_C_END
  61
  62 #endif