At this late date most of the details have fallen out of my memory, but checking PS3 and PS4 release dates, yes, it must have been PS3. I remember now that it w

At this late date most of the details have fallen out of my memory, but checking PS3 and PS4 release dates, yes, it must have been PS3. I remember now that it was the PPC one, which also indicates the PS3. IIRC we had to change our codegen to avoid the "sets flags" versions of instructions because on that CPU they were all microcoded and took an immediate 20 cycle penalty or something...