better info

This commit is contained in:
nora 2021-09-18 20:37:52 +02:00
parent 7506fc7478
commit 64baa7a749
4 changed files with 65 additions and 45 deletions

View file

@ -14,22 +14,24 @@ enum VmState {
Run, Run,
Break, Break,
Stop, Stop,
OutOfBounds,
} }
impl Vm { impl Vm {
fn step(&mut self) -> VmState { fn step(&mut self) -> VmState {
let pc = self.pc; let pc = self.pc;
self.pc += 1; self.pc += 1;
match self.stmts[pc] { match self.stmts.get(pc).cloned() {
Stmt::Inc(r) => self.registers[r] += 1, Some(Stmt::Inc(r)) => self.registers[r] += 1,
Stmt::Dec(r) => self.registers[r] -= 1, Some(Stmt::Dec(r)) => self.registers[r] -= 1,
Stmt::IsZero(r, line) => { Some(Stmt::IsZero(r, line)) => {
if self.registers[r] == 0 { if self.registers[r] == 0 {
self.pc = line - 1; self.pc = line - 1;
} }
} }
Stmt::Jump(line) => self.pc = line - 1, Some(Stmt::Jump(line)) => self.pc = line - 1,
Stmt::Stop => return VmState::Stop, Some(Stmt::Stop) => return VmState::Stop,
None => return VmState::OutOfBounds,
} }
if self.breakpoints.contains(&self.pc) { if self.breakpoints.contains(&self.pc) {
VmState::Break VmState::Break
@ -40,9 +42,8 @@ impl Vm {
fn run(&mut self) -> VmState { fn run(&mut self) -> VmState {
loop { loop {
match self.step() { if let state @ (VmState::Break | VmState::Stop | VmState::OutOfBounds) = self.step() {
state @ (VmState::Break | VmState::Stop) => return state, return state;
_ => {}
} }
} }
} }
@ -66,16 +67,23 @@ pub fn run(stmts: Vec<Stmt>) {
}; };
loop { loop {
match debug_input(&mut vm) { match debug_input(&vm) {
VmInstruction::Run => match vm.run() { VmInstruction::Run => match vm.run() {
VmState::Stop => break, VmState::Stop => break,
VmState::OutOfBounds => {
print_program(&vm);
print_registers(&vm);
eprintln!("error: Program ran out of bounds.");
return;
}
VmState::Run => unreachable!(), VmState::Run => unreachable!(),
_ => {} _ => {}
}, },
VmInstruction::Step => match vm.step() { VmInstruction::Step => {
VmState::Stop => break, if let VmState::Stop = vm.step() {
_ => {} break;
}, }
}
VmInstruction::Break(line) => { VmInstruction::Break(line) => {
let position = vm.breakpoints.iter().position(|point| *point == line); let position = vm.breakpoints.iter().position(|point| *point == line);
match position { match position {
@ -92,14 +100,10 @@ pub fn run(stmts: Vec<Stmt>) {
fn debug_input(vm: &Vm) -> VmInstruction { fn debug_input(vm: &Vm) -> VmInstruction {
loop { loop {
let mut input_buf = String::new(); let input = get_input();
print!("(m8db) ");
std::io::stdout().flush().unwrap();
std::io::stdin().read_line(&mut input_buf).unwrap();
let input = input_buf.trim();
let mut iter = input.split_ascii_whitespace(); let mut iter = input.split_ascii_whitespace();
match iter.next() { if let Some(str) = iter.next() {
Some(str) => match str { match str {
"r" | "register" => print_registers(vm), "r" | "register" => print_registers(vm),
"p" | "program" => print_program(vm), "p" | "program" => print_program(vm),
"h" | "?" | "help" => print_help(), "h" | "?" | "help" => print_help(),
@ -117,8 +121,7 @@ fn debug_input(vm: &Vm) -> VmInstruction {
"c" | "continue" => return VmInstruction::Run, "c" | "continue" => return VmInstruction::Run,
"s" | "step" => return VmInstruction::Step, "s" | "step" => return VmInstruction::Step,
_ => {} _ => {}
}, }
None => {}
} }
} }
} }
@ -195,3 +198,11 @@ fn print_help() {
" "
); );
} }
fn get_input() -> String {
let mut input_buf = String::new();
print!("(m8db) ");
std::io::stdout().flush().unwrap();
std::io::stdin().read_line(&mut input_buf).unwrap();
input_buf.trim().to_owned()
}

View file

@ -2,7 +2,7 @@ mod db;
mod stmt; mod stmt;
fn main() { fn main() {
let filename = match std::env::args().skip(1).next() { let filename = match std::env::args().nth(1) {
Some(name) => name, Some(name) => name,
None => { None => {
eprintln!("error: no file provided.\nUsage: <filename>"); eprintln!("error: no file provided.\nUsage: <filename>");

View file

@ -11,54 +11,57 @@ pub enum Stmt {
} }
pub fn parse(text: &str) -> Result<Vec<Stmt>, String> { pub fn parse(text: &str) -> Result<Vec<Stmt>, String> {
text.lines().map(parse_line).collect() text.lines()
.filter(|line| line.split_whitespace().next().is_some())
.map(parse_line)
.collect()
} }
fn parse_line(line: &str) -> Result<Stmt, String> { fn parse_line(line: &str) -> Result<Stmt, String> {
const NO_REGISTER: fn() -> String = || "No register".to_string(); let no_register = || "No register".to_string();
const NO_LINE_NUMBER: fn() -> String = || "No line number".to_string(); let no_line_number = || "No line number".to_string();
const EMPTY_LINE: fn() -> String = || "Empty line not allowed".to_string(); let empty_line = || "Empty line not allowed".to_string();
const DISPLAY_ERR: fn(ParseIntError) -> String = |parse_err| parse_err.to_string(); let display_err = |parse_err: ParseIntError| parse_err.to_string();
let mut iter = line.split_ascii_whitespace(); let mut iter = line.split_ascii_whitespace();
let first = iter.next().ok_or_else(EMPTY_LINE)?; let first = iter.next().ok_or_else(empty_line)?;
Ok(match first { Ok(match first {
"INC" => { "INC" => {
let register = iter let register = iter
.next() .next()
.ok_or_else(NO_REGISTER)? .ok_or_else(no_register)?
.parse() .parse()
.map_err(DISPLAY_ERR)?; .map_err(display_err)?;
Stmt::Inc(register) Stmt::Inc(register)
} }
"DEC" => { "DEC" => {
let register = iter let register = iter
.next() .next()
.ok_or_else(NO_REGISTER)? .ok_or_else(no_register)?
.parse() .parse()
.map_err(DISPLAY_ERR)?; .map_err(display_err)?;
Stmt::Dec(register) Stmt::Dec(register)
} }
"IS_ZERO" => { "IS_ZERO" => {
let register = iter let register = iter
.next() .next()
.ok_or_else(NO_REGISTER)? .ok_or_else(no_register)?
.parse() .parse()
.map_err(DISPLAY_ERR)?; .map_err(display_err)?;
let line_number = iter let line_number = iter
.next() .next()
.ok_or_else(NO_LINE_NUMBER)? .ok_or_else(no_line_number)?
.parse() .parse()
.map_err(DISPLAY_ERR)?; .map_err(display_err)?;
Stmt::IsZero(register, line_number) Stmt::IsZero(register, line_number)
} }
"JUMP" => { "JUMP" => {
let line_number = iter let line_number = iter
.next() .next()
.ok_or_else(NO_LINE_NUMBER)? .ok_or_else(no_line_number)?
.parse() .parse()
.map_err(DISPLAY_ERR)?; .map_err(display_err)?;
Stmt::Jump(line_number) Stmt::Jump(line_number)
} }
"STOP" => Stmt::Stop, "STOP" => Stmt::Stop,

16
test.m8
View file

@ -1,5 +1,11 @@
IS_ZERO 1 5 INC 1
INC 3 INC 1
DEC 1 INC 1
JUMP 1 INC 1
STOP INC 1
INC 1
INC 1
INC 1
INC 1
INC 1
INC 1