aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuuk de Gram <luuk@degram.dev>2022-05-24 22:13:57 +0200
committerLuuk de Gram <luuk@degram.dev>2022-06-24 08:12:17 +0200
commit0606fbbc4bb7a006e2dcbf151c9505c920b735be (patch)
treed0024039d30d24ea0d07269c2cf53a44fdd8bd1d
parent4d3715d89f97f3f9b6e366bbabe01f9d64ed56cf (diff)
downloadzig-0606fbbc4bb7a006e2dcbf151c9505c920b735be.tar.gz
zig-0606fbbc4bb7a006e2dcbf151c9505c920b735be.zip
wasm-linker: Implement Archive parsing
This implements a very basic archive file parser that validates the magic bytes, and then parses the symbol table and stores the symbol and their position.
-rw-r--r--src/link/Wasm/Archive.zig180
1 files changed, 180 insertions, 0 deletions
diff --git a/src/link/Wasm/Archive.zig b/src/link/Wasm/Archive.zig
new file mode 100644
index 0000000000..ca69795537
--- /dev/null
+++ b/src/link/Wasm/Archive.zig
@@ -0,0 +1,180 @@
+const Archive = @This();
+
+const std = @import("std");
+const assert = std.debug.assert;
+const fs = std.fs;
+const log = std.log.scoped(.archive);
+const macho = std.macho;
+const mem = std.mem;
+
+const Allocator = mem.Allocator;
+const Object = @import("Object.zig");
+
+file: fs.File,
+name: []const u8,
+
+header: ar_hdr = undefined,
+
+/// Parsed table of contents.
+/// Each symbol name points to a list of all definition
+/// sites within the current static archive.
+toc: std.StringArrayHashMapUnmanaged(std.ArrayListUnmanaged(u32)) = .{},
+
+// Archive files start with the ARMAG identifying string. Then follows a
+// `struct ar_hdr', and as many bytes of member file data as its `ar_size'
+// member indicates, for each member file.
+/// String that begins an archive file.
+const ARMAG: *const [SARMAG:0]u8 = "!<arch>\n";
+/// Size of that string.
+const SARMAG: u4 = 8;
+
+/// String in ar_fmag at the end of each header.
+const ARFMAG: *const [2:0]u8 = "`\n";
+
+const ar_hdr = extern struct {
+ /// Member file name, sometimes / terminated.
+ ar_name: [16]u8,
+
+ /// File date, decimal seconds since Epoch.
+ ar_date: [12]u8,
+
+ /// User ID, in ASCII format.
+ ar_uid: [6]u8,
+
+ /// Group ID, in ASCII format.
+ ar_gid: [6]u8,
+
+ /// File mode, in ASCII octal.
+ ar_mode: [8]u8,
+
+ /// File size, in ASCII decimal.
+ ar_size: [10]u8,
+
+ /// Always contains ARFMAG.
+ ar_fmag: [2]u8,
+
+ const NameOrLength = union(enum) {
+ Name: []const u8,
+ Length: u32,
+ };
+ fn nameOrLength(self: ar_hdr) !NameOrLength {
+ const value = getValue(&self.ar_name);
+ const slash_index = mem.indexOfScalar(u8, value, '/') orelse return error.MalformedArchive;
+ const len = value.len;
+ if (slash_index == len - 1) {
+ // Name stored directly
+ return NameOrLength{ .Name = value };
+ } else {
+ // Name follows the header directly and its length is encoded in
+ // the name field.
+ const length = try std.fmt.parseInt(u32, value[slash_index + 1 ..], 10);
+ return NameOrLength{ .Length = length };
+ }
+ }
+
+ fn date(self: ar_hdr) !u64 {
+ const value = getValue(&self.ar_date);
+ return std.fmt.parseInt(u64, value, 10);
+ }
+
+ fn size(self: ar_hdr) !u32 {
+ const value = getValue(&self.ar_size);
+ return std.fmt.parseInt(u32, value, 10);
+ }
+
+ fn getValue(raw: []const u8) []const u8 {
+ return mem.trimRight(u8, raw, &[_]u8{@as(u8, 0x20)});
+ }
+};
+
+pub fn deinit(self: *Archive, allocator: Allocator) void {
+ for (self.toc.keys()) |*key| {
+ allocator.free(key.*);
+ }
+ for (self.toc.values()) |*value| {
+ value.deinit(allocator);
+ }
+ self.toc.deinit(allocator);
+ allocator.free(self.name);
+}
+
+pub fn parse(self: *Archive, allocator: Allocator) !void {
+ const reader = self.file.reader();
+
+ const magic = try reader.readBytesNoEof(SARMAG);
+ if (!mem.eql(u8, &magic, ARMAG)) {
+ log.debug("invalid magic: expected '{s}', found '{s}'", .{ ARMAG, magic });
+ return error.NotArchive;
+ }
+
+ self.header = try reader.readStruct(ar_hdr);
+ if (!mem.eql(u8, &self.header.ar_fmag, ARFMAG)) {
+ log.debug("invalid header delimiter: expected '{s}', found '{s}'", .{ ARFMAG, self.header.ar_fmag });
+ return error.NotArchive;
+ }
+
+ log.debug("parsing archive '{s}' at '{s}'", .{ std.mem.sliceTo(&self.header.ar_name, 0), self.name });
+
+ try self.parseTableOfContents(allocator, reader);
+}
+
+fn parseName(allocator: Allocator, header: ar_hdr, reader: anytype) ![]u8 {
+ const name_or_length = try header.nameOrLength();
+ var name: []u8 = undefined;
+ switch (name_or_length) {
+ .Name => |n| {
+ name = try allocator.dupe(u8, n);
+ },
+ .Length => |len| {
+ var n = try allocator.alloc(u8, len);
+ defer allocator.free(n);
+ try reader.readNoEof(n);
+ const actual_len = mem.indexOfScalar(u8, n, @as(u8, 0)) orelse n.len;
+ name = try allocator.dupe(u8, n[0..actual_len]);
+ },
+ }
+ return name;
+}
+
+fn parseTableOfContents(self: *Archive, allocator: Allocator, reader: anytype) !void {
+ log.debug("parsing table of contents for archive file '{s}'", .{self.name});
+ // size field can have extra spaces padded in front as well as the end,
+ // so we trim those first before parsing the ASCII value.
+ const size_trimmed = std.mem.trim(u8, &self.header.ar_size, " ");
+ const sym_tab_size = try std.fmt.parseInt(u32, size_trimmed, 10);
+
+ const num_symbols = try reader.readIntBig(u32);
+ const symbol_positions = try allocator.alloc(u32, num_symbols);
+ defer allocator.free(symbol_positions);
+ for (symbol_positions) |*index| {
+ index.* = try reader.readIntBig(u32);
+ }
+
+ const sym_tab = try allocator.alloc(u8, sym_tab_size - 4 - (4 * num_symbols));
+ defer allocator.free(sym_tab);
+
+ reader.readNoEof(sym_tab) catch {
+ log.err("incomplete symbol table: expected symbol table of length 0x{x}", .{sym_tab.len});
+ return error.MalformedArchive;
+ };
+
+ var i: usize = 0;
+ while (i < sym_tab.len) {
+ const string = std.mem.sliceTo(sym_tab[i..], 0);
+ if (string.len == 0) {
+ i += 1;
+ continue;
+ }
+ i += string.len;
+ const name = try allocator.dupe(u8, string);
+ errdefer allocator.free(name);
+ const gop = try self.toc.getOrPut(allocator, name);
+ if (gop.found_existing) {
+ allocator.free(name);
+ } else {
+ gop.value_ptr.* = .{};
+ }
+ try gop.value_ptr.append(allocator, symbol_positions[gop.index]);
+ log.debug(" parsed symbol '{s}' for position {d}", .{ string, symbol_positions[gop.index] });
+ }
+}