Stream: git-wasmtime

Topic: wasmtime / issue #6581 Cranelift: Wrong result for functi...


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

afonso360 opened issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64

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

afonso360 assigned issue #6581 to fitzgen.

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

afonso360 labeled issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64

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

afonso360 labeled issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64

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

afonso360 labeled issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64

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

fitzgen closed issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64

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

fitzgen closed issue #6581:

:wave: Hey,

This is one of the issues revealed by fuzzgen with #6579 and tail calls enabled

.clif Test Case

test interpret
test run
target aarch64

function %b(f64, i128, i128, i128, i8, i8, i8, i8, i8, 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: f64, v1: i128, v2: i128, v3: i128, v4: i8, v5: i8, v6: i8, v7: i8, v8: i8, v9: i8, v10: i8, v11: i8, v12: i8, v13: i8, v14: i8, v15: i8):
    return v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4, v4
}
; run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 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

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %b(0.0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], actual: [0, 0, 0, 0, 0, 0, 0, 0, 32, 0, 64, 80, 124, 0, -72, -120]
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: AArch64


Last updated: Dec 23 2024 at 12:05 UTC