Skip to content

feat: enhance MLIR dialects section with WebAssembly references #122

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
gglangg wants to merge 1 commit into
base: l-monninger/mlir
Choose a base branch
from
Open

feat: enhance MLIR dialects section with WebAssembly references #122

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions MD/md-n/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,12 +44,13 @@

### D2: Provide a set of MLIR dialects which enables transformation to LLVM-IR

**User journey**: Move Developers can port Move programs to a variety of architectures by leveraging LLVM-IR's many supported backends.
**User journey**: Move Developers can port Move programs to a variety of architectures by leveraging LLVM-IR's many supported backends. Additionally, WebAssembly (Wasm) could serve as a reference for designing MLIR dialects, given its well-established approach to intermediate representation and optimization.

**Justification**: The usage of Move--inside and outside of the context of DLT--can be furthered my making the language more portable.
**Justification**: The usage of Move--inside and outside of the context of DLT--can be furthered by making the language more portable. WebAssembly, like LLVM-IR, is a widely supported intermediate representation. Its MLIR implementation could provide valuable insights into designing effective dialects for Move.

**Recommendations:**
1. Consider how optimizations under [D1.1](#d11-define-optimization-criteria-for-move-mlir-dialects) and [D1.2](#d12-provide-optimization-criteria-for-aptos-gas-algebra) do or do not still apply.
2. Consider how semantics may still be preserved, as is requested under [D1.4](#d14-define-an-mlir-legalizer-which-preserves-move-bytecode-semantics)
2. Consider how semantics may still be preserved, as is requested under [D1.4](#d14-define-an-mlir-legalizer-which-preserves-move-bytecode-semantics).
3. Explore the feasibility of referencing WebAssembly's MLIR implementation to inform the design of Move MLIR dialects.

## Changelog