Implement PPC counter loops as a late IR-level pass