afonso360 opened issue #5916:
:wave: Hey,
.clif
Test Casetest interpret test run target x86_64 function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 labeled issue #5916:
:wave: Hey,
.clif
Test Casetest interpret test run target x86_64 function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 labeled issue #5916:
:wave: Hey,
.clif
Test Casetest interpret test run target x86_64 function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 labeled issue #5916:
:wave: Hey,
.clif
Test Casetest interpret test run target x86_64 function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 labeled issue #5916:
:wave: Hey,
.clif
Test Casetest interpret test run target x86_64 function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 edited issue #5916:
:wave: Hey,
.clif
Test Casetest interpret function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 0
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
afonso360 edited issue #5916:
:wave: Hey,
.clif
Test Casetest interpret function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
ms140569 commented on issue #5916:
I like to take a look into it. Should I claim this somewhere/somehow?
afonso360 commented on issue #5916:
Awesome! I think that comment is probably enough. Let me know if you run into any issues!
ms140569 commented on issue #5916:
I could reproduce this bug on aarch64 (apple) interpreter as well. The compiler for both linux x86_64 and aarch64 works just fine. I've doublechecked with this:
test compile function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0x00000000000000000000000000000000) == 0 ; run: %a(0xffffffffffffffffffffffffffffff00) == 0 ; run: %a(0x00ffffffffffffffffffffffffffffff) == 0 ; run: %a(0xffffffffffffff00ffffffffffffffff) == 0 ; run: %a(0x01010101010101010101010101010101) == 1 ; run: %a(0xffffffffffffffffffffffffffffffff) == 1 ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1 ; Kick this file off: ; target/debug/clif-util run ~/prj/wasm/bug/vall-true-5916-compiler.clif ; The definition of vall_true: ; from: cranelift/codegen/meta/src/shared/instructions.rs ; ; "Reduce a vector to a scalar boolean. ; Return a scalar boolean true if all lanes in ``i`` are non-zero, false otherwise."
The problem seems to be the AND operation in the interpreter here:
I'll try to come up with a (performant) fix.
afonso360 closed issue #5916:
:wave: Hey,
.clif
Test Casetest interpret function %a(i8x16) -> i8 { block0(v0: i8x16): v20 = vall_true v0 return v20 } ; run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1
Steps to Reproduce
cd cranelift
cargo run -- test ./the-above.clif
Expected Results
The test to pass
Actual Results
Running `/home/afonso/git/wasmtime/target/debug/clif-util test ./lmao.clif` ERROR cranelift_filetests::concurrent > FAIL: interpret FAIL ./lmao.clif: interpret Caused by: Failed test: run: %a(0xe66021830506f2fffdfebfc8c8c8c8c8) == 1, actual: 0 1 tests Error: 1 failure
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: Interpreter (x86_64 host)
Extra Info
If anyone needs help looking into this, let me know!
Last updated: Dec 23 2024 at 12:05 UTC