Define and implement Whale lowering for Wave integers wider than 128 bits
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
Start by reproducing the reported whale::emit_ir failure for the u256 identity function and inspect Whale's upstream type and backend capability definitions. The issue asks for a documented representation and capability contract, then implementation and boundary tests covering wrapping, conversions, comparisons, and checked shifts; coordinate the design with @LunaStev first. Done means those behaviors are preserved and unsupported operations have explicit diagnostics.
由索引模型根据 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 Uint(256):
fun identity(x: u256) -> u256 { return x; }
Scope
Decide a Wave-to-Whale representation for existing 256–1024-bit integers, then implement operations/conversions without narrowing to 128 bits. Inspect upstream types and coordinate required capabilities; use Utils and compiler-owned freestanding arithmetic where appropriate. Full-value constant shift checks in #860 are not wider runtime support.
Difficulty: very hard.
Completion criteria
- Record the representation and backend capability contract.
- Preserve wrapping, conversions, comparisons and checked shift semantics.
- Provide boundary tests and explicit diagnostics for remaining operations.
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 于 1 天前认领。 未关闭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
-
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
-
难度 2/5 1-3 小时 新手友好度 72/100
-
难度 2/5 1-3 小时 新手友好度 78/100
CakeRepository/agentshangout#995 ·
-
area:frontend kind:bug priority:p3 ready
难度 2/5 1-3 小时 新手友好度 88/100
维护者通常 1 天内回复