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}