55 lines · plain
1(* RUN: rm -rf %t && mkdir -p %t && cp %s %t/analysis.ml2 * RUN: %ocamlc -g -w +A -package llvm.analysis -linkpkg %t/analysis.ml -o %t/executable3 * RUN: %t/executable4 * RUN: %ocamlopt -g -w +A -package llvm.analysis -linkpkg %t/analysis.ml -o %t/executable5 * RUN: %t/executable6 * XFAIL: vg_leak7 *)8 9open Llvm10open Llvm_analysis11 12(* Note that this takes a moment to link, so it's best to keep the number of13 individual tests low. *)14 15let context = global_context ()16 17let test x = if not x then exit 1 else ()18 19let bomb msg =20 prerr_endline msg;21 exit 222 23let _ =24 let fty = function_type (void_type context) [| |] in25 let m = create_module context "valid_m" in26 let fn = define_function "valid_fn" fty m in27 let at_entry = builder_at_end context (entry_block fn) in28 ignore (build_ret_void at_entry);29 30 31 (* Test that valid constructs verify. *)32 begin match verify_module m with33 Some msg -> bomb "valid module failed verification!"34 | None -> ()35 end;36 37 if not (verify_function fn) then bomb "valid function failed verification!";38 39 40 (* Test that invalid constructs do not verify.41 A basic block can contain only one terminator instruction. *)42 ignore (build_ret_void at_entry);43 44 begin match verify_module m with45 Some msg -> ()46 | None -> bomb "invalid module passed verification!"47 end;48 49 if verify_function fn then bomb "invalid function passed verification!";50 51 52 dispose_module m53 54 (* Don't bother to test assert_valid_{module,function}. *)55