diff options
| author | Torok Edwin <edwintorok@gmail.com> | 2011-10-14 20:38:19 +0000 |
|---|---|---|
| committer | Torok Edwin <edwintorok@gmail.com> | 2011-10-14 20:38:19 +0000 |
| commit | 8da43bf60e8c27fe69033d73d440ea147d72b06d (patch) | |
| tree | ba109f2707a54c24afe022c57a280c860c1b4b81 /bindings | |
| parent | 2c4ae181c4c3d93684bb5926cd73c6b3a8370c42 (diff) | |
| download | llvm-8da43bf60e8c27fe69033d73d440ea147d72b06d.tar.gz llvm-8da43bf60e8c27fe69033d73d440ea147d72b06d.tar.bz2 llvm-8da43bf60e8c27fe69033d73d440ea147d72b06d.tar.xz | |
OCaml bindings: add icmp_predicate
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141995 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings')
| -rw-r--r-- | bindings/ocaml/llvm/llvm.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml index 168c21ccc8..0b24fd5e42 100644 --- 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 |