Wasm frontend

This crate provides a library for converting a Wasm module or component to Miden HIR.

Unsupported Wasm Spec v1 types and instructions

• All floating point types and instructions;
• V128 type and instructions;

Wasm module translation limitations

The following features are not yet supported due to not being found in Wasm binaries generated by the Rust compiler:

• Imported global variables;
• Passive data segments in data section spec;

There is no reason why these features cannot be supported, and they will be added in the future.

Wasm component translation limitations

Multiple core module instances are not yet supported

In terms of the Wasm component model(CM), a core module instance is a core module with fulfilled imports. The IR Module is a core module instance counterpart since the imports are provided as MAST root hashes at translation. It seems that in practice this isn't likely to come up for code compiled together as a unit, however it can happen when tools produce components from a set of core Wasm modules, or that modify an existing component to "link" multiple core Wasm modules together. As soon as we hit this limitation in the translated code, we will add support for it.

Component start section is not supported

The start section is a section that specifies a function to be invoked when the module is instantiated. It is not supported because it is not found in Wasm binaries generated by the Rust compiler. It will be added in the future.