This change mostly automated by 12012b07a2 with some manual fixes.
12012b07a2
These benchmarks take the output of AoT and manually tweaks it to explore possible future changes to the compiler to produce this output directly.