zig

commit d0e7a3596ba480fdbc59644fd13859efe3024ea8 (tree)
parent 2d52fc762da7e7288c4caa381fb02933c205e9be
Author: Robin Voetter <robin@voetter.nl>
Date:   Sun,  8 Oct 2023 11:04:48 +0200

spirv: allow generation of *i0

Diffstat:
M
src/codegen/spirv.zig
 | 
9
++++++++-
M
test/behavior/array.zig
 | 
2
--

2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/codegen/spirv.zig b/src/codegen/spirv.zig
@@ -1219,7 +1219,14 @@ const DeclGen = struct {
             },
             .Int => {
                 const int_info = ty.intInfo(mod);
-                // TODO: Integers in OpenCL kernels are always unsigned.
+                if (int_info.bits == 0) {
+                    // Some times, the backend will be asked to generate a pointer to i0. OpTypeInt
+                    // with 0 bits is invalid, so return an opaque type in this case.
+                    assert(repr == .indirect);
+                    return try self.spv.resolve(.{ .opaque_type = .{
+                        .name = try self.spv.resolveString("u0"),
+                    } });
+                }
                 return try self.intType(int_info.signedness, int_info.bits);
             },
             .Enum => {
diff --git a/test/behavior/array.zig b/test/behavior/array.zig
@@ -261,7 +261,6 @@ fn doSomeMangling(array: *[4]u8) void {
 
 test "implicit cast zero sized array ptr to slice" {
     if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
-    if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
 
     {
         var b = "".*;
@@ -732,7 +731,6 @@ test "slicing array of zero-sized values" {
     if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
     if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
     if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest;
-    if (builtin.zig_backend == .stage2_spirv64) return error.SkipZigTest;
 
     var arr: [32]u0 = undefined;
     for (arr[0..]) |*zero|