wasm-opt --flatten fails with exceptions or GC

オープン
#8,325 コメント 3 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
45/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
wasm
領域
compilers

調査の方向性

まず、demo.wasm と提供された wasm-opt コマンドで失敗を再現し、その後、231 行付近の Flatten.cpp を調べます。例外処理および GC に関連する入力またはフラグでの挙動と比較します。提供されたファイルに対して、予期しない expr 型エラーや UNREACHABLE 失敗なしに wasm-opt が完了すれば完了です。

索引モデルが issue の本文から書いたものです。

説明

When running wasm-opt on the following WASM file demo.wasm.zip, using -O4 or --flatten, the following exception is raised (tested in v124 and v125):

unexpected expr type
UNREACHABLE executed at /nix/var/nix/builds/nix-29457-2897100894/source/src/passes/Flatten.cpp:231

My complete command is

"wasm-opt" \
    "--enable-sign-ext" "--disable-threads" "--enable-mutable-globals" \
    "--enable-nontrapping-float-to-int" "--enable-simd" "--enable-bulk-memory" \
    "--enable-exception-handling" "--disable-tail-call" "--enable-reference-types" \
    "--enable-multivalue" "--disable-gc" "--disable-memory64" \
    "--disable-relaxed-simd" "--disable-extended-const" "--disable-strings" \
    "--disable-multimemory" "--strip-debug" "-O0" "--flatten" \
    "-o" "demo.opt.wasm" "demo.wasm"
主要言語
WebAssembly
スター
8.6k
フォーク
885
平均マージ
2日 1時間
マージ済み PR（30日）
70

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

WebAssembly/binaryen のほかの issue

WebAssembly/binaryen の issue をすべて見る

似ている issue

Compilers の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。