language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

wasm_interp: implement block and br

Browse source
This commit is contained in:
Brian Carroll 2022-11-25 19:36:45 +00:00
parent a593d19b2d
commit b96f1ffc33
No known key found for this signature in database
GPG key ID: 5C7B2EC4101703C0
1 changed files with 25 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

29
crates/wasm_interp/src/execute.rs
View file

@ -3,7 +3,7 @@ use std::fmt::{self, Write};
use std::iter; use std::iter;
use roc_wasm_module::opcodes::OpCode; use roc_wasm_module::opcodes::OpCode;
use roc_wasm_module::parse::Parse; use roc_wasm_module::parse::{Parse, SkipBytes};
use roc_wasm_module::sections::{ImportDesc, MemorySection}; use roc_wasm_module::sections::{ImportDesc, MemorySection};
use roc_wasm_module::Value; use roc_wasm_module::Value;
use roc_wasm_module::{ExportType, WasmModule}; use roc_wasm_module::{ExportType, WasmModule};
@ -197,12 +197,12 @@ impl<'a> ExecutionState<'a> {
} }
NOP => {} NOP => {}
BLOCK => { BLOCK => {
self.fetch_immediate_u32(module); // blocktype
self.block_depth += 1; self.block_depth += 1;
todo!("{:?} @ {:#x}", op_code, file_offset);
} }
LOOP => { LOOP => {
self.fetch_immediate_u32(module); // blocktype
self.block_depth += 1; self.block_depth += 1;
todo!("{:?} @ {:#x}", op_code, file_offset);
} }
IF => todo!("{:?} @ {:#x}", op_code, file_offset), IF => todo!("{:?} @ {:#x}", op_code, file_offset),
ELSE => todo!("{:?} @ {:#x}", op_code, file_offset), ELSE => todo!("{:?} @ {:#x}", op_code, file_offset),
@ -214,7 +214,28 @@ impl<'a> ExecutionState<'a> {
self.block_depth -= 1; self.block_depth -= 1;
} }
} }
BR => todo!("{:?} @ {:#x}", op_code, file_offset), BR => {
let relative_blocks_outward = self.fetch_immediate_u32(module);
let target_block_depth = self.block_depth - relative_blocks_outward;
loop {
match OpCode::from(module.code.bytes[self.program_counter]) {
BLOCK | LOOP | IF => {
self.block_depth += 1;
}
END => {
self.block_depth -= 1;
if self.block_depth == target_block_depth {
break;
}
}
_ => {}
}
OpCode::skip_bytes(&module.code.bytes, &mut self.program_counter).unwrap();
}
if self.block_depth == 0 {
action = self.do_return()
}
}
BRIF => todo!("{:?} @ {:#x}", op_code, file_offset), BRIF => todo!("{:?} @ {:#x}", op_code, file_offset),
BRTABLE => todo!("{:?} @ {:#x}", op_code, file_offset), BRTABLE => todo!("{:?} @ {:#x}", op_code, file_offset),
RETURN => { RETURN => {