feat: aot lightweight e1 rv32 mul, mulh, jalr

[Maillew]

Closes INT-5263, INT-5262

[codspeed-hq]

CodSpeed Performance Report

Merging #2189 will degrade performances by 81.08%

_{Comparing feat/aot-lightweight-E1-rv32-mul (2b13a9a) with main (c2e376e)¹}

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

⚡ 7 improvements
❌ 10 regressions
✅ 1 untouched
⏩ 42 skipped²

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Mode	Benchmark	BASE	HEAD	Change
⚡	WallTime	benchmark_execute[bubblesort]	27.4 ms	8.1 ms	×3.4
⚡	WallTime	benchmark_execute[fibonacci_iterative]	31.4 ms	10.1 ms	×3.1
⚡	WallTime	benchmark_execute[fibonacci_recursive]	45.1 ms	12.1 ms	×3.7
⚡	WallTime	benchmark_execute[keccak256]	33 ms	9.7 ms	×3.4
⚡	WallTime	benchmark_execute[quicksort]	32 ms	9.7 ms	×3.3
❌	WallTime	benchmark_execute[revm_snailtracer]	16.1 ms	20.9 ms	-22.75%
⚡	WallTime	benchmark_execute[revm_transfer]	43.1 ms	26.5 ms	+62.54%
⚡	WallTime	benchmark_execute[sha256]	31.1 ms	8.1 ms	×3.8
❌	WallTime	benchmark_execute_metered[bubblesort]	53 ms	279.9 ms	-81.08%
❌	WallTime	benchmark_execute_metered[fibonacci_iterative]	72.5 ms	335.6 ms	-78.39%
❌	WallTime	benchmark_execute_metered[fibonacci_recursive]	101.4 ms	456.8 ms	-77.8%
❌	WallTime	benchmark_execute_metered[keccak256]	68.9 ms	303.3 ms	-77.28%
❌	WallTime	benchmark_execute_metered[pairing]	156.1 ms	247 ms	-36.82%
❌	WallTime	benchmark_execute_metered[quicksort]	60.3 ms	318.7 ms	-81.08%
❌	WallTime	benchmark_execute_metered[revm_snailtracer]	17.1 ms	20.1 ms	-15.1%
❌	WallTime	benchmark_execute_metered[revm_transfer]	64.1 ms	199 ms	-67.76%
❌	WallTime	benchmark_execute_metered[sha256]	67.1 ms	301.9 ms	-77.76%

Footnotes

1. No successful run was found on feat/aot (8256d66) during the generation of this report, so main (c2e376e) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 42 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[nyunyunyunyu]

Why is this needed? This will only cause more conlicts

[Maillew]

Was originally needed for some of my tests, but I removed now that ALU is merged in. All other comments addressed as well: 62ab115

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	238	322,610	2,058,654	-	-	-
fibonacci	986	1,500,209	2,100,402	-	-	-
regex	2,319	4,137,502	17,695,216	-	-	-
ecrecover	735	122,859	2,263,820	-	-	-
pairing	1,413	1,745,742	25,468,210	-	-	-

Commit: 2b13a9a

Benchmark Workflow