Commit 0e5a2bbd63d8acb8c570a384db875bc0f25a4999 | zig

author	Vallahor <vallahor91@gmail.com> 2022-05-28 16:14:40-03:00
committer	Andrew Kelley <andrew@ziglang.org> 2022-07-19 19:10:11-07:00
log	0e5a2bbd63d8acb8c570a384db875bc0f25a4999
tree	98acb926a427fa541ad00c9fd1f721fe33541441
parent	ec8d29ff257a2285665e0559aa53a8cfcb251756

fix: NoReturn and WIP in calling_conventions

2 files changed, 47 insertions(+), 25 deletions(-)

lib
- docs
  - main.js
src
- Autodoc.zig

lib/docs/main.js+4

 @@ -1180,6 +1180,10 @@ var zigAnalysis;
               if (typeof typeObj === 'number') typeObj = zigAnalysis.types[typeObj];
               switch (typeObj.kind) {
                   default: throw "TODO";
+                  case typeKinds.Unanalyzed:
+                  {
+                      return "Unanalyzed";
+                  }
                   case typeKinds.ComptimeExpr:
                   {
                       return "anyopaque";

src/Autodoc.zig+43-25

 @@ -162,6 +162,9 @@ pub fn generateZirData(self: *Autodoc) !void {
                     .anyerror_type => .{
                         .ErrorSet = .{ .name = tmpbuf.toOwnedSlice() },
                     },
+                    // .calling_convention_inline, .calling_convention_c, .calling_convention_type => .{
+                    //     .EnumLiteral = .{ .name = tmpbuf.toOwnedSlice() },
+                    // },
                 },
             );
         }
 @@ -515,7 +518,15 @@ const DocData = struct {
                 .Int => |v| try printTypeBody(v, options, w),
                 .Float => |v| try printTypeBody(v, options, w),
                 .Type => |v| try printTypeBody(v, options, w),
+                .NoReturn => |v| try printTypeBody(v, options, w),
                 .EnumLiteral => |v| try printTypeBody(v, options, w),
+                .Unanalyzed => |_| {
+                    if (options.whitespace) |ws| try ws.outputIndent(w);
+                    try w.print(
+                        \\"Unanalyzed": "Unanalyzed"
+                        \\
+                    , .{});
+                },
                 .Pointer => |v| {
                     if (options.whitespace) |ws| try ws.outputIndent(w);
                     try w.print(
 @@ -2767,12 +2778,16 @@ fn analyzeFunction(
             const inst_data = data[inst_index].pl_node;
             const extra = file.zir.extraData(Zir.Inst.ExtendedFunc, inst_data.payload_index);
             var cc_index: ?usize = null;
-            if (extra.data.bits.has_cc) {
+            cc_index = self.types.items.len - 1;
-                // @panic with .calling_convention_inline
+            // if (extra.data.bits.has_cc) {
-                // const cc_ref = @intToEnum(Zir.Inst.Ref, file.zir.extra[extra.end]);
+            //     const cc = file.zir.extra[extra.end];
-                // _ = try self.walkRef(file, scope, cc_ref, false);
+            //     const cc_ref = @intToEnum(Zir.Inst.Ref, cc);
-                // cc_index = self.types.items.len - 1;
+            //     _ = try self.walkRef(file, scope, cc_ref, false);
-            }
+            //     cc_index = self.types.items.len - 1;
+            //     std.debug.print("DONE\n", .{});
+            //     std.debug.print("cc_ref = {any}\n", .{cc_ref});
+            //     std.debug.print("index = {}\n", .{cc_index});
+            // }
             break :blk .{
                 .Fn = .{
 @@ -2781,7 +2796,7 @@ fn analyzeFunction(
                     .params = param_type_refs.items,
                     .ret = ret_type_ref.expr,
                     .is_extern = extra.data.bits.is_extern,
-                    // .has_cc = extra.data.bits.has_cc,
+                    .has_cc = extra.data.bits.has_cc,
                     .is_inferred_error = extra.data.bits.is_inferred_error,
                     .cc = cc_index,
                 },
 @@ -3015,24 +3030,27 @@ fn walkRef(
                 };
             },
             // TODO: dunno what to do with those
-            // .calling_convention_type => {
+            .calling_convention_type => {
-            //     return DocData.WalkResult{
+                return DocData.WalkResult{
-            //         .typeRef = .{ .type = @enumToInt(Ref.calling_convention_type) },
+                    // .typeRef = .{ .type = @enumToInt(Ref.calling_convention_type) },
-            //         .expr = .{ .int = .{ .value = 1 } },
+                    .typeRef = .{ .type = @enumToInt(Ref.comptime_int_type) },
-            //     };
+                    .expr = .{ .int = .{ .value = 1 } },
-            // },
+                };
-            // .calling_convention_c => {
+            },
-            //     return DocData.WalkResult{
+            .calling_convention_c => {
-            //         .typeRef = .{ .type = @enumToInt(Ref.calling_convention_c) },
+                return DocData.WalkResult{
-            //         .expr = .{ .int = .{ .value = 1 } },
+                    // .typeRef = .{ .type = @enumToInt(Ref.calling_convention_c) },
-            //     };
+                    .typeRef = .{ .type = @enumToInt(Ref.comptime_int_type) },
-            // },
+                    .expr = .{ .int = .{ .value = 1 } },
-            // .calling_convention_inline => {
+                };
-            //     return DocData.WalkResult{
+            },
-            //         .typeRef = .{ .type = @enumToInt(Ref.calling_convention_inline) },
+            .calling_convention_inline => {
-            //         .expr = .{ .int = .{ .value = 1 } },
+                return DocData.WalkResult{
-            //     };
+                    // .typeRef = .{ .type = @enumToInt(Ref.calling_convention_inline) },
-            // },
+                    .typeRef = .{ .type = @enumToInt(Ref.comptime_int_type) },
+                    .expr = .{ .int = .{ .value = 1 } },
+                };
+            },
             // .generic_poison => {
             //     return DocData.WalkResult{ .int = .{
             //         .type = @enumToInt(Ref.comptime_int_type),