[Proposal] Add getMaxSignBits for tracking sign values
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 28/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- wasm
- Área
- compilers
Línea de trabajo
Comienza localizando la implementación existente de getMaxBits y las rutas de optimización para comparaciones y operaciones aritméticas con signo. Determina el comportamiento previsto de getMaxSignBits a partir de los ejemplos y, después, define el helper y sus usos en el análisis de overflow; el trabajo estará terminado cuando las optimizaciones con signo propuestas sean compatibles sin realizar transformaciones incorrectas.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
With existing getMaxBits we could provide wide range of optimizations but getMaxBits completely blind for signed operations and values. This leaves a lot of places that could be relatively easily optimised. For example:
i32(x) - i32(y) < 0 -> x < y
If we know x - y never overflow (it required getMaxSignBits for signed comparison). Or more expressive example:
i32(x) * 400 / 100 -> x * 4
if we know getMaxSignBits(x) >= 9.
For example:
(i32(x) >> 9) * 400 / 100 -> (x >> 9) << 2
In general, getMaxSignBits is the building block for helpers that calculate the signed overflow for +, - and *
- 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
-
flang:fir-hlfir
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
llvm/llvm-project#225935 ·
-
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
-
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