zig

fork of https://codeberg.org/ziglang/zig
Log | Files | Refs | README | LICENSE

cmpti2_test.zig (8017B) - Raw

      1 const cmp = @import("cmp.zig");
      2 const testing = @import("std").testing;
      3 
      4 fn test__cmpti2(a: i128, b: i128, expected: i128) !void {
      5     const result = cmp.__cmpti2(a, b);
      6     try testing.expectEqual(expected, result);
      7 }
      8 
      9 test "cmpti2" {
     10     // minInt == -170141183460469231731687303715884105728
     11     // maxInt == 170141183460469231731687303715884105727
     12     // minInt/2 == -85070591730234615865843651857942052864
     13     // maxInt/2 == 85070591730234615865843651857942052863
     14     // 1. equality minInt, minInt+1, minInt/2, 0, maxInt/2, maxInt-1, maxInt
     15     try test__cmpti2(-170141183460469231731687303715884105728, -170141183460469231731687303715884105728, 1);
     16     try test__cmpti2(-170141183460469231731687303715884105727, -170141183460469231731687303715884105727, 1);
     17     try test__cmpti2(-85070591730234615865843651857942052864, -85070591730234615865843651857942052864, 1);
     18     try test__cmpti2(-1, -1, 1);
     19     try test__cmpti2(0, 0, 1);
     20     try test__cmpti2(1, 1, 1);
     21     try test__cmpti2(85070591730234615865843651857942052863, 85070591730234615865843651857942052863, 1);
     22     try test__cmpti2(170141183460469231731687303715884105726, 170141183460469231731687303715884105726, 1);
     23     try test__cmpti2(170141183460469231731687303715884105727, 170141183460469231731687303715884105727, 1);
     24     // 2. cmp minInt,   {        minInt + 1, minInt/2, -1,0,1, maxInt/2, maxInt-1, maxInt}
     25     try test__cmpti2(-170141183460469231731687303715884105728, -170141183460469231731687303715884105727, 0);
     26     try test__cmpti2(-170141183460469231731687303715884105728, -85070591730234615865843651857942052864, 0);
     27     try test__cmpti2(-170141183460469231731687303715884105728, -1, 0);
     28     try test__cmpti2(-170141183460469231731687303715884105728, 0, 0);
     29     try test__cmpti2(-170141183460469231731687303715884105728, 1, 0);
     30     try test__cmpti2(-170141183460469231731687303715884105728, 85070591730234615865843651857942052863, 0);
     31     try test__cmpti2(-170141183460469231731687303715884105728, 170141183460469231731687303715884105726, 0);
     32     try test__cmpti2(-170141183460469231731687303715884105728, 170141183460469231731687303715884105727, 0);
     33     // 3. cmp minInt+1, {minInt,             minInt/2, -1,0,1, maxInt/2, maxInt-1, maxInt}
     34     try test__cmpti2(-170141183460469231731687303715884105727, -170141183460469231731687303715884105728, 2);
     35     try test__cmpti2(-170141183460469231731687303715884105727, -85070591730234615865843651857942052864, 0);
     36     try test__cmpti2(-170141183460469231731687303715884105727, -1, 0);
     37     try test__cmpti2(-170141183460469231731687303715884105727, 0, 0);
     38     try test__cmpti2(-170141183460469231731687303715884105727, 1, 0);
     39     try test__cmpti2(-170141183460469231731687303715884105727, 85070591730234615865843651857942052863, 0);
     40     try test__cmpti2(-170141183460469231731687303715884105727, 170141183460469231731687303715884105726, 0);
     41     try test__cmpti2(-170141183460469231731687303715884105727, 170141183460469231731687303715884105727, 0);
     42     // 4. cmp minInt/2, {minInt, minInt + 1,           -1,0,1, maxInt/2, maxInt-1, maxInt}
     43     try test__cmpti2(-85070591730234615865843651857942052864, -170141183460469231731687303715884105728, 2);
     44     try test__cmpti2(-85070591730234615865843651857942052864, -170141183460469231731687303715884105727, 2);
     45     try test__cmpti2(-85070591730234615865843651857942052864, -1, 0);
     46     try test__cmpti2(-85070591730234615865843651857942052864, 0, 0);
     47     try test__cmpti2(-85070591730234615865843651857942052864, 1, 0);
     48     try test__cmpti2(-85070591730234615865843651857942052864, 85070591730234615865843651857942052863, 0);
     49     try test__cmpti2(-85070591730234615865843651857942052864, 170141183460469231731687303715884105726, 0);
     50     try test__cmpti2(-85070591730234615865843651857942052864, 170141183460469231731687303715884105727, 0);
     51     // 5. cmp -1,       {minInt, minInt + 1, minInt/2,    0,1, maxInt/2, maxInt-1, maxInt}
     52     try test__cmpti2(-1, -170141183460469231731687303715884105728, 2);
     53     try test__cmpti2(-1, -170141183460469231731687303715884105727, 2);
     54     try test__cmpti2(-1, -85070591730234615865843651857942052864, 2);
     55     try test__cmpti2(-1, 0, 0);
     56     try test__cmpti2(-1, 1, 0);
     57     try test__cmpti2(-1, 85070591730234615865843651857942052863, 0);
     58     try test__cmpti2(-1, 170141183460469231731687303715884105726, 0);
     59     try test__cmpti2(-1, 170141183460469231731687303715884105727, 0);
     60     // 6. cmp 0,        {minInt, minInt + 1, minInt/2, -1,  1, maxInt/2, maxInt-1, maxInt}
     61     try test__cmpti2(0, -170141183460469231731687303715884105728, 2);
     62     try test__cmpti2(0, -170141183460469231731687303715884105727, 2);
     63     try test__cmpti2(0, -85070591730234615865843651857942052864, 2);
     64     try test__cmpti2(0, -1, 2);
     65     try test__cmpti2(0, 1, 0);
     66     try test__cmpti2(0, 85070591730234615865843651857942052863, 0);
     67     try test__cmpti2(0, 170141183460469231731687303715884105726, 0);
     68     try test__cmpti2(0, 170141183460469231731687303715884105727, 0);
     69     // 7. cmp 1,        {minInt, minInt + 1, minInt/2, -1,0,   maxInt/2, maxInt-1, maxInt}
     70     try test__cmpti2(1, -170141183460469231731687303715884105728, 2);
     71     try test__cmpti2(1, -170141183460469231731687303715884105727, 2);
     72     try test__cmpti2(1, -85070591730234615865843651857942052864, 2);
     73     try test__cmpti2(1, -1, 2);
     74     try test__cmpti2(1, 0, 2);
     75     try test__cmpti2(1, 85070591730234615865843651857942052863, 0);
     76     try test__cmpti2(1, 170141183460469231731687303715884105726, 0);
     77     try test__cmpti2(1, 170141183460469231731687303715884105727, 0);
     78     // 8. cmp maxInt/2, {minInt, minInt + 1, minInt/2, -1,0,1,           maxInt-1, maxInt}
     79     try test__cmpti2(85070591730234615865843651857942052863, -170141183460469231731687303715884105728, 2);
     80     try test__cmpti2(85070591730234615865843651857942052863, -170141183460469231731687303715884105727, 2);
     81     try test__cmpti2(85070591730234615865843651857942052863, -85070591730234615865843651857942052864, 2);
     82     try test__cmpti2(85070591730234615865843651857942052863, -1, 2);
     83     try test__cmpti2(85070591730234615865843651857942052863, 0, 2);
     84     try test__cmpti2(85070591730234615865843651857942052863, 1, 2);
     85     try test__cmpti2(85070591730234615865843651857942052863, 170141183460469231731687303715884105726, 0);
     86     try test__cmpti2(85070591730234615865843651857942052863, 170141183460469231731687303715884105727, 0);
     87     // 9. cmp maxInt-1, {minInt, minInt + 1, minInt/2, -1,0,1, maxInt/2,           maxInt}
     88     try test__cmpti2(170141183460469231731687303715884105726, -170141183460469231731687303715884105728, 2);
     89     try test__cmpti2(170141183460469231731687303715884105726, -170141183460469231731687303715884105727, 2);
     90     try test__cmpti2(170141183460469231731687303715884105726, -85070591730234615865843651857942052864, 2);
     91     try test__cmpti2(170141183460469231731687303715884105726, -1, 2);
     92     try test__cmpti2(170141183460469231731687303715884105726, 0, 2);
     93     try test__cmpti2(170141183460469231731687303715884105726, 1, 2);
     94     try test__cmpti2(170141183460469231731687303715884105726, 85070591730234615865843651857942052863, 2);
     95     try test__cmpti2(170141183460469231731687303715884105726, 170141183460469231731687303715884105727, 0);
     96     // 10.cmp maxInt,   {minInt, minInt + 1, minInt/2, -1,0,1, maxInt/2, maxInt-1,       }
     97     try test__cmpti2(170141183460469231731687303715884105727, -170141183460469231731687303715884105728, 2);
     98     try test__cmpti2(170141183460469231731687303715884105727, -170141183460469231731687303715884105727, 2);
     99     try test__cmpti2(170141183460469231731687303715884105727, -85070591730234615865843651857942052864, 2);
    100     try test__cmpti2(170141183460469231731687303715884105727, -1, 2);
    101     try test__cmpti2(170141183460469231731687303715884105727, 0, 2);
    102     try test__cmpti2(170141183460469231731687303715884105727, 1, 2);
    103     try test__cmpti2(170141183460469231731687303715884105727, 85070591730234615865843651857942052863, 2);
    104     try test__cmpti2(170141183460469231731687303715884105727, 170141183460469231731687303715884105726, 2);
    105 }