1 //===- analysis.go - Bindings for analysis --------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file defines bindings for the analysis component. 11 // 12 //===----------------------------------------------------------------------===// 13 14 package llvm 15 16 /* 17 #include "llvm-c/Analysis.h" // If you are getting an error here read bindings/go/README.txt 18 #include "llvm-c/Core.h" 19 #include <stdlib.h> 20 */ 21 import "C" 22 import "errors" 23 24 type VerifierFailureAction C.LLVMVerifierFailureAction 25 26 const ( 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 33 ) 34 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 { 38 var cmsg *C.char 39 broken := C.LLVMVerifyModule(m.C, C.LLVMVerifierFailureAction(a), &cmsg) 40 41 // C++'s verifyModule means isModuleBroken, so it returns false if 42 // there are no errors 43 if broken != 0 { 44 err := errors.New(C.GoString(cmsg)) 45 C.LLVMDisposeMessage(cmsg) 46 return err 47 } 48 return nil 49 } 50 51 var verifyFunctionError = errors.New("Function is broken") 52 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)) 57 58 // C++'s verifyFunction means isFunctionBroken, so it returns false if 59 // there are no errors 60 if broken != 0 { 61 return verifyFunctionError 62 } 63 return nil 64 } 65 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) } 70
