Hojun-Cho/ww
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

lib/encoding+math tests: hand-main plumbing -> assert (@test conversion B2)

Browse Source
This commit is contained in:
Hojun-Cho
2026-06-10 18:52:53 +09:00
parent 6ef2bbcb95
commit 56450e68ce
6 changed files with 451 additions and 462 deletions
Download Patch File Download Diff File Expand all files Collapse all files

336
lib/math/checked/checked_test.ww
View File

@@ -14,122 +14,122 @@ import types;
@test fn test_addi8() void = {
let (res, overflow) = checked.addi8(100, 20);
if (res != 120) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 120));
assert(!(overflow));
let (res2, overflow2) = checked.addi8(100, 50);
if (res2 != -106) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -106));
assert(!(!overflow2));
};
@test fn test_addi16() void = {
let (res, overflow) = checked.addi16(32700, 60);
if (res != 32760) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 32760));
assert(!(overflow));
let (res2, overflow2) = checked.addi16(32700, 100);
if (res2 != -32736) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -32736));
assert(!(!overflow2));
};
@test fn test_addi32() void = {
let (res, overflow) = checked.addi32(2147483600, 40);
if (res != 2147483640) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 2147483640));
assert(!(overflow));
let (res2, overflow2) = checked.addi32(2147483600, 100);
if (res2 != -2147483596) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -2147483596));
assert(!(!overflow2));
};
@test fn test_addi64() void = {
let (res, overflow) = checked.addi64(9223372036854775800, 5);
if (res != 9223372036854775805) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 9223372036854775805));
assert(!(overflow));
let (res2, overflow2) = checked.addi64(9223372036854775800, 10);
if (res2 != -9223372036854775806) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -9223372036854775806));
assert(!(!overflow2));
};
@test fn test_addu8() void = {
let (res, overflow) = checked.addu8(200u8, 50u8);
if (res != 250u8) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 250u8));
assert(!(overflow));
let (res2, overflow2) = checked.addu8(200u8, 100u8);
if (res2 != 44u8) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 44u8));
assert(!(!overflow2));
};
@test fn test_addu16() void = {
let (res, overflow) = checked.addu16(65500u16, 30u16);
if (res != 65530u16) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 65530u16));
assert(!(overflow));
let (res2, overflow2) = checked.addu16(65500u16, 50u16);
if (res2 != 14u16) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 14u16));
assert(!(!overflow2));
};
@test fn test_addu32() void = {
let (res, overflow) = checked.addu32(4294967200u32, 90u32);
if (res != 4294967290u32) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 4294967290u32));
assert(!(overflow));
let (res2, overflow2) = checked.addu32(4294967200u32, 100u32);
if (res2 != 4u32) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 4u32));
assert(!(!overflow2));
};
@test fn test_addu64() void = {
let (res, overflow) = checked.addu64(18446744073709551600u64, 10u64);
if (res != 18446744073709551610u64) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 18446744073709551610u64));
assert(!(overflow));
let (res2, overflow2) = checked.addu64(18446744073709551610u64, 50u64);
if (res2 != 44u64) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 44u64));
assert(!(!overflow2));
};
@test fn test_subi8() void = {
let (res, overflow) = checked.subi8(-100, 20);
if (res != -120) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != -120));
assert(!(overflow));
let (res2, overflow2) = checked.subi8(-100, 50);
if (res2 != 106) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 106));
assert(!(!overflow2));
// I8_MAX, I8_MIN boundary
let (res3, overflow3) = checked.subi8(127, -128);
if (res3 != -1) { let _: i32 = 1/0; };
if (!overflow3) { let _: i32 = 1/0; };
assert(!(res3 != -1));
assert(!(!overflow3));
};
@test fn test_subi16() void = {
let (res, overflow) = checked.subi16(-32700, 60);
if (res != -32760) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != -32760));
assert(!(overflow));
let (res2, overflow2) = checked.subi16(-32700, 100);
if (res2 != 32736) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 32736));
assert(!(!overflow2));
// I16_MAX, I16_MIN boundary
let (res3, overflow3) = checked.subi16(32767, -32768);
if (res3 != -1) { let _: i32 = 1/0; };
if (!overflow3) { let _: i32 = 1/0; };
assert(!(res3 != -1));
assert(!(!overflow3));
};
@test fn test_subi32() void = {
let (res, overflow) = checked.subi32(-2147483600, 40);
if (res != -2147483640) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != -2147483640));
assert(!(overflow));
let (res2, overflow2) = checked.subi32(-2147483600, 100);
if (res2 != 2147483596) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 2147483596));
assert(!(!overflow2));
// I32_MAX, I32_MIN boundary
let (res3, overflow3) = checked.subi32(2147483647, -2147483648);
if (res3 != -1) { let _: i32 = 1/0; };
if (!overflow3) { let _: i32 = 1/0; };
assert(!(res3 != -1));
assert(!(!overflow3));
};
@test fn test_subi64() void = {
let (res, overflow) = checked.subi64(-9223372036854775800, 5);
if (res != -9223372036854775805) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != -9223372036854775805));
assert(!(overflow));
let (res2, overflow2) = checked.subi64(-9223372036854775800, 10);
if (res2 != 9223372036854775806) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 9223372036854775806));
assert(!(!overflow2));
// I64_MAX, I64_MIN boundary — Hare's subi64 @test 3rd case
// subi64(I64_MAX, I64_MIN). Omitted while #89 is open: the I64_MIN
// literal -9223372036854775808 makes wwstage emit `MOVQ $-, AX`
@@ -141,92 +141,92 @@ import types;
@test fn test_subu8() void = {
let (res, overflow) = checked.subu8(250u8, 50u8);
if (res != 200u8) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 200u8));
assert(!(overflow));
let (res2, overflow2) = checked.subu8(44u8, 100u8);
if (res2 != 200u8) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 200u8));
assert(!(!overflow2));
};
@test fn test_subu16() void = {
let (res, overflow) = checked.subu16(65530u16, 30u16);
if (res != 65500u16) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 65500u16));
assert(!(overflow));
let (res2, overflow2) = checked.subu16(14u16, 50u16);
if (res2 != 65500u16) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 65500u16));
assert(!(!overflow2));
};
@test fn test_subu32() void = {
let (res, overflow) = checked.subu32(4294967290u32, 90u32);
if (res != 4294967200u32) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 4294967200u32));
assert(!(overflow));
let (res2, overflow2) = checked.subu32(4u32, 100u32);
if (res2 != 4294967200u32) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 4294967200u32));
assert(!(!overflow2));
};
@test fn test_subu64() void = {
let (res, overflow) = checked.subu64(18446744073709551610u64, 10u64);
if (res != 18446744073709551600u64) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 18446744073709551600u64));
assert(!(overflow));
let (res2, overflow2) = checked.subu64(44u64, 50u64);
if (res2 != 18446744073709551610u64) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 18446744073709551610u64));
assert(!(!overflow2));
};
@test fn test_muli8() void = {
let (res, overflow) = checked.muli8(11, 11);
if (res != 121) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 121));
assert(!(overflow));
let (res2, overflow2) = checked.muli8(12, 12);
if (res2 != -112) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -112));
assert(!(!overflow2));
};
@test fn test_muli16() void = {
let (res, overflow) = checked.muli16(181, 181);
if (res != 32761) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 32761));
assert(!(overflow));
let (res2, overflow2) = checked.muli16(182, 182);
if (res2 != -32412) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -32412));
assert(!(!overflow2));
};
@test fn test_muli32() void = {
let (res, overflow) = checked.muli32(46340, 46340);
if (res != 2147395600) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 2147395600));
assert(!(overflow));
let (res2, overflow2) = checked.muli32(46341, 46341);
if (res2 != -2147479015) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != -2147479015));
assert(!(!overflow2));
};
@test fn test_mulu8() void = {
let (res, overflow) = checked.mulu8(15u8, 15u8);
if (res != 225u8) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 225u8));
assert(!(overflow));
let (res2, overflow2) = checked.mulu8(16u8, 16u8);
if (res2 != 0u8) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 0u8));
assert(!(!overflow2));
};
@test fn test_mulu16() void = {
let (res, overflow) = checked.mulu16(255u16, 255u16);
if (res != 65025u16) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 65025u16));
assert(!(overflow));
let (res2, overflow2) = checked.mulu16(256u16, 256u16);
if (res2 != 0u16) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 0u16));
assert(!(!overflow2));
};
@test fn test_mulu32() void = {
let (res, overflow) = checked.mulu32(65535u32, 65535u32);
if (res != 4294836225u32) { let _: i32 = 1/0; };
if (overflow) { let _: i32 = 1/0; };
assert(!(res != 4294836225u32));
assert(!(overflow));
let (res2, overflow2) = checked.mulu32(65536u32, 65536u32);
if (res2 != 0u32) { let _: i32 = 1/0; };
if (!overflow2) { let _: i32 = 1/0; };
assert(!(res2 != 0u32));
assert(!(!overflow2));
};
// Saturating vectors from ref/hare/math/checked/saturating.ha @test
@@ -235,141 +235,141 @@ import types;
// -9223372036854775808 (which the wwstage formatter miscompiles, #89).
@test fn test_sat_addi8() void = {
if (checked.sat_addi8(100, 20) != 120) { let _: i32 = 1/0; };
if (checked.sat_addi8(100, 50) != types.I8_MAX) { let _: i32 = 1/0; };
if (checked.sat_addi8(-100, -50) != types.I8_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_addi8(100, 20) != 120));
assert(!(checked.sat_addi8(100, 50) != types.I8_MAX));
assert(!(checked.sat_addi8(-100, -50) != types.I8_MIN));
};
@test fn test_sat_addi16() void = {
if (checked.sat_addi16(32700, 60) != 32760) { let _: i32 = 1/0; };
if (checked.sat_addi16(32700, 100) != types.I16_MAX) { let _: i32 = 1/0; };
if (checked.sat_addi16(-32700, -100) != types.I16_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_addi16(32700, 60) != 32760));
assert(!(checked.sat_addi16(32700, 100) != types.I16_MAX));
assert(!(checked.sat_addi16(-32700, -100) != types.I16_MIN));
};
@test fn test_sat_addi32() void = {
if (checked.sat_addi32(2147483600, 40) != 2147483640) { let _: i32 = 1/0; };
if (checked.sat_addi32(2147483600, 100) != types.I32_MAX) { let _: i32 = 1/0; };
if (checked.sat_addi32(-2147483600, -100) != types.I32_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_addi32(2147483600, 40) != 2147483640));
assert(!(checked.sat_addi32(2147483600, 100) != types.I32_MAX));
assert(!(checked.sat_addi32(-2147483600, -100) != types.I32_MIN));
};
@test fn test_sat_addi64() void = {
if (checked.sat_addi64(9223372036854775800, 5) != 9223372036854775805) { let _: i32 = 1/0; };
if (checked.sat_addi64(9223372036854775800, 10) != types.I64_MAX) { let _: i32 = 1/0; };
if (checked.sat_addi64(-9223372036854775800, -10) != types.I64_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_addi64(9223372036854775800, 5) != 9223372036854775805));
assert(!(checked.sat_addi64(9223372036854775800, 10) != types.I64_MAX));
assert(!(checked.sat_addi64(-9223372036854775800, -10) != types.I64_MIN));
};
@test fn test_sat_addu8() void = {
if (checked.sat_addu8(200u8, 50u8) != 250u8) { let _: i32 = 1/0; };
if (checked.sat_addu8(200u8, 100u8) != types.U8_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_addu8(200u8, 50u8) != 250u8));
assert(!(checked.sat_addu8(200u8, 100u8) != types.U8_MAX));
};
@test fn test_sat_addu16() void = {
if (checked.sat_addu16(65500u16, 30u16) != 65530u16) { let _: i32 = 1/0; };
if (checked.sat_addu16(65500u16, 50u16) != types.U16_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_addu16(65500u16, 30u16) != 65530u16));
assert(!(checked.sat_addu16(65500u16, 50u16) != types.U16_MAX));
};
@test fn test_sat_addu32() void = {
if (checked.sat_addu32(4294967200u32, 90u32) != 4294967290u32) { let _: i32 = 1/0; };
if (checked.sat_addu32(4294967200u32, 100u32) != types.U32_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_addu32(4294967200u32, 90u32) != 4294967290u32));
assert(!(checked.sat_addu32(4294967200u32, 100u32) != types.U32_MAX));
};
@test fn test_sat_addu64() void = {
if (checked.sat_addu64(18446744073709551600u64, 10u64) != 18446744073709551610u64) { let _: i32 = 1/0; };
if (checked.sat_addu64(18446744073709551600u64, 50u64) != types.U64_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_addu64(18446744073709551600u64, 10u64) != 18446744073709551610u64));
assert(!(checked.sat_addu64(18446744073709551600u64, 50u64) != types.U64_MAX));
};
@test fn test_sat_subi8() void = {
if (checked.sat_subi8(-100, 20) != -120) { let _: i32 = 1/0; };
if (checked.sat_subi8(-100, 50) != types.I8_MIN) { let _: i32 = 1/0; };
if (checked.sat_subi8(100, -50) != types.I8_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_subi8(-100, 20) != -120));
assert(!(checked.sat_subi8(-100, 50) != types.I8_MIN));
assert(!(checked.sat_subi8(100, -50) != types.I8_MAX));
};
@test fn test_sat_subi16() void = {
if (checked.sat_subi16(-32700, 60) != -32760) { let _: i32 = 1/0; };
if (checked.sat_subi16(-32700, 100) != types.I16_MIN) { let _: i32 = 1/0; };
if (checked.sat_subi16(32700, -100) != types.I16_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_subi16(-32700, 60) != -32760));
assert(!(checked.sat_subi16(-32700, 100) != types.I16_MIN));
assert(!(checked.sat_subi16(32700, -100) != types.I16_MAX));
};
@test fn test_sat_subi32() void = {
if (checked.sat_subi32(-2147483600, 40) != -2147483640) { let _: i32 = 1/0; };
if (checked.sat_subi32(-2147483600, 100) != types.I32_MIN) { let _: i32 = 1/0; };
if (checked.sat_subi32(2147483600, -100) != types.I32_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_subi32(-2147483600, 40) != -2147483640));
assert(!(checked.sat_subi32(-2147483600, 100) != types.I32_MIN));
assert(!(checked.sat_subi32(2147483600, -100) != types.I32_MAX));
};
@test fn test_sat_subi64() void = {
if (checked.sat_subi64(-9223372036854775800, 5) != -9223372036854775805) { let _: i32 = 1/0; };
if (checked.sat_subi64(-9223372036854775800, 10) != types.I64_MIN) { let _: i32 = 1/0; };
if (checked.sat_subi64(9223372036854775800, -10) != types.I64_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_subi64(-9223372036854775800, 5) != -9223372036854775805));
assert(!(checked.sat_subi64(-9223372036854775800, 10) != types.I64_MIN));
assert(!(checked.sat_subi64(9223372036854775800, -10) != types.I64_MAX));
};
// The third/fourth rows of each sat_subu* test go beyond Hare's two
// vectors: a==b (exact-zero, non-saturating edge) and 0−U*_MAX (extreme
// operand forcing the deepest underflow). #28 reviewer hardening.
@test fn test_sat_subu8() void = {
if (checked.sat_subu8(250u8, 50u8) != 200u8) { let _: i32 = 1/0; };
if (checked.sat_subu8(44u8, 100u8) != types.U8_MIN) { let _: i32 = 1/0; };
if (checked.sat_subu8(100u8, 100u8) != 0u8) { let _: i32 = 1/0; };
if (checked.sat_subu8(0u8, 255u8) != types.U8_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_subu8(250u8, 50u8) != 200u8));
assert(!(checked.sat_subu8(44u8, 100u8) != types.U8_MIN));
assert(!(checked.sat_subu8(100u8, 100u8) != 0u8));
assert(!(checked.sat_subu8(0u8, 255u8) != types.U8_MIN));
};
@test fn test_sat_subu16() void = {
if (checked.sat_subu16(65530u16, 30u16) != 65500u16) { let _: i32 = 1/0; };
if (checked.sat_subu16(14u16, 50u16) != types.U16_MIN) { let _: i32 = 1/0; };
if (checked.sat_subu16(1000u16, 1000u16) != 0u16) { let _: i32 = 1/0; };
if (checked.sat_subu16(0u16, 65535u16) != types.U16_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_subu16(65530u16, 30u16) != 65500u16));
assert(!(checked.sat_subu16(14u16, 50u16) != types.U16_MIN));
assert(!(checked.sat_subu16(1000u16, 1000u16) != 0u16));
assert(!(checked.sat_subu16(0u16, 65535u16) != types.U16_MIN));
};
@test fn test_sat_subu32() void = {
if (checked.sat_subu32(4294967290u32, 90u32) != 4294967200u32) { let _: i32 = 1/0; };
if (checked.sat_subu32(4u32, 100u32) != types.U32_MIN) { let _: i32 = 1/0; };
if (checked.sat_subu32(1000000u32, 1000000u32) != 0u32) { let _: i32 = 1/0; };
if (checked.sat_subu32(0u32, 4294967295u32) != types.U32_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_subu32(4294967290u32, 90u32) != 4294967200u32));
assert(!(checked.sat_subu32(4u32, 100u32) != types.U32_MIN));
assert(!(checked.sat_subu32(1000000u32, 1000000u32) != 0u32));
assert(!(checked.sat_subu32(0u32, 4294967295u32) != types.U32_MIN));
};
@test fn test_sat_subu64() void = {
if (checked.sat_subu64(18446744073709551610u64, 10u64) != 18446744073709551600u64) { let _: i32 = 1/0; };
if (checked.sat_subu64(44u64, 50u64) != types.U64_MIN) { let _: i32 = 1/0; };
if (checked.sat_subu64(1000000u64, 1000000u64) != 0u64) { let _: i32 = 1/0; };
if (checked.sat_subu64(0u64, 18446744073709551615u64) != types.U64_MIN) { let _: i32 = 1/0; };
assert(!(checked.sat_subu64(18446744073709551610u64, 10u64) != 18446744073709551600u64));
assert(!(checked.sat_subu64(44u64, 50u64) != types.U64_MIN));
assert(!(checked.sat_subu64(1000000u64, 1000000u64) != 0u64));
assert(!(checked.sat_subu64(0u64, 18446744073709551615u64) != types.U64_MIN));
};
@test fn test_sat_muli8() void = {
if (checked.sat_muli8(11, 11) != 121) { let _: i32 = 1/0; };
if (checked.sat_muli8(12, 12) != types.I8_MAX) { let _: i32 = 1/0; };
if (checked.sat_muli8(12, -12) != types.I8_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli8(-12, 12) != types.I8_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli8(-12, -12) != types.I8_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_muli8(11, 11) != 121));
assert(!(checked.sat_muli8(12, 12) != types.I8_MAX));
assert(!(checked.sat_muli8(12, -12) != types.I8_MIN));
assert(!(checked.sat_muli8(-12, 12) != types.I8_MIN));
assert(!(checked.sat_muli8(-12, -12) != types.I8_MAX));
};
@test fn test_sat_muli16() void = {
if (checked.sat_muli16(181, 181) != 32761) { let _: i32 = 1/0; };
if (checked.sat_muli16(182, 182) != types.I16_MAX) { let _: i32 = 1/0; };
if (checked.sat_muli16(182, -182) != types.I16_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli16(-182, 182) != types.I16_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli16(-182, -182) != types.I16_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_muli16(181, 181) != 32761));
assert(!(checked.sat_muli16(182, 182) != types.I16_MAX));
assert(!(checked.sat_muli16(182, -182) != types.I16_MIN));
assert(!(checked.sat_muli16(-182, 182) != types.I16_MIN));
assert(!(checked.sat_muli16(-182, -182) != types.I16_MAX));
};
@test fn test_sat_muli32() void = {
if (checked.sat_muli32(46340, 46340) != 2147395600) { let _: i32 = 1/0; };
if (checked.sat_muli32(46341, 46341) != types.I32_MAX) { let _: i32 = 1/0; };
if (checked.sat_muli32(46341, -46341) != types.I32_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli32(-46341, 46341) != types.I32_MIN) { let _: i32 = 1/0; };
if (checked.sat_muli32(-46341, -46341) != types.I32_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_muli32(46340, 46340) != 2147395600));
assert(!(checked.sat_muli32(46341, 46341) != types.I32_MAX));
assert(!(checked.sat_muli32(46341, -46341) != types.I32_MIN));
assert(!(checked.sat_muli32(-46341, 46341) != types.I32_MIN));
assert(!(checked.sat_muli32(-46341, -46341) != types.I32_MAX));
};
@test fn test_sat_mulu8() void = {
if (checked.sat_mulu8(15u8, 15u8) != 225u8) { let _: i32 = 1/0; };
if (checked.sat_mulu8(16u8, 16u8) != types.U8_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_mulu8(15u8, 15u8) != 225u8));
assert(!(checked.sat_mulu8(16u8, 16u8) != types.U8_MAX));
};
@test fn test_sat_mulu16() void = {
if (checked.sat_mulu16(255u16, 255u16) != 65025u16) { let _: i32 = 1/0; };
if (checked.sat_mulu16(256u16, 256u16) != types.U16_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_mulu16(255u16, 255u16) != 65025u16));
assert(!(checked.sat_mulu16(256u16, 256u16) != types.U16_MAX));
};
@test fn test_sat_mulu32() void = {
if (checked.sat_mulu32(65535u32, 65535u32) != 4294836225u32) { let _: i32 = 1/0; };
if (checked.sat_mulu32(65536u32, 65536u32) != types.U32_MAX) { let _: i32 = 1/0; };
assert(!(checked.sat_mulu32(65535u32, 65535u32) != 4294836225u32));
assert(!(checked.sat_mulu32(65536u32, 65536u32) != types.U32_MAX));
};
// Direct read of types::U*_MIN (all 0, ref/hare/types/limits.ha:30,36,
@@ -377,11 +377,11 @@ import types;
// exercise the U*_MIN, but assert the bare values here so a regression in
// lib/types surfaces standalone.
@test fn test_types_min() void = {
if (types.U8_MIN != 0u8) { let _: i32 = 1/0; };
if (types.U16_MIN != 0u16) { let _: i32 = 1/0; };
if (types.U32_MIN != 0u32) { let _: i32 = 1/0; };
if (types.U64_MIN != 0u64) { let _: i32 = 1/0; };
if (types.RUNE_MIN != '\0') { let _: i32 = 1/0; };
assert(!(types.U8_MIN != 0u8));
assert(!(types.U16_MIN != 0u16));
assert(!(types.U32_MIN != 0u32));
assert(!(types.U64_MIN != 0u64));
assert(!(types.RUNE_MIN != '\0'));
};
export fn main() i32 = {