1(* RUN: rm -rf %t && mkdir -p %t && cp %s %t/analysis.ml 2 * RUN: %ocamlc -g -w +A -package llvm.analysis -linkpkg %t/analysis.ml -o %t/executable 3 * RUN: %t/executable 4 * RUN: %ocamlopt -g -w +A -package llvm.analysis -linkpkg %t/analysis.ml -o %t/executable 5 * RUN: %t/executable 6 * XFAIL: vg_leak 7 *) 8 9open Llvm 10open Llvm_analysis 11 12(* Note that this takes a moment to link, so it's best to keep the number of 13 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 2 22 23let _ = 24 let fty = function_type (void_type context) [| |] in 25 let m = create_module context "valid_m" in 26 let fn = define_function "valid_fn" fty m in 27 let at_entry = builder_at_end context (entry_block fn) in 28 ignore (build_ret_void at_entry); 29 30 31 (* Test that valid constructs verify. *) 32 begin match verify_module m with 33 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 with 45 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 m 53 54 (* Don't bother to test assert_valid_{module,function}. *) 55