anvill
anvill copied to clipboard
Q0 register support for ARMv7
The anghabench test armv7/python/success/FFmpeg/libavformat/extr_libmodplug.c_modplug_read_packet.elf/output.json
is failing due to:
Unable to decode 0th function in 'functions' list of program specification: Could not parse 3th parameter of function at address 0: Unable to locate register 'Q0' used for storing function parameter
We should support this in remill/anvill or work around it, if not needed.
To follow up with this: Adding Q0 register support is a subtask within the larger task of supporting vector, SIMD, and FP instructions in ARMv7 and Thumb2 (for both remill and anvill)
So we need to support a few more registers for that than Q0. (I can comprise a complete list a bit later).
As a workaround for now I'm allowing parsing to continue when a function spec fails to parse #294