wasm-dis should run validation

未关闭

#3,545 创建于 2021年2月4日 9 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 5/5
预计耗时: 一周以上
新手友好度: 32/100

Issue 类型: 功能
描述清晰度: 基本清楚
活跃度: 停滞
技术栈: wasm
领域: cli, compilers, tooling

调研方向

先阅读 .from-wast 和 .fromBinary 的测试如何生成并验证输出，然后检查 wasm-dis 和 wasm-as 的入口点。比较两种拟议的方法：为 wasm-dis 添加 feature 选项，或由 wasm-as 和 wasm-split 发出 feature-section。完成的标准是 .fromBinary 的输出使用预期的 features，且受影响的测试通过。

由索引模型根据 Issue 内容生成。

描述

We recently allowed printing expression contents with respect to features in the Print pass (#3537) and we needed that as part of enabling multi-table modules in the Binaryen IR (#3517). But after I updated the tests, I noticed there's a difference between .from-wast and .fromBinary test files, in that .from-wast files were generated correctly with the correct features, but .fromBinary files were always generated with all features disabled.

Now, for .fromBinary tests we use wasm-as to compile a .wasm binary, and then use wasm-dis to check the text output. But since wasm-dis does not have the feature options, the only way it can print with features is if the module has a features section, wasm-as does not have an option to emit.

Two solutions are possible in my view:

Add feature options to wasm-dis, so we have the flexibility to print with the desired features.
Allow tools like wasm-as and wasm-split to emit a features section, so the features are read and applied while parsing the binary in wasm-dis.

主要语言: WebAssembly
星标: 8.6k
派生: 885
平均合并: 2 天 4 小时
30 天内合并 PR: 77

贡献指南

打开贡献指南

从这里开始

先读完整个 Issue，再读项目的贡献指南。
在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
Fork 仓库，在一个分支上完成修改。
提交 Pull Request，并在描述里引用这个 Issue 编号。

WebAssembly/binaryen 的其他 Issue

Remove unnecessary null pointer checks 未关闭

难度 1/5 1 小时以内新手友好度 88/100

WebAssembly/binaryen#9135 · 1 条评论 · 2026年9月22日创建
Most lit/help tests fail with new python-filecheck 未关闭

难度 2/5 半天新手友好度 76/100

WebAssembly/binaryen#9018 · 3 条评论 · 2026年8月19日创建
Exact Type Precision vs Optimization Cost 未关闭

难度 5/5 一周以上新手友好度 25/100

WebAssembly/binaryen#9133 · 2026年9月22日创建
Complete the ChildTyper migration of validator child-type checks 未关闭

难度 4/5 3-5 天新手友好度 52/100

WebAssembly/binaryen#9123 · 2026年9月20日创建
ChildTyper constraints drop sharedness, blocking validator migration 未关闭

难度 5/5 一周以上新手友好度 35/100

WebAssembly/binaryen#9122 · 2026年9月20日创建

查看 WebAssembly/binaryen 的全部 Issue

相似的 Issue

validate-structure inspecte challenge/work/.terraform et rend faux les labs qui ont un provider en cache 未关闭

bug

难度 2/5 1-3 小时新手友好度 75/100

stephrobert/dsoxlab#238 · 2026年9月24日创建
package_cleanup: incompatible-package dialog shows a set repr; failed migration logs traceback without the error message 未关闭

难度 2/5 1-3 小时新手友好度 75/100

sublimehq/package_control#1779 · 2026年9月24日创建
Set 'Sample' input in 'autorun.py' to utilize 'Sample' Tab in eLog 未关闭

难度 2/5 1-3 小时新手友好度 65/100

pcdshub/mfx#309 · 2 条评论 · 2026年9月24日创建
niri config file addition does not respect existing optional include 未关闭

难度 2/5 1-3 小时新手友好度 70/100

nwg-piotr/nwg-displays#145 · 2026年9月24日创建
Bob Shell support 未关闭

enhancement

难度 2/5 1-3 小时新手友好度 65/100

rossoctl/cortex#1119 · 2026年9月24日创建

更多 CLI Issue