Currently VEX supports only d0..d15, which is not enough for some programs compiled for ARMv7.
Created attachment 40317 [details] Add d16..d31 to the definitions Make d16..d31 accessible. This does not fix the bug yet, but is necessary to handle operations with those registers.
This is actually a feature request.
This feature is already addressed in bug 222560 . There is a certain patch there which adds among other things support for registers d16..d31 and q0..q15. We are currently working on further development of this patch.
All the changes in this patch seem to be present.