zig

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

mulodi4_test.zig (5448B) - Raw

      1 const mulo = @import("mulo.zig");
      2 const testing = @import("std").testing;
      3 
      4 // ported from https://github.com/llvm-mirror/compiler-rt/tree/release_80/test/builtins/Unit
      5 
      6 fn test__mulodi4(a: i64, b: i64, expected: i64, expected_overflow: c_int) !void {
      7     var overflow: c_int = undefined;
      8     const x = mulo.__mulodi4(a, b, &overflow);
      9     try testing.expect(overflow == expected_overflow and (expected_overflow != 0 or x == expected));
     10 }
     11 
     12 test "mulodi4" {
     13     try test__mulodi4(0, 0, 0, 0);
     14     try test__mulodi4(0, 1, 0, 0);
     15     try test__mulodi4(1, 0, 0, 0);
     16     try test__mulodi4(0, 10, 0, 0);
     17     try test__mulodi4(10, 0, 0, 0);
     18     try test__mulodi4(0, 81985529216486895, 0, 0);
     19     try test__mulodi4(81985529216486895, 0, 0, 0);
     20 
     21     try test__mulodi4(0, -1, 0, 0);
     22     try test__mulodi4(-1, 0, 0, 0);
     23     try test__mulodi4(0, -10, 0, 0);
     24     try test__mulodi4(-10, 0, 0, 0);
     25     try test__mulodi4(0, -81985529216486895, 0, 0);
     26     try test__mulodi4(-81985529216486895, 0, 0, 0);
     27 
     28     try test__mulodi4(1, 1, 1, 0);
     29     try test__mulodi4(1, 10, 10, 0);
     30     try test__mulodi4(10, 1, 10, 0);
     31     try test__mulodi4(1, 81985529216486895, 81985529216486895, 0);
     32     try test__mulodi4(81985529216486895, 1, 81985529216486895, 0);
     33 
     34     try test__mulodi4(1, -1, -1, 0);
     35     try test__mulodi4(1, -10, -10, 0);
     36     try test__mulodi4(-10, 1, -10, 0);
     37     try test__mulodi4(1, -81985529216486895, -81985529216486895, 0);
     38     try test__mulodi4(-81985529216486895, 1, -81985529216486895, 0);
     39 
     40     try test__mulodi4(3037000499, 3037000499, 9223372030926249001, 0);
     41     try test__mulodi4(-3037000499, 3037000499, -9223372030926249001, 0);
     42     try test__mulodi4(3037000499, -3037000499, -9223372030926249001, 0);
     43     try test__mulodi4(-3037000499, -3037000499, 9223372030926249001, 0);
     44 
     45     try test__mulodi4(4398046511103, 2097152, 9223372036852678656, 0);
     46     try test__mulodi4(-4398046511103, 2097152, -9223372036852678656, 0);
     47     try test__mulodi4(4398046511103, -2097152, -9223372036852678656, 0);
     48     try test__mulodi4(-4398046511103, -2097152, 9223372036852678656, 0);
     49 
     50     try test__mulodi4(2097152, 4398046511103, 9223372036852678656, 0);
     51     try test__mulodi4(-2097152, 4398046511103, -9223372036852678656, 0);
     52     try test__mulodi4(2097152, -4398046511103, -9223372036852678656, 0);
     53     try test__mulodi4(-2097152, -4398046511103, 9223372036852678656, 0);
     54 
     55     try test__mulodi4(0x7FFFFFFFFFFFFFFF, -2, 2, 1);
     56     try test__mulodi4(-2, 0x7FFFFFFFFFFFFFFF, 2, 1);
     57     try test__mulodi4(0x7FFFFFFFFFFFFFFF, -1, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0);
     58     try test__mulodi4(-1, 0x7FFFFFFFFFFFFFFF, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0);
     59     try test__mulodi4(0x7FFFFFFFFFFFFFFF, 0, 0, 0);
     60     try test__mulodi4(0, 0x7FFFFFFFFFFFFFFF, 0, 0);
     61     try test__mulodi4(0x7FFFFFFFFFFFFFFF, 1, 0x7FFFFFFFFFFFFFFF, 0);
     62     try test__mulodi4(1, 0x7FFFFFFFFFFFFFFF, 0x7FFFFFFFFFFFFFFF, 0);
     63     try test__mulodi4(0x7FFFFFFFFFFFFFFF, 2, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 1);
     64     try test__mulodi4(2, 0x7FFFFFFFFFFFFFFF, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 1);
     65 
     66     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000000))), -2, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     67     try test__mulodi4(-2, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     68     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000000))), -1, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     69     try test__mulodi4(-1, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     70     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000000))), 0, 0, 0);
     71     try test__mulodi4(0, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 0, 0);
     72     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 0);
     73     try test__mulodi4(1, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 0);
     74     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000000))), 2, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     75     try test__mulodi4(2, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     76 
     77     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000001))), -2, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 1);
     78     try test__mulodi4(-2, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 1);
     79     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000001))), -1, 0x7FFFFFFFFFFFFFFF, 0);
     80     try test__mulodi4(-1, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0x7FFFFFFFFFFFFFFF, 0);
     81     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0, 0, 0);
     82     try test__mulodi4(0, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0, 0);
     83     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000001))), 1, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0);
     84     try test__mulodi4(1, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), @as(i64, @bitCast(@as(u64, 0x8000000000000001))), 0);
     85     try test__mulodi4(@as(i64, @bitCast(@as(u64, 0x8000000000000001))), 2, @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     86     try test__mulodi4(2, @as(i64, @bitCast(@as(u64, 0x8000000000000001))), @as(i64, @bitCast(@as(u64, 0x8000000000000000))), 1);
     87 }