mirror of
https://github.com/ziglang/zig.git
synced 2025-12-14 02:03:08 +00:00
5ca1753ff1
This reverts commit 3370d58956ecc744a004dff47b0437473f0ef7da. This commit was done with an LLVM build that did not have assertions enabled. There are LLVM assertions being triggered due to this commit. Reopens #10627 Reopens #12013 Reopens #12027
1594 lines
50 KiB
Zig
1594 lines
50 KiB
Zig
const builtin = @import("builtin");
|
|
const std = @import("std");
|
|
const expect = std.testing.expect;
|
|
const expectEqual = std.testing.expectEqual;
|
|
const expectEqualSlices = std.testing.expectEqualSlices;
|
|
const maxInt = std.math.maxInt;
|
|
const minInt = std.math.minInt;
|
|
const mem = std.mem;
|
|
const math = std.math;
|
|
|
|
test "assignment operators" {
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
var i: u32 = 0;
|
|
i += 5;
|
|
try expect(i == 5);
|
|
i -= 2;
|
|
try expect(i == 3);
|
|
i *= 20;
|
|
try expect(i == 60);
|
|
i /= 3;
|
|
try expect(i == 20);
|
|
i %= 11;
|
|
try expect(i == 9);
|
|
i <<= 1;
|
|
try expect(i == 18);
|
|
i >>= 2;
|
|
try expect(i == 4);
|
|
i = 6;
|
|
i &= 5;
|
|
try expect(i == 4);
|
|
i ^= 6;
|
|
try expect(i == 2);
|
|
i = 6;
|
|
i |= 3;
|
|
try expect(i == 7);
|
|
}
|
|
|
|
test "three expr in a row" {
|
|
try testThreeExprInARow(false, true);
|
|
comptime try testThreeExprInARow(false, true);
|
|
}
|
|
fn testThreeExprInARow(f: bool, t: bool) !void {
|
|
try assertFalse(f or f or f);
|
|
try assertFalse(t and t and f);
|
|
try assertFalse(1 | 2 | 4 != 7);
|
|
try assertFalse(3 ^ 6 ^ 8 != 13);
|
|
try assertFalse(7 & 14 & 28 != 4);
|
|
try assertFalse(9 << 1 << 2 != 9 << 3);
|
|
try assertFalse(90 >> 1 >> 2 != 90 >> 3);
|
|
try assertFalse(100 - 1 + 1000 != 1099);
|
|
try assertFalse(5 * 4 / 2 % 3 != 1);
|
|
try assertFalse(@as(i32, @as(i32, 5)) != 5);
|
|
try assertFalse(!!false);
|
|
try assertFalse(@as(i32, 7) != --(@as(i32, 7)));
|
|
}
|
|
fn assertFalse(b: bool) !void {
|
|
try expect(!b);
|
|
}
|
|
|
|
test "@clz" {
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testClz();
|
|
comptime try testClz();
|
|
}
|
|
|
|
fn testClz() !void {
|
|
try expect(testOneClz(u8, 0b10001010) == 0);
|
|
try expect(testOneClz(u8, 0b00001010) == 4);
|
|
try expect(testOneClz(u8, 0b00011010) == 3);
|
|
try expect(testOneClz(u8, 0b00000000) == 8);
|
|
}
|
|
|
|
test "@clz big ints" {
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testClzBigInts();
|
|
comptime try testClzBigInts();
|
|
}
|
|
|
|
fn testClzBigInts() !void {
|
|
try expect(testOneClz(u128, 0xffffffffffffffff) == 64);
|
|
try expect(testOneClz(u128, 0x10000000000000000) == 63);
|
|
}
|
|
|
|
fn testOneClz(comptime T: type, x: T) u32 {
|
|
return @clz(x);
|
|
}
|
|
|
|
test "@clz vectors" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_c) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testClzVectors();
|
|
comptime try testClzVectors();
|
|
}
|
|
|
|
fn testClzVectors() !void {
|
|
@setEvalBranchQuota(10_000);
|
|
try testOneClzVector(u8, 64, @splat(64, @as(u8, 0b10001010)), @splat(64, @as(u4, 0)));
|
|
try testOneClzVector(u8, 64, @splat(64, @as(u8, 0b00001010)), @splat(64, @as(u4, 4)));
|
|
try testOneClzVector(u8, 64, @splat(64, @as(u8, 0b00011010)), @splat(64, @as(u4, 3)));
|
|
try testOneClzVector(u8, 64, @splat(64, @as(u8, 0b00000000)), @splat(64, @as(u4, 8)));
|
|
try testOneClzVector(u128, 64, @splat(64, @as(u128, 0xffffffffffffffff)), @splat(64, @as(u8, 64)));
|
|
try testOneClzVector(u128, 64, @splat(64, @as(u128, 0x10000000000000000)), @splat(64, @as(u8, 63)));
|
|
}
|
|
|
|
fn testOneClzVector(
|
|
comptime T: type,
|
|
comptime len: u32,
|
|
x: @Vector(len, T),
|
|
expected: @Vector(len, u32),
|
|
) !void {
|
|
try expectVectorsEqual(@clz(x), expected);
|
|
}
|
|
|
|
fn expectVectorsEqual(a: anytype, b: anytype) !void {
|
|
const len_a = @typeInfo(@TypeOf(a)).Vector.len;
|
|
const len_b = @typeInfo(@TypeOf(b)).Vector.len;
|
|
try expect(len_a == len_b);
|
|
|
|
var i: usize = 0;
|
|
while (i < len_a) : (i += 1) {
|
|
try expect(a[i] == b[i]);
|
|
}
|
|
}
|
|
|
|
test "@ctz" {
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testCtz();
|
|
comptime try testCtz();
|
|
}
|
|
|
|
fn testCtz() !void {
|
|
try expect(testOneCtz(u8, 0b10100000) == 5);
|
|
try expect(testOneCtz(u8, 0b10001010) == 1);
|
|
try expect(testOneCtz(u8, 0b00000000) == 8);
|
|
try expect(testOneCtz(u16, 0b00000000) == 16);
|
|
}
|
|
|
|
fn testOneCtz(comptime T: type, x: T) u32 {
|
|
return @ctz(x);
|
|
}
|
|
|
|
test "@ctz vectors" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_c) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
if (builtin.zig_backend == .stage2_llvm and builtin.cpu.arch == .aarch64) {
|
|
// This regressed with LLVM 14:
|
|
// https://github.com/ziglang/zig/issues/12013
|
|
return error.SkipZigTest;
|
|
}
|
|
|
|
try testCtzVectors();
|
|
comptime try testCtzVectors();
|
|
}
|
|
|
|
fn testCtzVectors() !void {
|
|
@setEvalBranchQuota(10_000);
|
|
try testOneCtzVector(u8, 64, @splat(64, @as(u8, 0b10100000)), @splat(64, @as(u4, 5)));
|
|
try testOneCtzVector(u8, 64, @splat(64, @as(u8, 0b10001010)), @splat(64, @as(u4, 1)));
|
|
try testOneCtzVector(u8, 64, @splat(64, @as(u8, 0b00000000)), @splat(64, @as(u4, 8)));
|
|
try testOneCtzVector(u16, 64, @splat(64, @as(u16, 0b00000000)), @splat(64, @as(u5, 16)));
|
|
}
|
|
|
|
fn testOneCtzVector(
|
|
comptime T: type,
|
|
comptime len: u32,
|
|
x: @Vector(len, T),
|
|
expected: @Vector(len, u32),
|
|
) !void {
|
|
try expectVectorsEqual(@ctz(x), expected);
|
|
}
|
|
|
|
test "const number literal" {
|
|
const one = 1;
|
|
const eleven = ten + one;
|
|
|
|
try expect(eleven == 11);
|
|
}
|
|
const ten = 10;
|
|
|
|
test "float equality" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
const x: f64 = 0.012;
|
|
const y: f64 = x + 1.0;
|
|
|
|
try testFloatEqualityImpl(x, y);
|
|
comptime try testFloatEqualityImpl(x, y);
|
|
}
|
|
|
|
fn testFloatEqualityImpl(x: f64, y: f64) !void {
|
|
const y2 = x + 1.0;
|
|
try expect(y == y2);
|
|
}
|
|
|
|
test "hex float literal parsing" {
|
|
comptime try expect(0x1.0 == 1.0);
|
|
}
|
|
|
|
test "hex float literal within range" {
|
|
const a = 0x1.0p16383;
|
|
const b = 0x0.1p16387;
|
|
const c = 0x1.0p-16382;
|
|
_ = a;
|
|
_ = b;
|
|
_ = c;
|
|
}
|
|
|
|
test "quad hex float literal parsing in range" {
|
|
const a = 0x1.af23456789bbaaab347645365cdep+5;
|
|
const b = 0x1.dedafcff354b6ae9758763545432p-9;
|
|
const c = 0x1.2f34dd5f437e849b4baab754cdefp+4534;
|
|
const d = 0x1.edcbff8ad76ab5bf46463233214fp-435;
|
|
_ = a;
|
|
_ = b;
|
|
_ = c;
|
|
_ = d;
|
|
}
|
|
|
|
test "underscore separator parsing" {
|
|
try expect(1_234_567 == 1234567);
|
|
try expect(1_234_567 == 1234567);
|
|
try expect(1_2_3_4_5_6_7 == 1234567);
|
|
|
|
try expect(0b0_0_0_0 == 0);
|
|
try expect(0b1010_1010 == 0b10101010);
|
|
try expect(0b0000_1010_1010 == 0b10101010);
|
|
try expect(0b1_0_1_0_1_0_1_0 == 0b10101010);
|
|
|
|
try expect(0o0_0_0_0 == 0);
|
|
try expect(0o1010_1010 == 0o10101010);
|
|
try expect(0o0000_1010_1010 == 0o10101010);
|
|
try expect(0o1_0_1_0_1_0_1_0 == 0o10101010);
|
|
|
|
try expect(0x0_0_0_0 == 0);
|
|
try expect(0x1010_1010 == 0x10101010);
|
|
try expect(0x0000_1010_1010 == 0x10101010);
|
|
try expect(0x1_0_1_0_1_0_1_0 == 0x10101010);
|
|
|
|
try expect(123_456.789_000e1_0 == 123456.789000e10);
|
|
try expect(1_2_3_4_5_6.7_8_9_0_0_0e0_0_1_0 == 123456.789000e10);
|
|
|
|
try expect(0x1234_5678.9ABC_DEF0p-1_0 == 0x12345678.9ABCDEF0p-10);
|
|
try expect(0x1_2_3_4_5_6_7_8.9_A_B_C_D_E_F_0p-0_0_0_1_0 == 0x12345678.9ABCDEF0p-10);
|
|
}
|
|
|
|
test "comptime_int addition" {
|
|
comptime {
|
|
try expect(35361831660712422535336160538497375248 + 101752735581729509668353361206450473702 == 137114567242441932203689521744947848950);
|
|
try expect(594491908217841670578297176641415611445982232488944558774612 + 390603545391089362063884922208143568023166603618446395589768 == 985095453608931032642182098849559179469148836107390954364380);
|
|
}
|
|
}
|
|
|
|
test "comptime_int multiplication" {
|
|
comptime {
|
|
try expect(
|
|
45960427431263824329884196484953148229 * 128339149605334697009938835852565949723 == 5898522172026096622534201617172456926982464453350084962781392314016180490567,
|
|
);
|
|
try expect(
|
|
594491908217841670578297176641415611445982232488944558774612 * 390603545391089362063884922208143568023166603618446395589768 == 232210647056203049913662402532976186578842425262306016094292237500303028346593132411865381225871291702600263463125370016,
|
|
);
|
|
}
|
|
}
|
|
|
|
test "comptime_int shifting" {
|
|
comptime {
|
|
try expect((@as(u128, 1) << 127) == 0x80000000000000000000000000000000);
|
|
}
|
|
}
|
|
|
|
test "comptime_int multi-limb shift and mask" {
|
|
comptime {
|
|
var a = 0xefffffffa0000001eeeeeeefaaaaaaab;
|
|
|
|
try expect(@as(u32, a & 0xffffffff) == 0xaaaaaaab);
|
|
a >>= 32;
|
|
try expect(@as(u32, a & 0xffffffff) == 0xeeeeeeef);
|
|
a >>= 32;
|
|
try expect(@as(u32, a & 0xffffffff) == 0xa0000001);
|
|
a >>= 32;
|
|
try expect(@as(u32, a & 0xffffffff) == 0xefffffff);
|
|
a >>= 32;
|
|
|
|
try expect(a == 0);
|
|
}
|
|
}
|
|
|
|
test "comptime_int multi-limb partial shift right" {
|
|
comptime {
|
|
var a = 0x1ffffffffeeeeeeee;
|
|
a >>= 16;
|
|
try expect(a == 0x1ffffffffeeee);
|
|
}
|
|
}
|
|
|
|
test "xor" {
|
|
try test_xor();
|
|
comptime try test_xor();
|
|
}
|
|
|
|
fn test_xor() !void {
|
|
try testOneXor(0xFF, 0x00, 0xFF);
|
|
try testOneXor(0xF0, 0x0F, 0xFF);
|
|
try testOneXor(0xFF, 0xF0, 0x0F);
|
|
try testOneXor(0xFF, 0x0F, 0xF0);
|
|
try testOneXor(0xFF, 0xFF, 0x00);
|
|
}
|
|
|
|
fn testOneXor(a: u8, b: u8, c: u8) !void {
|
|
try expect(a ^ b == c);
|
|
}
|
|
|
|
test "comptime_int xor" {
|
|
comptime {
|
|
try expect(0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF ^ 0x00000000000000000000000000000000 == 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
|
|
try expect(0xFFFFFFFFFFFFFFFF0000000000000000 ^ 0x0000000000000000FFFFFFFFFFFFFFFF == 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
|
|
try expect(0xFFFFFFFFFFFFFFFF0000000000000000 ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF == 0x0000000000000000FFFFFFFFFFFFFFFF);
|
|
try expect(0x0000000000000000FFFFFFFFFFFFFFFF ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF == 0xFFFFFFFFFFFFFFFF0000000000000000);
|
|
try expect(0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF == 0x00000000000000000000000000000000);
|
|
try expect(0xFFFFFFFF00000000FFFFFFFF00000000 ^ 0x00000000FFFFFFFF00000000FFFFFFFF == 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
|
|
try expect(0xFFFFFFFF00000000FFFFFFFF00000000 ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF == 0x00000000FFFFFFFF00000000FFFFFFFF);
|
|
try expect(0x00000000FFFFFFFF00000000FFFFFFFF ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF == 0xFFFFFFFF00000000FFFFFFFF00000000);
|
|
}
|
|
}
|
|
|
|
test "comptime_int param and return" {
|
|
const a = comptimeAdd(35361831660712422535336160538497375248, 101752735581729509668353361206450473702);
|
|
try expect(a == 137114567242441932203689521744947848950);
|
|
|
|
const b = comptimeAdd(594491908217841670578297176641415611445982232488944558774612, 390603545391089362063884922208143568023166603618446395589768);
|
|
try expect(b == 985095453608931032642182098849559179469148836107390954364380);
|
|
}
|
|
|
|
fn comptimeAdd(comptime a: comptime_int, comptime b: comptime_int) comptime_int {
|
|
return a + b;
|
|
}
|
|
|
|
test "binary not" {
|
|
try expect(comptime x: {
|
|
break :x ~@as(u16, 0b1010101010101010) == 0b0101010101010101;
|
|
});
|
|
try expect(comptime x: {
|
|
break :x ~@as(u64, 2147483647) == 18446744071562067968;
|
|
});
|
|
try expect(comptime x: {
|
|
break :x ~@as(u0, 0) == 0;
|
|
});
|
|
try testBinaryNot(0b1010101010101010);
|
|
}
|
|
|
|
fn testBinaryNot(x: u16) !void {
|
|
try expect(~x == 0b0101010101010101);
|
|
}
|
|
|
|
test "division" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testDivision();
|
|
comptime try testDivision();
|
|
}
|
|
|
|
fn testDivision() !void {
|
|
try expect(div(u32, 13, 3) == 4);
|
|
try expect(div(f32, 1.0, 2.0) == 0.5);
|
|
|
|
try expect(divExact(u32, 55, 11) == 5);
|
|
try expect(divExact(i32, -55, 11) == -5);
|
|
try expect(divExact(f32, 55.0, 11.0) == 5.0);
|
|
try expect(divExact(f32, -55.0, 11.0) == -5.0);
|
|
|
|
try expect(divFloor(i32, 5, 3) == 1);
|
|
try expect(divFloor(i32, -5, 3) == -2);
|
|
try expect(divFloor(f32, 5.0, 3.0) == 1.0);
|
|
try expect(divFloor(f32, -5.0, 3.0) == -2.0);
|
|
try expect(divFloor(i32, -0x80000000, -2) == 0x40000000);
|
|
try expect(divFloor(i32, 0, -0x80000000) == 0);
|
|
try expect(divFloor(i32, -0x40000001, 0x40000000) == -2);
|
|
try expect(divFloor(i32, -0x80000000, 1) == -0x80000000);
|
|
try expect(divFloor(i32, 10, 12) == 0);
|
|
try expect(divFloor(i32, -14, 12) == -2);
|
|
try expect(divFloor(i32, -2, 12) == -1);
|
|
|
|
try expect(divTrunc(i32, 5, 3) == 1);
|
|
try expect(divTrunc(i32, -5, 3) == -1);
|
|
try expect(divTrunc(i32, 9, -10) == 0);
|
|
try expect(divTrunc(i32, -9, 10) == 0);
|
|
try expect(divTrunc(f32, 5.0, 3.0) == 1.0);
|
|
try expect(divTrunc(f32, -5.0, 3.0) == -1.0);
|
|
try expect(divTrunc(f32, 9.0, -10.0) == 0.0);
|
|
try expect(divTrunc(f32, -9.0, 10.0) == 0.0);
|
|
try expect(divTrunc(f64, 5.0, 3.0) == 1.0);
|
|
try expect(divTrunc(f64, -5.0, 3.0) == -1.0);
|
|
try expect(divTrunc(f64, 9.0, -10.0) == 0.0);
|
|
try expect(divTrunc(f64, -9.0, 10.0) == 0.0);
|
|
try expect(divTrunc(i32, 10, 12) == 0);
|
|
try expect(divTrunc(i32, -14, 12) == -1);
|
|
try expect(divTrunc(i32, -2, 12) == 0);
|
|
|
|
try expect(mod(i32, 10, 12) == 10);
|
|
try expect(mod(i32, -14, 12) == 10);
|
|
try expect(mod(i32, -2, 12) == 10);
|
|
|
|
comptime {
|
|
try expect(
|
|
1194735857077236777412821811143690633098347576 % 508740759824825164163191790951174292733114988 == 177254337427586449086438229241342047632117600,
|
|
);
|
|
try expect(
|
|
@rem(-1194735857077236777412821811143690633098347576, 508740759824825164163191790951174292733114988) == -177254337427586449086438229241342047632117600,
|
|
);
|
|
try expect(
|
|
1194735857077236777412821811143690633098347576 / 508740759824825164163191790951174292733114988 == 2,
|
|
);
|
|
try expect(
|
|
@divTrunc(-1194735857077236777412821811143690633098347576, 508740759824825164163191790951174292733114988) == -2,
|
|
);
|
|
try expect(
|
|
@divTrunc(1194735857077236777412821811143690633098347576, -508740759824825164163191790951174292733114988) == -2,
|
|
);
|
|
try expect(
|
|
@divTrunc(-1194735857077236777412821811143690633098347576, -508740759824825164163191790951174292733114988) == 2,
|
|
);
|
|
try expect(
|
|
4126227191251978491697987544882340798050766755606969681711 % 10 == 1,
|
|
);
|
|
}
|
|
}
|
|
|
|
test "division half-precision floats" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testDivisionFP16();
|
|
comptime try testDivisionFP16();
|
|
}
|
|
|
|
fn testDivisionFP16() !void {
|
|
try expect(div(f16, 1.0, 2.0) == 0.5);
|
|
|
|
try expect(divExact(f16, 55.0, 11.0) == 5.0);
|
|
try expect(divExact(f16, -55.0, 11.0) == -5.0);
|
|
|
|
try expect(divFloor(f16, 5.0, 3.0) == 1.0);
|
|
try expect(divFloor(f16, -5.0, 3.0) == -2.0);
|
|
try expect(divTrunc(f16, 5.0, 3.0) == 1.0);
|
|
try expect(divTrunc(f16, -5.0, 3.0) == -1.0);
|
|
try expect(divTrunc(f16, 9.0, -10.0) == 0.0);
|
|
try expect(divTrunc(f16, -9.0, 10.0) == 0.0);
|
|
}
|
|
|
|
fn div(comptime T: type, a: T, b: T) T {
|
|
return a / b;
|
|
}
|
|
fn divExact(comptime T: type, a: T, b: T) T {
|
|
return @divExact(a, b);
|
|
}
|
|
fn divFloor(comptime T: type, a: T, b: T) T {
|
|
return @divFloor(a, b);
|
|
}
|
|
fn divTrunc(comptime T: type, a: T, b: T) T {
|
|
return @divTrunc(a, b);
|
|
}
|
|
fn mod(comptime T: type, a: T, b: T) T {
|
|
return @mod(a, b);
|
|
}
|
|
|
|
test "unsigned wrapping" {
|
|
try testUnsignedWrappingEval(maxInt(u32));
|
|
comptime try testUnsignedWrappingEval(maxInt(u32));
|
|
}
|
|
fn testUnsignedWrappingEval(x: u32) !void {
|
|
const zero = x +% 1;
|
|
try expect(zero == 0);
|
|
const orig = zero -% 1;
|
|
try expect(orig == maxInt(u32));
|
|
}
|
|
|
|
test "signed wrapping" {
|
|
try testSignedWrappingEval(maxInt(i32));
|
|
comptime try testSignedWrappingEval(maxInt(i32));
|
|
}
|
|
fn testSignedWrappingEval(x: i32) !void {
|
|
const min_val = x +% 1;
|
|
try expect(min_val == minInt(i32));
|
|
const max_val = min_val -% 1;
|
|
try expect(max_val == maxInt(i32));
|
|
}
|
|
|
|
test "signed negation wrapping" {
|
|
try testSignedNegationWrappingEval(minInt(i16));
|
|
comptime try testSignedNegationWrappingEval(minInt(i16));
|
|
}
|
|
fn testSignedNegationWrappingEval(x: i16) !void {
|
|
try expect(x == -32768);
|
|
const neg = -%x;
|
|
try expect(neg == -32768);
|
|
}
|
|
|
|
test "unsigned negation wrapping" {
|
|
try testUnsignedNegationWrappingEval(1);
|
|
comptime try testUnsignedNegationWrappingEval(1);
|
|
}
|
|
fn testUnsignedNegationWrappingEval(x: u16) !void {
|
|
try expect(x == 1);
|
|
const neg = -%x;
|
|
try expect(neg == maxInt(u16));
|
|
}
|
|
|
|
test "negation wrapping" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
|
|
try expectEqual(@as(u1, 1), negateWrap(u1, 1));
|
|
}
|
|
|
|
fn negateWrap(comptime T: type, x: T) T {
|
|
// This is specifically testing a safety-checked add, so
|
|
// special case minInt(T) which would overflow otherwise.
|
|
return if (x == minInt(T)) minInt(T) else ~x + 1;
|
|
}
|
|
|
|
test "unsigned 64-bit division" {
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try test_u64_div();
|
|
comptime try test_u64_div();
|
|
}
|
|
fn test_u64_div() !void {
|
|
const result = divWithResult(1152921504606846976, 34359738365);
|
|
try expect(result.quotient == 33554432);
|
|
try expect(result.remainder == 100663296);
|
|
}
|
|
fn divWithResult(a: u64, b: u64) DivResult {
|
|
return DivResult{
|
|
.quotient = a / b,
|
|
.remainder = a % b,
|
|
};
|
|
}
|
|
const DivResult = struct {
|
|
quotient: u64,
|
|
remainder: u64,
|
|
};
|
|
|
|
test "bit shift a u1" {
|
|
var x: u1 = 1;
|
|
var y = x << 0;
|
|
try expect(y == 1);
|
|
}
|
|
|
|
test "truncating shift right" {
|
|
try testShrTrunc(maxInt(u16));
|
|
comptime try testShrTrunc(maxInt(u16));
|
|
}
|
|
fn testShrTrunc(x: u16) !void {
|
|
const shifted = x >> 1;
|
|
try expect(shifted == 32767);
|
|
}
|
|
|
|
test "f128" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
if (builtin.os.tag == .windows and builtin.cpu.arch == .aarch64 and
|
|
builtin.zig_backend == .stage2_c)
|
|
{
|
|
// https://github.com/ziglang/zig/issues/13876
|
|
return error.SkipZigTest;
|
|
}
|
|
|
|
try test_f128();
|
|
comptime try test_f128();
|
|
}
|
|
|
|
fn make_f128(x: f128) f128 {
|
|
return x;
|
|
}
|
|
|
|
fn test_f128() !void {
|
|
try expect(@sizeOf(f128) == 16);
|
|
try expect(make_f128(1.0) == 1.0);
|
|
try expect(make_f128(1.0) != 1.1);
|
|
try expect(make_f128(1.0) > 0.9);
|
|
try expect(make_f128(1.0) >= 0.9);
|
|
try expect(make_f128(1.0) >= 1.0);
|
|
try should_not_be_zero(1.0);
|
|
}
|
|
|
|
fn should_not_be_zero(x: f128) !void {
|
|
try expect(x != 0.0);
|
|
}
|
|
|
|
test "128-bit multiplication" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
var a: i128 = 3;
|
|
var b: i128 = 2;
|
|
var c = a * b;
|
|
try expect(c == 6);
|
|
}
|
|
|
|
test "@addWithOverflow" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
{
|
|
var a: u8 = 250;
|
|
const ov = @addWithOverflow(a, 100);
|
|
try expect(ov[0] == 94);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
{
|
|
var a: u8 = 100;
|
|
const ov = @addWithOverflow(a, 150);
|
|
try expect(ov[0] == 250);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
{
|
|
var a: u8 = 200;
|
|
var b: u8 = 99;
|
|
var ov = @addWithOverflow(a, b);
|
|
try expect(ov[0] == 43);
|
|
try expect(ov[1] == 1);
|
|
b = 55;
|
|
ov = @addWithOverflow(a, b);
|
|
try expect(ov[0] == 255);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
{
|
|
var a: usize = 6;
|
|
var b: usize = 6;
|
|
const ov = @addWithOverflow(a, b);
|
|
try expect(ov[0] == 12);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
{
|
|
var a: isize = -6;
|
|
var b: isize = -6;
|
|
const ov = @addWithOverflow(a, b);
|
|
try expect(ov[0] == -12);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
}
|
|
|
|
test "small int addition" {
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
var x: u2 = 0;
|
|
try expect(x == 0);
|
|
|
|
x += 1;
|
|
try expect(x == 1);
|
|
|
|
x += 1;
|
|
try expect(x == 2);
|
|
|
|
x += 1;
|
|
try expect(x == 3);
|
|
|
|
const ov = @addWithOverflow(x, 1);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
test "basic @mulWithOverflow" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
|
|
{
|
|
var a: u8 = 86;
|
|
const ov = @mulWithOverflow(a, 3);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
{
|
|
var a: u8 = 85;
|
|
const ov = @mulWithOverflow(a, 3);
|
|
try expect(ov[0] == 255);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
var a: u8 = 123;
|
|
var b: u8 = 2;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 246);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 4;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 236);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
test "extensive @mulWithOverflow" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
|
|
{
|
|
var a: u5 = 3;
|
|
var b: u5 = 10;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 30);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 11;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 1);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i5 = 3;
|
|
var b: i5 = -5;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -15);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -6;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 14);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: u8 = 3;
|
|
var b: u8 = 85;
|
|
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 255);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 86;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i8 = 3;
|
|
var b: i8 = -42;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -126);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -43;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 127);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: u14 = 3;
|
|
var b: u14 = 0x1555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x3fff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x1556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i14 = 3;
|
|
var b: i14 = -0xaaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x1ffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0xaab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x1fff);
|
|
}
|
|
|
|
{
|
|
var a: u16 = 3;
|
|
var b: u16 = 0x5555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0xffff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x5556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i16 = 3;
|
|
var b: i16 = -0x2aaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x7ffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0x2aab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x7fff);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: u30 = 3;
|
|
var b: u30 = 0x15555555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x3fffffff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x15555556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i30 = 3;
|
|
var b: i30 = -0xaaaaaaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x1ffffffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0xaaaaaab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x1fffffff);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: u32 = 3;
|
|
var b: u32 = 0x55555555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0xffffffff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x55555556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i32 = 3;
|
|
var b: i32 = -0x2aaaaaaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x7ffffffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0x2aaaaaab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x7fffffff);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
}
|
|
|
|
test "@mulWithOverflow bitsize > 32" {
|
|
// aarch64 fails on a release build of the compiler.
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
{
|
|
var a: u62 = 3;
|
|
var b: u62 = 0x1555555555555555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x3fffffffffffffff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x1555555555555556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i62 = 3;
|
|
var b: i62 = -0xaaaaaaaaaaaaaaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x1ffffffffffffffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0xaaaaaaaaaaaaaab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x1fffffffffffffff);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: u64 = 3;
|
|
var b: u64 = 0x5555555555555555;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0xffffffffffffffff);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 0x5555555555555556;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 2);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i64 = 3;
|
|
var b: i64 = -0x2aaaaaaaaaaaaaaa;
|
|
var ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == -0x7ffffffffffffffe);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = -0x2aaaaaaaaaaaaaab;
|
|
ov = @mulWithOverflow(a, b);
|
|
try expect(ov[0] == 0x7fffffffffffffff);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
}
|
|
|
|
test "@subWithOverflow" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
{
|
|
var a: u8 = 1;
|
|
const ov = @subWithOverflow(a, 2);
|
|
try expect(ov[0] == 255);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
{
|
|
var a: u8 = 1;
|
|
const ov = @subWithOverflow(a, 1);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
{
|
|
var a: u8 = 1;
|
|
var b: u8 = 2;
|
|
var ov = @subWithOverflow(a, b);
|
|
try expect(ov[0] == 255);
|
|
try expect(ov[1] == 1);
|
|
b = 1;
|
|
ov = @subWithOverflow(a, b);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
{
|
|
var a: usize = 6;
|
|
var b: usize = 6;
|
|
const ov = @subWithOverflow(a, b);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
|
|
{
|
|
var a: isize = -6;
|
|
var b: isize = -6;
|
|
const ov = @subWithOverflow(a, b);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
}
|
|
|
|
test "@shlWithOverflow" {
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
{
|
|
var a: u4 = 2;
|
|
var b: u2 = 1;
|
|
var ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == 4);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 3;
|
|
ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == 0);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
var a: i9 = 127;
|
|
var b: u4 = 1;
|
|
var ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == 254);
|
|
try expect(ov[1] == 0);
|
|
|
|
b = 2;
|
|
ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == -4);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
|
|
{
|
|
const ov = @shlWithOverflow(@as(u16, 0b0010111111111111), 3);
|
|
try expect(ov[0] == 0b0111111111111000);
|
|
try expect(ov[1] == 1);
|
|
}
|
|
{
|
|
const ov = @shlWithOverflow(@as(u16, 0b0010111111111111), 2);
|
|
try expect(ov[0] == 0b1011111111111100);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
{
|
|
var a: u16 = 0b0000_0000_0000_0011;
|
|
var b: u4 = 15;
|
|
var ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == 0b1000_0000_0000_0000);
|
|
try expect(ov[1] == 1);
|
|
b = 14;
|
|
ov = @shlWithOverflow(a, b);
|
|
try expect(ov[0] == 0b1100_0000_0000_0000);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
}
|
|
|
|
test "overflow arithmetic with u0 values" {
|
|
{
|
|
var a: u0 = 0;
|
|
const ov = @addWithOverflow(a, 0);
|
|
try expect(ov[1] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
{
|
|
var a: u0 = 0;
|
|
const ov = @subWithOverflow(a, 0);
|
|
try expect(ov[1] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
{
|
|
var a: u0 = 0;
|
|
const ov = @mulWithOverflow(a, 0);
|
|
try expect(ov[1] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
{
|
|
var a: u0 = 0;
|
|
const ov = @shlWithOverflow(a, 0);
|
|
try expect(ov[1] == 0);
|
|
try expect(ov[1] == 0);
|
|
}
|
|
}
|
|
|
|
test "allow signed integer division/remainder when values are comptime-known and positive or exact" {
|
|
try expect(5 / 3 == 1);
|
|
try expect(-5 / -3 == 1);
|
|
try expect(-6 / 3 == -2);
|
|
|
|
try expect(5 % 3 == 2);
|
|
try expect(-6 % 3 == 0);
|
|
|
|
var undef: i32 = undefined;
|
|
if (0 % undef != 0) {
|
|
@compileError("0 as numerator should return comptime zero independent of denominator");
|
|
}
|
|
}
|
|
|
|
test "quad hex float literal parsing accurate" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
const a: f128 = 0x1.1111222233334444555566667777p+0;
|
|
|
|
// implied 1 is dropped, with an exponent of 0 (0x3fff) after biasing.
|
|
const expected: u128 = 0x3fff1111222233334444555566667777;
|
|
try expect(@bitCast(u128, a) == expected);
|
|
|
|
// non-normalized
|
|
const b: f128 = 0x11.111222233334444555566667777p-4;
|
|
try expect(@bitCast(u128, b) == expected);
|
|
|
|
const S = struct {
|
|
fn doTheTest() !void {
|
|
{
|
|
var f: f128 = 0x1.2eab345678439abcdefea56782346p+5;
|
|
try expect(@bitCast(u128, f) == 0x40042eab345678439abcdefea5678234);
|
|
}
|
|
{
|
|
var f: f128 = 0x1.edcb34a235253948765432134674fp-1;
|
|
try expect(@bitCast(u128, f) == 0x3ffeedcb34a235253948765432134675); // round-to-even
|
|
}
|
|
{
|
|
var f: f128 = 0x1.353e45674d89abacc3a2ebf3ff4ffp-50;
|
|
try expect(@bitCast(u128, f) == 0x3fcd353e45674d89abacc3a2ebf3ff50);
|
|
}
|
|
{
|
|
var f: f128 = 0x1.ed8764648369535adf4be3214567fp-9;
|
|
try expect(@bitCast(u128, f) == 0x3ff6ed8764648369535adf4be3214568);
|
|
}
|
|
const exp2ft = [_]f64{
|
|
0x1.6a09e667f3bcdp-1,
|
|
0x1.7a11473eb0187p-1,
|
|
0x1.8ace5422aa0dbp-1,
|
|
0x1.9c49182a3f090p-1,
|
|
0x1.ae89f995ad3adp-1,
|
|
0x1.c199bdd85529cp-1,
|
|
0x1.d5818dcfba487p-1,
|
|
0x1.ea4afa2a490dap-1,
|
|
0x1.0000000000000p+0,
|
|
0x1.0b5586cf9890fp+0,
|
|
0x1.172b83c7d517bp+0,
|
|
0x1.2387a6e756238p+0,
|
|
0x1.306fe0a31b715p+0,
|
|
0x1.3dea64c123422p+0,
|
|
0x1.4bfdad5362a27p+0,
|
|
0x1.5ab07dd485429p+0,
|
|
0x1.8p23,
|
|
0x1.62e430p-1,
|
|
0x1.ebfbe0p-3,
|
|
0x1.c6b348p-5,
|
|
0x1.3b2c9cp-7,
|
|
0x1.0p127,
|
|
-0x1.0p-149,
|
|
};
|
|
|
|
const answers = [_]u64{
|
|
0x3fe6a09e667f3bcd,
|
|
0x3fe7a11473eb0187,
|
|
0x3fe8ace5422aa0db,
|
|
0x3fe9c49182a3f090,
|
|
0x3feae89f995ad3ad,
|
|
0x3fec199bdd85529c,
|
|
0x3fed5818dcfba487,
|
|
0x3feea4afa2a490da,
|
|
0x3ff0000000000000,
|
|
0x3ff0b5586cf9890f,
|
|
0x3ff172b83c7d517b,
|
|
0x3ff2387a6e756238,
|
|
0x3ff306fe0a31b715,
|
|
0x3ff3dea64c123422,
|
|
0x3ff4bfdad5362a27,
|
|
0x3ff5ab07dd485429,
|
|
0x4168000000000000,
|
|
0x3fe62e4300000000,
|
|
0x3fcebfbe00000000,
|
|
0x3fac6b3480000000,
|
|
0x3f83b2c9c0000000,
|
|
0x47e0000000000000,
|
|
0xb6a0000000000000,
|
|
};
|
|
|
|
for (exp2ft) |x, i| {
|
|
try expect(@bitCast(u64, x) == answers[i]);
|
|
}
|
|
}
|
|
};
|
|
try S.doTheTest();
|
|
comptime try S.doTheTest();
|
|
}
|
|
|
|
test "truncating shift left" {
|
|
try testShlTrunc(maxInt(u16));
|
|
comptime try testShlTrunc(maxInt(u16));
|
|
}
|
|
fn testShlTrunc(x: u16) !void {
|
|
const shifted = x << 1;
|
|
try expect(shifted == 65534);
|
|
}
|
|
|
|
test "exact shift left" {
|
|
try testShlExact(0b00110101);
|
|
comptime try testShlExact(0b00110101);
|
|
}
|
|
fn testShlExact(x: u8) !void {
|
|
const shifted = @shlExact(x, 2);
|
|
try expect(shifted == 0b11010100);
|
|
}
|
|
|
|
test "exact shift right" {
|
|
try testShrExact(0b10110100);
|
|
comptime try testShrExact(0b10110100);
|
|
}
|
|
fn testShrExact(x: u8) !void {
|
|
const shifted = @shrExact(x, 2);
|
|
try expect(shifted == 0b00101101);
|
|
}
|
|
|
|
test "shift left/right on u0 operand" {
|
|
const S = struct {
|
|
fn doTheTest() !void {
|
|
var x: u0 = 0;
|
|
var y: u0 = 0;
|
|
try expectEqual(@as(u0, 0), x << 0);
|
|
try expectEqual(@as(u0, 0), x >> 0);
|
|
try expectEqual(@as(u0, 0), x << y);
|
|
try expectEqual(@as(u0, 0), x >> y);
|
|
try expectEqual(@as(u0, 0), @shlExact(x, 0));
|
|
try expectEqual(@as(u0, 0), @shrExact(x, 0));
|
|
try expectEqual(@as(u0, 0), @shlExact(x, y));
|
|
try expectEqual(@as(u0, 0), @shrExact(x, y));
|
|
}
|
|
};
|
|
try S.doTheTest();
|
|
comptime try S.doTheTest();
|
|
}
|
|
|
|
test "comptime float rem int" {
|
|
comptime {
|
|
var x = @as(f32, 1) % 2;
|
|
try expect(x == 1.0);
|
|
}
|
|
}
|
|
|
|
test "remainder division" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
|
|
if (builtin.zig_backend == .stage2_llvm and builtin.os.tag == .windows) {
|
|
// https://github.com/ziglang/zig/issues/12602
|
|
return error.SkipZigTest;
|
|
}
|
|
|
|
if (builtin.zig_backend == .stage2_c and builtin.os.tag == .windows and
|
|
builtin.cpu.arch == .aarch64)
|
|
{
|
|
// https://github.com/ziglang/zig/issues/13876
|
|
return error.SkipZigTest;
|
|
}
|
|
|
|
comptime try remdiv(f16);
|
|
comptime try remdiv(f32);
|
|
comptime try remdiv(f64);
|
|
comptime try remdiv(f80);
|
|
comptime try remdiv(f128);
|
|
try remdiv(f16);
|
|
try remdiv(f64);
|
|
try remdiv(f80);
|
|
try remdiv(f128);
|
|
}
|
|
|
|
fn remdiv(comptime T: type) !void {
|
|
try expect(@as(T, 1) == @as(T, 1) % @as(T, 2));
|
|
try remdivOne(T, 1, 1, 2);
|
|
|
|
try expect(@as(T, 1) == @as(T, 7) % @as(T, 3));
|
|
try remdivOne(T, 1, 7, 3);
|
|
}
|
|
|
|
fn remdivOne(comptime T: type, a: T, b: T, c: T) !void {
|
|
try expect(a == @rem(b, c));
|
|
try expect(a == @mod(b, c));
|
|
}
|
|
|
|
test "float remainder division using @rem" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_llvm and builtin.os.tag == .windows) return error.SkipZigTest; // https://github.com/ziglang/zig/issues/12602
|
|
|
|
comptime try frem(f16);
|
|
comptime try frem(f32);
|
|
comptime try frem(f64);
|
|
comptime try frem(f80);
|
|
comptime try frem(f128);
|
|
try frem(f16);
|
|
try frem(f32);
|
|
try frem(f64);
|
|
try frem(f80);
|
|
try frem(f128);
|
|
}
|
|
|
|
fn frem(comptime T: type) !void {
|
|
const epsilon = switch (T) {
|
|
f16 => 1.0,
|
|
f32 => 0.001,
|
|
f64 => 0.00001,
|
|
f80 => 0.000001,
|
|
f128 => 0.0000001,
|
|
else => unreachable,
|
|
};
|
|
|
|
try fremOne(T, 6.9, 4.0, 2.9, epsilon);
|
|
try fremOne(T, -6.9, 4.0, -2.9, epsilon);
|
|
try fremOne(T, -5.0, 3.0, -2.0, epsilon);
|
|
try fremOne(T, 3.0, 2.0, 1.0, epsilon);
|
|
try fremOne(T, 1.0, 2.0, 1.0, epsilon);
|
|
try fremOne(T, 0.0, 1.0, 0.0, epsilon);
|
|
try fremOne(T, -0.0, 1.0, -0.0, epsilon);
|
|
}
|
|
|
|
fn fremOne(comptime T: type, a: T, b: T, c: T, epsilon: T) !void {
|
|
try expect(@fabs(@rem(a, b) - c) < epsilon);
|
|
}
|
|
|
|
test "float modulo division using @mod" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_llvm and builtin.os.tag == .windows) return error.SkipZigTest; // https://github.com/ziglang/zig/issues/12602
|
|
|
|
comptime try fmod(f16);
|
|
comptime try fmod(f32);
|
|
comptime try fmod(f64);
|
|
comptime try fmod(f80);
|
|
comptime try fmod(f128);
|
|
try fmod(f16);
|
|
try fmod(f32);
|
|
try fmod(f64);
|
|
try fmod(f80);
|
|
try fmod(f128);
|
|
}
|
|
|
|
fn fmod(comptime T: type) !void {
|
|
const epsilon = switch (T) {
|
|
f16 => 1.0,
|
|
f32 => 0.001,
|
|
f64 => 0.00001,
|
|
f80 => 0.000001,
|
|
f128 => 0.0000001,
|
|
else => unreachable,
|
|
};
|
|
|
|
try fmodOne(T, 6.9, 4.0, 2.9, epsilon);
|
|
try fmodOne(T, -6.9, 4.0, 1.1, epsilon);
|
|
try fmodOne(T, -5.0, 3.0, 1.0, epsilon);
|
|
try fmodOne(T, 3.0, 2.0, 1.0, epsilon);
|
|
try fmodOne(T, 1.0, 2.0, 1.0, epsilon);
|
|
try fmodOne(T, 0.0, 1.0, 0.0, epsilon);
|
|
try fmodOne(T, -0.0, 1.0, -0.0, epsilon);
|
|
}
|
|
|
|
fn fmodOne(comptime T: type, a: T, b: T, c: T, epsilon: T) !void {
|
|
try expect(@fabs(@mod(@as(T, a), @as(T, b)) - @as(T, c)) < epsilon);
|
|
}
|
|
|
|
test "@round" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testRound(f64, 12.0);
|
|
comptime try testRound(f64, 12.0);
|
|
try testRound(f32, 12.0);
|
|
comptime try testRound(f32, 12.0);
|
|
try testRound(f16, 12.0);
|
|
comptime try testRound(f16, 12.0);
|
|
|
|
const x = 14.0;
|
|
const y = x + 0.4;
|
|
const z = @round(y);
|
|
comptime try expect(x == z);
|
|
}
|
|
|
|
test "@round f80" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_llvm and builtin.os.tag == .windows) return error.SkipZigTest; // https://github.com/ziglang/zig/issues/12602
|
|
|
|
try testRound(f80, 12.0);
|
|
comptime try testRound(f80, 12.0);
|
|
}
|
|
|
|
test "@round f128" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testRound(f128, 12.0);
|
|
comptime try testRound(f128, 12.0);
|
|
}
|
|
|
|
fn testRound(comptime T: type, x: T) !void {
|
|
const y = x - 0.5;
|
|
const z = @round(y);
|
|
try expect(x == z);
|
|
}
|
|
|
|
test "vector integer addition" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_c) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
const S = struct {
|
|
fn doTheTest() !void {
|
|
var a: @Vector(4, i32) = [_]i32{ 1, 2, 3, 4 };
|
|
var b: @Vector(4, i32) = [_]i32{ 5, 6, 7, 8 };
|
|
var result = a + b;
|
|
var result_array: [4]i32 = result;
|
|
const expected = [_]i32{ 6, 8, 10, 12 };
|
|
try expectEqualSlices(i32, &expected, &result_array);
|
|
}
|
|
};
|
|
try S.doTheTest();
|
|
comptime try S.doTheTest();
|
|
}
|
|
|
|
test "NaN comparison" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
if (builtin.zig_backend == .stage2_c and builtin.os.tag == .windows and
|
|
builtin.cpu.arch == .aarch64)
|
|
{
|
|
// https://github.com/ziglang/zig/issues/13876
|
|
return error.SkipZigTest;
|
|
}
|
|
|
|
try testNanEqNan(f16);
|
|
try testNanEqNan(f32);
|
|
try testNanEqNan(f64);
|
|
try testNanEqNan(f128);
|
|
comptime try testNanEqNan(f16);
|
|
comptime try testNanEqNan(f32);
|
|
comptime try testNanEqNan(f64);
|
|
comptime try testNanEqNan(f128);
|
|
}
|
|
|
|
test "NaN comparison f80" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testNanEqNan(f80);
|
|
comptime try testNanEqNan(f80);
|
|
}
|
|
|
|
fn testNanEqNan(comptime F: type) !void {
|
|
var nan1 = math.nan(F);
|
|
var nan2 = math.nan(F);
|
|
try expect(nan1 != nan2);
|
|
try expect(!(nan1 == nan2));
|
|
try expect(!(nan1 > nan2));
|
|
try expect(!(nan1 >= nan2));
|
|
try expect(!(nan1 < nan2));
|
|
try expect(!(nan1 <= nan2));
|
|
}
|
|
|
|
test "vector comparison" {
|
|
if (builtin.zig_backend == .stage2_c) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
const S = struct {
|
|
fn doTheTest() !void {
|
|
var a: @Vector(6, i32) = [_]i32{ 1, 3, -1, 5, 7, 9 };
|
|
var b: @Vector(6, i32) = [_]i32{ -1, 3, 0, 6, 10, -10 };
|
|
try expect(mem.eql(bool, &@as([6]bool, a < b), &[_]bool{ false, false, true, true, true, false }));
|
|
try expect(mem.eql(bool, &@as([6]bool, a <= b), &[_]bool{ false, true, true, true, true, false }));
|
|
try expect(mem.eql(bool, &@as([6]bool, a == b), &[_]bool{ false, true, false, false, false, false }));
|
|
try expect(mem.eql(bool, &@as([6]bool, a != b), &[_]bool{ true, false, true, true, true, true }));
|
|
try expect(mem.eql(bool, &@as([6]bool, a > b), &[_]bool{ true, false, false, false, false, true }));
|
|
try expect(mem.eql(bool, &@as([6]bool, a >= b), &[_]bool{ true, true, false, false, false, true }));
|
|
}
|
|
};
|
|
try S.doTheTest();
|
|
comptime try S.doTheTest();
|
|
}
|
|
|
|
test "compare undefined literal with comptime_int" {
|
|
var x = undefined == 1;
|
|
// x is now undefined with type bool
|
|
x = true;
|
|
try expect(x);
|
|
}
|
|
|
|
test "signed zeros are represented properly" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
const S = struct {
|
|
fn doTheTest() !void {
|
|
try testOne(f16);
|
|
try testOne(f32);
|
|
try testOne(f64);
|
|
try testOne(f80);
|
|
try testOne(f128);
|
|
try testOne(c_longdouble);
|
|
}
|
|
|
|
fn testOne(comptime T: type) !void {
|
|
const ST = std.meta.Int(.unsigned, @typeInfo(T).Float.bits);
|
|
var as_fp_val = -@as(T, 0.0);
|
|
var as_uint_val = @bitCast(ST, as_fp_val);
|
|
// Ensure the sign bit is set.
|
|
try expect(as_uint_val >> (@typeInfo(T).Float.bits - 1) == 1);
|
|
}
|
|
};
|
|
|
|
try S.doTheTest();
|
|
comptime try S.doTheTest();
|
|
}
|
|
|
|
test "comptime sin and ln" {
|
|
const v = comptime (@sin(@as(f32, 1)) + @log(@as(f32, 5)));
|
|
try expect(v == @sin(@as(f32, 1)) + @log(@as(f32, 5)));
|
|
}
|
|
|
|
test "absFloat" {
|
|
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
|
|
if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
|
|
|
|
try testAbsFloat();
|
|
comptime try testAbsFloat();
|
|
}
|
|
fn testAbsFloat() !void {
|
|
try testAbsFloatOne(-10.05, 10.05);
|
|
try testAbsFloatOne(10.05, 10.05);
|
|
}
|
|
fn testAbsFloatOne(in: f32, out: f32) !void {
|
|
try expect(@fabs(@as(f32, in)) == @as(f32, out));
|
|
}
|
|
|
|
test "mod lazy values" {
|
|
{
|
|
const X = struct { x: u32 };
|
|
const x = @sizeOf(X);
|
|
const y = 1 % x;
|
|
_ = y;
|
|
}
|
|
{
|
|
const X = struct { x: u32 };
|
|
const x = @sizeOf(X);
|
|
const y = x % 1;
|
|
_ = y;
|
|
}
|
|
}
|