include/llvm-c/Analysis.h

   1 /*===-- llvm-c/Analysis.h - Analysis Library C Interface --------*- C++ -*-===*\
   2 |*                                                                            *|
   3 |*                     The LLVM Compiler Infrastructure                       *|
   4 |*                                                                            *|
   5 |* This file was developed by Gordon Henriksen and is distributed under the   *|
   6 |* University of Illinois Open Source License. See LICENSE.TXT for details.   *|
   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/Core.h"
  23
  24 #ifdef __cplusplus
  25 extern "C" {
  26 #endif
  27
  28
  29 typedef enum {
  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;
  34
  35
  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 int LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
  39                      char **OutMessage);
  40
  41 /* Disposes of the message allocated by the verifier, if any. */
  42 void LLVMDisposeVerifierMessage(char *Message);
  43
  44 /* Verifies that a single function is valid, taking the specified action. Useful
  45    for debugging. */
  46 int LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action);
  47
  48
  49 #ifdef __cplusplus
  50 }
  51 #endif
  52
  53 #endif