Skip to content

Conversation

@ghost
Copy link

@ghost ghost 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.

Resolves #6965
Linked to #3059 #6850 #6958

Co-authored-by: Afonso Bordado <afonso360@users.noreply.github.com>
@ghost ghost self-requested a review as a code owner September 5, 2023 22:12
@ghost ghost 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