Define and implement Whale lowering for Wave integers wider than 128 bits
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 30/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Rust
- Estrellas
- 56
- Forks
- 21
- Merge medio
- 23 h 20 min
- PR fusionados (30 d)
- 45
Preparar el entorno
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de wavefnd/Wave
-
Reject unrepresentable POSIX listener descriptors before Unix-domain acceptPosiblemente ocupada @ShahadatTest la tomó hace 6 días. Abiertobug good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
wavefnd/Wave#1082 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Preserve expression assembly result types when recording HIR conversionsPosiblemente ocupada @hiyouwhatsapp la tomó hace 1 día. Abiertobug help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
Los mantenedores suelen responder en 1 día
-
bug help wanted
Dificultad 4/5 3-5 días Aptitud para principiantes 53/100
Los mantenedores suelen responder en 1 día
-
Preserve the previous build output when writing its Cargo receipt failsPosiblemente ocupada @hiyouwhatsapp la tomó hace 1 día. Abiertobug build help wanted
Dificultad 4/5 3-5 días Aptitud para principiantes 56/100
Los mantenedores suelen responder en 1 día
-
Reconcile obsolete staging assets before verifying a new Nightly generationPosiblemente ocupada @hiyouwhatsapp la tomó hace 2 días. Abiertobug ci help wanted
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
Los mantenedores suelen responder en 1 día
Todos los issues de wavefnd/Wave
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
-
area:frontend kind:bug priority:p3 ready
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
bug priority: medium ui
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
storytold/vectorcraft#6333 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bug lexer
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Los mantenedores suelen responder en 1 día
-
yara-x fails to build with rsa 0.10.0: unresolved import rsa::Pkcs1v15SignPosiblemente ocupada @CfirTsabari la tomó hoy. Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 87/100
VirusTotal/yara-x#865 ·
Los mantenedores suelen responder en 1 día