zaphar/ucg
1
0
Fork 0
mirror of https://github.com/zaphar/ucg.git synced 2025-07-22 18:19:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

DEV: JumpIfFalse op code.

Browse Source
This commit is contained in:
Jeremy Wall 2019-07-06 17:31:08 -05:00
parent 56174cbe52
commit 3bb6f6e8eb
2 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/build/opcode/mod.rs
View File

@ -101,6 +101,7 @@ pub enum Op {
Bang,
Jump(usize),
JumpIfTrue(usize),
JumpIfFalse(usize),
// FIXME(jwall): Short circuiting operations
// - And(usize)
// - Or(usize)
@ -181,6 +182,7 @@ impl<'a> VM<'a> {
}
Op::Jump(jp) => self.op_jump(*jp)?,
Op::JumpIfTrue(jp) => self.op_jump_if_true(*jp)?,
Op::JumpIfFalse(jp) => self.op_jump_if_false(*jp)?,
Op::Module(mptr) => self.op_module(idx, *mptr)?,
Op::Func(jptr) => self.op_func(idx, *jptr)?,
Op::FCall => self.op_fcall()?,
@ -212,6 +214,15 @@ impl<'a> VM<'a> {
Ok(())
}
fn op_jump_if_false(&mut self, jp: usize) -> Result<(), Error> {
if let P(Bool(cond)) = self.pop()? {
if !cond {
self.op_jump(jp)?;
}
}
Ok(())
}
fn op_module(&mut self, idx: usize, jptr: usize) -> Result<(), Error> {
let (result_ptr, flds) = match self.pop()? {
C(Tuple(flds)) => (None, flds),

17
src/build/opcode/test.rs
View File

@ -16,7 +16,7 @@ use super::scope::Stack;
use super::Composite::{List, Tuple};
use super::Op::{
Add, Bind, Cp, DeRef, Div, Element, Equal, FCall, Field, Func, InitList, InitThunk, InitTuple,
Jump, JumpIfTrue, Module, Mul, Noop, Return, Sub, Sym, Val,
Jump, JumpIfFalse, JumpIfTrue, Module, Mul, Noop, Return, Sub, Sym, Val,
};
use super::Primitive::{Bool, Float, Int, Str};
use super::Value::{C, P, T};
@ -355,6 +355,21 @@ fn test_conditional_jump_ops() {
],
P(Int(1)),
),
(
vec![
Val(Int(1)),
Val(Int(2)),
Equal,
JumpIfFalse(2),
Val(Bool(false)),
JumpIfTrue(2),
Val(Int(1)),
Jump(1),
Val(Int(2)),
Noop,
],
P(Int(1)),
),
];
for case in cases.drain(0..) {
let mut vm = VM::new(&case.0);