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

wasm_interp: implement if/else statements

Browse source
This commit is contained in:
Brian Carroll 2022-11-26 07:33:17 +00:00
parent 131a9925d0
commit fa1e0a8614
No known key found for this signature in database
GPG key ID: 5C7B2EC4101703C0
1 changed files with 33 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -179,9 +179,9 @@ impl<'a> ExecutionState<'a> {
let target_block_depth = self.block_depth - relative_blocks_outward - 1; let target_block_depth = self.block_depth - relative_blocks_outward - 1;
loop { loop {
let skip_op = OpCode::from(module.code.bytes[self.program_counter]); let skipped_op = OpCode::from(module.code.bytes[self.program_counter]);
OpCode::skip_bytes(&module.code.bytes, &mut self.program_counter).unwrap(); OpCode::skip_bytes(&module.code.bytes, &mut self.program_counter).unwrap();
match skip_op { match skipped_op {
BLOCK | LOOP | IF => { BLOCK | LOOP | IF => {
self.block_depth += 1; self.block_depth += 1;
} }
@ -219,19 +219,45 @@ impl<'a> ExecutionState<'a> {
} }
NOP => {} NOP => {}
BLOCK => { BLOCK => {
self.fetch_immediate_u32(module); // blocktype self.fetch_immediate_u32(module); // blocktype (ignored)
self.block_depth += 1; self.block_depth += 1;
} }
LOOP => { LOOP => {
self.fetch_immediate_u32(module); // blocktype self.fetch_immediate_u32(module); // blocktype (ignored)
self.block_depth += 1; self.block_depth += 1;
} }
IF => { IF => {
self.fetch_immediate_u32(module); // blocktype self.fetch_immediate_u32(module); // blocktype (ignored)
let condition = self.value_stack.pop_i32();
self.block_depth += 1; self.block_depth += 1;
todo!("{:?} @ {:#x}", op_code, file_offset); if condition == 0 {
let mut depth = self.block_depth;
loop {
let skipped_op = OpCode::from(module.code.bytes[self.program_counter]);
OpCode::skip_bytes(&module.code.bytes, &mut self.program_counter).unwrap();
match skipped_op {
BLOCK | LOOP | IF => {
depth += 1;
}
END => {
depth -= 1;
}
ELSE => {
if depth == self.block_depth {
break;
}
}
_ => {}
}
}
}
}
ELSE => {
// We only reach this point when we finish executing the "then" block of an IF statement
// (For a false condition, we would have skipped past the ELSE when we saw the IF)
// We don't want to execute the ELSE block, so we skip it, just like `br 0` would.
self.break_forward(0, module);
} }
ELSE => todo!("{:?} @ {:#x}", op_code, file_offset),
END => { END => {
if self.block_depth == 0 { if self.block_depth == 0 {
// implicit RETURN at end of function // implicit RETURN at end of function