[New Optimization Proposal] Propagate conditional result to branch / switch arms
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 功能
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- cpp, wasm
- 领域
- compilers, performance
调研方向
首先检查 Binaryen 现有的针对 branch 和 switch 分支的优化路径，包括 br_table 处理。将其行为与 issue 中的条件结果示例进行比较，并确定预期的转换。完成标准是：针对所示的 if/else 和 br_table 情况一致地实现提议的传播，并通过测试展示优化后的结果。
由索引模型根据 Issue 内容生成。
描述
Example:
if (x == 5) {
return x + 1;
} else {
return x - 1;
}
if (y == true) { // maxBits(y) <= 1
return y | x; // maxBits(x) <= 1
} else {
return y ^ x;
}
if (z < 5) {
return z >= 5;
}
could be optimize to:
if (x == 5) {
return 6; // 5 + 1
} else {
return x - 1;
}
if (y == true) {
return true; // we know y == true, so true | bool(x) -> true
} else {
return x; // here y always `false` so `false ^ x` -> x
}
if (z < 5) {
return false;
}
and same for br tables.
WDYT?
- 主要语言
- WebAssembly
- 星标
- 8.6k
- 派生
- 885
- 平均合并
- 2 天 4 小时
- 30 天内合并 PR
- 77
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
WebAssembly/binaryen 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 88/100
WebAssembly/binaryen#9135 · 1 条评论 ·
-
难度 2/5 半天 新手友好度 76/100
WebAssembly/binaryen#9018 · 3 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
WebAssembly/binaryen#9133 ·
-
难度 4/5 3-5 天 新手友好度 52/100
WebAssembly/binaryen#9123 ·
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/binaryen#9122 ·
查看 WebAssembly/binaryen 的全部 Issue
相似的 Issue
-
flang:fir-hlfir
难度 2/5 1-3 小时 新手友好度 70/100
llvm/llvm-project#225935 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
objectionary/eo#8923 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
-
难度 2/5 1-3 小时 新手友好度 75/100
-
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend 未关闭coarray
难度 2/5 1-3 小时 新手友好度 70/100