aboutsummaryrefslogtreecommitdiffstats
path: root/test/Bindings
diff options
context:
space:
mode:
authorGordon Henriksen <gordonhenriksen@mac.com>2007-10-06 21:00:36 +0000
committerGordon Henriksen <gordonhenriksen@mac.com>2007-10-06 21:00:36 +0000
commitc0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab (patch)
tree2335af26193323e95020758c3a2c667bf63d207a /test/Bindings
parentd8be2154b38ea623f2320b26c9e1a40be0d0206b (diff)
downloadexternal_llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.zip
external_llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.tar.gz
external_llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.tar.bz2
Bindings for the verifier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42707 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Bindings')
-rw-r--r--test/Bindings/Ocaml/analysis.ml46
1 files changed, 46 insertions, 0 deletions
diff --git a/test/Bindings/Ocaml/analysis.ml b/test/Bindings/Ocaml/analysis.ml
new file mode 100644
index 0000000..bf75616
--- /dev/null
+++ b/test/Bindings/Ocaml/analysis.ml
@@ -0,0 +1,46 @@
+(* RUN: %ocamlc llvm.cma llvm_analysis.cma %s -o %t
+ * RUN: ./%t %t.bc
+ *)
+
+open Llvm
+open Llvm_analysis
+
+(* Note that this takes a moment to link, so it's best to keep the number of
+ individual tests low. *)
+
+let test x = if not x then exit 1 else ()
+
+let bomb msg =
+ prerr_endline msg;
+ exit 2
+
+let _ =
+ let fty = function_type void_type [| |] in
+ let m = create_module "valid_m" in
+ let fn = define_function "valid_fn" fty m in
+ let at_entry = builder_at_end (entry_block fn) in
+ ignore (build_ret_void at_entry);
+
+
+ (* Test that valid constructs verify. *)
+ match verify_module m with
+ Some msg -> bomb "valid module failed verification!"
+ | None -> ();
+
+ if not (verify_function fn) then bomb "valid function failed verification!";
+
+
+ (* Test that invalid constructs do not verify.
+ A basic block can contain only one terminator instruction. *)
+ ignore (build_ret_void at_entry);
+
+ match verify_module m with
+ Some msg -> ()
+ | None -> bomb "invalid module passed verification!";
+
+ if verify_function fn then bomb "invalid function passed verification!";
+
+
+ dispose_module m
+
+ (* Don't bother to test assert_valid_{module,function}. *)