[PATCH] D77884: fix the documentation for ocaml bindings
Josh Berdine via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 17 05:10:18 PDT 2021
This revision was automatically updated to reflect the committed changes.
Closed by commit rGcca3167de0b6: [NFC][OCaml] Fix documentation for verify_function and const_of_int64 (authored by HuStmpHrrr, committed by jberdine).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77884/new/
https://reviews.llvm.org/D77884
Files:
llvm/bindings/ocaml/analysis/llvm_analysis.mli
llvm/bindings/ocaml/llvm/llvm.mli
Index: llvm/bindings/ocaml/llvm/llvm.mli
===================================================================
--- llvm/bindings/ocaml/llvm/llvm.mli
+++ llvm/bindings/ocaml/llvm/llvm.mli
@@ -960,8 +960,9 @@
See the method [llvm::ConstantInt::get]. *)
val const_int : lltype -> int -> llvalue
-(** [const_of_int64 ty i] returns the integer constant of type [ty] and value
- [i]. See the method [llvm::ConstantInt::get]. *)
+(** [const_of_int64 ty i s] returns the integer constant of type [ty] and value
+ [i]. [s] indicates whether the integer is signed or not.
+ See the method [llvm::ConstantInt::get]. *)
val const_of_int64 : lltype -> Int64.t -> bool -> llvalue
(** [int64_of_const c] returns the int64 value of the [c] constant integer.
Index: llvm/bindings/ocaml/analysis/llvm_analysis.mli
===================================================================
--- llvm/bindings/ocaml/analysis/llvm_analysis.mli
+++ llvm/bindings/ocaml/analysis/llvm_analysis.mli
@@ -16,9 +16,8 @@
human-readable validation report. See [llvm::verifyModule]. *)
external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
-(** [verify_function f] returns [None] if the function [f] is valid, and
- [Some reason] if it is invalid. [reason] is a string containing a
- human-readable validation report. See [llvm::verifyFunction]. *)
+(** [verify_function f] returns [true] if the function [f] is valid, and
+ [false] if it is invalid. See [llvm::verifyFunction]. *)
external verify_function : Llvm.llvalue -> bool = "llvm_verify_function"
(** [verify_module m] returns if the module [m] is valid, but prints a
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77884.331236.patch
Type: text/x-patch
Size: 1652 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210317/626ea19b/attachment.bin>
More information about the llvm-commits
mailing list