Currently the tailcall-to-loop opt happens in morph, and it creates a loop back to the first IL block. That seems wrong because other phases (like physical promotion) may have introduced IR in the init block that we'd want to execute on the backedge. We should reconsider the phase ordering here.