Thumb2 encodings of NEON and VFPv3 instructions are not systematically tested. We should add tests that cover these encodings.