projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add binding to read icmp predicate
[oota-llvm.git]
/
bindings
/
ocaml
/
llvm
/
llvm.mli
diff --git
a/bindings/ocaml/llvm/llvm.mli
b/bindings/ocaml/llvm/llvm.mli
index b4b9622b630bb10ea8fb8bb1c4c73e8c9e9ea8fa..a5e5c850d6f5901bc3ba7c8dfb1dc3d651e82282 100644
(file)
--- a/
bindings/ocaml/llvm/llvm.mli
+++ b/
bindings/ocaml/llvm/llvm.mli
@@
-1435,6
+1435,8
@@
val instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos
val fold_right_instrs: (llvalue -> 'a -> 'a) -> llbasicblock -> 'a -> 'a
+val icmp_predicate : llvalue -> Icmp.t option
+
(** {7 Operations on call sites} *)
(** [instruction_call_conv ci] is the calling convention for the call or invoke