diff options
| author | Peter Zotov <whitequark@whitequark.org> | 2013-11-03 08:27:13 +0000 |
|---|---|---|
| committer | Peter Zotov <whitequark@whitequark.org> | 2013-11-03 08:27:13 +0000 |
| commit | 6ca1789ac6aad8043ac68c9bb05785d569db5c80 (patch) | |
| tree | 47a7e6bf8fc54d8c04d75bf20b17f9d4075dc31d /test | |
| parent | fed0b3414250b6dea1732e95d79163b00a2cb38e (diff) | |
| download | llvm-6ca1789ac6aad8043ac68c9bb05785d569db5c80.tar.gz llvm-6ca1789ac6aad8043ac68c9bb05785d569db5c80.tar.bz2 llvm-6ca1789ac6aad8043ac68c9bb05785d569db5c80.tar.xz | |
[OCaml] Refactor Llvm_target tests
Llvm_target tests did not check for return values. This actually
caused them to miss a bug.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193949 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Bindings/Ocaml/target.ml | 45 |
1 files changed, 24 insertions, 21 deletions
diff --git a/test/Bindings/Ocaml/target.ml b/test/Bindings/Ocaml/target.ml index d2cace9264..b43922797c 100644 --- a/test/Bindings/Ocaml/target.ml +++ b/test/Bindings/Ocaml/target.ml @@ -1,7 +1,7 @@ (* RUN: rm -rf %t.builddir * RUN: mkdir -p %t.builddir * RUN: cp %s %t.builddir - * RUN: %ocamlopt -warn-error A llvm.cmxa llvm_target.cmxa %t.builddir/target.ml -o %t + * RUN: %ocamlopt -g -warn-error A llvm.cmxa llvm_target.cmxa %t.builddir/target.ml -o %t * RUN: %t %t.bc * XFAIL: vg_leak *) @@ -21,10 +21,11 @@ let i64_type = Llvm.i64_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 () +let _ = + Printexc.record_backtrace true + +let assert_equal a b = + if a <> b then failwith "assert_equal" (*===-- Fixture -----------------------------------------------------------===*) @@ -36,27 +37,29 @@ let m = create_module context filename (*===-- Target Data -------------------------------------------------------===*) let test_target_data () = - let td = DataLayout.create (target_triple m) in - let sty = struct_type context [| i32_type; i64_type |] in - - ignore (DataLayout.as_string td); - ignore (byte_order td); - ignore (pointer_size td); - ignore (intptr_type td); - ignore (size_in_bits td sty); - ignore (store_size td sty); - ignore (abi_size td sty); - ignore (stack_align td sty); - ignore (preferred_align td sty); - ignore (preferred_align_of_global td (declare_global sty "g" m)); - ignore (element_at_offset td sty (Int64.of_int 1)); - ignore (offset_of_element td sty 1); + let layout = "e-p:32:32:32-S32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-" ^ + "f16:16:16-f32:32:32-f64:32:64-f128:128:128-v64:32:64-v128:32:128-" ^ + "a0:0:64-n32" in + let td = DataLayout.create layout in + let sty = struct_type context [| i32_type; i64_type |] in + assert_equal (DataLayout.as_string td) layout; + assert_equal (byte_order td) Endian.Little; + assert_equal (pointer_size td) 4; + assert_equal (intptr_type td) i32_type; + assert_equal (size_in_bits td sty) (Int64.of_int 96); + assert_equal (store_size td sty) (Int64.of_int 12); + assert_equal (abi_size td sty) (Int64.of_int 12); + assert_equal (stack_align td sty) 4; + assert_equal (preferred_align td sty) 8; + assert_equal (preferred_align_of_global td (declare_global sty "g" m)) 8; + assert_equal (element_at_offset td sty (Int64.of_int 1)) 0; + assert_equal (offset_of_element td sty 1) (Int64.of_int 4); DataLayout.dispose td (*===-- Driver ------------------------------------------------------------===*) let _ = - suite "target data" test_target_data; + test_target_data (); dispose_module m |