62 lines
2.0 KiB
Rust
62 lines
2.0 KiB
Rust
use dust_lang::*;
|
|
|
|
#[test]
|
|
fn r#while() {
|
|
let source = "let mut x = 0; while x < 5 { x = x + 1 } x";
|
|
|
|
assert_eq!(
|
|
compile(source),
|
|
Ok(Chunk::with_data(
|
|
None,
|
|
FunctionType {
|
|
type_parameters: None,
|
|
value_parameters: None,
|
|
return_type: Box::new(Type::Integer),
|
|
},
|
|
vec![
|
|
(
|
|
Instruction::load_constant(Destination::Register(0), 0, false),
|
|
Type::Integer,
|
|
Span(12, 13)
|
|
),
|
|
(
|
|
Instruction::define_local(0, 0, true),
|
|
Type::None,
|
|
Span(8, 9)
|
|
),
|
|
(
|
|
Instruction::less(true, Argument::Local(0), Argument::Constant(2)),
|
|
Type::None,
|
|
Span(23, 24)
|
|
),
|
|
(Instruction::jump(2, true), Type::None, Span(41, 42)),
|
|
(
|
|
Instruction::add(
|
|
Destination::Local(0),
|
|
Argument::Local(0),
|
|
Argument::Constant(3)
|
|
),
|
|
Type::Integer,
|
|
Span(35, 36)
|
|
),
|
|
(Instruction::jump(3, false), Type::None, Span(41, 42)),
|
|
(
|
|
Instruction::get_local(Destination::Register(1), 0),
|
|
Type::Integer,
|
|
Span(41, 42)
|
|
),
|
|
(Instruction::r#return(true), Type::None, Span(42, 42)),
|
|
],
|
|
vec![
|
|
ConcreteValue::Integer(0),
|
|
ConcreteValue::string("x"),
|
|
ConcreteValue::Integer(5),
|
|
ConcreteValue::Integer(1),
|
|
],
|
|
vec![Local::new(1, Type::Integer, true, Scope::default())]
|
|
)),
|
|
);
|
|
|
|
assert_eq!(run(source), Ok(Some(ConcreteValue::Integer(5))));
|
|
}
|