diff options
author | Stephen Hines <srhines@google.com> | 2014-12-01 14:51:49 -0800 |
---|---|---|
committer | Stephen Hines <srhines@google.com> | 2014-12-02 16:08:10 -0800 |
commit | 37ed9c199ca639565f6ce88105f9e39e898d82d0 (patch) | |
tree | 8fb36d3910e3ee4c4e1b7422f4f017108efc52f5 /test/Bindings/OCaml/scalar_opts.ml | |
parent | d2327b22152ced7bc46dc629fc908959e8a52d03 (diff) | |
download | external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.zip external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.tar.gz external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.tar.bz2 |
Update aosp/master LLVM for rebase to r222494.
Change-Id: Ic787f5e0124df789bd26f3f24680f45e678eef2d
Diffstat (limited to 'test/Bindings/OCaml/scalar_opts.ml')
-rw-r--r-- | test/Bindings/OCaml/scalar_opts.ml | 92 |
1 files changed, 92 insertions, 0 deletions
diff --git a/test/Bindings/OCaml/scalar_opts.ml b/test/Bindings/OCaml/scalar_opts.ml new file mode 100644 index 0000000..3017fb1 --- /dev/null +++ b/test/Bindings/OCaml/scalar_opts.ml @@ -0,0 +1,92 @@ +(* RUN: cp %s %T/scalar_opts.ml + * RUN: %ocamlc -g -warn-error A -package llvm.scalar_opts -linkpkg %T/scalar_opts.ml -o %t + * RUN: %t %t.bc + * RUN: %ocamlopt -g -warn-error A -package llvm.scalar_opts -linkpkg %T/scalar_opts.ml -o %t + * RUN: %t %t.bc + * 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_scalar_opts +open Llvm_target + +let context = global_context () +let void_type = Llvm.void_type 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 () + + +(*===-- Fixture -----------------------------------------------------------===*) + +let filename = Sys.argv.(1) +let m = create_module context filename + + +(*===-- Transforms --------------------------------------------------------===*) + +let test_transforms () = + let (++) x f = f x; x in + + let fty = function_type void_type [| |] in + let fn = define_function "fn" fty m in + ignore (build_ret_void (builder_at_end context (entry_block fn))); + + ignore (PassManager.create_function m + ++ add_aggressive_dce + ++ add_alignment_from_assumptions + ++ add_cfg_simplification + ++ add_dead_store_elimination + ++ add_scalarizer + ++ add_merged_load_store_motion + ++ add_gvn + ++ add_ind_var_simplification + ++ add_instruction_combination + ++ add_jump_threading + ++ add_licm + ++ add_loop_deletion + ++ add_loop_idiom + ++ add_loop_rotation + ++ add_loop_reroll + ++ add_loop_unroll + ++ add_loop_unswitch + ++ add_memcpy_opt + ++ add_partially_inline_lib_calls + ++ add_lower_switch + ++ add_memory_to_register_promotion + ++ add_reassociation + ++ add_sccp + ++ add_scalar_repl_aggregation + ++ add_scalar_repl_aggregation_ssa + ++ add_scalar_repl_aggregation_with_threshold 4 + ++ add_lib_call_simplification + ++ add_tail_call_elimination + ++ add_constant_propagation + ++ add_memory_to_register_demotion + ++ add_verifier + ++ add_correlated_value_propagation + ++ add_early_cse + ++ add_lower_expect_intrinsic + ++ add_type_based_alias_analysis + ++ add_scoped_no_alias_alias_analysis + ++ add_basic_alias_analysis + ++ PassManager.initialize + ++ PassManager.run_function fn + ++ PassManager.finalize + ++ PassManager.dispose) + + +(*===-- Driver ------------------------------------------------------------===*) + +let _ = + suite "transforms" test_transforms; + dispose_module m |