summaryrefslogtreecommitdiffstats
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
commitd2a03653045e8f6c05c5b02b42684f62dc1c3af6 (patch)
treec57220ef8f6837463a78dc3283f79f3bf29fadd9
parent1510c8589e7fce965793a0fcd7aa02ea2f41b4f8 (diff)
downloadbcm5719-llvm-d2a03653045e8f6c05c5b02b42684f62dc1c3af6.tar.gz
bcm5719-llvm-d2a03653045e8f6c05c5b02b42684f62dc1c3af6.zip
Update OCaml bindings for the new half float type.
Patch by Jonathan Ragan-Kelley! llvm-svn: 147314
-rw-r--r--llvm/bindings/ocaml/llvm/llvm.ml2
-rw-r--r--llvm/bindings/ocaml/llvm/llvm.mli1
2 files changed, 3 insertions, 0 deletions
diff --git a/llvm/bindings/ocaml/llvm/llvm.ml b/llvm/bindings/ocaml/llvm/llvm.ml
index 40b01386366..b169b85bc99 100644
--- a/llvm/bindings/ocaml/llvm/llvm.ml
+++ b/llvm/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/llvm/bindings/ocaml/llvm/llvm.mli b/llvm/bindings/ocaml/llvm/llvm.mli
index 33bbc74deb1..96448ccd960 100644
--- a/llvm/bindings/ocaml/llvm/llvm.mli
+++ b/llvm/bindings/ocaml/llvm/llvm.mli
@@ -53,6 +53,7 @@ type llmemorybuffer
module TypeKind : sig
type t =
Void
+ | Half
| Float
| Double
| X86fp80
OpenPOWER on IntegriCloud