Redundant global read
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 38/100
- Issue 类型
- 功能
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- wasm
- 领域
- compilers, performance
调研方向
首先找到处理 global.set 和 global.get 的 Binaryen 优化 pass，然后检查现有的全局变换测试。按照 issue 中所示，为简单值和复杂值添加覆盖；当冗余读取被移除且示例保持其行为时，即可认为工作完成。
由索引模型根据 Issue 内容生成。
描述
In situations when global reads immediately after write we could avoid this read and use argument of global.set. For example this:
(module
(global $g (mut i32) (i32.const 0))
(func $test (param $0 i32) (result i32)
(global.set $g (local.get $0))
(global.get $g)
)
)
can be optimized as:
(module
(global $g (mut i32) (i32.const 0))
(func $test (param $0 i32) (result i32)
(global.set $g (local.get $0))
(local.get $0)
)
)
if arg is simple like local.get or i32.const
and something like this if arg more complex:
(module
(global $g (mut i32) (i32.const 0))
(func $test (param $0 i32) (result i32)
(global.set $g (local.tee $tmp (...complex expr...)))
(local.get $tmp)
)
)
- 主要语言
- 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