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.ml
diff --git
a/bindings/ocaml/llvm/llvm.ml
b/bindings/ocaml/llvm/llvm.ml
index f68ab8d842af3cff9e2508fa31c35f38f8ca3683..1f7809e4daee0af3e8851f999b0800a886709e94 100644
(file)
--- a/
bindings/ocaml/llvm/llvm.ml
+++ b/
bindings/ocaml/llvm/llvm.ml
@@
-705,6
+705,8
@@
external instr_end : llbasicblock -> (llbasicblock, llvalue) llrev_pos
external instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos
= "llvm_instr_pred"
+external icmp_predicate : llvalue -> Icmp.t option = "llvm_instr_icmp_predicate"
+
let rec iter_instrs_range f i e =
if i = e then () else
match i with