All issues

Search results

Add unit tests for wasmstack type conversion, narrowing load/store, and constant operations

Status: Open.

#86 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Replace assertions with proper error handling in emitter and verifier

Status: Open.

#85 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Remove hardcoded memory/table index 0 in OpcodeEmitter

Status: Open.

#84 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Support call_indirect in WAMI conversion pipeline

Status: Open.

#83 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Add verifiers to WAMI operations missing validation

Status: Open.

#82 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Optimize small fixed-size allocas to use WebAssembly locals

enhancementNew feature or requestNew feature or request

Status: Open.

#81 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Support all integer extension/truncation widths in WAMIConvertArith

Status: Open.

#80 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

Support unordered float comparison predicates in WAMIConvertArith

Status: Open.

#79 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 27, 2026

[Stack Switching] Align switch/resume_throw result typing with spec

Status: Open.

#71 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 15, 2026

[Stack Switching] Support explicit e4 resume_throw form in WAMI/wasmstack pipeline

Status: Open.

#70 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 15, 2026

Implement branch result type interface for wasmstack.block and wasmstack.if

Status: Open.

#68 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 12, 2026

VerifyWasmStack should handle shadowed control labels correctly

Status: Open.

#67 In CMUAbstract/mlir-wasm-dialect;

· byeongjee opened on Feb 12, 2026