Convert, where needed, the ARM cmp to a PPC cmpi.