[OCaml] Add Llvm.build_empty_phi.

[oota-llvm.git] / test / Bindings / OCaml / core.ml

diff --git a/test/Bindings/OCaml/core.ml b/test/Bindings/OCaml/core.ml
index 0f3daac5bfd2b3706c9bdb672fe8f158194958d2..c5e47e79cf23055566348eccf3486c6b3d7e3481 100644 (file)
--- a/test/Bindings/OCaml/core.ml
+++ b/test/Bindings/OCaml/core.ml
@@ -1428,6 +1428,15 @@ let test_builder () =
     add_incoming (p2, b2) phi;
     insist ([(p1, b1); (p2, b2)] = incoming phi);
 
+    (* CHECK: %PhiEmptyNode = phi i8
+     *)
+    let phi_empty = build_empty_phi i8_type "PhiEmptyNode" at_jb in
+    insist ([] = incoming phi_empty);
+
+    (* can't emit an empty phi to bitcode *)
+    add_incoming (const_int i8_type 1, b1) phi_empty;
+    add_incoming (const_int i8_type 2, b2) phi_empty;
+
     ignore (build_unreachable at_jb);
   end