Lower target layout intrinsics in the Whale adapter
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start by reading whale/src/codegen/expression.rs:23 and the existing layout intrinsic entry points referenced in the issue. Before implementing, discuss the target size/alignment contract with @LunaStev, since the issue explicitly leaves its authoritative source unresolved. Run the compiler’s size_of capability probe and inspect layout lowering; done means supported scalar, alias, and aggregate layouts match the selected Wave target contract, size_of and align_of share those facts, and missing facts produce clear errors with output preserved.
索引モデルが issue の本文から書いたものです。
説明
Motivation
A std::mem::layout size_of() call succeeds through LLVM but Whale treats __wave_size_of as an unsupported intrinsic/external call. align_of belongs to the same target-layout contract.
Starting point: whale/src/codegen/expression.rs:23.
Validation
Audited canonical Wave 540728c2eb6cc12f5c69c3fb3fdb96e07ba059a4 (0.0.1-alpha-dev), whose tree matches the local checkout. Validation: Executed size_of capability probe and inspected existing layout intrinsic entry points. Executed compiler probes use the matching checkout-built compiler and std on Linux amd64 (Rust 1.89.0 / LLVM 21.1.8). Source/header or mocked checks are not native execution on another OS.
Scope
Agree how authoritative target size/alignment facts reach the adapter, then lower the supported intrinsic subset. Host Rust size_of and backend guesses must not define Wave layout.
Related: #996, #881. These links do not claim those broader or completed scopes are unfinished.
Design discussion required
This issue records a proposal or an unresolved contract; it is not approval to choose new semantics. Please mention @LunaStev to discuss the design before starting implementation.
Completion criteria
- Supported scalar/alias/aggregate layouts match the selected Wave target contract.
- size_of and align_of use the same authoritative facts.
- Missing or unsupported layout facts are clear source/internal errors as appropriate, with output preservation.
- 主要言語
- Rust
- スター
- 56
- フォーク
- 21
- 平均マージ
- 23時間 20分
- マージ済み PR（30日）
- 45
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
wavefnd/Wave のほかの issue
-
Reject unrepresentable POSIX listener descriptors before Unix-domain accept対応中かも @ShahadatTest が 6 日前に担当しました。 オープンbug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
wavefnd/Wave#1082 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
Preserve expression assembly result types when recording HIR conversions対応中かも @hiyouwhatsapp が 2 日前に担当しました。 オープンbug help wanted
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
メンテナーはふだん 1 日以内に返信
-
bug help wanted
難易度 4/5 3〜5日 初心者へのやさしさ 53/100
メンテナーはふだん 1 日以内に返信
-
Preserve the previous build output when writing its Cargo receipt fails対応中かも @hiyouwhatsapp が 2 日前に担当しました。 オープンbug build help wanted
難易度 4/5 3〜5日 初心者へのやさしさ 56/100
メンテナーはふだん 1 日以内に返信
-
Reconcile obsolete staging assets before verifying a new Nightly generation対応中かも @hiyouwhatsapp が 2 日前に担当しました。 オープンbug ci help wanted
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
メンテナーはふだん 1 日以内に返信
似ている issue
-
Panic on live viewport resize when unstyled elements exist in display: none subtree対応中かも @GoCoder7 が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
DioxusLabs/blitz#1488 ·
メンテナーはふだん 1 日以内に返信
-
🏷️ good first issue enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
メンテナーはふだん 1 日以内に返信
-
S-Needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
vectordotdev/vrl#2042 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
メンテナーはふだん 1 日以内に返信