Conversión a SSA y Eliminación de Subexpresiones Comunes
Visión general
De qué trata este proyecto.
Construye el CFG, inserta phi nodes y aplica GCSE con value numbering. Entrega el código y tests para obtener tu certificado verificable.
El Briefing
Lo que harás y lo que demostrarás.
Convertir el IR a SSA con phi nodes y aplicar GCSE basada en value numbering, demostrando reducción medible sobre 8 expresiones representativas.
Earning criteria — what you'll demonstrate
- Calcular frontiers de dominancia eficientemente
- Insertar y renombrar phi nodes siguiendo el algoritmo de Cytron
- Implementar value numbering global con hashing canónico
- Verificar correctitud de un refactor de IR con tests de equivalencia
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Advanced Compilers and Program Optimization
Master · Cs Se
Fit score: 1
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Trayectorias profesionales que esto construye
Roles canónicosIngeniero de Software
SSA + value numbering son técnicas que aparecen en sistemas de query planning, motores de reglas y JITs — un ingeniero de software con esta base ataca optimizaciones de bajo nivel con criterio.
Este proyecto afina
- ssa-construction
- value-numbering
- compiler-optimization
Ingeniero Backend
El análisis de dominancia se reutiliza tal cual en optimizadores de consultas SQL y motores de stream processing — habilidad backend de alto valor.
Este proyecto afina
- dominance-analysis
- common-subexpression-elimination
- cpp