Stream: git-wasmtime

Topic: wasmtime / issue #4705 Cranelift: Wrong result for `icmp....

view this post on Zulip Wasmtime GitHub notifications bot (Aug 13 2022 at 09:35):

afonso360 opened issue #4705:

:wave: Hey,

We found this issue as part of a libcore test in cg_clif. (see: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1256).

.clif Test Case

test run
target aarch64

function %numcore(i128) -> b1 {
block0(v0: i128):
    v1 = iconst.i128 0
    v2 = icmp eq v0, v1
    return v2
}
; run: %numcore(36893488147419103231) == false

Steps to Reproduce

Expected Results

The test to pass

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/ubuntu/git/wasmtime/target/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %numcore(36893488147419103231) == false, actual: true
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 (Aug 13 2022 at 09:35):

afonso360 labeled issue #4705:

:wave: Hey,

We found this issue as part of a libcore test in cg_clif. (see: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1256).

.clif Test Case

test run
target aarch64

function %numcore(i128) -> b1 {
block0(v0: i128):
    v1 = iconst.i128 0
    v2 = icmp eq v0, v1
    return v2
}
; run: %numcore(36893488147419103231) == false

Steps to Reproduce

Expected Results

The test to pass

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/ubuntu/git/wasmtime/target/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %numcore(36893488147419103231) == false, actual: true
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 (Aug 13 2022 at 09:35):

afonso360 labeled issue #4705:

:wave: Hey,

We found this issue as part of a libcore test in cg_clif. (see: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1256).

.clif Test Case

test run
target aarch64

function %numcore(i128) -> b1 {
block0(v0: i128):
    v1 = iconst.i128 0
    v2 = icmp eq v0, v1
    return v2
}
; run: %numcore(36893488147419103231) == false

Steps to Reproduce

Expected Results

The test to pass

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/ubuntu/git/wasmtime/target/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %numcore(36893488147419103231) == false, actual: true
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 (Aug 13 2022 at 09:36):

afonso360 edited issue #4705:

:wave: Hey,

We found this issue as part of a libcore test in cg_clif. (see: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1256).

.clif Test Case

test run
target aarch64

function %numcore(i128) -> b1 {
block0(v0: i128):
    v1 = iconst.i128 0
    v2 = icmp eq v0, v1
    return v2
}
; run: %numcore(36893488147419103231) == false

Steps to Reproduce

Expected Results

The test to pass

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/ubuntu/git/wasmtime/target/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %numcore(36893488147419103231) == false, actual: true
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: linux
Architecture: aarch64

cc: @akirilov-arm

view this post on Zulip Wasmtime GitHub notifications bot (Aug 15 2022 at 18:11):

cfallin closed issue #4705:

:wave: Hey,

We found this issue as part of a libcore test in cg_clif. (see: https://github.com/bjorn3/rustc_codegen_cranelift/issues/1256).

.clif Test Case

test run
target aarch64

function %numcore(i128) -> b1 {
block0(v0: i128):
    v1 = iconst.i128 0
    v2 = icmp eq v0, v1
    return v2
}
; run: %numcore(36893488147419103231) == false

Steps to Reproduce

Expected Results

The test to pass

Actual Results

    Finished dev [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/ubuntu/git/wasmtime/target/debug/clif-util test ./lmao.clif`
 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %numcore(36893488147419103231) == false, actual: true
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: linux
Architecture: aarch64

cc: @akirilov-arm

Last updated: Oct 23 2024 at 20:03 UTC