projects
/
oota-llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2c4ae18
)
OCaml bindings: add icmp_predicate
author
Torok Edwin
<edwintorok@gmail.com>
Fri, 14 Oct 2011 20:38:19 +0000
(20:38 +0000)
committer
Torok Edwin
<edwintorok@gmail.com>
Fri, 14 Oct 2011 20:38:19 +0000
(20:38 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141995
91177308
-0d34-0410-b5e6-
96231b3b80d8
bindings/ocaml/llvm/llvm.ml
patch
|
blob
|
history
diff --git
a/bindings/ocaml/llvm/llvm.ml
b/bindings/ocaml/llvm/llvm.ml
index
168c21c
..
0b24fd5
100644
(file)
--- a/
bindings/ocaml/llvm/llvm.ml
+++ b/
bindings/ocaml/llvm/llvm.ml
@@
-815,6
+815,8
@@
external instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos
external instr_opcode : llvalue -> Opcode.t = "llvm_instr_get_opcode"
external icmp_predicate : llvalue -> Icmp.t option = "llvm_instr_icmp_predicate"
+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