Once Reduction Pass improvement
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
从链接的 PR #4111 开始,找到 Once Reduction pass 的实现,然后比较它对 issue 中所示两种 CFG 形状的处理方式。为第二个示例添加回归测试,并验证该优化不再产生 unsound 行为。
由索引模型根据 Issue 内容生成。
描述
Recent Once Reduction pass properly handled following CFG in pseudocode:
bool initialized = false;
void boo() {
if (initialized) return;
...
initialized = true;
}
but unsound for this:
bool initialized = false;
void boo() {
if (!initialized) {
...
initialized = true;
}
}
- 主要语言
- WebAssembly
- 星标
- 8.7k
- 派生
- 893
- 平均合并
- 1 天 15 小时
- 30 天内合并 PR
- 79
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
WebAssembly/binaryen 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 76/100
WebAssembly/binaryen#9185 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
WebAssembly/binaryen#9135 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 2/5 半天 新手友好度 76/100
WebAssembly/binaryen#9018 · 3 条评论 ·
维护者通常 1 天内回复
-
TupleOptimization: tuple swap is miscompiled可能已有人在做 @tlively 于 1 天前认领。 未关闭
难度 3/5 1-2 天 新手友好度 58/100
WebAssembly/binaryen#9210 · 已指派 1 人 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 52/100
WebAssembly/binaryen#9186 ·
维护者通常 1 天内回复
查看 WebAssembly/binaryen 的全部 Issue
相似的 Issue
-
Discover carries headerEdges that nothing reads since #1914 moved E0507/E0517 to the compiler graph未关闭tech-debt
难度 2/5 1-3 小时 新手友好度 84/100
维护者通常 1 天内回复
-
VX_PRINT_DROPS prints each drop point twice on the default code generator, the second time at line 0未关闭
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
bisect
难度 2/5 1-3 小时 新手友好度 72/100
dtcxzyw/llvm-bisect-service#418 · 1 条评论 ·
-
area:prove bug
难度 2/5 1-3 小时 新手友好度 82/100
Chelis-Lang/chelis#3317 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 80/100
leanprover/lean4#15529 · 1 条评论 ·
维护者通常 1 天内回复