Stream: git-wasmtime

Topic: wasmtime / issue #5992 Cranelift: RISC-V wrong result on ...

Wasmtime GitHub notifications bot (Mar 11 2023 at 15:36):

afonso360 opened issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}

; run: %a(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

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

Caused by:
    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 15:36):

afonso360 labeled issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}

; run: %a(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

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

Caused by:
    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 15:36):

afonso360 labeled issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}

; run: %a(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

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

Caused by:
    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 15:36):

afonso360 labeled issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}

; run: %a(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

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

Caused by:
    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 17:16):

afonso360 edited issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}
; run: %a(0x1.949400p21) == -1


function %b(f32) -> i8 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i8 v0
    return v1
}
; run: %b(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
    Failed test: run: %b(0x1.949400p21) == -1, actual: -128

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 17:17):

afonso360 edited issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}
; run: %a(0x1.949400p21) == -1


function %b(f32) -> i8 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i8 v0
    return v1
}
; run: %b(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

    Failed test: run: %a(0x1.949400p21) == -1, actual: -28032
    Failed test: run: %b(0x1.949400p21) == -1, actual: -128

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Wasmtime GitHub notifications bot (Mar 11 2023 at 17:19):

afonso360 edited issue #5992:

:wave: Hey,

.clif Test Case

test interpret
test run
target riscv64gc

function %a_f32(f32) -> i16 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}
; run: %a_f32(0x1.949400p21) == -1


function %b_f32(f32) -> i8 {
block0(v0: f32):
    v1 = fcvt_to_uint_sat.i8 v0
    return v1
}
; run: %b_f32(0x1.949400p21) == -1


function %a_f64(f64) -> i16 {
block0(v0: f64):
    v1 = fcvt_to_uint_sat.i16 v0
    return v1
}
; run: %a_f64(0x1.949400p21) == -1


function %b_f64(f64) -> i8 {
block0(v0: f64):
    v1 = fcvt_to_uint_sat.i8 v0
    return v1
}
; run: %b_f64(0x1.949400p21) == -1

Steps to Reproduce

• clif-util test ./the-above.clif

Expected Results

The test to pass

Actual Results

    Failed test: run: %a_f32(0x1.949400p21) == -1, actual: -28032
    Failed test: run: %b_f32(0x1.949400p21) == -1, actual: -128
    Failed test: run: %a_f64(0x1.9494000000000p21) == -1, actual: -28032
    Failed test: run: %b_f64(0x1.9494000000000p21) == -1, actual: -128

Versions and Environment

Cranelift version or commit: main

Operating system: Linux

Architecture: riscv64

Extra Info

cc: @yuyang-ok

Last updated: Oct 23 2024 at 20:03 UTC