1
0
dust/dust-lang/tests/comparison.rs

242 lines
7.1 KiB
Rust
Raw Normal View History

2024-11-01 00:33:46 +00:00
use dust_lang::*;
#[test]
fn equal() {
let source = "1 == 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::equal(true, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
2024-11-01 00:33:46 +00:00
Span(2, 4)
),
2024-11-28 02:13:35 +00:00
(Instruction::jump(1, true), Type::None, Span(2, 4)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
Span(2, 4)
),
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
Span(2, 4)
),
(Instruction::r#return(true), Type::None, Span(6, 6)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(false))));
2024-11-01 00:33:46 +00:00
}
#[test]
fn greater() {
let source = "1 > 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::less_equal(false, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
Span(2, 3)
),
(Instruction::jump(1, true), Type::None, Span(2, 3)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
2024-11-01 00:33:46 +00:00
Span(2, 3)
),
2024-11-28 02:13:35 +00:00
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
Span(2, 3)
),
(Instruction::r#return(true), Type::None, Span(5, 5)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(false))));
2024-11-01 00:33:46 +00:00
}
#[test]
fn greater_than_or_equal() {
let source = "1 >= 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::less(false, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
Span(2, 4)
),
(Instruction::jump(1, true), Type::None, Span(2, 4)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
Span(2, 4)
),
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
2024-11-01 00:33:46 +00:00
Span(2, 4)
),
2024-11-28 02:13:35 +00:00
(Instruction::r#return(true), Type::None, Span(6, 6)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(false))));
2024-11-01 00:33:46 +00:00
}
#[test]
fn less_than() {
let source = "1 < 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::less(true, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
2024-11-01 00:33:46 +00:00
Span(2, 3)
),
2024-11-28 02:13:35 +00:00
(Instruction::jump(1, true), Type::None, Span(2, 3)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
Span(2, 3)
),
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
Span(2, 3)
),
(Instruction::r#return(true), Type::None, Span(5, 5)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(true))));
2024-11-01 00:33:46 +00:00
}
#[test]
fn less_than_or_equal() {
let source = "1 <= 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::less_equal(true, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
Span(2, 4)
),
(Instruction::jump(1, true), Type::None, Span(2, 4)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
2024-11-01 00:33:46 +00:00
Span(2, 4)
),
2024-11-28 02:13:35 +00:00
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
Span(2, 4)
),
(Instruction::r#return(true), Type::None, Span(6, 6)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(true))));
2024-11-01 00:33:46 +00:00
}
#[test]
fn not_equal() {
let source = "1 != 2";
assert_eq!(
2024-11-06 20:40:37 +00:00
compile(source),
2024-11-01 00:33:46 +00:00
Ok(Chunk::with_data(
None,
2024-11-16 10:16:51 +00:00
FunctionType {
type_parameters: None,
value_parameters: None,
return_type: Box::new(Type::Boolean)
},
2024-11-01 00:33:46 +00:00
vec![
(
Instruction::equal(false, Argument::Constant(0), Argument::Constant(1)),
2024-11-28 02:13:35 +00:00
Type::None,
Span(2, 4)
),
(Instruction::jump(1, true), Type::None, Span(2, 4)),
(
Instruction::load_boolean(0, true, true),
Type::Boolean,
Span(2, 4)
),
(
Instruction::load_boolean(0, false, false),
Type::Boolean,
2024-11-01 00:33:46 +00:00
Span(2, 4)
),
2024-11-28 02:13:35 +00:00
(Instruction::r#return(true), Type::None, Span(6, 6)),
2024-11-01 00:33:46 +00:00
],
2024-11-16 06:29:21 +00:00
vec![ConcreteValue::Integer(1), ConcreteValue::Integer(2)],
2024-11-01 00:33:46 +00:00
vec![]
)),
);
assert_eq!(run(source), Ok(Some(ConcreteValue::Boolean(true))));
2024-11-01 00:33:46 +00:00
}