TypeSSA could delete exactness
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
- 35/100
- Tipo de issue
- Error
- Claridad
- Necesita aclaración
- Estado de actividad
- Tranquilo
- Stack tecnológico
- wasm
- Área
- compilers
Línea de trabajo
Comienza leyendo las implementaciones de los pases TypeSSA y TypeGeneralizing y la discusión previa en #8002. Determina qué enfoque se pretende y verifica cómo se gestiona la exactitud para los tipos descriptores que fluyen a struct.new_desc y para los tipos utilizados en referencias exactas en tipos heap públicos; se considera terminado cuando el enfoque seleccionado cubre los casos restantes.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
We've previously discussed (e.g. in #8002) that TypeSSA no longer works well now that we automatically refine reference types to be exact wherever possible. The fix we had previously discussed was finishing and using the TypeGeneralizing pass (which might separately be good for code size by reducing the size of the type section) to remove exactness. But we could alternatively have a more crude fix where TypeSSA itself could delete exactness from as many types as possible. The only types for which it would not be able to erase exactness would be descriptor types that may flow into struct.new_desc instructions and any type that appears in an exact reference in a public heap type.
- Lenguaje dominante
- WebAssembly
- Estrellas
- 8.7k
- Forks
- 893
- Merge medio
- 1 d 14 h
- PR fusionados (30 d)
- 77
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
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 WebAssembly/binaryen
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
WebAssembly/binaryen#9185 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
WebAssembly/binaryen#9135 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 Medio día Aptitud para principiantes 76/100
WebAssembly/binaryen#9018 · 3 comentarios ·
Los mantenedores suelen responder en 1 día
-
TupleOptimization: tuple swap is miscompiledPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
WebAssembly/binaryen#9210 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
WebAssembly/binaryen#9186 ·
Los mantenedores suelen responder en 1 día
Todos los issues de WebAssembly/binaryen
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
cc65/cc65#3000 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
I-prioritize needs-triage regression-from-stable-to-beta T-lang
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
rust-lang/rust#163830 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
rubys/roundhouse#444 ·
Los mantenedores suelen responder en 1 día
-
IntrinsicLowering::LowerCTPOP runs into assertion with LLVM 23Posiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abiertocrash llvm:codegen
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
llvm/llvm-project#229064 ·
Los mantenedores suelen responder en 1 día
-
area:lowering kind:bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Los mantenedores suelen responder en 1 día