Improve selectify
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 35/100
- issue の種類
- バグ
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- cpp, wasm
- 領域
- compilers, testing-qa
調査の方向性
src/passes/RemoveUnusedBrs.cpp#L1077 付近の selectify ロジックと、lit/remove-unused-brs.wast にある既存のケースから始めます。提供されている早期 return のリグレッションケースを追加し、if に false アームがない場合に canonicalize され、selectify が示されている select 形式を生成できることをテストが期待しているか確認します。
索引モデルが issue の本文から書いたものです。
説明
I think I already mentioned a similar problem, but it was a long time ago.
If we have an "if" branch without a false arm, you selectify stops working:
function selectify_early_return(x: i32): i32 {
if (x) return x;
return 1;
}
Just add this test into lit/remove-unused-brs.wast as:
;; CHECK: (func $selectify-early-return (param $x i32) (result i32)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (return
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
(func $selectify-early-return (param $x i32) (result i32)
(if
(local.get $x)
(return (local.get $x))
)
(i32.const 1)
)
But obversely we expect something like this insted:
(func $selectify-early-return (param $x i32) (result i32)
(select
(local.get $0)
(i32.const 1)
(local.get $0)
)
)
The main problem here: https://github.com/WebAssembly/binaryen/blob/main/src/passes/RemoveUnusedBrs.cpp#L1077
selectify just skip optimisation if ifFalse is not exists. So it is necessary to canonicalze such cases before applying selectify. Any idea how best to do this?
- 主要言語
- WebAssembly
- スター
- 8.6k
- フォーク
- 885
- 平均マージ
- 2日 4時間
- マージ済み PR（30日）
- 77
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
WebAssembly/binaryen のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
WebAssembly/binaryen#9135 · コメント 1 件 ·
-
難易度 2/5 半日 初心者へのやさしさ 76/100
WebAssembly/binaryen#9018 · コメント 3 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
WebAssembly/binaryen#9133 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 52/100
WebAssembly/binaryen#9123 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
WebAssembly/binaryen#9122 ·
WebAssembly/binaryen の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
JakeChampion/lang#10213 ·
-
enhancement good first issue needs testing
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
bradcypert/plum#58 ·
-
flang:fir-hlfir
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
llvm/llvm-project#225935 ·
-
area:cards hand-tail ready-for-agent
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
fil-donadoni/tolaria#4446 ·