[TomerStarkware]

Bump workspace version to 0.9.0-rc.9 (also brings the standalone casm-data-flow crate up from rc.7).

Changes since rc.8:

• fix: emit all allocas in the init block instead of the current block (fix: emit all allocas in the init block instead of the current block #1665)
• fix(types): don't build the inner type of box, nullable and array (fix(types): don't build the inner type of box, nullable and array #1668)
• fix(types): correct Felt252DictEntry and U96LimbsLessThanGuarantee layouts, add a type layout check (fix(types): correct Felt252DictEntry and U96LimbsLessThanGuarantee layouts #1671)
• perf(const): emit constants as read-only globals (perf(const): emit constants as read-only globals #1667)
• ci: bump macOS runner to macos-15 and fail fast on LLVM install (ci: bump macOS runner to macos-15 and fail fast on LLVM install #1669)

🤖 Generated with Claude Code

[github-actions]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	8.772 ± 0.100	8.632	8.973	6.00 ± 0.09
cairo-native (embedded AOT)	1.461 ± 0.015	1.448	1.496	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.467 ± 0.008	1.457	1.481	1.00 ± 0.01

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	422.4 ± 4.9	416.2	432.2	1.00
cairo-native (embedded AOT)	1282.5 ± 8.4	1266.8	1295.2	3.04 ± 0.04
cairo-native (embedded JIT using LLVM's ORC Engine)	1300.5 ± 10.4	1284.8	1320.4	3.08 ± 0.04

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	3.866 ± 0.061	3.821	4.019	2.87 ± 0.05
cairo-native (embedded AOT)	1.346 ± 0.007	1.330	1.356	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.363 ± 0.008	1.351	1.376	1.01 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	3.810 ± 0.020	3.784	3.846	2.95 ± 0.02
cairo-native (embedded AOT)	1.291 ± 0.006	1.278	1.299	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.314 ± 0.007	1.304	1.327	1.02 ± 0.01

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	455.7 ± 11.4	449.0	487.0	1.00
cairo-native (embedded AOT)	1307.5 ± 4.7	1301.1	1313.6	2.87 ± 0.07
cairo-native (embedded JIT using LLVM's ORC Engine)	1333.0 ± 6.1	1324.1	1339.4	2.93 ± 0.07

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	388.8 ± 6.7	382.9	406.0	1.00
cairo-native (embedded AOT)	1306.5 ± 5.4	1296.2	1313.6	3.36 ± 0.06
cairo-native (embedded JIT using LLVM's ORC Engine)	1324.4 ± 6.7	1306.1	1329.9	3.41 ± 0.06

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	1.535 ± 0.030	1.487	1.589	1.00
base dict_insert.cairo (AOT)	1.547 ± 0.031	1.516	1.611	1.01 ± 0.03

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	1.933 ± 0.028	1.894	1.986	1.00
head dict_insert.cairo (AOT)	1.960 ± 0.024	1.929	2.007	1.01 ± 0.02

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	1.379 ± 0.028	1.352	1.449	1.04 ± 0.02
base dict_snapshot.cairo (AOT)	1.331 ± 0.017	1.309	1.365	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	1.775 ± 0.018	1.752	1.809	1.03 ± 0.02
head dict_snapshot.cairo (AOT)	1.732 ± 0.021	1.694	1.763	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	1.425 ± 0.031	1.391	1.483	1.02 ± 0.03
base factorial_2M.cairo (AOT)	1.391 ± 0.023	1.371	1.443	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	1.803 ± 0.011	1.788	1.828	1.00
head factorial_2M.cairo (AOT)	1.807 ± 0.025	1.772	1.850	1.00 ± 0.02

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	1.374 ± 0.022	1.339	1.412	1.01 ± 0.02
base fib_2M.cairo (AOT)	1.354 ± 0.016	1.329	1.382	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	1.742 ± 0.016	1.716	1.770	1.03 ± 0.01
head fib_2M.cairo (AOT)	1.695 ± 0.015	1.672	1.710	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	1.399 ± 0.029	1.358	1.459	1.01 ± 0.03
base linear_search.cairo (AOT)	1.387 ± 0.029	1.351	1.441	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	1.730 ± 0.025	1.696	1.793	1.01 ± 0.02
head linear_search.cairo (AOT)	1.709 ± 0.010	1.696	1.726	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	1.413 ± 0.025	1.389	1.468	1.04 ± 0.03
base logistic_map.cairo (AOT)	1.365 ± 0.030	1.315	1.412	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	1.731 ± 0.020	1.706	1.758	1.00
head logistic_map.cairo (AOT)	1.734 ± 0.021	1.698	1.779	1.00 ± 0.02