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