Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Q0 register support for ARMv7 #276

Open
artemdinaburg opened this issue Jan 6, 2022 · 3 comments
Open

Q0 register support for ARMv7 #276

artemdinaburg opened this issue Jan 6, 2022 · 3 comments
Assignees

Comments

@artemdinaburg
Copy link
Contributor

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.

@sschriner
Copy link
Contributor

sschriner commented Jan 7, 2022

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)

@sschriner
Copy link
Contributor

So we need to support a few more registers for that than Q0. (I can comprise a complete list a bit later).

@sschriner sschriner self-assigned this Jan 17, 2022
@2over12
Copy link
Collaborator

2over12 commented Mar 23, 2022

As a workaround for now I'm allowing parsing to continue when a function spec fails to parse #294

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants