Stream: git-wasmtime

Topic: wasmtime / issue #6582 Cranelift: Segmentation fault on x...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2023 at 15:42):

afonso360 opened issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2023 at 15:42):

afonso360 labeled issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2023 at 15:42):

afonso360 labeled issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2023 at 15:42):

afonso360 labeled issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2023 at 15:43):

afonso360 assigned issue #6582 to fitzgen.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 16 2023 at 01:49):

fitzgen closed issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

view this post on Zulip Wasmtime GitHub notifications bot (Jun 16 2023 at 01:49):

fitzgen closed issue #6582:

:wave: Hey,

This is one of the issues revealed by fuzzgen with https://github.com/bytecodealliance/wasmtime/pull/6579 and tail calls enabled

.clif Test Case

test interpret
test run
target x86_64

function %a(i8, i8, i8, i8, i8, i8, i8, i8) -> i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 tail {
block0(v0: i8, v1: i8, v2: i8, v3: i8, v4: i8, v5: i8, v6: i8, v7: i8):
    return v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0, v0
}

; run: %a(0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

Steps to Reproduce

Expected Results

The test to pass

Actual Results

     Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif`
Segmentation fault

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: x86_64

Last updated: Dec 23 2024 at 12:05 UTC