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

handle Type_Register in redundant slices. #42

Merged
merged 2 commits into from
Feb 15, 2024

Conversation

katrinafyi
Copy link
Member

sp is given a "register" type and this wasn't handled by the redundant slice elimination which considered arrays and bitvectors.

$ echo ':sem A64 0xd10083ff' | dune exec asli                                                                                                                                                                                                         
Decoding instruction A64 d10083ff     
SP_EL0 = add_bits.0 {{ 64 }} ( add_bits.0 {{ 64 }} ( SP_EL0,'1111111111111111111111111111111111111111111111111111111111011111' ),'0000000000000000000000000000000000000000000000000000000000000001' ) ;

fixes #41.

this should avoid pessimising the main sequence of transformations.
it is still run with this information near the end.
@katrinafyi katrinafyi enabled auto-merge February 15, 2024 07:08
@katrinafyi katrinafyi merged commit 51d0561 into partial_eval Feb 15, 2024
1 check passed
@katrinafyi katrinafyi deleted the redundant-slice-of-reg branch February 15, 2024 07:40
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

Successfully merging this pull request may close these issues.

Stack pointer inside unnecessary slices
1 participant