Rebase on upstream Wasm dialect #65
Description
Since the Wasm dialect has now been merged into the main MLIR repository (llvm/llvm-project#149233), we plan to rebase our implementation to align with that upstream version.
The upstream dialect primarily targets Wasm-to-machine code generation, focusing on representing low-level WebAssembly semantics suitable for backend lowering.
In contrast, our dialect was designed to explore a high-level compilation pipeline, supporting source languages that compile to WebAssembly and preserving higher-level constructs such as structured control flow, rich type information, and language-specific abstractions.
After the rebase, we intend to:
- Integrate compatible parts from the upstream dialect.
- Retain and extend high-level operations and types useful for frontend-oriented compilation.
- Experiment with analysis and optimization passes that operate before lowering to standard Wasm instructions.
This direction will allow MLIR to serve both frontend-to-Wasm and Wasm-to-machine use cases under a unified infrastructure.