Stream: git-wasmtime

Topic: wasmtime / issue #1111 Document that `stack_addr` needs p...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 26 2026 at 16:32):

fitzgen closed issue #1111:

Given the following CLIF:

function u0:0() -> i32 system_v {
    ss0 = explicit_slot 4

ebb0:
    v0 = stack_addr.i32 ss0
    v1 = load.i32 v0
    return v1
}

Cranelift will mistakenly think the stack_addr.i32 is illegal: VerifierError { location: inst0, message: "v0 is a real GPR value defined by a ghost instruction" }

view this post on Zulip Wasmtime GitHub notifications bot (Mar 26 2026 at 16:32):

fitzgen commented on issue #1111:

Docs now clarify that this is an "integer address type" so I think this got fixed at some point in time.

Last updated: Apr 13 2026 at 00:25 UTC