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

cranelift: Fix fuzzgen iconst encoding #6967

Merged
merged 1 commit into from
Sep 5, 2023

Conversation

timjrd
Copy link
Contributor

@timjrd timjrd commented Sep 5, 2023

If this work has been discussed elsewhere:

#6965

Explain why this change is needed:

Since #6850, the immediate of iconst.i32 -2 is encoded in UnaryImm::imm as 0xffff_fffe, and not -2, despite being stored in a signed 64-bit integer. The fuzzing generator for iconst has not been modified accordingly and is still encoding the previous example as -2. This PR fixes that.

@timjrd timjrd requested a review from a team as a code owner September 5, 2023 22:12
@timjrd timjrd requested review from elliottt and removed request for a team September 5, 2023 22:12
Copy link
Contributor

@afonso360 afonso360 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Thanks!

@afonso360 afonso360 linked an issue Sep 5, 2023 that may be closed by this pull request
@afonso360 afonso360 enabled auto-merge September 5, 2023 22:21
@afonso360 afonso360 added this pull request to the merge queue Sep 5, 2023
Merged via the queue into bytecodealliance:main with commit 36ca00c Sep 5, 2023
eduardomourar pushed a commit to eduardomourar/wasmtime that referenced this pull request Sep 6, 2023
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.

Cranelift verifier fuzz-bug: constant immediate is out of bounds
2 participants