aboutsummaryrefslogtreecommitdiff
path: root/src/link/Coff.zig
diff options
context:
space:
mode:
authorJakub Konka <kubkon@jakubkonka.com>2022-09-05 16:06:58 +0200
committerJakub Konka <kubkon@jakubkonka.com>2022-09-07 22:42:58 +0200
commit79e51c5e4b5f9701676079ea23e67cc355a8d42c (patch)
treefb9d1bee5bbd5174c8381f4f0b48bb2209c686df /src/link/Coff.zig
parent08f6546c8405dd7d9da80f857122f43f4d627a22 (diff)
downloadzig-79e51c5e4b5f9701676079ea23e67cc355a8d42c.tar.gz
zig-79e51c5e4b5f9701676079ea23e67cc355a8d42c.zip
coff: differentiate between file space and VM space for alloc
Diffstat (limited to 'src/link/Coff.zig')
-rw-r--r--src/link/Coff.zig76
1 files changed, 62 insertions, 14 deletions
diff --git a/src/link/Coff.zig b/src/link/Coff.zig
index 23f0b7ea9d..3ffa86d6f8 100644
--- a/src/link/Coff.zig
+++ b/src/link/Coff.zig
@@ -411,12 +411,19 @@ fn populateMissingMetadata(self: *Coff) !void {
fn allocateSection(self: *Coff, name: []const u8, size: u32, flags: coff.SectionHeaderFlags) !u16 {
const index = @intCast(u16, self.sections.slice().len);
- const off = self.findFreeSpace(size, self.page_size); // TODO: we overalign here
- log.debug("found {s} free space 0x{x} to 0x{x}", .{ name, off, off + size });
+ const off = self.findFreeSpace(size, default_file_alignment);
+ const vaddr = self.findFreeSpaceVM(size, self.page_size);
+ log.debug("found {s} free space 0x{x} to 0x{x} (0x{x} - 0x{x})", .{
+ name,
+ off,
+ off + size,
+ vaddr,
+ vaddr + size,
+ });
var header = coff.SectionHeader{
.name = undefined,
.virtual_size = size,
- .virtual_address = off,
+ .virtual_address = vaddr,
.size_of_raw_data = size,
.pointer_to_raw_data = off,
.pointer_to_relocations = 0,
@@ -513,16 +520,22 @@ fn allocateAtom(self: *Coff, atom: *Atom, new_atom_size: u32, alignment: u32) !u
const sect_capacity = self.allocatedSize(header.pointer_to_raw_data);
const needed_size: u32 = (vaddr + new_atom_size) - header.virtual_address;
if (needed_size > sect_capacity) {
+ // const new_offset = self.findFreeSpace(needed_size, self.page_size);
+ // const current_size = if (last_atom) |atom| blk: {
+ // const sym = last_atom.getSymbol(self);
+ // break :blk (sym.value + atom.size) - header.virtual_address;
+ // } else 0;
+ // log.debug("moving {s} from 0x{x} to 0x{x}", .{ header.pointer_to_raw_data, new_offset });
+ // const amt = try self.base.file.?.copyRangeAll(header.pointer_to_raw_data, self.base.file.?, new_offset, current_size);
+ // if (amt != current_size) return error.InputOutput;
+
@panic("TODO move section");
+ // header.virtual_size = needed_size;
+ // header.size_of_raw_data = mem.alignForwardGeneric(u32, needed_size, default_file_alignment);
}
maybe_last_atom.* = atom;
- // header.virtual_size = needed_size;
- // header.size_of_raw_data = mem.alignForwardGeneric(u32, needed_size, default_file_alignment);
}
- // if (header.getAlignment().? < alignment) {
- // header.setAlignment(alignment);
- // }
atom.size = new_atom_size;
atom.alignment = alignment;
@@ -1778,14 +1791,15 @@ pub fn padToIdeal(actual_size: anytype) @TypeOf(actual_size) {
}
fn detectAllocCollision(self: *Coff, start: u32, size: u32) ?u32 {
- const headers_size = self.getSizeOfHeaders();
+ const headers_size = @maximum(self.getSizeOfHeaders(), 0x1000);
if (start < headers_size)
return headers_size;
- const end = start + size;
+ const end = start + padToIdeal(size);
if (self.strtab_offset) |off| {
- const increased_size = @intCast(u32, self.strtab.len());
+ const tight_size = @intCast(u32, self.strtab.len());
+ const increased_size = padToIdeal(tight_size);
const test_end = off + increased_size;
if (end > off and start < test_end) {
return test_end;
@@ -1793,7 +1807,8 @@ fn detectAllocCollision(self: *Coff, start: u32, size: u32) ?u32 {
}
for (self.sections.items(.header)) |header| {
- const increased_size = header.size_of_raw_data;
+ const tight_size = header.size_of_raw_data;
+ const increased_size = padToIdeal(tight_size);
const test_end = header.pointer_to_raw_data + increased_size;
if (end > header.pointer_to_raw_data and start < test_end) {
return test_end;
@@ -1803,7 +1818,7 @@ fn detectAllocCollision(self: *Coff, start: u32, size: u32) ?u32 {
return null;
}
-pub fn allocatedSize(self: *Coff, start: u32) u32 {
+fn allocatedSize(self: *Coff, start: u32) u32 {
if (start == 0)
return 0;
var min_pos: u32 = std.math.maxInt(u32);
@@ -1817,7 +1832,7 @@ pub fn allocatedSize(self: *Coff, start: u32) u32 {
return min_pos - start;
}
-pub fn findFreeSpace(self: *Coff, object_size: u32, min_alignment: u32) u32 {
+fn findFreeSpace(self: *Coff, object_size: u32, min_alignment: u32) u32 {
var start: u32 = 0;
while (self.detectAllocCollision(start, object_size)) |item_end| {
start = mem.alignForwardGeneric(u32, item_end, min_alignment);
@@ -1825,6 +1840,39 @@ pub fn findFreeSpace(self: *Coff, object_size: u32, min_alignment: u32) u32 {
return start;
}
+fn detectAllocCollisionVM(self: *Coff, start: u32, size: u32) ?u32 {
+ const headers_size = @maximum(self.getSizeOfHeaders(), 0x1000);
+ if (start < headers_size)
+ return headers_size;
+
+ const end = start + size;
+
+ if (self.strtab_offset) |off| {
+ const increased_size = @intCast(u32, self.strtab.len());
+ const test_end = off + increased_size;
+ if (end > off and start < test_end) {
+ return test_end;
+ }
+ }
+
+ for (self.sections.items(.header)) |header| {
+ const increased_size = header.virtual_size;
+ const test_end = header.virtual_address + increased_size;
+ if (end > header.virtual_address and start < test_end) {
+ return test_end;
+ }
+ }
+ return null;
+}
+
+fn findFreeSpaceVM(self: *Coff, object_size: u32, min_alignment: u32) u32 {
+ var start: u32 = 0;
+ while (self.detectAllocCollisionVM(start, object_size)) |item_end| {
+ start = mem.alignForwardGeneric(u32, item_end, min_alignment);
+ }
+ return start;
+}
+
inline fn getSizeOfHeaders(self: Coff) u32 {
const msdos_hdr_size = msdos_stub.len + 4;
return @intCast(u32, msdos_hdr_size + @sizeOf(coff.CoffHeader) + self.getOptionalHeaderSize() +