Stream: git-wasmtime

Topic: wasmtime / issue #7916 Cranelift: Huge stack slot results...

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 17:17):

bjorn3 added the bug label to Issue #7916.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 17:17):

bjorn3 added the cranelift label to Issue #7916.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 17:17):

bjorn3 opened issue #7916:

.clif Test Case

test compile
target x86_64

function u0:12() system_v {
    ss0 = explicit_slot 1073741824
    ss1 = explicit_slot 16
    ss2 = explicit_slot 1073741824
    ss3 = explicit_slot 16
    ss4 = explicit_slot 48

block0:
    v21 = stack_load.i8 ss3
    trap user0
}

Steps to Reproduce

Expected Results

Returns an error from compile_function.

Actual Results

Panics with Offset in NominalSPOffset is greater than 2GB; should hit impl limit first: TryFromIntError(())

Versions and Environment

Cranelift version or commit: 0.104

Operating system: N/A

Architecture: x86_64

Extra Info

Reported by @matthiaskrgr at https://github.com/rust-lang/rustc_codegen_cranelift/issues/1434

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 17:29):

bjorn3 commented on issue #7916:

It looks like the referenced impl limit only applies to arguments passed on the stack, not to local stack slots.

Last updated: Oct 23 2024 at 20:03 UTC