En la PS3 lo tienes fácil, te vas a ajustes de sonido>ajustes de salida de audio lo pones por HDMI todo y le das a siguiente que te seleccione los tipos de decodificación de sonido que es capaz de sacar la consola, cuándo tengas los que acepta el AVR seleccionados, le das a finalizar y ya lo tendrás.

Si es la PS3 FAT decodifica internamente y lo envía por PCM al Pioneer, en cambio en la PS3 Slim puedes decirle tanto que la salida la tenga en cuenta como Directa (Bitstream) o PCM Lineal (que lo haga la consola la decodificación del sonido).

Te dejo esto por si acaso: PS3™ | Ajustes de salida de audio