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__mulosi4(a: i32, b: i32, expected: i32, expected_overflow: c_int) !void {
 7    var overflow: c_int = undefined;
 8    const x = mulo.__mulosi4(a, b, &overflow);
 9    try testing.expect(overflow == expected_overflow and (expected_overflow != 0 or x == expected));
10}
11
12test "mulosi4" {
13    try test__mulosi4(0, 0, 0, 0);
14    try test__mulosi4(0, 1, 0, 0);
15    try test__mulosi4(1, 0, 0, 0);
16    try test__mulosi4(0, 10, 0, 0);
17    try test__mulosi4(10, 0, 0, 0);
18    try test__mulosi4(0, 0x1234567, 0, 0);
19    try test__mulosi4(0x1234567, 0, 0, 0);
20
21    try test__mulosi4(0, -1, 0, 0);
22    try test__mulosi4(-1, 0, 0, 0);
23    try test__mulosi4(0, -10, 0, 0);
24    try test__mulosi4(-10, 0, 0, 0);
25    try test__mulosi4(0, -0x1234567, 0, 0);
26    try test__mulosi4(-0x1234567, 0, 0, 0);
27
28    try test__mulosi4(1, 1, 1, 0);
29    try test__mulosi4(1, 10, 10, 0);
30    try test__mulosi4(10, 1, 10, 0);
31    try test__mulosi4(1, 0x1234567, 0x1234567, 0);
32    try test__mulosi4(0x1234567, 1, 0x1234567, 0);
33
34    try test__mulosi4(1, -1, -1, 0);
35    try test__mulosi4(1, -10, -10, 0);
36    try test__mulosi4(-10, 1, -10, 0);
37    try test__mulosi4(1, -0x1234567, -0x1234567, 0);
38    try test__mulosi4(-0x1234567, 1, -0x1234567, 0);
39
40    try test__mulosi4(0x7FFFFFFF, -2, @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
41    try test__mulosi4(-2, 0x7FFFFFFF, @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
42    try test__mulosi4(0x7FFFFFFF, -1, @as(i32, @bitCast(@as(u32, 0x80000001))), 0);
43    try test__mulosi4(-1, 0x7FFFFFFF, @as(i32, @bitCast(@as(u32, 0x80000001))), 0);
44    try test__mulosi4(0x7FFFFFFF, 0, 0, 0);
45    try test__mulosi4(0, 0x7FFFFFFF, 0, 0);
46    try test__mulosi4(0x7FFFFFFF, 1, 0x7FFFFFFF, 0);
47    try test__mulosi4(1, 0x7FFFFFFF, 0x7FFFFFFF, 0);
48    try test__mulosi4(0x7FFFFFFF, 2, @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
49    try test__mulosi4(2, 0x7FFFFFFF, @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
50
51    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000000))), -2, @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
52    try test__mulosi4(-2, @as(i32, @bitCast(@as(u32, 0x80000000))), @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
53    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000000))), -1, @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
54    try test__mulosi4(-1, @as(i32, @bitCast(@as(u32, 0x80000000))), @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
55    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000000))), 0, 0, 0);
56    try test__mulosi4(0, @as(i32, @bitCast(@as(u32, 0x80000000))), 0, 0);
57    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000000))), 1, @as(i32, @bitCast(@as(u32, 0x80000000))), 0);
58    try test__mulosi4(1, @as(i32, @bitCast(@as(u32, 0x80000000))), @as(i32, @bitCast(@as(u32, 0x80000000))), 0);
59    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000000))), 2, @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
60    try test__mulosi4(2, @as(i32, @bitCast(@as(u32, 0x80000000))), @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
61
62    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000001))), -2, @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
63    try test__mulosi4(-2, @as(i32, @bitCast(@as(u32, 0x80000001))), @as(i32, @bitCast(@as(u32, 0x80000001))), 1);
64    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000001))), -1, 0x7FFFFFFF, 0);
65    try test__mulosi4(-1, @as(i32, @bitCast(@as(u32, 0x80000001))), 0x7FFFFFFF, 0);
66    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000001))), 0, 0, 0);
67    try test__mulosi4(0, @as(i32, @bitCast(@as(u32, 0x80000001))), 0, 0);
68    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000001))), 1, @as(i32, @bitCast(@as(u32, 0x80000001))), 0);
69    try test__mulosi4(1, @as(i32, @bitCast(@as(u32, 0x80000001))), @as(i32, @bitCast(@as(u32, 0x80000001))), 0);
70    try test__mulosi4(@as(i32, @bitCast(@as(u32, 0x80000001))), 2, @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
71    try test__mulosi4(2, @as(i32, @bitCast(@as(u32, 0x80000001))), @as(i32, @bitCast(@as(u32, 0x80000000))), 1);
72}