Stream: git-wasmtime

Topic: wasmtime / PR #12796 [Cranelift] resolve #12790, fix arit...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 02:19):

myunbin opened PR #12796 from myunbin:resolve-issue-12790 to bytecodealliance:main:

This PR resolves #12790.

Original crash came from a rewrite introducing iconst_s ty -1(5th of #12743) for a type that could be wider than 64 bits:

(~x) + x ==> -1

I changed the rewrite so that 64-bit and 128-bit integer cases are handled separately, and the original unimplemented for > 64 bits error no longer occurs.

I also found a couple of follow-up errors after the fix, and they turned out not to be issues.

cc @bongjunj

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 02:19):

myunbin requested wasmtime-compiler-reviewers for a review on PR #12796.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 02:19):

myunbin requested alexcrichton for a review on PR #12796.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 04:03):

myunbin updated PR #12796.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 04:35):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 04:35):

alexcrichton added PR #12796 [Cranelift] resolve #12790, fix arithmetic rewrite for wider integers to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 04:59):

alexcrichton merged PR #12796.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2026 at 04:59):

alexcrichton removed PR #12796 [Cranelift] resolve #12790, fix arithmetic rewrite for wider integers from the merge queue.

Last updated: Mar 23 2026 at 16:19 UTC