correctly revert to PPC with register renaming