Lower typed scalar pointer operations through Whale
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
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 分钟
- 30 天内合并 PR
- 45
环境准备
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 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
维护者通常 1 天内回复
-
Preserve expression assembly result types when recording HIR conversions可能已有人在做 @hiyouwhatsapp 于 2 天前认领。 未关闭bug help wanted
难度 5/5 一周以上 新手友好度 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
-
bug
难度 2/5 1-3 小时 新手友好度 88/100
swc-project/swc-ai-issues#164 ·
-
难度 2/5 1-3 小时 新手友好度 85/100
pop-os/cosmic-player#367 ·
-
good first issue help wanted
难度 2/5 1-3 小时 新手友好度 72/100
servo/rust-smallvec#873 ·
-
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
messense/dav-server-rs#82 ·
维护者通常 1 天内回复