diff options
author | Erick Tryzelaar <idadesub@users.sourceforge.net> | 2008-03-31 16:22:09 +0000 |
---|---|---|
committer | Erick Tryzelaar <idadesub@users.sourceforge.net> | 2008-03-31 16:22:09 +0000 |
commit | d6d018589cf3de22bc5d0b2b229e37cdb6afca61 (patch) | |
tree | 3a39355c6721ff81bf64ee54d5dc679e3159c82d /bindings/ocaml | |
parent | 86550b0a143c839956c0f3c1bca589c24ebcc3fb (diff) | |
download | external_llvm-d6d018589cf3de22bc5d0b2b229e37cdb6afca61.zip external_llvm-d6d018589cf3de22bc5d0b2b229e37cdb6afca61.tar.gz external_llvm-d6d018589cf3de22bc5d0b2b229e37cdb6afca61.tar.bz2 |
Expose Function::viewCFG and Function::viewCFGOnly to bindings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48982 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml')
-rw-r--r-- | bindings/ocaml/analysis/analysis_ocaml.c | 12 | ||||
-rw-r--r-- | bindings/ocaml/analysis/llvm_analysis.ml | 3 | ||||
-rw-r--r-- | bindings/ocaml/analysis/llvm_analysis.mli | 11 |
3 files changed, 26 insertions, 0 deletions
diff --git a/bindings/ocaml/analysis/analysis_ocaml.c b/bindings/ocaml/analysis/analysis_ocaml.c index e57c5a5..9716705 100644 --- a/bindings/ocaml/analysis/analysis_ocaml.c +++ b/bindings/ocaml/analysis/analysis_ocaml.c @@ -58,3 +58,15 @@ CAMLprim value llvm_assert_valid_function(LLVMValueRef Fn) { LLVMVerifyFunction(Fn, LLVMAbortProcessAction); return Val_unit; } + +/* Llvm.llvalue -> unit */ +CAMLprim value llvm_view_function_cfg(LLVMValueRef Fn) { + LLVMViewFunctionCFG(Fn); + return Val_unit; +} + +/* Llvm.llvalue -> unit */ +CAMLprim value llvm_view_function_cfg_only(LLVMValueRef Fn) { + LLVMViewFunctionCFGOnly(Fn); + return Val_unit; +} diff --git a/bindings/ocaml/analysis/llvm_analysis.ml b/bindings/ocaml/analysis/llvm_analysis.ml index f4379f8..fc4d203 100644 --- a/bindings/ocaml/analysis/llvm_analysis.ml +++ b/bindings/ocaml/analysis/llvm_analysis.ml @@ -17,3 +17,6 @@ external assert_valid_module : Llvm.llmodule -> unit external assert_valid_function : Llvm.llvalue -> unit = "llvm_assert_valid_function" +external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg" +external view_function_cfg_only : Llvm.llvalue -> unit + = "llvm_view_function_cfg_only" diff --git a/bindings/ocaml/analysis/llvm_analysis.mli b/bindings/ocaml/analysis/llvm_analysis.mli index a97bd7e..793f482 100644 --- a/bindings/ocaml/analysis/llvm_analysis.mli +++ b/bindings/ocaml/analysis/llvm_analysis.mli @@ -33,3 +33,14 @@ external assert_valid_module : Llvm.llmodule -> unit [llvm::verifyFunction]. *) external assert_valid_function : Llvm.llvalue -> unit = "llvm_assert_valid_function" + +(** [view_function_cfg f] opens up a ghostscript window displaying the CFG of + the current function with the code for each basic block inside. + See [llvm::Function::viewCFG]. *) +external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg" + +(** [view_function_cfg_only f] works just like [view_function_cfg], but does not + include the contents of basic blocks into the nodes. + See [llvm::Function::viewCFGOnly]. *) +external view_function_cfg_only : Llvm.llvalue -> unit + = "llvm_view_function_cfg_only" |