language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

wasm_interp: Don't panic when setting a local variable

Browse source
This commit is contained in:
Brian Carroll 2022-12-06 20:22:05 +00:00
parent 9d912a6cc7
commit 1b126d3b58
No known key found for this signature in database
GPG key ID: 5C7B2EC4101703C0
2 changed files with 15 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/wasm_interp/src/call_stack.rs
View file

@ -6,7 +6,7 @@ use roc_wasm_module::{parse::Parse, Value, ValueType, WasmModule};
use std::fmt::{self, Write};
use std::iter::repeat;
use crate::{pc_to_fn_index, ValueStack};
use crate::{pc_to_fn_index, type_from_flags_f_64, Error, ValueStack};
/// Struct-of-Arrays storage for the call stack.
/// Type info is packed to avoid wasting space on padding.
@ -130,32 +130,34 @@ impl<'a> CallStack<'a> {
}
}
pub fn set_local(&mut self, local_index: u32, value: Value) {
let type_check_ok = self.set_local_help(local_index, value);
debug_assert!(type_check_ok);
pub(crate) fn set_local(&mut self, local_index: u32, value: Value) -> Result<(), Error> {
let expected_type = self.set_local_help(local_index, value);
let actual_type = ValueType::from(value);
if actual_type == expected_type {
Ok(())
} else {
Err(Error::ValueStackType(expected_type, actual_type))
}
}
fn set_local_help(&mut self, local_index: u32, value: Value) -> bool {
fn set_local_help(&mut self, local_index: u32, value: Value) -> ValueType {
let frame_offset = *self.frame_offsets.last().unwrap();
let index = (frame_offset + local_index) as usize;
match value {
Value::I32(x) => {
self.locals_data[index] = u64::from_ne_bytes((x as i64).to_ne_bytes());
!self.is_64[index] && !self.is_float[index]
}
Value::I64(x) => {
self.locals_data[index] = u64::from_ne_bytes((x).to_ne_bytes());
!self.is_float[index] && self.is_64[index]
}
Value::F32(x) => {
self.locals_data[index] = x.to_bits() as u64;
self.is_float[index] && !self.is_64[index]
}
Value::F64(x) => {
self.locals_data[index] = x.to_bits();
self.is_float[index] && self.is_64[index]
}
}
type_from_flags_f_64(self.is_float[index], self.is_64[index])
}
pub fn value_stack_base(&self) -> u32 {
@ -283,7 +285,7 @@ mod tests {
const RETURN_ADDR: u32 = 0x12345;
fn test_get_set(call_stack: &mut CallStack<'_>, index: u32, value: Value) {
call_stack.set_local(index, value);
call_stack.set_local(index, value).unwrap();
assert_eq!(call_stack.get_local(index), value);
}

6
crates/wasm_interp/src/instance.rs
View file

@ -601,12 +601,12 @@ impl<'a, I: ImportDispatcher> Instance<'a, I> {
SETLOCAL => {
let index = self.fetch_immediate_u32(module);
let value = self.value_stack.pop();
self.call_stack.set_local(index, value);
self.call_stack.set_local(index, value)?;
}
TEELOCAL => {
let index = self.fetch_immediate_u32(module);
let value = self.value_stack.peek();
self.call_stack.set_local(index, value);
self.call_stack.set_local(index, value)?;
}
GETGLOBAL => {
let index = self.fetch_immediate_u32(module);
@ -1523,7 +1523,7 @@ impl<'a, I: ImportDispatcher> Instance<'a, I> {
if let Some(debug_string) = &self.debug_string {
let base = self.call_stack.value_stack_base();
let slice = self.value_stack.get_slice(base as usize);
eprintln!("{:#07x} {:17} {:?}", file_offset, debug_string, slice);
eprintln!("{:06x} {:17} {:?}", file_offset, debug_string, slice);
if op_code == RETURN || (op_code == END && implicit_return) {
let fn_index = pc_to_fn_index(self.program_counter, module);
eprintln!("returning to function {}\n", fn_index);