1*49610eddSAlan(* RUN: rm -rf %t && mkdir -p %t && cp %s %t/passbuilder.ml 2*49610eddSAlan * RUN: %ocamlc -g -w +A -package llvm.passbuilder -package llvm.all_backends -linkpkg %t/passbuilder.ml -o %t/executable 3*49610eddSAlan * RUN: %t/executable 4*49610eddSAlan * RUN: %ocamlopt -g -w +A -package llvm.passbuilder -package llvm.all_backends -linkpkg %t/passbuilder.ml -o %t/executable 5*49610eddSAlan * RUN: %t/executable 6*49610eddSAlan * XFAIL: vg_leak 7*49610eddSAlan *) 8*49610eddSAlan 9*49610eddSAlanlet () = Llvm_all_backends.initialize () 10*49610eddSAlan 11*49610eddSAlan(*===-- Fixture -----------------------------------------------------------===*) 12*49610eddSAlan 13*49610eddSAlanlet context = Llvm.global_context () 14*49610eddSAlan 15*49610eddSAlanlet m = Llvm.create_module context "mymodule" 16*49610eddSAlan 17*49610eddSAlanlet () = 18*49610eddSAlan let ty = 19*49610eddSAlan Llvm.function_type (Llvm.void_type context) 20*49610eddSAlan [| Llvm.i1_type context; 21*49610eddSAlan Llvm.pointer_type context; 22*49610eddSAlan Llvm.pointer_type context |] 23*49610eddSAlan in 24*49610eddSAlan let foo = Llvm.define_function "foo" ty m in 25*49610eddSAlan let entry = Llvm.entry_block foo in 26*49610eddSAlan let builder = Llvm.builder_at_end context entry in 27*49610eddSAlan ignore 28*49610eddSAlan (Llvm.build_store 29*49610eddSAlan (Llvm.const_int (Llvm.i8_type context) 42) (Llvm.param foo 1) builder); 30*49610eddSAlan let loop = Llvm.append_block context "loop" foo in 31*49610eddSAlan Llvm.position_at_end loop builder; 32*49610eddSAlan ignore 33*49610eddSAlan (Llvm.build_load (Llvm.i8_type context) (Llvm.param foo 2) "tmp1" builder); 34*49610eddSAlan ignore (Llvm.build_br loop builder); 35*49610eddSAlan let exit = Llvm.append_block context "exit" foo in 36*49610eddSAlan Llvm.position_at_end exit builder; 37*49610eddSAlan ignore (Llvm.build_ret_void builder); 38*49610eddSAlan Llvm.position_at_end entry builder; 39*49610eddSAlan ignore (Llvm.build_cond_br (Llvm.param foo 0) loop exit builder) 40*49610eddSAlan 41*49610eddSAlanlet target = 42*49610eddSAlan Llvm_target.Target.by_triple (Llvm_target.Target.default_triple ()) 43*49610eddSAlan 44*49610eddSAlanlet machine = 45*49610eddSAlan Llvm_target.TargetMachine.create 46*49610eddSAlan ~triple:(Llvm_target.Target.default_triple ()) target 47*49610eddSAlan 48*49610eddSAlanlet options = Llvm_passbuilder.create_passbuilder_options () 49*49610eddSAlan 50*49610eddSAlan(*===-- PassBuilder -------------------------------------------------------===*) 51*49610eddSAlanlet () = 52*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_verify_each options true; 53*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_debug_logging options true; 54*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_loop_interleaving options true; 55*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_loop_vectorization options true; 56*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_slp_vectorization options true; 57*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_loop_unrolling options true; 58*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_forget_all_scev_in_loop_unroll 59*49610eddSAlan options true; 60*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_licm_mssa_opt_cap options 2; 61*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_licm_mssa_no_acc_for_promotion_cap 62*49610eddSAlan options 2; 63*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_call_graph_profile options true; 64*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_merge_functions options true; 65*49610eddSAlan Llvm_passbuilder.passbuilder_options_set_inliner_threshold options 2; 66*49610eddSAlan match Llvm_passbuilder.run_passes m "no-op-module" machine options with 67*49610eddSAlan | Error e -> 68*49610eddSAlan prerr_endline e; 69*49610eddSAlan assert false 70*49610eddSAlan | Ok () -> () 71*49610eddSAlan 72*49610eddSAlanlet () = 73*49610eddSAlan Llvm_passbuilder.dispose_passbuilder_options options; 74*49610eddSAlan Llvm.dispose_module m 75