Stream: git-wasmtime

Topic: wasmtime / issue #2237 Cranelift test runner should handl...

Wasmtime GitHub notifications bot (Jul 09 2021 at 22:43):

abrown commented on issue #2237:

And there is even trouble with b8 and b1 as @afonso360 points out here:

Running `C:\Users\Afonso\CLionProjects\wasmtime\target\debug\clif-util.exe test ./test.clif` thread 'worker #0' panicked at 'argument type mismatch: b8 != b1', cranelift\filetests\src\function_runner.rs:200:13 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace FAIL ./test.clif: panicked in worker #0: argument type mismatch: b8 != b1 1 tests Error: 1 failure

Wasmtime GitHub notifications bot (Oct 01 2021 at 21:16):

akirilov-arm labeled issue #2237:

The test run directive compiles CLIF to machine code using the SingleFunctionCompiler; the trampolines created here are limited in that they only really understand how to handle small booleans: b1 and b8. They should support larger boolean types, both scalar and vector.

The underlying issue here is that Cranelift's load and store do not operate on boolean types so the trampoline must convert them from an equivalent integer type in memory to their boolean type before calling the compiled function (and vice-versa for the return).

Wasmtime GitHub notifications bot (Jun 27 2022 at 18:51):

abrown closed issue #2237:

The test run directive compiles CLIF to machine code using the SingleFunctionCompiler; the trampolines created here are limited in that they only really understand how to handle small booleans: b1 and b8. They should support larger boolean types, both scalar and vector.

The underlying issue here is that Cranelift's load and store do not operate on boolean types so the trampoline must convert them from an equivalent integer type in memory to their boolean type before calling the compiled function (and vice-versa for the return).

Last updated: Oct 23 2024 at 20:03 UTC