1 //===- analysis.go - Bindings for analysis --------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines bindings for the analysis component.
12 //===----------------------------------------------------------------------===//
17 #include "llvm-c/Analysis.h" // If you are getting an error here read bindings/go/README.txt
18 #include "llvm-c/Core.h"
24 type VerifierFailureAction C.LLVMVerifierFailureAction
27 // verifier will print to stderr and abort()
28 AbortProcessAction VerifierFailureAction = C.LLVMAbortProcessAction
29 // verifier will print to stderr and return 1
30 PrintMessageAction VerifierFailureAction = C.LLVMPrintMessageAction
31 // verifier will just return 1
32 ReturnStatusAction VerifierFailureAction = C.LLVMReturnStatusAction
35 // Verifies that a module is valid, taking the specified action if not.
36 // Optionally returns a human-readable description of any invalid constructs.
37 func VerifyModule(m Module, a VerifierFailureAction) error {
39 broken := C.LLVMVerifyModule(m.C, C.LLVMVerifierFailureAction(a), &cmsg)
41 // C++'s verifyModule means isModuleBroken, so it returns false if
42 // there are no errors
44 err := errors.New(C.GoString(cmsg))
45 C.LLVMDisposeMessage(cmsg)
51 var verifyFunctionError = errors.New("Function is broken")
53 // Verifies that a single function is valid, taking the specified action.
54 // Useful for debugging.
55 func VerifyFunction(f Value, a VerifierFailureAction) error {
56 broken := C.LLVMVerifyFunction(f.C, C.LLVMVerifierFailureAction(a))
58 // C++'s verifyFunction means isFunctionBroken, so it returns false if
59 // there are no errors
61 return verifyFunctionError
66 // Open up a ghostview window that displays the CFG of the current function.
67 // Useful for debugging.
68 func ViewFunctionCFG(f Value) { C.LLVMViewFunctionCFG(f.C) }
69 func ViewFunctionCFGOnly(f Value) { C.LLVMViewFunctionCFGOnly(f.C) }