diff options
Diffstat (limited to 'test/Bindings/Ocaml/irreader.ml')
-rw-r--r-- | test/Bindings/Ocaml/irreader.ml | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/test/Bindings/Ocaml/irreader.ml b/test/Bindings/Ocaml/irreader.ml deleted file mode 100644 index 3511c2b23646..000000000000 --- a/test/Bindings/Ocaml/irreader.ml +++ /dev/null @@ -1,59 +0,0 @@ -(* RUN: rm -rf %t.builddir - * RUN: mkdir -p %t.builddir - * RUN: cp %s %t.builddir - * RUN: %ocamlopt -g -warn-error A llvm.cmxa llvm_irreader.cmxa %t.builddir/irreader.ml -o %t - * RUN: %t - * XFAIL: vg_leak - *) - -(* Note: It takes several seconds for ocamlopt to link an executable with - libLLVMCore.a, so it's better to write a big test than a bunch of - little ones. *) - -open Llvm -open Llvm_irreader - -let context = global_context () - -(* Tiny unit test framework - really just to help find which line is busted *) -let print_checkpoints = false - -let suite name f = - if print_checkpoints then - prerr_endline (name ^ ":"); - f () - -let _ = - Printexc.record_backtrace true - -let insist cond = - if not cond then failwith "insist" - - -(*===-- IR Reader ---------------------------------------------------------===*) - -let test_irreader () = - begin - let buf = MemoryBuffer.of_string "@foo = global i32 42" in - let m = parse_ir context buf in - match lookup_global "foo" m with - | Some foo -> - insist ((global_initializer foo) = (const_int (i32_type context) 42)) - | None -> - failwith "global" - end; - - begin - let buf = MemoryBuffer.of_string "@foo = global garble" in - try - ignore (parse_ir context buf); - failwith "parsed" - with Llvm_irreader.Error _ -> - () - end - - -(*===-- Driver ------------------------------------------------------------===*) - -let _ = - suite "irreader" test_irreader |