rhai/tests/optimizer.rs

159 lines
4.1 KiB
Rust
Raw Normal View History

#![cfg(not(feature = "no_optimize"))]
use rhai::{Engine, EvalAltResult, Module, OptimizationLevel, Scope, INT};
2021-07-01 06:27:29 +02:00
#[test]
fn test_optimizer() -> Result<(), Box<EvalAltResult>> {
let mut engine = Engine::new();
engine.set_optimization_level(OptimizationLevel::Full);
2021-07-01 06:33:16 +02:00
#[cfg(not(feature = "no_function"))]
2021-07-01 06:27:29 +02:00
assert_eq!(
engine.eval::<INT>(
"
fn foo(x) { print(x); return; }
fn foo2(x) { if x > 0 {} return; }
42
"
)?,
42
);
Ok(())
}
#[test]
2020-06-13 15:57:46 +02:00
fn test_optimizer_run() -> Result<(), Box<EvalAltResult>> {
fn run_test(engine: &mut Engine) -> Result<(), Box<EvalAltResult>> {
2021-04-20 06:01:35 +02:00
assert_eq!(engine.eval::<INT>("if true { 42 } else { 123 }")?, 42);
assert_eq!(
2021-04-20 06:01:35 +02:00
engine.eval::<INT>("if 1 == 1 || 2 > 3 { 42 } else { 123 }")?,
42
);
assert_eq!(
engine.eval::<INT>(r#"const abc = "hello"; if abc < "foo" { 42 } else { 123 }"#)?,
123
);
Ok(())
}
let mut engine = Engine::new();
engine.set_optimization_level(OptimizationLevel::None);
run_test(&mut engine)?;
engine.set_optimization_level(OptimizationLevel::Simple);
run_test(&mut engine)?;
engine.set_optimization_level(OptimizationLevel::Full);
run_test(&mut engine)?;
// Override == operator
2022-09-03 09:15:42 +02:00
engine.register_fn("==", |_x: INT, _y: INT| false);
2022-09-03 09:15:42 +02:00
engine.set_optimization_level(OptimizationLevel::Simple);
2022-09-03 09:15:42 +02:00
assert_eq!(
engine.eval::<INT>("if 1 == 1 || 2 > 3 { 42 } else { 123 }")?,
123
);
2022-09-03 09:15:42 +02:00
engine.set_optimization_level(OptimizationLevel::Full);
2022-09-03 09:15:42 +02:00
assert_eq!(
engine.eval::<INT>("if 1 == 1 || 2 > 3 { 42 } else { 123 }")?,
123
);
Ok(())
}
2020-06-13 15:57:46 +02:00
2022-07-25 07:40:23 +02:00
#[cfg(feature = "metadata")]
2021-04-06 17:28:22 +02:00
#[cfg(not(feature = "no_module"))]
#[cfg(not(feature = "no_function"))]
2021-04-22 17:02:25 +02:00
#[cfg(not(feature = "no_position"))]
2020-06-13 15:57:46 +02:00
#[test]
fn test_optimizer_parse() -> Result<(), Box<EvalAltResult>> {
let mut engine = Engine::new();
2020-06-13 15:57:46 +02:00
engine.set_optimization_level(OptimizationLevel::Simple);
let ast = engine.compile("{ const DECISION = false; if DECISION { 42 } else { 123 } }")?;
2022-07-25 07:40:23 +02:00
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [Expr(123 @ 1:53)] }"#
);
2021-03-13 16:43:05 +01:00
let ast = engine.compile("const DECISION = false; if DECISION { 42 } else { 123 }")?;
2021-04-06 17:18:41 +02:00
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [Var(("DECISION" @ 1:7, false @ 1:18, None), CONSTANT, 1:1), Expr(123 @ 1:51)] }"#
2021-04-06 17:18:41 +02:00
);
let ast = engine.compile("if 1 == 2 { 42 }")?;
2020-06-13 15:57:46 +02:00
2022-07-25 07:40:23 +02:00
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [] }"#
);
2020-06-13 15:57:46 +02:00
engine.set_optimization_level(OptimizationLevel::Full);
let ast = engine.compile("abs(-42)")?;
2020-06-13 15:57:46 +02:00
2022-07-25 07:40:23 +02:00
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [Expr(42 @ 1:1)] }"#
);
2020-06-13 15:57:46 +02:00
let ast = engine.compile("NUMBER")?;
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [Expr(Variable(NUMBER) @ 1:1)] }"#
);
let mut module = Module::new();
module.set_var("NUMBER", 42 as INT);
engine.register_global_module(module.into());
let ast = engine.compile("NUMBER")?;
2022-07-25 07:40:23 +02:00
assert_eq!(
2022-08-11 13:01:23 +02:00
format!("{ast:?}"),
2022-07-25 07:40:23 +02:00
r#"AST { source: "", doc: "", resolver: None, body: [Expr(42 @ 1:1)] }"#
);
2020-06-13 15:57:46 +02:00
Ok(())
}
2021-11-08 16:24:03 +01:00
#[cfg(not(feature = "no_function"))]
#[test]
fn test_optimizer_scope() -> Result<(), Box<EvalAltResult>> {
2021-11-08 16:24:03 +01:00
const SCRIPT: &str = "
fn foo() { FOO }
foo()
";
let engine = Engine::new();
let mut scope = Scope::new();
scope.push_constant("FOO", 42 as INT);
2021-11-08 16:24:03 +01:00
let ast = engine.compile_with_scope(&scope, SCRIPT)?;
scope.push("FOO", 123 as INT);
assert_eq!(engine.eval_ast::<INT>(&ast)?, 42);
assert_eq!(engine.eval_ast_with_scope::<INT>(&mut scope, &ast)?, 42);
2021-11-08 16:24:03 +01:00
let ast = engine.compile_with_scope(&scope, SCRIPT)?;
assert!(engine.eval_ast_with_scope::<INT>(&mut scope, &ast).is_err());
Ok(())
}