Stream: git-cranelift

Topic: cranelift / Issue #939 Document that `stack_addr` needs p...

view this post on Zulip GitHub (Feb 28 2020 at 23:26):

alexcrichton transferred Issue #939:

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" }

Last updated: Dec 23 2024 at 14:03 UTC