Lower typed scalar pointer operations through Whale
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start by reproducing the failure in the issue’s Wave source and inspect the Wave adapter’s typed-pointer lowering alongside upstream Whale’s tracked-memory/GEP and provenance rules. Verify scalar pointer signatures, loads/stores, element stride, casts, null behavior, unsupported conversions, and memory boundaries using available upstream facilities; completion requires these cases while leaving C ABI and native lowering out of scope. Discuss the design with @LunaStev before implementation.
索引モデルが issue の本文から書いたものです。
説明
Motivation
At fd07427f4a976de05e38eff3ee1760db97fbb761 on Linux amd64 with Rust 1.89 and locked Whale 020d2a4, lexing, parsing and TypedProgram lowering succeed, but calling whale::emit_ir on this source returns Whale backend does not yet support type Pointer(Int(32)):
fun identity(x: ptr<i32>) -> ptr<i32> { return x; }
Scope
Add typed pointers, address-of/dereference and HIR-defined pointer offsets to the Wave adapter. Inspect upstream tracked-memory/GEP and provenance rules first. Preserve Wave stride, null and cast behavior; pointer-to-bool remains unsupported. Do not implement C ABI or native lowering here; upstream frontend #156 is separate.
Difficulty: hard.
Completion criteria
- Verify scalar pointer signatures, loads/stores and element stride.
- Cover casts, null and existing unsupported conversions.
- Test memory boundaries with available upstream facilities.
Please mention @LunaStev to discuss the design before starting implementation.
- 主要言語
- 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
-
Unit tests use deprecated constant (part 2)対応中かも @servo-highfive が今日担当しました。 オープンE-less-complex
難易度 1/5 1時間未満 初心者へのやさしさ 84/100
servo/servo#49766 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug good first issue help wanted linux macos testing
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
メンテナーはふだん 1 日以内に返信
-
area: app type: test
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
bug priority: medium
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
storytold/photocraft#12706 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug priority-low to-agent
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 1 日以内に返信