Skip to content

Full direct threaded with immediates array #212

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
malcolmstill wants to merge 11 commits into from
Closed

Full direct threaded with immediates array #212

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
f70b9c5
Dispatch directly with function pointer address instead of lookup thr…
malcolmstill Jan 22, 2023
779d9c4
Also patch for instructions
malcolmstill Jan 22, 2023
5a2ebec
More patching
malcolmstill Jan 22, 2023
5cd499a
Fixes
malcolmstill Jul 23, 2023
0879aa2
@call(.auto, ...)
malcolmstill Jul 23, 2023
ab7a333
WIP immediates
malcolmstill Jul 30, 2023
aec72df
Working fib
malcolmstill Jul 31, 2023
896be6f
fast_call patching
malcolmstill Jul 31, 2023
dabf6d6
Remove panics
malcolmstill Jul 31, 2023
582990e
Fix miscDispatch
malcolmstill Jul 31, 2023
a77dfef
Remove comment
malcolmstill Jul 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1,250 changes: 681 additions & 569 deletions src/instance/vm.zig
View file
Open in desktop

Large diffs are not rendered by default.

56 changes: 38 additions & 18 deletions src/module.zig
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ const leb = std.leb;
const math = std.math;
const unicode = std.unicode;
const ArrayList = std.ArrayList;
const VirtualMachine = @import("instance/vm.zig").VirtualMachine;
const Rr = @import("rr.zig").Rr;
const RrOpcode = @import("rr.zig").RrOpcode;
const Instance = @import("instance.zig").Instance;
Expand Down Expand Up @@ -34,7 +35,10 @@ pub const Module = struct {
function_index_start: ?usize = null,
data_count: ?u32 = null,
element_init_offsets: ArrayList(usize),
parsed_code: ArrayList(Rr),
// parsed_code: ArrayList(Rr),
instructions: ArrayList(VirtualMachine.InstructionFunction),
immediates_offset: ArrayList(u32),
immediates: ArrayList(u32),
local_types: ArrayList(LocalType),
br_table_indices: ArrayList(u32),
references: ArrayList(u32),
Expand All @@ -56,7 +60,10 @@ pub const Module = struct {
.codes = Section(Code).init(alloc),
.datas = Section(DataSegment).init(alloc),
.element_init_offsets = ArrayList(usize).init(alloc),
.parsed_code = ArrayList(Rr).init(alloc),
// .parsed_code = ArrayList(Rr).init(alloc),
.instructions = ArrayList(VirtualMachine.InstructionFunction).init(alloc),
.immediates_offset = ArrayList(u32).init(alloc),
.immediates = ArrayList(u32).init(alloc),
.local_types = ArrayList(LocalType).init(alloc),
.br_table_indices = ArrayList(u32).init(alloc),
.references = ArrayList(u32).init(alloc),
Expand All @@ -77,7 +84,10 @@ pub const Module = struct {
self.datas.deinit();

self.element_init_offsets.deinit();
self.parsed_code.deinit();
// self.parsed_code.deinit();
self.instructions.deinit();
self.immediates_offset.deinit();
self.immediates.deinit();
self.local_types.deinit();
self.br_table_indices.deinit();
self.references.deinit();
Expand All @@ -96,7 +106,8 @@ pub const Module = struct {
// Push an initial return instruction so we don't have to
// track the end of a function to use its return on invoke
// See https://github.com/malcolmstill/zware/pull/133
try self.parsed_code.append(.@"return");
try self.instructions.append(VirtualMachine.@"return");
try self.immediates_offset.append(0);

var i: usize = 0;
while (true) : (i += 1) {
Expand Down Expand Up @@ -474,9 +485,11 @@ pub const Module = struct {

try self.references.append(funcidx);

const init_offset = self.parsed_code.items.len;
try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.parsed_code.append(Rr.@"return");
const init_offset = self.instructions.items.len;
// try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.instructions.append(VirtualMachine.@"ref.func");
// try self.parsed_code.append(Rr.@"return");
try self.instructions.append(VirtualMachine.@"return");
try self.element_init_offsets.append(init_offset);
}

Expand Down Expand Up @@ -505,9 +518,11 @@ pub const Module = struct {

try self.references.append(funcidx);

const init_offset = self.parsed_code.items.len;
try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.parsed_code.append(Rr.@"return");
const init_offset = self.instructions.items.len;
// try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.instructions.append(VirtualMachine.@"ref.func");
// try self.parsed_code.append(Rr.@"return");
try self.instructions.append(VirtualMachine.@"return");
try self.element_init_offsets.append(init_offset);
}

Expand Down Expand Up @@ -538,9 +553,11 @@ pub const Module = struct {

try self.references.append(funcidx);

const init_offset = self.parsed_code.items.len;
try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.parsed_code.append(Rr.@"return");
const init_offset = self.instructions.items.len;
// try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.instructions.append(VirtualMachine.@"ref.func");
// try self.parsed_code.append(Rr.@"return");
try self.instructions.append(VirtualMachine.@"return");
try self.element_init_offsets.append(init_offset);
}

Expand Down Expand Up @@ -568,9 +585,11 @@ pub const Module = struct {

try self.references.append(funcidx);

const init_offset = self.parsed_code.items.len;
try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.parsed_code.append(Rr.@"return");
const init_offset = self.instructions.items.len;
// try self.parsed_code.append(Rr{ .@"ref.func" = funcidx });
try self.instructions.append(VirtualMachine.@"ref.func");
// try self.parsed_code.append(Rr.@"return");
try self.instructions.append(VirtualMachine.@"return");
try self.element_init_offsets.append(init_offset);
}

Expand Down Expand Up @@ -615,7 +634,7 @@ pub const Module = struct {

var j: usize = 0;
while (j < expr_count) : (j += 1) {
const init_offset = self.parsed_code.items.len;
const init_offset = self.instructions.items.len;
_ = try self.readConstantExpression(.FuncRef);
try self.element_init_offsets.append(init_offset);
}
Expand Down Expand Up @@ -662,7 +681,8 @@ pub const Module = struct {
const count = try self.readULEB128(u32);
self.codes.count = count;

try self.parsed_code.ensureTotalCapacity(count * 32);
// FIXME: better heuristic + also ensure immediates_offset + immediates
try self.instructions.ensureTotalCapacity(count * 32);

if (count == 0) return;

Expand Down
Loading