aboutsummaryrefslogtreecommitdiff
path: root/test/behavior/vector.zig
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2022-03-21 17:03:24 -0700
committerAndrew Kelley <andrew@ziglang.org>2022-03-21 17:03:24 -0700
commit7eddef423d74318ef9190864232f2e224837461e (patch)
treeccc577b34bc44433c78a56c4ab7065ac5ee50a2d /test/behavior/vector.zig
parent513a53e9aaa6356faf385e257925a8949bd1b46a (diff)
downloadzig-7eddef423d74318ef9190864232f2e224837461e.tar.gz
zig-7eddef423d74318ef9190864232f2e224837461e.zip
behavior tests: alter test coverage for vectors
* Use `@Vector` syntax instead of `std.meta.Vector`. * Use `var` instead of `const` for tests so that we get runtime coverage instead of only comptime coverage. Comptime coverage is done with `comptime doTheTest()` calls.
Diffstat (limited to 'test/behavior/vector.zig')
-rw-r--r--test/behavior/vector.zig117
1 files changed, 58 insertions, 59 deletions
diff --git a/test/behavior/vector.zig b/test/behavior/vector.zig
index 1d8dd9f661..1651e8107b 100644
--- a/test/behavior/vector.zig
+++ b/test/behavior/vector.zig
@@ -3,7 +3,6 @@ const builtin = @import("builtin");
const mem = std.mem;
const math = std.math;
const expect = std.testing.expect;
-const Vector = std.meta.Vector;
test "implicit cast vector to array - bool" {
if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
@@ -14,7 +13,7 @@ test "implicit cast vector to array - bool" {
const S = struct {
fn doTheTest() !void {
- const a: Vector(4, bool) = [_]bool{ true, false, true, false };
+ const a: @Vector(4, bool) = [_]bool{ true, false, true, false };
const result_array: [4]bool = a;
try expect(mem.eql(bool, &result_array, &[4]bool{ true, false, true, false }));
}
@@ -32,12 +31,12 @@ test "vector wrap operators" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [4]i32{ 2147483647, -2, 30, 40 };
- var x: Vector(4, i32) = [4]i32{ 1, 2147483647, 3, 4 };
+ var v: @Vector(4, i32) = [4]i32{ 2147483647, -2, 30, 40 };
+ var x: @Vector(4, i32) = [4]i32{ 1, 2147483647, 3, 4 };
try expect(mem.eql(i32, &@as([4]i32, v +% x), &[4]i32{ -2147483648, 2147483645, 33, 44 }));
try expect(mem.eql(i32, &@as([4]i32, v -% x), &[4]i32{ 2147483646, 2147483647, 27, 36 }));
try expect(mem.eql(i32, &@as([4]i32, v *% x), &[4]i32{ 2147483647, 2, 90, 160 }));
- var z: Vector(4, i32) = [4]i32{ 1, 2, 3, -2147483648 };
+ var z: @Vector(4, i32) = [4]i32{ 1, 2, 3, -2147483648 };
try expect(mem.eql(i32, &@as([4]i32, -%z), &[4]i32{ -1, -2, -3, -2147483648 }));
}
};
@@ -54,8 +53,8 @@ test "vector bin compares with mem.eql" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [4]i32{ 2147483647, -2, 30, 40 };
- var x: Vector(4, i32) = [4]i32{ 1, 2147483647, 30, 4 };
+ var v: @Vector(4, i32) = [4]i32{ 2147483647, -2, 30, 40 };
+ var x: @Vector(4, i32) = [4]i32{ 1, 2147483647, 30, 4 };
try expect(mem.eql(bool, &@as([4]bool, v == x), &[4]bool{ false, false, true, false }));
try expect(mem.eql(bool, &@as([4]bool, v != x), &[4]bool{ true, true, false, true }));
try expect(mem.eql(bool, &@as([4]bool, v < x), &[4]bool{ false, true, false, false }));
@@ -77,8 +76,8 @@ test "vector int operators" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [4]i32{ 10, 20, 30, 40 };
- var x: Vector(4, i32) = [4]i32{ 1, 2, 3, 4 };
+ var v: @Vector(4, i32) = [4]i32{ 10, 20, 30, 40 };
+ var x: @Vector(4, i32) = [4]i32{ 1, 2, 3, 4 };
try expect(mem.eql(i32, &@as([4]i32, v + x), &[4]i32{ 11, 22, 33, 44 }));
try expect(mem.eql(i32, &@as([4]i32, v - x), &[4]i32{ 9, 18, 27, 36 }));
try expect(mem.eql(i32, &@as([4]i32, v * x), &[4]i32{ 10, 40, 90, 160 }));
@@ -98,8 +97,8 @@ test "vector float operators" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, f32) = [4]f32{ 10, 20, 30, 40 };
- var x: Vector(4, f32) = [4]f32{ 1, 2, 3, 4 };
+ var v: @Vector(4, f32) = [4]f32{ 10, 20, 30, 40 };
+ var x: @Vector(4, f32) = [4]f32{ 1, 2, 3, 4 };
try expect(mem.eql(f32, &@as([4]f32, v + x), &[4]f32{ 11, 22, 33, 44 }));
try expect(mem.eql(f32, &@as([4]f32, v - x), &[4]f32{ 9, 18, 27, 36 }));
try expect(mem.eql(f32, &@as([4]f32, v * x), &[4]f32{ 10, 40, 90, 160 }));
@@ -119,8 +118,8 @@ test "vector bit operators" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, u8) = [4]u8{ 0b10101010, 0b10101010, 0b10101010, 0b10101010 };
- var x: Vector(4, u8) = [4]u8{ 0b11110000, 0b00001111, 0b10101010, 0b01010101 };
+ var v: @Vector(4, u8) = [4]u8{ 0b10101010, 0b10101010, 0b10101010, 0b10101010 };
+ var x: @Vector(4, u8) = [4]u8{ 0b11110000, 0b00001111, 0b10101010, 0b01010101 };
try expect(mem.eql(u8, &@as([4]u8, v ^ x), &[4]u8{ 0b01011010, 0b10100101, 0b00000000, 0b11111111 }));
try expect(mem.eql(u8, &@as([4]u8, v | x), &[4]u8{ 0b11111010, 0b10101111, 0b10101010, 0b11111111 }));
try expect(mem.eql(u8, &@as([4]u8, v & x), &[4]u8{ 0b10100000, 0b00001010, 0b10101010, 0b00000000 }));
@@ -139,7 +138,7 @@ test "implicit cast vector to array" {
const S = struct {
fn doTheTest() !void {
- var a: Vector(4, i32) = [_]i32{ 1, 2, 3, 4 };
+ var a: @Vector(4, i32) = [_]i32{ 1, 2, 3, 4 };
var result_array: [4]i32 = a;
result_array = a;
try expect(mem.eql(i32, &result_array, &[4]i32{ 1, 2, 3, 4 }));
@@ -160,7 +159,7 @@ test "array to vector" {
fn doTheTest() !void {
var foo: f32 = 3.14;
var arr = [4]f32{ foo, 1.5, 0.0, 0.0 };
- var vec: Vector(4, f32) = arr;
+ var vec: @Vector(4, f32) = arr;
try expect(mem.eql(f32, &@as([4]f32, vec), &arr));
}
};
@@ -178,22 +177,22 @@ test "vector casts of sizes not divisible by 8" {
const S = struct {
fn doTheTest() !void {
{
- var v: Vector(4, u3) = [4]u3{ 5, 2, 3, 0 };
+ var v: @Vector(4, u3) = [4]u3{ 5, 2, 3, 0 };
var x: [4]u3 = v;
try expect(mem.eql(u3, &x, &@as([4]u3, v)));
}
{
- var v: Vector(4, u2) = [4]u2{ 1, 2, 3, 0 };
+ var v: @Vector(4, u2) = [4]u2{ 1, 2, 3, 0 };
var x: [4]u2 = v;
try expect(mem.eql(u2, &x, &@as([4]u2, v)));
}
{
- var v: Vector(4, u1) = [4]u1{ 1, 0, 1, 0 };
+ var v: @Vector(4, u1) = [4]u1{ 1, 0, 1, 0 };
var x: [4]u1 = v;
try expect(mem.eql(u1, &x, &@as([4]u1, v)));
}
{
- var v: Vector(4, bool) = [4]bool{ false, false, true, false };
+ var v: @Vector(4, bool) = [4]bool{ false, false, true, false };
var x: [4]bool = v;
try expect(mem.eql(bool, &x, &@as([4]bool, v)));
}
@@ -214,7 +213,7 @@ test "vector @splat" {
fn testForT(comptime N: comptime_int, v: anytype) !void {
const T = @TypeOf(v);
var vec = @splat(N, v);
- try expect(Vector(N, T) == @TypeOf(vec));
+ try expect(@Vector(N, T) == @TypeOf(vec));
var as_array = @as([N]T, vec);
for (as_array) |elem| try expect(v == elem);
}
@@ -253,7 +252,7 @@ test "load vector elements via comptime index" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [_]i32{ 1, 2, 3, undefined };
+ var v: @Vector(4, i32) = [_]i32{ 1, 2, 3, undefined };
try expect(v[0] == 1);
try expect(v[1] == 2);
try expect(loadv(&v[2]) == 3);
@@ -276,7 +275,7 @@ test "store vector elements via comptime index" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [_]i32{ 1, 5, 3, undefined };
+ var v: @Vector(4, i32) = [_]i32{ 1, 5, 3, undefined };
v[2] = 42;
try expect(v[1] == 5);
@@ -305,7 +304,7 @@ test "load vector elements via runtime index" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [_]i32{ 1, 2, 3, undefined };
+ var v: @Vector(4, i32) = [_]i32{ 1, 2, 3, undefined };
var i: u32 = 0;
try expect(v[i] == 1);
i += 1;
@@ -328,7 +327,7 @@ test "store vector elements via runtime index" {
const S = struct {
fn doTheTest() !void {
- var v: Vector(4, i32) = [_]i32{ 1, 5, 3, undefined };
+ var v: @Vector(4, i32) = [_]i32{ 1, 5, 3, undefined };
var i: u32 = 2;
v[i] = 1;
try expect(v[1] == 5);
@@ -351,7 +350,7 @@ test "initialize vector which is a struct field" {
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
const Vec4Obj = struct {
- data: Vector(4, f32),
+ data: @Vector(4, f32),
};
const S = struct {
@@ -376,17 +375,17 @@ test "vector comparison operators" {
const S = struct {
fn doTheTest() !void {
{
- const v1: Vector(4, bool) = [_]bool{ true, false, true, false };
- const v2: Vector(4, bool) = [_]bool{ false, true, false, true };
+ var v1: @Vector(4, bool) = [_]bool{ true, false, true, false };
+ var v2: @Vector(4, bool) = [_]bool{ false, true, false, true };
try expect(mem.eql(bool, &@as([4]bool, @splat(4, true)), &@as([4]bool, v1 == v1)));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, false)), &@as([4]bool, v1 == v2)));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, true)), &@as([4]bool, v1 != v2)));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, false)), &@as([4]bool, v2 != v2)));
}
{
- const v1 = @splat(4, @as(u32, 0xc0ffeeee));
- const v2: Vector(4, c_uint) = v1;
- const v3 = @splat(4, @as(u32, 0xdeadbeef));
+ var v1 = @splat(4, @as(u32, 0xc0ffeeee));
+ var v2: @Vector(4, c_uint) = v1;
+ var v3 = @splat(4, @as(u32, 0xdeadbeef));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, true)), &@as([4]bool, v1 == v2)));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, false)), &@as([4]bool, v1 == v3)));
try expect(mem.eql(bool, &@as([4]bool, @splat(4, true)), &@as([4]bool, v1 != v3)));
@@ -414,7 +413,7 @@ test "vector division operators" {
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
const S = struct {
- fn doTheTestDiv(comptime T: type, x: Vector(4, T), y: Vector(4, T)) !void {
+ fn doTheTestDiv(comptime T: type, x: @Vector(4, T), y: @Vector(4, T)) !void {
if (!comptime std.meta.trait.isSignedInt(T)) {
const d0 = x / y;
for (@as([4]T, d0)) |v, i| {
@@ -435,7 +434,7 @@ test "vector division operators" {
}
}
- fn doTheTestMod(comptime T: type, x: Vector(4, T), y: Vector(4, T)) !void {
+ fn doTheTestMod(comptime T: type, x: @Vector(4, T), y: @Vector(4, T)) !void {
if ((!comptime std.meta.trait.isSignedInt(T)) and @typeInfo(T) != .Float) {
const r0 = x % y;
for (@as([4]T, r0)) |v, i| {
@@ -502,7 +501,7 @@ test "vector bitwise not operator" {
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
const S = struct {
- fn doTheTestNot(comptime T: type, x: Vector(4, T)) !void {
+ fn doTheTestNot(comptime T: type, x: @Vector(4, T)) !void {
var y = ~x;
for (@as([4]T, y)) |v, i| {
try expect(~x[i] == v);
@@ -538,8 +537,8 @@ test "vector shift operators" {
const TX = @typeInfo(@TypeOf(x)).Array.child;
const TY = @typeInfo(@TypeOf(y)).Array.child;
- var xv = @as(Vector(N, TX), x);
- var yv = @as(Vector(N, TY), y);
+ var xv = @as(@Vector(N, TX), x);
+ var yv = @as(@Vector(N, TY), y);
var z0 = xv >> yv;
for (@as([N]TX, z0)) |v, i| {
@@ -555,8 +554,8 @@ test "vector shift operators" {
const TX = @typeInfo(@TypeOf(x)).Array.child;
const TY = @typeInfo(@TypeOf(y)).Array.child;
- var xv = @as(Vector(N, TX), x);
- var yv = @as(Vector(N, TY), y);
+ var xv = @as(@Vector(N, TX), x);
+ var yv = @as(@Vector(N, TY), y);
var z = if (dir == .Left) @shlExact(xv, yv) else @shrExact(xv, yv);
for (@as([N]TX, z)) |v, i| {
@@ -768,10 +767,10 @@ test "mask parameter of @shuffle is comptime scope" {
if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
- const __v4hi = std.meta.Vector(4, i16);
+ const __v4hi = @Vector(4, i16);
var v4_a = __v4hi{ 0, 0, 0, 0 };
var v4_b = __v4hi{ 0, 0, 0, 0 };
- var shuffled: __v4hi = @shuffle(i16, v4_a, v4_b, std.meta.Vector(4, i32){
+ var shuffled: __v4hi = @shuffle(i16, v4_a, v4_b, @Vector(4, i32){
std.zig.c_translation.shuffleVectorIndex(0, @typeInfo(@TypeOf(v4_a)).Vector.len),
std.zig.c_translation.shuffleVectorIndex(0, @typeInfo(@TypeOf(v4_a)).Vector.len),
std.zig.c_translation.shuffleVectorIndex(0, @typeInfo(@TypeOf(v4_a)).Vector.len),
@@ -790,18 +789,18 @@ test "saturating add" {
const S = struct {
fn doTheTest() !void {
{ // Broken out to avoid https://github.com/ziglang/zig/issues/11251
- const u8x3 = std.meta.Vector(3, u8);
- const lhs = u8x3{ 255, 254, 1 };
- const rhs = u8x3{ 1, 2, 255 };
- const result = lhs +| rhs;
+ const u8x3 = @Vector(3, u8);
+ var lhs = u8x3{ 255, 254, 1 };
+ var rhs = u8x3{ 1, 2, 255 };
+ var result = lhs +| rhs;
const expected = u8x3{ 255, 255, 255 };
try expect(mem.eql(u8, &@as([3]u8, expected), &@as([3]u8, result)));
}
{ // Broken out to avoid https://github.com/ziglang/zig/issues/11251
- const i8x3 = std.meta.Vector(3, i8);
- const lhs = i8x3{ 127, 126, 1 };
- const rhs = i8x3{ 1, 2, 127 };
- const result = lhs +| rhs;
+ const i8x3 = @Vector(3, i8);
+ var lhs = i8x3{ 127, 126, 1 };
+ var rhs = i8x3{ 1, 2, 127 };
+ var result = lhs +| rhs;
const expected = i8x3{ 127, 127, 127 };
try expect(mem.eql(i8, &@as([3]i8, expected), &@as([3]i8, result)));
}
@@ -821,10 +820,10 @@ test "saturating subtraction" {
const S = struct {
fn doTheTest() !void {
// Broken out to avoid https://github.com/ziglang/zig/issues/11251
- const u8x3 = std.meta.Vector(3, u8);
- const lhs = u8x3{ 0, 0, 0 };
- const rhs = u8x3{ 255, 255, 255 };
- const result = lhs -| rhs;
+ const u8x3 = @Vector(3, u8);
+ var lhs = u8x3{ 0, 0, 0 };
+ var rhs = u8x3{ 255, 255, 255 };
+ var result = lhs -| rhs;
const expected = u8x3{ 0, 0, 0 };
try expect(mem.eql(u8, &@as([3]u8, expected), &@as([3]u8, result)));
}
@@ -846,10 +845,10 @@ test "saturating multiplication" {
const S = struct {
fn doTheTest() !void {
// Broken out to avoid https://github.com/ziglang/zig/issues/11251
- const u8x3 = std.meta.Vector(3, u8);
- const lhs = u8x3{ 2, 2, 2 };
- const rhs = u8x3{ 255, 255, 255 };
- const result = lhs *| rhs;
+ const u8x3 = @Vector(3, u8);
+ var lhs = u8x3{ 2, 2, 2 };
+ var rhs = u8x3{ 255, 255, 255 };
+ var result = lhs *| rhs;
const expected = u8x3{ 255, 255, 255 };
try expect(mem.eql(u8, &@as([3]u8, expected), &@as([3]u8, result)));
}
@@ -869,10 +868,10 @@ test "saturating shift-left" {
const S = struct {
fn doTheTest() !void {
// Broken out to avoid https://github.com/ziglang/zig/issues/11251
- const u8x3 = std.meta.Vector(3, u8);
- const lhs = u8x3{ 1, 1, 1 };
- const rhs = u8x3{ 255, 255, 255 };
- const result = lhs <<| rhs;
+ const u8x3 = @Vector(3, u8);
+ var lhs = u8x3{ 1, 1, 1 };
+ var rhs = u8x3{ 255, 255, 255 };
+ var result = lhs <<| rhs;
const expected = u8x3{ 255, 255, 255 };
try expect(mem.eql(u8, &@as([3]u8, expected), &@as([3]u8, result)));
}