mirror of
https://github.com/ziglang/zig.git
synced 2024-11-26 15:12:31 +00:00
262 lines
9.5 KiB
Zig
262 lines
9.5 KiB
Zig
const std = @import("std");
|
|
const neg = @import("negXi2.zig");
|
|
const testing = std.testing;
|
|
|
|
const print = std.debug.print;
|
|
|
|
fn test__negsi2(a: i32, expected: i32) !void {
|
|
const result = neg.__negsi2(a);
|
|
try testing.expectEqual(expected, result);
|
|
}
|
|
|
|
test "negsi2" {
|
|
// TODO ensuring that math.minInt(i32); returns error
|
|
|
|
try test__negsi2(-3, 3);
|
|
try test__negsi2(-2, 2);
|
|
try test__negsi2(-1, 1);
|
|
try test__negsi2(0, 0); // special case for 2s complement
|
|
try test__negsi2(1, -1);
|
|
try test__negsi2(2, -2);
|
|
try test__negsi2(3, -3);
|
|
|
|
// max_usable == MAX(i32) == -MIN(i32) == 2147483647 == 7fffffff
|
|
// divTrunc: max_usable / i, i=1,2,3,5,100
|
|
// 7fffffff / i
|
|
try test__negsi2(-715827882, 715827882);
|
|
try test__negsi2(715827882, -715827882);
|
|
try test__negsi2(-429496729, 429496729);
|
|
try test__negsi2(429496729, -429496729);
|
|
try test__negsi2(-214748364, 214748364);
|
|
try test__negsi2(214748364, -214748364);
|
|
// shifting: max_usable >> i, i=0..bitsize-4
|
|
// 7fffffff >> i
|
|
// 7fffffff >> i + 1
|
|
// 7fffffff >> i + 3
|
|
// 7fffffff >> i + 7
|
|
try test__negsi2(-2147483647, 2147483647);
|
|
try test__negsi2(2147483647, -2147483647);
|
|
try test__negsi2(-2147483646, 2147483646);
|
|
try test__negsi2(2147483646, -2147483646);
|
|
try test__negsi2(-2147483644, 2147483644);
|
|
try test__negsi2(2147483644, -2147483644);
|
|
try test__negsi2(-2147483640, 2147483640);
|
|
try test__negsi2(2147483640, -2147483640);
|
|
try test__negsi2(-1073741823, 1073741823);
|
|
try test__negsi2(1073741823, -1073741823);
|
|
try test__negsi2(-1073741822, 1073741822);
|
|
try test__negsi2(1073741822, -1073741822);
|
|
try test__negsi2(-1073741820, 1073741820);
|
|
try test__negsi2(1073741820, -1073741820);
|
|
try test__negsi2(-1073741816, 1073741816);
|
|
try test__negsi2(1073741816, -1073741816);
|
|
try test__negsi2(-536870911, 536870911);
|
|
try test__negsi2(536870911, -536870911);
|
|
try test__negsi2(-536870910, 536870910);
|
|
try test__negsi2(536870910, -536870910);
|
|
try test__negsi2(-536870908, 536870908);
|
|
try test__negsi2(536870908, -536870908);
|
|
try test__negsi2(-536870904, 536870904);
|
|
try test__negsi2(536870904, -536870904);
|
|
try test__negsi2(-268435455, 268435455);
|
|
try test__negsi2(268435455, -268435455);
|
|
try test__negsi2(-268435454, 268435454);
|
|
try test__negsi2(268435454, -268435454);
|
|
try test__negsi2(-268435452, 268435452);
|
|
try test__negsi2(268435452, -268435452);
|
|
try test__negsi2(-268435448, 268435448);
|
|
try test__negsi2(268435448, -268435448);
|
|
try test__negsi2(-134217727, 134217727);
|
|
try test__negsi2(134217727, -134217727);
|
|
try test__negsi2(-134217726, 134217726);
|
|
try test__negsi2(134217726, -134217726);
|
|
try test__negsi2(-134217724, 134217724);
|
|
try test__negsi2(134217724, -134217724);
|
|
try test__negsi2(-134217720, 134217720);
|
|
try test__negsi2(134217720, -134217720);
|
|
try test__negsi2(-67108863, 67108863);
|
|
try test__negsi2(67108863, -67108863);
|
|
try test__negsi2(-67108862, 67108862);
|
|
try test__negsi2(67108862, -67108862);
|
|
try test__negsi2(-67108860, 67108860);
|
|
try test__negsi2(67108860, -67108860);
|
|
try test__negsi2(-67108856, 67108856);
|
|
try test__negsi2(67108856, -67108856);
|
|
try test__negsi2(-33554431, 33554431);
|
|
try test__negsi2(33554431, -33554431);
|
|
try test__negsi2(-33554430, 33554430);
|
|
try test__negsi2(33554430, -33554430);
|
|
try test__negsi2(-33554428, 33554428);
|
|
try test__negsi2(33554428, -33554428);
|
|
try test__negsi2(-33554424, 33554424);
|
|
try test__negsi2(33554424, -33554424);
|
|
try test__negsi2(-16777215, 16777215);
|
|
try test__negsi2(16777215, -16777215);
|
|
try test__negsi2(-16777214, 16777214);
|
|
try test__negsi2(16777214, -16777214);
|
|
try test__negsi2(-16777212, 16777212);
|
|
try test__negsi2(16777212, -16777212);
|
|
try test__negsi2(-16777208, 16777208);
|
|
try test__negsi2(16777208, -16777208);
|
|
try test__negsi2(-8388607, 8388607);
|
|
try test__negsi2(8388607, -8388607);
|
|
try test__negsi2(-8388606, 8388606);
|
|
try test__negsi2(8388606, -8388606);
|
|
try test__negsi2(-8388604, 8388604);
|
|
try test__negsi2(8388604, -8388604);
|
|
try test__negsi2(-8388600, 8388600);
|
|
try test__negsi2(8388600, -8388600);
|
|
try test__negsi2(-4194303, 4194303);
|
|
try test__negsi2(4194303, -4194303);
|
|
try test__negsi2(-4194302, 4194302);
|
|
try test__negsi2(4194302, -4194302);
|
|
try test__negsi2(-4194300, 4194300);
|
|
try test__negsi2(4194300, -4194300);
|
|
try test__negsi2(-4194296, 4194296);
|
|
try test__negsi2(4194296, -4194296);
|
|
try test__negsi2(-2097151, 2097151);
|
|
try test__negsi2(2097151, -2097151);
|
|
try test__negsi2(-2097150, 2097150);
|
|
try test__negsi2(2097150, -2097150);
|
|
try test__negsi2(-2097148, 2097148);
|
|
try test__negsi2(2097148, -2097148);
|
|
try test__negsi2(-2097144, 2097144);
|
|
try test__negsi2(2097144, -2097144);
|
|
try test__negsi2(-1048575, 1048575);
|
|
try test__negsi2(1048575, -1048575);
|
|
try test__negsi2(-1048574, 1048574);
|
|
try test__negsi2(1048574, -1048574);
|
|
try test__negsi2(-1048572, 1048572);
|
|
try test__negsi2(1048572, -1048572);
|
|
try test__negsi2(-1048568, 1048568);
|
|
try test__negsi2(1048568, -1048568);
|
|
try test__negsi2(-524287, 524287);
|
|
try test__negsi2(524287, -524287);
|
|
try test__negsi2(-524286, 524286);
|
|
try test__negsi2(524286, -524286);
|
|
try test__negsi2(-524284, 524284);
|
|
try test__negsi2(524284, -524284);
|
|
try test__negsi2(-524280, 524280);
|
|
try test__negsi2(524280, -524280);
|
|
try test__negsi2(-262143, 262143);
|
|
try test__negsi2(262143, -262143);
|
|
try test__negsi2(-262142, 262142);
|
|
try test__negsi2(262142, -262142);
|
|
try test__negsi2(-262140, 262140);
|
|
try test__negsi2(262140, -262140);
|
|
try test__negsi2(-262136, 262136);
|
|
try test__negsi2(262136, -262136);
|
|
try test__negsi2(-131071, 131071);
|
|
try test__negsi2(131071, -131071);
|
|
try test__negsi2(-131070, 131070);
|
|
try test__negsi2(131070, -131070);
|
|
try test__negsi2(-131068, 131068);
|
|
try test__negsi2(131068, -131068);
|
|
try test__negsi2(-131064, 131064);
|
|
try test__negsi2(131064, -131064);
|
|
try test__negsi2(-65535, 65535);
|
|
try test__negsi2(65535, -65535);
|
|
try test__negsi2(-65534, 65534);
|
|
try test__negsi2(65534, -65534);
|
|
try test__negsi2(-65532, 65532);
|
|
try test__negsi2(65532, -65532);
|
|
try test__negsi2(-65528, 65528);
|
|
try test__negsi2(65528, -65528);
|
|
try test__negsi2(-32767, 32767);
|
|
try test__negsi2(32767, -32767);
|
|
try test__negsi2(-32766, 32766);
|
|
try test__negsi2(32766, -32766);
|
|
try test__negsi2(-32764, 32764);
|
|
try test__negsi2(32764, -32764);
|
|
try test__negsi2(-32760, 32760);
|
|
try test__negsi2(32760, -32760);
|
|
try test__negsi2(-16383, 16383);
|
|
try test__negsi2(16383, -16383);
|
|
try test__negsi2(-16382, 16382);
|
|
try test__negsi2(16382, -16382);
|
|
try test__negsi2(-16380, 16380);
|
|
try test__negsi2(16380, -16380);
|
|
try test__negsi2(-16376, 16376);
|
|
try test__negsi2(16376, -16376);
|
|
try test__negsi2(-8191, 8191);
|
|
try test__negsi2(8191, -8191);
|
|
try test__negsi2(-8190, 8190);
|
|
try test__negsi2(8190, -8190);
|
|
try test__negsi2(-8188, 8188);
|
|
try test__negsi2(8188, -8188);
|
|
try test__negsi2(-8184, 8184);
|
|
try test__negsi2(8184, -8184);
|
|
try test__negsi2(-4095, 4095);
|
|
try test__negsi2(4095, -4095);
|
|
try test__negsi2(-4094, 4094);
|
|
try test__negsi2(4094, -4094);
|
|
try test__negsi2(-4092, 4092);
|
|
try test__negsi2(4092, -4092);
|
|
try test__negsi2(-4088, 4088);
|
|
try test__negsi2(4088, -4088);
|
|
try test__negsi2(-2047, 2047);
|
|
try test__negsi2(2047, -2047);
|
|
try test__negsi2(-2046, 2046);
|
|
try test__negsi2(2046, -2046);
|
|
try test__negsi2(-2044, 2044);
|
|
try test__negsi2(2044, -2044);
|
|
try test__negsi2(-2040, 2040);
|
|
try test__negsi2(2040, -2040);
|
|
try test__negsi2(-1023, 1023);
|
|
try test__negsi2(1023, -1023);
|
|
try test__negsi2(-1022, 1022);
|
|
try test__negsi2(1022, -1022);
|
|
try test__negsi2(-1020, 1020);
|
|
try test__negsi2(1020, -1020);
|
|
try test__negsi2(-1016, 1016);
|
|
try test__negsi2(1016, -1016);
|
|
try test__negsi2(-511, 511);
|
|
try test__negsi2(511, -511);
|
|
try test__negsi2(-510, 510);
|
|
try test__negsi2(510, -510);
|
|
try test__negsi2(-508, 508);
|
|
try test__negsi2(508, -508);
|
|
try test__negsi2(-504, 504);
|
|
try test__negsi2(504, -504);
|
|
try test__negsi2(-255, 255);
|
|
try test__negsi2(255, -255);
|
|
try test__negsi2(-254, 254);
|
|
try test__negsi2(254, -254);
|
|
try test__negsi2(-252, 252);
|
|
try test__negsi2(252, -252);
|
|
try test__negsi2(-248, 248);
|
|
try test__negsi2(248, -248);
|
|
try test__negsi2(-127, 127);
|
|
try test__negsi2(127, -127);
|
|
try test__negsi2(-126, 126);
|
|
try test__negsi2(126, -126);
|
|
try test__negsi2(-124, 124);
|
|
try test__negsi2(124, -124);
|
|
try test__negsi2(-120, 120);
|
|
try test__negsi2(120, -120);
|
|
try test__negsi2(-63, 63);
|
|
try test__negsi2(63, -63);
|
|
try test__negsi2(-62, 62);
|
|
try test__negsi2(62, -62);
|
|
try test__negsi2(-60, 60);
|
|
try test__negsi2(60, -60);
|
|
try test__negsi2(-56, 56);
|
|
try test__negsi2(56, -56);
|
|
try test__negsi2(-31, 31);
|
|
try test__negsi2(31, -31);
|
|
try test__negsi2(-30, 30);
|
|
try test__negsi2(30, -30);
|
|
try test__negsi2(-28, 28);
|
|
try test__negsi2(28, -28);
|
|
try test__negsi2(-24, 24);
|
|
try test__negsi2(24, -24);
|
|
try test__negsi2(-15, 15);
|
|
try test__negsi2(15, -15);
|
|
try test__negsi2(-14, 14);
|
|
try test__negsi2(14, -14);
|
|
try test__negsi2(-12, 12);
|
|
try test__negsi2(12, -12);
|
|
try test__negsi2(-8, 8);
|
|
try test__negsi2(8, -8);
|
|
}
|