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.mli | |
| parent | 14bbb1d9b083c7935185e7c11ddf059f352aa3fc (diff) | |
| download | external_llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.tar.gz external_llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.tar.bz2 external_llvm-ba0c7cd012b064e2d8009480f9ae6f7d75e00e13.zip | |
[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.mli')
| -rw-r--r-- | bindings/ocaml/llvm/llvm.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli index 8ad21f20c4..e965b7ee7e 100644 --- a/bindings/ocaml/llvm/llvm.mli +++ b/bindings/ocaml/llvm/llvm.mli @@ -654,6 +654,9 @@ val set_value_name : string -> llvalue -> unit error. See the method [llvm::Value::dump]. *) val dump_value : llvalue -> unit +(** [string_of_llvalue v] returns a string describing the value [v]. *) +val string_of_llvalue : llvalue -> string + (** [replace_all_uses_with old new] replaces all uses of the value [old] with the value [new]. See the method [llvm::Value::replaceAllUsesWith]. *) val replace_all_uses_with : llvalue -> llvalue -> unit |