Add switchable optimization config and benchmark framework

WaferConfig: unified config controlling all optimizations individually.
ForthVM::new_with_config(config) to create VMs with custom optimization settings.
All 8 switchable optimizations: peephole, constant_fold, strength_reduce, dce,
tail_call, inline (IR passes) + stack_to_local_promotion (codegen).

Benchmark framework (crates/core/tests/benchmark_report.rs):
- 7 Forth benchmarks: Fibonacci, Factorial, SumRecurse, NestedLoops, GCD, MemFill, Collatz
- Correctness verification across all configs (runs in CI)
- Full report with 128 optimization combinations (cargo test --ignored)
- Measures execution time, compilation time, WASM module bytes
- CONSOLIDATE impact comparison

Key findings from benchmark report:
- Inlining: -77% exec time on Fibonacci, -92% on Collatz
- Stack-to-local promotion: -5.5% WASM module size
- CONSOLIDATE: -72% exec time on Fibonacci (call_indirect -> direct call)
- All optimizations combined: best overall performance

This commit is contained in:

Oleksandr Kozachuk

2026-04-02 12:24:57 +02:00

parent 759142ea75

commit dea3a32c33

6 changed files with 614 additions and 15 deletions

									
										Justfile
									
		+4
		
												View File
												
				@@ -39,6 +39,10 @@ run file:

				bench:

				    cargo bench --workspace

				# Run optimization benchmark report

				bench-opts:

				    cargo test -p wafer-core --test benchmark_report -- --nocapture --ignored

				# Check dependency licenses and advisories

				deny:

				    cargo deny check