avanhatt opened PR #6078 from iconst-imm12
to main
:
Fixes https://github.com/bytecodealliance/wasmtime/issues/5903
This fixes
imm12_from_negated_value
to correctly sign-extend narrow values before negating them asi64
values, allowing these rules to work for non-zero negativei32
andi16
.As suggested by @jameysharp in that issue, switch
imm12_from_negated_value
to be a partial term with a corresponding rule.Also updated + added to the relevant filetest.
avanhatt updated PR #6078 from iconst-imm12
to main
.
cfallin submitted PR review.
cfallin merged PR #6078.
Last updated: Dec 23 2024 at 12:05 UTC