summaryrefslogtreecommitdiff
path: root/testsuite/tests/ephe-c-api/test.ml
blob: e84c012ace60369ffd80d4e19a9c2459ed0bc9d6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(* TEST
 modules = "stubs.c";
 reason = "port the new Ephemeron C-api to multicore : https://github.com/ocaml/ocaml/pull/676";
 skip;
*)

(* C version of ephetest.ml *)

let make_ra () = ref (ref 1) [@@inline never]
let make_rb () = ref (ref (ref 2)) [@@inline never]

let ra = make_ra ()
let rb = make_rb ()

external test1 : int ref ref -> int ref ref ref -> unit = "test1"
external test2 : int ref ref -> int ref ref ref -> unit = "test2"
external test3 : int ref ref -> int ref ref ref -> unit = "test3"
external test4 : int ref ref -> int ref ref ref -> unit = "test4"
external test5 : int ref ref -> int ref ref ref -> unit = "test5"
external test6 : int ref ref -> int ref ref ref -> unit = "test6"
external test7 : int ref ref -> int ref ref ref -> unit = "test7"
external test8 : int ref ref -> int ref ref ref -> unit = "test8"

let () =
  test1 ra rb;  test2 ra rb;  test3 ra rb;  test4 ra rb;  test5 ra rb;
  test6 ra rb;  test7 ra rb; test8 ra rb