diff options
author | Peter Zotov <whitequark@whitequark.org> | 2013-11-06 09:21:08 +0000 |
---|---|---|
committer | Peter Zotov <whitequark@whitequark.org> | 2013-11-06 09:21:08 +0000 |
commit | ba0c7cd012b064e2d8009480f9ae6f7d75e00e13 (patch) | |
tree | 97f2b78d23db4f2a21fad1de359bc79e6bcdb00b /bindings/ocaml/llvm/llvm_ocaml.c | |
parent | 14bbb1d9b083c7935185e7c11ddf059f352aa3fc (diff) | |
download | llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.tar.gz llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.tar.bz2 llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.tar.xz |
[OCaml] Implement Llvm.string_of_llvalue
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194136 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/llvm/llvm_ocaml.c')
-rw-r--r-- | bindings/ocaml/llvm/llvm_ocaml.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm_ocaml.c b/bindings/ocaml/llvm/llvm_ocaml.c index ad4b36cc2b..6134bfa6d3 100644 --- a/bindings/ocaml/llvm/llvm_ocaml.c +++ b/bindings/ocaml/llvm/llvm_ocaml.c @@ -527,6 +527,17 @@ CAMLprim value llvm_dump_value(LLVMValueRef Val) { return Val_unit; } +/* llvalue -> string */ +CAMLprim value llvm_string_of_llvalue(LLVMTypeRef M) { + char* TypeCStr; + TypeCStr = LLVMPrintValueToString(M); + + value TypeStr = caml_copy_string(TypeCStr); + LLVMDisposeMessage(TypeCStr); + + return TypeStr; +} + /* llvalue -> llvalue -> unit */ CAMLprim value llvm_replace_all_uses_with(LLVMValueRef OldVal, LLVMValueRef NewVal) { |