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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
(* TEST
*)
let test_consts () =
assert (Int.zero = 0);
assert (Int.one = 1);
assert (Int.minus_one = -1);
()
let test_arith () =
assert (Int.add 2 4 = 6);
assert (Int.sub 6 2 = 4);
assert (Int.mul 6 2 = 12);
assert (Int.div 12 2 = 6);
assert (Int.rem 5 2 = 1);
assert (Int.succ 5 = 6);
assert (Int.pred 5 = 4);
assert (Int.abs (-5) = 5);
assert (Int.abs 5 = 5);
()
let test_logops () =
assert (Int.logand 0xF0F0 0xFFFF = 0xF0F0);
assert (Int.logor 0xF0FF 0x0F0F = 0xFFFF);
assert (Int.logxor 0xF0FF 0x0F0F = 0xFFF0);
assert (Int.lognot Int.max_int = Int.min_int);
assert (Int.shift_left 1 4 = 16);
assert (Int.shift_left (Int.compare 0 0) 63 = 0); (* Issue #8864 *)
assert (Int.shift_right 16 4 = 1);
assert (Int.shift_right (-16) 4 = (-1));
assert (Int.shift_right (-16) 4 = (-1));
assert (Int.shift_right_logical Int.min_int (Sys.int_size - 1) = 1);
()
let test_equal () =
assert (Int.equal 1 1 = true);
assert (Int.equal 1 0 = false);
()
let test_compare () =
assert (Int.compare 3 3 = 0);
assert (Int.compare 3 4 = (-1));
assert (Int.compare 4 3 = 1);
assert (Int.compare (-4) 3 = -1);
assert (Int.compare 3 (-4) = 1);
()
let test_float_conv () =
assert (Int.to_float 5 = 5.0);
assert (Int.of_float 5. = 5);
assert (Int.of_float 5.9 = 5);
()
let test_string_conv () =
assert (Int.to_string 50 = "50");
(* assert (Int.of_string "50" = Some 50);
assert (Int.of_string "" = None); *)
()
let test_min_max () =
assert (Int.max 2 3 = 3);
assert (Int.min 2 3 = 2)
let tests () =
test_consts ();
test_arith ();
test_logops ();
test_equal ();
test_compare ();
test_float_conv ();
test_string_conv ();
test_min_max ();
()
let () =
tests ();
print_endline "OK"
|
