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: include immediates in --debug output

Browse source
This commit is contained in:
Brian Carroll 2022-11-25 01:12:22 +00:00
parent dd93e2e46f
commit 77ebaba4ff
No known key found for this signature in database
GPG key ID: 5C7B2EC4101703C0
1 changed files with 35 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,4 +1,6 @@
use bumpalo::{collections::Vec, Bump};
use std::fmt::Write;
use roc_wasm_module::opcodes::OpCode;
use roc_wasm_module::parse::Parse;
use roc_wasm_module::sections::{ImportDesc, MemorySection};
@ -25,6 +27,7 @@ pub struct ExecutionState<'a> {
block_depth: u32,
import_signatures: Vec<'a, u32>,
is_debug_mode: bool,
debug_string: String,
}
impl<'a> ExecutionState<'a> {
@ -42,6 +45,7 @@ impl<'a> ExecutionState<'a> {
block_depth: 0,
import_signatures: Vec::new_in(arena),
is_debug_mode: false,
debug_string: String::new(),
}
}
@ -50,7 +54,7 @@ impl<'a> ExecutionState<'a> {
module: &WasmModule<'a>,
start_fn_name: &str,
is_debug_mode: bool,
) -> Result<Self, String> {
) -> Result<Self, std::string::String> {
let mem_bytes = module.memory.min_bytes().map_err(|e| {
format!(
"Error parsing Memory section at offset {:#x}:\n{}",
@ -110,11 +114,16 @@ impl<'a> ExecutionState<'a> {
block_depth: 0,
import_signatures,
is_debug_mode,
debug_string: String::new(),
})
}
fn fetch_immediate_u32(&mut self, module: &WasmModule<'a>) -> u32 {
u32::parse((), &module.code.bytes, &mut self.program_counter).unwrap()
let x = u32::parse((), &module.code.bytes, &mut self.program_counter).unwrap();
if self.is_debug_mode {
write!(&mut self.debug_string, "{}", x).unwrap();
}
x
}
fn do_return(&mut self) -> Action {
@ -140,6 +149,11 @@ impl<'a> ExecutionState<'a> {
let op_code = OpCode::from(module.code.bytes[self.program_counter]);
self.program_counter += 1;
if self.is_debug_mode {
self.debug_string.clear();
write!(&mut self.debug_string, "{:?} ", op_code).unwrap();
}
let mut action = Action::Continue;
match op_code {
@ -257,22 +271,36 @@ impl<'a> ExecutionState<'a> {
GROWMEMORY => todo!("{:?} @ {:#x}", op_code, file_offset),
I32CONST => {
let value = i32::parse((), &module.code.bytes, &mut self.program_counter).unwrap();
if self.is_debug_mode {
write!(&mut self.debug_string, "{}", value).unwrap();
}
self.value_stack.push(Value::I32(value));
}
I64CONST => {
let value = i64::parse((), &module.code.bytes, &mut self.program_counter).unwrap();
if self.is_debug_mode {
write!(&mut self.debug_string, "{}", value).unwrap();
}
self.value_stack.push(Value::I64(value));
}
F32CONST => {
let mut bytes = [0; 4];
bytes.copy_from_slice(&module.code.bytes[self.program_counter..][..4]);
self.value_stack.push(Value::F32(f32::from_le_bytes(bytes)));
let value = f32::from_le_bytes(bytes);
if self.is_debug_mode {
write!(&mut self.debug_string, "{}", value).unwrap();
}
self.value_stack.push(Value::F32(value));
self.program_counter += 4;
}
F64CONST => {
let mut bytes = [0; 8];
bytes.copy_from_slice(&module.code.bytes[self.program_counter..][..8]);
self.value_stack.push(Value::F64(f64::from_le_bytes(bytes)));
let value = f64::from_le_bytes(bytes);
if self.is_debug_mode {
write!(&mut self.debug_string, "{}", value).unwrap();
}
self.value_stack.push(Value::F64(value));
self.program_counter += 8;
}
I32EQZ => todo!("{:?} @ {:#x}", op_code, file_offset),
@ -419,20 +447,11 @@ impl<'a> ExecutionState<'a> {
}
if self.is_debug_mode {
self.print_debug_log_line(file_offset, op_code);
let base = self.call_stack.value_stack_base();
let slice = self.value_stack.get_slice(base as usize);
eprintln!("{:#07x} {:17} {:?}", file_offset, self.debug_string, slice);
}
action
}
fn print_debug_log_line(&self, file_offset: u32, op_code: OpCode) {
let base = self.call_stack.value_stack_base();
let slice = self.value_stack.get_slice(base as usize);
eprintln!(
"{:#07x} {:17}\t{:?}",
file_offset,
format!("{:?}", op_code),
slice
);
}
}