Commit 37aa343079d32db96be742c9740f343ff8d2839e | zig

author	Robin Voetter <robin@voetter.nl> 2023-05-19 11:23:22+02:00
committer	Robin Voetter <robin@voetter.nl> 2023-05-20 17:30:22+02:00
log	37aa343079d32db96be742c9740f343ff8d2839e
tree	2581c5c6e0925534ecf8aebe686535628b4b3d34
parent	2f28713bd7c8eefd90d59d69a0786ee3f12400e1
signature	Commit is signed but in an unrecognized format.

spirv: more passing tests

39 files changed, 1 insertions(+), 62 deletions(-)

test/behavior/align.zig-4

...	...	@@ -33,8 +33,6 @@ test "default alignment allows unspecified in type syntax" {
33	33	}
34	34
35	35	test "implicitly decreasing pointer alignment" {
36		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
37
38	36	const a: u32 align(4) = 3;
39	37	const b: u32 align(8) = 4;
40	38	try expect(addUnaligned(&a, &b) == 7);
...	...	@@ -45,8 +43,6 @@ fn addUnaligned(a: align(1) const u32, b: align(1) const u32) u32 {
45	43	}
46	44
47	45	test "@alignCast pointers" {
48		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
49
50	46	var x: u32 align(4) = 1;
51	47	expectsOnly1(&x);
52	48	try expect(x == 2);

test/behavior/array.zig-2

...	...	@@ -347,7 +347,6 @@ test "read/write through global variable array of struct fields initialized via
347	347	test "implicit cast single-item pointer" {
348	348	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
349	349	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
350		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
351	350
352	351	try testImplicitCastSingleItemPtr();
353	352	comptime try testImplicitCastSingleItemPtr();
...	...	@@ -542,7 +541,6 @@ test "sentinel element count towards the ABI size calculation" {
542	541	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
543	542	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
544	543	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
545		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
546	544
547	545	const S = struct {
548	546	fn doTheTest() !void {

test/behavior/atomics.zig-2

...	...	@@ -120,7 +120,6 @@ test "128-bit cmpxchg" {
120	120	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
121	121	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
122	122	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
123		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
124	123
125	124	try test_u128_cmpxchg();
126	125	comptime try test_u128_cmpxchg();
...	...	@@ -313,7 +312,6 @@ test "atomicrmw with 128-bit ints" {
313	312
314	313	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
315	314	if (builtin.zig_backend == .stage2_x86_64) return error.SkipZigTest; // TODO
316		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
317	315
318	316	// TODO "ld.lld: undefined symbol: __sync_lock_test_and_set_16" on -mcpu x86_64
319	317	if (builtin.cpu.arch == .x86_64 and builtin.zig_backend == .stage2_llvm) return error.SkipZigTest;

test/behavior/basic.zig+1-1

...	...	@@ -583,7 +583,7 @@ test "comptime cast fn to ptr" {
583	583	}
584	584
585	585	test "equality compare fn ptrs" {
586		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
	586	if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest; // Test passes but should not
587	587
588	588	var a = &emptyFn;
589	589	try expect(a == a);

test/behavior/bitcast.zig-1

...	...	@@ -9,7 +9,6 @@ const native_endian = builtin.target.cpu.arch.endian();
9	9
10	10	test "@bitCast iX -> uX (32, 64)" {
11	11	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
12		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
13	12
14	13	const bit_values = [_]usize{ 32, 64 };
15	14

test/behavior/bitreverse.zig-1

...	...	@@ -5,7 +5,6 @@ const minInt = std.math.minInt;
5	5
6	6	test "@bitReverse large exotic integer" {
7	7	if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest;
8		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
9	8
10	9	try expect(@bitReverse(@as(u95, 0x123456789abcdef111213141)) == 0x4146424447bd9eac8f351624);
11	10	}

test/behavior/call.zig-3

...	...	@@ -109,7 +109,6 @@ test "result location of function call argument through runtime condition and st
109	109
110	110	test "function call with 40 arguments" {
111	111	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
112		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
113	112
114	113	const S = struct {
115	114	fn doTheTest(thirty_nine: i32) !void {
...	...	@@ -374,8 +373,6 @@ test "Enum constructed by @Type passed as generic argument" {
374	373	}
375	374
376	375	test "generic function with generic function parameter" {
377		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
378
379	376	const S = struct {
380	377	fn f(comptime a: fn (anytype) anyerror!void, b: anytype) anyerror!void {
381	378	try a(b);

test/behavior/cast.zig-2

...	...	@@ -366,7 +366,6 @@ test "return u8 coercing into ?u32 return type" {
366	366	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
367	367	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
368	368	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
369		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
370	369
371	370	const S = struct {
372	371	fn doTheTest() !void {
...	...	@@ -428,7 +427,6 @@ test "peer resolve array and const slice" {
428	427	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
429	428	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
430	429	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
431		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
432	430
433	431	try testPeerResolveArrayConstSlice(true);
434	432	comptime try testPeerResolveArrayConstSlice(true);

test/behavior/decltest.zig-2

...	...	@@ -5,7 +5,5 @@ pub fn the_add_function(a: u32, b: u32) u32 {
5	5	}
6	6
7	7	test the_add_function {
8		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
9
10	8	if (the_add_function(1, 2) != 3) unreachable;
11	9	}

test/behavior/defer.zig-3

...	...	@@ -23,8 +23,6 @@ fn testBreakContInDefer(x: usize) void {
23	23	}
24	24
25	25	test "defer and labeled break" {
26		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
27
28	26	var i = @as(usize, 0);
29	27
30	28	blk: {
...	...	@@ -58,7 +56,6 @@ test "return variable while defer expression in scope to modify it" {
58	56	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
59	57	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
60	58	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
61		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
62	59
63	60	const S = struct {
64	61	fn doTheTest() !void {

test/behavior/duplicated_test_names.zig-2

...	...	@@ -15,7 +15,5 @@ comptime {
15	15	test "thingy" {}
16	16
17	17	test thingy {
18		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
19
20	18	if (thingy(1, 2) != 3) unreachable;
21	19	}

test/behavior/enum.zig-1

...	...	@@ -1046,7 +1046,6 @@ test "tag name with assigned enum values" {
1046	1046	test "@tagName on enum literals" {
1047	1047	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
1048	1048	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
1049		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
1050	1049
1051	1050	try expect(mem.eql(u8, @tagName(.FooBar), "FooBar"));
1052	1051	comptime try expect(mem.eql(u8, @tagName(.FooBar), "FooBar"));

test/behavior/error.zig-1

...	...	@@ -16,7 +16,6 @@ fn expectError(expected_err: anyerror, observed_err_union: anytype) !void {
16	16	}
17	17
18	18	test "error values" {
19		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
20	19	const a = @errorToInt(error.err1);
21	20	const b = @errorToInt(error.err2);
22	21	try expect(a != b);

test/behavior/eval.zig-1

...	...	@@ -23,7 +23,6 @@ test "static add one" {
23	23	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
24	24	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
25	25	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
26		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
27	26
28	27	try expect(should_be_1235 == 1235);
29	28	}

test/behavior/floatop.zig-1

...	...	@@ -506,7 +506,6 @@ test "@fabs" {
506	506	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
507	507	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
508	508	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
509		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
510	509
511	510	comptime try testFabs();
512	511	try testFabs();

test/behavior/fn.zig-2

...	...	@@ -5,8 +5,6 @@ const expect = testing.expect;
5	5	const expectEqual = testing.expectEqual;
6	6
7	7	test "params" {
8		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
9
10	8	try expect(testParamsAdd(22, 11) == 33);
11	9	}
12	10	fn testParamsAdd(a: i32, b: i32) i32 {

test/behavior/fn_delegation.zig-1

...	...	@@ -34,7 +34,6 @@ fn custom(comptime T: type, comptime num: u64) fn (T) u64 {
34	34	test "fn delegation" {
35	35	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
36	36	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
37		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
38	37
39	38	const foo = Foo{};
40	39	try expect(foo.one() == 11);

test/behavior/fn_in_struct_in_comptime.zig-2

...	...	@@ -13,8 +13,6 @@ fn get_foo() fn (*u8) usize {
13	13	}
14	14
15	15	test "define a function in an anonymous struct in comptime" {
16		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
17
18	16	const foo = get_foo();
19	17	try expect(foo(@intToPtr(*u8, 12345)) == 12345);
20	18	}

test/behavior/for.zig-2

...	...	@@ -22,8 +22,6 @@ test "continue in for loop" {
22	22	}
23	23
24	24	test "break from outer for loop" {
25		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
26
27	25	try testBreakOuter();
28	26	comptime try testBreakOuter();
29	27	}

test/behavior/generics.zig-2

...	...	@@ -5,8 +5,6 @@ const expect = testing.expect;
5	5	const expectEqual = testing.expectEqual;
6	6
7	7	test "one param, explicit comptime" {
8		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
9
10	8	var x: usize = 0;
11	9	x += checkSize(i32);
12	10	x += checkSize(bool);

test/behavior/if.zig-2

...	...	@@ -71,8 +71,6 @@ test "labeled break inside comptime if inside runtime if" {
71	71	}
72	72
73	73	test "const result loc, runtime if cond, else unreachable" {
74		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
75
76	74	const Num = enum { One, Two };
77	75
78	76	var t = true;

test/behavior/inttoptr.zig-1

...	...	@@ -14,7 +14,6 @@ test "mutate through ptr initialized with constant intToPtr value" {
14	14	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
15	15	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
16	16	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
17		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
18	17
19	18	forceCompilerAnalyzeBranchHardCodedPtrDereference(false);
20	19	}

test/behavior/maximum_minimum.zig-2

...	...	@@ -129,8 +129,6 @@ test "@min/max for floats" {
129	129	}
130	130
131	131	test "@min/@max on lazy values" {
132		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
133
134	132	const A = extern struct { u8_4: [4]u8 };
135	133	const B = extern struct { u8_16: [16]u8 };
136	134	const size = @max(@sizeOf(A), @sizeOf(B));

test/behavior/optional.zig-1

...	...	@@ -8,7 +8,6 @@ const expectEqualStrings = std.testing.expectEqualStrings;
8	8	test "passing an optional integer as a parameter" {
9	9	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
10	10	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
11		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
12	11
13	12	const S = struct {
14	13	fn entry() bool {

test/behavior/packed-struct.zig-1

...	...	@@ -7,7 +7,6 @@ const native_endian = builtin.cpu.arch.endian();
7	7
8	8	test "flags in packed structs" {
9	9	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
10		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
11	10
12	11	const Flags1 = packed struct {
13	12	// first 8 bits

test/behavior/ref_var_in_if_after_if_2nd_switch_prong.zig-1

...	...	@@ -8,7 +8,6 @@ test "reference a variable in an if after an if in the 2nd switch prong" {
8	8	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
9	9	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
10	10	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
11		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
12	11
13	12	try foo(true, Num.Two, false, "aoeu");
14	13	try expect(!ok);

test/behavior/reflection.zig-1

...	...	@@ -28,7 +28,6 @@ fn dummy(a: bool, b: i32, c: f32) i32 {
28	28	test "reflection: @field" {
29	29	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
30	30	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
31		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
32	31
33	32	var f = Foo{
34	33	.one = 42,

test/behavior/sizeof_and_typeof.zig-2

...	...	@@ -140,8 +140,6 @@ test "@sizeOf(T) == 0 doesn't force resolving struct size" {
140	140	}
141	141
142	142	test "@TypeOf() has no runtime side effects" {
143		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
144
145	143	const S = struct {
146	144	fn foo(comptime T: type, ptr: *T) T {
147	145	ptr.* += 1;

test/behavior/slice.zig-2

...	...	@@ -201,8 +201,6 @@ test "slicing pointer by length" {
201	201	const x = @intToPtr([*]i32, 0x1000)[0..0x500];
202	202	const y = x[0x100..];
203	203	test "compile time slice of pointer to hard coded address" {
204		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
205
206	204	try expect(@ptrToInt(x) == 0x1000);
207	205	try expect(x.len == 0x500);
208	206

test/behavior/struct.zig-1

...	...	@@ -11,7 +11,6 @@ top_level_field: i32,
11	11	test "top level fields" {
12	12	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
13	13	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
14		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
15	14
16	15	var instance = @This(){
17	16	.top_level_field = 1234,

test/behavior/switch.zig-1

...	...	@@ -215,7 +215,6 @@ fn poll() void {
215	215
216	216	test "switch on global mutable var isn't constant-folded" {
217	217	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
218		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
219	218
220	219	while (state < 2) {
221	220	poll();

test/behavior/this.zig-2

...	...	@@ -21,8 +21,6 @@ fn add(x: i32, y: i32) i32 {
21	21	}
22	22
23	23	test "this refer to module call private fn" {
24		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
25
26	24	try expect(module.add(1, 2) == 3);
27	25	}
28	26

test/behavior/threadlocal.zig-1

...	...	@@ -11,7 +11,6 @@ test "thread local variable" {
11	11	else => return error.SkipZigTest,
12	12	}; // TODO
13	13	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
14		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
15	14
16	15	const S = struct {
17	16	threadlocal var t: i32 = 1234;

test/behavior/type.zig-1

...	...	@@ -491,7 +491,6 @@ test "Type.Fn" {
491	491	if (builtin.zig_backend == .stage2_wasm) return error.SkipZigTest; // TODO
492	492	if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
493	493	if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO
494		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
495	494
496	495	const some_opaque = opaque {};
497	496	const some_ptr = *some_opaque;

test/behavior/type_info.zig-1

...	...	@@ -285,7 +285,6 @@ fn testUnion() !void {
285	285
286	286	test "type info: struct info" {
287	287	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
288		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
289	288
290	289	try testStruct();
291	290	comptime try testStruct();

test/behavior/undefined.zig-1

...	...	@@ -81,7 +81,6 @@ test "assign undefined to struct with method" {
81	81
82	82	test "type name of undefined" {
83	83	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
84		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
85	84
86	85	const x = undefined;
87	86	try expect(mem.eql(u8, @typeName(@TypeOf(x)), "@TypeOf(undefined)"));

test/behavior/union.zig-2

...	...	@@ -1467,8 +1467,6 @@ test "packed union in packed struct" {
1467	1467	}
1468	1468
1469	1469	test "Namespace-like union" {
1470		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
1471
1472	1470	const DepType = enum {
1473	1471	git,
1474	1472	http,

test/behavior/var_args.zig-2

...	...	@@ -14,8 +14,6 @@ fn add(args: anytype) i32 {
14	14	}
15	15
16	16	test "add arbitrary args" {
17		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
18
19	17	try expect(add(.{ @as(i32, 1), @as(i32, 2), @as(i32, 3), @as(i32, 4) }) == 10);
20	18	try expect(add(.{@as(i32, 1234)}) == 1234);
21	19	try expect(add(.{}) == 0);

test/behavior/while.zig-1

...	...	@@ -5,7 +5,6 @@ const assert = std.debug.assert;
5	5
6	6	test "while loop" {
7	7	if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
8		if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
9	8
10	9	var i: i32 = 0;
11	10	while (i < 4) {