Created by: ggeorgakoudis
- Change ARM table for vadd.f32 to use the correct decoding format for the second source register of single precision floating point operations. Specifically use WCd format instead of the VCd, which was wrong.
Created by: ggeorgakoudis