Stream: git-wasmtime

Topic: wasmtime / Issue #1135 Verify immediate and value types a...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 03 2021 at 18:21):

bjorn3 commented on Issue #1135:

The new backend framework doesn't use legalizations as much as the old backend framework anymore.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 03 2021 at 18:29):

abrown closed Issue #1135:

In bytecodealliance/cranelift#1012 I noticed that that when we bind a type or immediate to an instruction (e.g. .bind(I32)), we don't verify that they are valid. I believe this happens at some later time but it would be more comprehensible to the user if the error was thrown closer to where they wrote the bind code.

Secondly, I did not see that the order of value types and immediates is checked, so the bind calls could be mixed in some nonsensical order (to the user) that ends up working correctly during codegen. This could be fixed by storing all of the bound parameters together in a single vector instead of separate vectors for value types and immediates.


Last updated: Dec 23 2024 at 12:05 UTC