I am confused. If you can plug HDMI into your receiver, and you can plug HDMI into the TV, why not send everything through the receiver and then from the receiver out to the TV? The receiver would pass the video to the TV and yet do the audio decoding that you are looking for...

PS3 ==HDMI==> Receiver ==HDMI==> TV

Farewell - June 4, 2020