This crate provides a library for converting a Wasm module or component to Miden HIR.
- All floating point types and instructions;
V128
type and instructions;
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.
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.
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.