After we've modified the prolog to save volatile registers, generate the compact