wasmtime / issue #5884 Cranelift: Wrong result for `atomi... · git-wasmtime

Stream: git-wasmtime

Topic: wasmtime / issue #5884 Cranelift: Wrong result for `atomi...

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

afonso360 opened issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

afonso360 labeled issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

afonso360 labeled issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

afonso360 labeled issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:26):

afonso360 edited issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 06 2023 at 12:01):

afonso360 closed issue #5884:

:wave: Hey,

Fuzzgen found this today.

`.clif` Test Case

test interpret
test run
target riscv64gc

function %a(i64, i16) -> i16 {
    ss0 = explicit_slot 8

block0(v0: i64, v1: i16):
    stack_store.i64 v0, ss0

    v2 = stack_addr.i64 ss0+6
    v3 = atomic_rmw.i16 or v2, v1
    return v3
}

; run: %a(8608481011852310776, 0) == 30583

Steps to Reproduce

clif-util test ./the-above.clif

Expected Results

The test to pass.

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `/home/afonso/git/qemu/qemu-7.2.0/build/qemu-riscv64 -cpu any,zba=true,zbb=true,zbc=true,zbs=true,zbkb=true,zbkc=true,zbkx=true,zknd=true,zkne=true,zknh=true,zksed=true,zksh=true,zkr=true -L /usr/riscv64-linux-gnu -E LD_LIBRARY_PATH=/usr/riscv64-linux-gnu/lib /home/afonso/git/wasmtime/target/riscv64gc-unknown-linux-gnu/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(8608481011852310776, 0) == 30583, actual: 30686
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: RISCV

cc: @yuyang-ok

Last updated: Dec 23 2024 at 12:05 UTC

Stream: git-wasmtime

Topic: wasmtime / issue #5884 Cranelift: Wrong result for `atomi...

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:21):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Wasmtime GitHub notifications bot (Feb 25 2023 at 18:26):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Wasmtime GitHub notifications bot (Mar 06 2023 at 12:01):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case