1const cmp = @import("cmp.zig");
2const testing = @import("std").testing;
3
4fn test__ucmpdi2(a: u64, b: u64, expected: i32) !void {
5 const result = cmp.__ucmpdi2(a, b);
6 try testing.expectEqual(expected, result);
7}
8
9test "ucmpdi2" {
10 // minInt == 0
11 // maxInt == 18446744073709551615
12 // minInt/2 == 0
13 // maxInt/2 == 9223372036854775807
14 // 1. equality minInt, minInt/2, 0, maxInt/2, maxInt
15 try test__ucmpdi2(0, 0, 1);
16 try test__ucmpdi2(1, 1, 1);
17 try test__ucmpdi2(9223372036854775807, 9223372036854775807, 1);
18 try test__ucmpdi2(18446744073709551614, 18446744073709551614, 1);
19 try test__ucmpdi2(18446744073709551615, 18446744073709551615, 1);
20 // 2. cmp minInt, {minInt + 1, maxInt/2, maxInt-1, maxInt}
21 try test__ucmpdi2(0, 1, 0);
22 try test__ucmpdi2(0, 9223372036854775807, 0);
23 try test__ucmpdi2(0, 18446744073709551614, 0);
24 try test__ucmpdi2(0, 18446744073709551615, 0);
25 // 3. cmp minInt+1, {minInt, maxInt/2, maxInt-1, maxInt}
26 try test__ucmpdi2(1, 0, 2);
27 try test__ucmpdi2(1, 9223372036854775807, 0);
28 try test__ucmpdi2(1, 18446744073709551614, 0);
29 try test__ucmpdi2(1, 18446744073709551615, 0);
30 // 4. cmp minInt/2, {}
31 // 5. cmp -1, {}
32 // 6. cmp 0, {}
33 // 7. cmp 1, {}
34 // 8. cmp maxInt/2, {minInt, minInt+1, maxInt-1, maxInt}
35 try test__ucmpdi2(9223372036854775807, 0, 2);
36 try test__ucmpdi2(9223372036854775807, 1, 2);
37 try test__ucmpdi2(9223372036854775807, 18446744073709551614, 0);
38 try test__ucmpdi2(9223372036854775807, 18446744073709551615, 0);
39 // 9. cmp maxInt-1, {minInt, minInt + 1, maxInt/2, maxInt}
40 try test__ucmpdi2(18446744073709551614, 0, 2);
41 try test__ucmpdi2(18446744073709551614, 1, 2);
42 try test__ucmpdi2(18446744073709551614, 9223372036854775807, 2);
43 try test__ucmpdi2(18446744073709551614, 18446744073709551615, 0);
44 // 10.cmp maxInt, {minInt, 1, maxInt/2, maxInt-1}
45 try test__ucmpdi2(18446744073709551615, 0, 2);
46 try test__ucmpdi2(18446744073709551615, 1, 2);
47 try test__ucmpdi2(18446744073709551615, 9223372036854775807, 2);
48 try test__ucmpdi2(18446744073709551615, 18446744073709551614, 2);
49}