PPC rotate instructions don't have unmodeled side effcts