afonso360 labeled issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 opened issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 labeled issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 edited issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 edited issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64Additional Information
Disassembly:
Disassembly of 28 bytes: 0: 63 46 c6 00 blt a2, a2, 0xc 4: 63 18 c6 00 bne a2, a2, 0x10 8: 63 f6 b5 00 bgeu a1, a1, 0xc c: 13 e5 05 00 ori a0, a1, 0 10: 6f 00 80 00 j 8 14: 13 e5 05 00 ori a0, a1, 0 18: 67 80 00 00 ret
elliottt labeled issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64Additional Information
Disassembly:
Disassembly of 28 bytes: 0: 63 46 c6 00 blt a2, a2, 0xc 4: 63 18 c6 00 bne a2, a2, 0x10 8: 63 f6 b5 00 bgeu a1, a1, 0xc c: 13 e5 05 00 ori a0, a1, 0 10: 6f 00 80 00 j 8 14: 13 e5 05 00 ori a0, a1, 0 18: 67 80 00 00 ret
yuyang-ok commented on issue #5497:
Sorry, I am getting covid-19 those days,I think I will try to fix this issue recently.
cfallin commented on issue #5497:
@yuyang-ok we hope you feel better soon; there's no rush or pressure on these issues!
yuyang-ok commented on issue #5497:
ok.
yuyang-ok edited a comment on issue #5497:
@cfallin ok.
cfallin closed issue #5497:
:wave: Hey,
smin
here returns the wrong result, but removing thev0
argument makes the test pass.
.clif
Test CaseThis fails:
test interpret test run target riscv64 function %a(i16, i128) -> i128 system_v { block0(v0: i16, v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(0, 1) == 1
This passes:
test interpret test run target riscv64 function %a(i128) -> i128 system_v { block0(v1: i128): v2 = smin v1, v1 return v2 } ; run: %a(1) == 1
Steps to Reproduce
clif-util test ./the-above.clif
Expected Results
Both tests to pass
Actual Results
Running `qemu-riscv64 -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(0, 1) == 1, actual: 18446744073709551617 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64Additional Information
Disassembly:
Disassembly of 28 bytes: 0: 63 46 c6 00 blt a2, a2, 0xc 4: 63 18 c6 00 bne a2, a2, 0x10 8: 63 f6 b5 00 bgeu a1, a1, 0xc c: 13 e5 05 00 ori a0, a1, 0 10: 6f 00 80 00 j 8 14: 13 e5 05 00 ori a0, a1, 0 18: 67 80 00 00 ret
Last updated: Dec 23 2024 at 12:05 UTC