Sketch the new frontend component translator (no inlining) producing HIR2-style IR structure#367

Draft

greenhat wants to merge 18 commits intonextfrom greenhat/sketch-hir2-frontend

+2,544-56

Commits on Jan 17, 2025

test: sketch new frontend translator (no inlining) producing HIR2

greenhat
authored and
bitwalker
committed
refactor: move module id creation out of the loop

greenhat
authored and
bitwalker
committed
feature: function signatures in the CanonLower synthetic modules (imports)

greenhat
authored and
bitwalker
committed
feature: add function signatures in the export interface

greenhat
authored and
bitwalker
committed
feature: translate Wasm component with multiple export interfaces to HIR2(sketch)

greenhat
authored and
bitwalker
committed
feature: add inner_function for synthetic lower/lift functions

greenhat
authored and
bitwalker
committed
feature: introduce hir2_sketch::World and create a component with an

greenhat
authored and
bitwalker
committed
refactor: remove InstantiatedComponent

greenhat
authored and
bitwalker
committed
refactor: store TypesRef instead of ParsedComponent in

greenhat
authored and
bitwalker
committed
refactor: remove unused code

greenhat
authored and
bitwalker
committed
refactor: use qualified Severity in unsupported_diag! macro

greenhat
authored and
bitwalker
committed
refactor: gracefully handle not supported Wasm component shapes

greenhat
authored and
bitwalker
committed
refactor: extract most LocalInitializer variant translation

greenhat
authored and
bitwalker
committed
chore: fix the build after the rebase

greenhat
authored and
bitwalker
committed
draft: start hir2 Component building

greenhat
authored and
bitwalker
committed
fix: improve location tracking of aliasing violations
bitwalker
committed
fix: restructure component builder creation to avoid aliasing violation
bitwalker
committed
fix: update expect test for hir2 integration
bitwalker
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sketch the new frontend component translator (no inlining) producing HIR2-style IR structure#367

Commits on Jan 17, 2025

test: sketch new frontend translator (no inlining) producing HIR2

refactor: move module id creation out of the loop

feature: function signatures in the `CanonLower` synthetic modules (imports)

feature: add function signatures in the export interface

feature: translate Wasm component with multiple export interfaces to HIR2(sketch)

feature: add inner_function for synthetic lower/lift functions

feature: introduce `hir2_sketch::World` and create a component with an

refactor: remove InstantiatedComponent

refactor: store `TypesRef` instead of `ParsedComponent` in

refactor: remove unused code

refactor: use qualified Severity in unsupported_diag! macro

refactor: gracefully handle not supported Wasm component shapes

refactor: extract most LocalInitializer variant translation

chore: fix the build after the rebase

draft: start hir2 Component building

fix: improve location tracking of aliasing violations

fix: restructure component builder creation to avoid aliasing violation

fix: update expect test for hir2 integration