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

DOIT: update is_doit_asm_op in x86_arch_full.ml: IMUL* to true. #927

Merged
merged 2 commits into from
Oct 14, 2024

Conversation

tfaoliveira
Copy link
Member

This PR updates file x86_arch_full.ml:

    | IMULr _ -> false (* Not DOIT *)
    | IMULri _ -> false (* Not DOIT *)

to

    | IMULr _ -> true
    | IMULri _ -> true

As @vbgl noticed, IMULr and IMULri are DOIT after I had an issue with a Poly1305 implementation.

Is it worth to define a test for this change? I couldn't find related tests.

@tfaoliveira tfaoliveira requested review from vbgl and sarranz October 14, 2024 13:17
@vbgl vbgl self-assigned this Oct 14, 2024
@vbgl vbgl added this to the 2024.07.2 milestone Oct 14, 2024
@vbgl vbgl marked this pull request as ready for review October 14, 2024 13:59
@vbgl vbgl merged commit 7d3697a into jasmin-lang:main Oct 14, 2024
1 check passed
vbgl pushed a commit that referenced this pull request Oct 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants