From the OMAP spec sheets it was iirc theoretically possible to decode HD video, but it really depends on the codec running on the IVA+ (aka DSP+associated coprocessors).

I'd not worry too much about the DSP speed until you've benchmarked the existing codec (assuming there is one that can decode HD video, I've never tried) and instead get your DSP coding hat on