diff options
author | Ernesto Lanchares <elancha98@proton.me> | 2025-03-13 22:51:56 +0000 |
---|---|---|
committer | Lorenzo Torres <torres@sideros.org> | 2025-03-14 16:50:59 +0100 |
commit | 2818fd14c5f9fcce57e410cd9a03dead5a6e2fe7 (patch) | |
tree | 6fd1cd91c4627f1f3dd93b227c01dc1bd4214b40 /src/vm/vm.zig | |
parent | 1c3f9702afa0638c386c6217fa57873823567887 (diff) |
Fixed wrong calculation of locals size when parsing a wasm binary
The fix involves moving the function leb128Decode over to parser. To me
it makes more sense for the function to belong in that module so I think
of it as a positive change. However I do not think that returning two
values is really necessary. I think a proper solution would be either
to parse the code or wrap the stream so we can count how many bytes are
readed. Therefore we could use std.leb.readUleb128 which should be less
error-prone.
Diffstat (limited to 'src/vm/vm.zig')
-rw-r--r-- | src/vm/vm.zig | 35 |
1 files changed, 4 insertions, 31 deletions
diff --git a/src/vm/vm.zig b/src/vm/vm.zig index dfa457c..f8c7db5 100644 --- a/src/vm/vm.zig +++ b/src/vm/vm.zig @@ -4,37 +4,10 @@ const Parser = @import("parse.zig"); const Allocator = std.mem.Allocator; const AllocationError = error{OutOfMemory}; -pub fn leb128Decode(comptime T: type, bytes: []u8) struct { len: usize, val: T } { - switch (@typeInfo(T)) { - .int => {}, - else => @compileError("LEB128 integer decoding only support integers, but got " ++ @typeName(T)), - } - if (@typeInfo(T).int.bits != 32 and @typeInfo(T).int.bits != 64) { - @compileError("LEB128 integer decoding only supports 32 or 64 bits integers but got " ++ std.fmt.comptimePrint("{d} bits", .{@typeInfo(T).int.bits})); - } - - var result: T = 0; - // TODO: is the type of shift important. Reading Wikipedia (not very much tho) it seems like we can use u32 and call it a day... - var shift: if (@typeInfo(T).int.bits == 32) u5 else u6 = 0; - var byte: u8 = undefined; - var len: usize = 0; - for (bytes) |b| { - len += 1; - result |= @as(T, @intCast((b & 0x7f))) << shift; - if ((b & (0x1 << 7)) == 0) { - byte = b; - break; - } - shift += 7; - } - if (@typeInfo(T).int.signedness == .signed) { - const size = @sizeOf(T) * 8; - if (shift < size and (byte & 0x40) != 0) { - result |= (~@as(T, 0) << shift); - } - } - - return .{ .len = len, .val = result }; +fn leb128Decode(comptime T: type, bytes: []u8) Parser.leb128Result(T) { + var fbs = std.io.fixedBufferStream(bytes); + // TODO: this catch should be unrecheable + return Parser.leb128Decode(T, fbs.reader()) catch .{ .len = 0, .val = 0 }; } pub fn decodeLittleEndian(comptime T: type, bytes: []u8) T { |