[New Optimization Proposal] Propagate conditional result to branch / switch arms
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- cpp, wasm
- Área
- compilers, performance
Línea de trabajo
Comienza examinando las rutas de optimización existentes de Binaryen para las ramas de branch y switch, incluido el manejo de br_table. Compara su comportamiento con los ejemplos de resultados condicionales del issue y determina las transformaciones previstas. Se considera terminado cuando la propagación propuesta está implementada de forma coherente para los casos mostrados de if/else y br_table, y hay pruebas que demuestran los resultados optimizados.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Example:
if (x == 5) {
return x + 1;
} else {
return x - 1;
}
if (y == true) { // maxBits(y) <= 1
return y | x; // maxBits(x) <= 1
} else {
return y ^ x;
}
if (z < 5) {
return z >= 5;
}
could be optimize to:
if (x == 5) {
return 6; // 5 + 1
} else {
return x - 1;
}
if (y == true) {
return true; // we know y == true, so true | bool(x) -> true
} else {
return x; // here y always `false` so `false ^ x` -> x
}
if (z < 5) {
return false;
}
and same for br tables.
WDYT?
- Lenguaje dominante
- WebAssembly
- Estrellas
- 8.6k
- Forks
- 885
- Merge medio
- 2 d 4 h
- PR fusionados (30 d)
- 77
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 1/5 Menos de una hora Aptitud para principiantes 88/100
WebAssembly/binaryen#9135 · 1 comentario ·
-
Dificultad 2/5 Medio día Aptitud para principiantes 76/100
WebAssembly/binaryen#9018 · 3 comentarios ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
WebAssembly/binaryen#9133 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
WebAssembly/binaryen#9123 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
WebAssembly/binaryen#9122 ·
Todos los issues de WebAssembly/binaryen
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
objectionary/eo#8923 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend Abiertocoarray
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
internal.h中,漏掉了1个定义。 Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 95/100