diff options
author | Torok Edwin <edwintorok@gmail.com> | 2011-10-06 12:13:20 +0000 |
---|---|---|
committer | Torok Edwin <edwintorok@gmail.com> | 2011-10-06 12:13:20 +0000 |
commit | 4917ec9ec775d7bc7fbc3362b4c576c32b7617f4 (patch) | |
tree | 4fddaddd85044a6cfccd5e06a72974c89addd3e5 /bindings/ocaml/llvm/llvm.ml | |
parent | 4f661ab0fb87f97c4a12912249c3c366df882102 (diff) | |
download | llvm-4917ec9ec775d7bc7fbc3362b4c576c32b7617f4.tar.gz llvm-4917ec9ec775d7bc7fbc3362b4c576c32b7617f4.tar.bz2 llvm-4917ec9ec775d7bc7fbc3362b4c576c32b7617f4.tar.xz |
add binding to read icmp predicate
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141287 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/llvm/llvm.ml')
-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 f68ab8d842..1f7809e4da 100644 --- 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 |