summaryrefslogtreecommitdiff
path: root/bindings
diff options
context:
space:
mode:
authorBob Wilson <bob.wilson@apple.com>2011-12-28 18:51:08 +0000
committerBob Wilson <bob.wilson@apple.com>2011-12-28 18:51:08 +0000
commiteaf0608891cff27fe4cf08d180a6baf49e00f8ae (patch)
tree4b80d872534f514296a4ac8b13082af2dec848ff /bindings
parent97fb69b2efe45948cc40063a3135de89c50cb25c (diff)
downloadllvm-eaf0608891cff27fe4cf08d180a6baf49e00f8ae.tar.gz
llvm-eaf0608891cff27fe4cf08d180a6baf49e00f8ae.tar.bz2
llvm-eaf0608891cff27fe4cf08d180a6baf49e00f8ae.tar.xz
Update OCaml bindings for the new half float type.
Patch by Jonathan Ragan-Kelley! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147314 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings')
-rw-r--r--bindings/ocaml/llvm/llvm.ml2
-rw-r--r--bindings/ocaml/llvm/llvm.mli1
2 files changed, 3 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml
index 40b0138636..b169b85bc9 100644
--- a/bindings/ocaml/llvm/llvm.ml
+++ b/bindings/ocaml/llvm/llvm.ml
@@ -20,6 +20,7 @@ type llmemorybuffer
module TypeKind = struct
type t =
| Void
+ | Half
| Float
| Double
| X86fp80
@@ -1234,5 +1235,6 @@ let rec string_of_lltype ty =
| TypeKind.X86fp80 -> "x86_fp80"
| TypeKind.Double -> "double"
| TypeKind.Float -> "float"
+ | TypeKind.Half -> "half"
| TypeKind.Void -> "void"
| TypeKind.Metadata -> "metadata"
diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli
index 33bbc74deb..96448ccd96 100644
--- a/bindings/ocaml/llvm/llvm.mli
+++ b/bindings/ocaml/llvm/llvm.mli
@@ -53,6 +53,7 @@ type llmemorybuffer
module TypeKind : sig
type t =
Void
+ | Half
| Float
| Double
| X86fp80