Stream: git-wasmtime

Topic: wasmtime / PR #6078 Cranelift: ISLE: aarch64: fix `imm12_...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 21 2023 at 15:49):

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 as i64 values, allowing these rules to work for non-zero negative i32 and i16.

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.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 21 2023 at 15:53):

avanhatt updated PR #6078 from iconst-imm12 to main.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 21 2023 at 19:16):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 21 2023 at 19:48):

cfallin merged PR #6078.

Last updated: Oct 23 2024 at 20:03 UTC