El desarrollador de `dxil-spirv`, una herramienta utilizada en la programación de gráficos para estructurar el flujo de control, se enfrentó a un obstáculo técnico significativo: el estructurizador existente se había convertido en un 'agujero negro' inmantenable de 9,000 líneas. La implementación original intentaba mantener un código legible para los humanos mientras gestionaba los shaders cada vez más complejos e impredecibles producidos por las actualizaciones de juegos modernos. Este enfoque 'centrado en el humano' finalmente alcanzó un punto de ruptura cuando un shader específico era tan grande que graphviz ya no podía renderizarlo en un tiempo finito, lo que llevó al desarrollador a abandonar el objetivo de la legibilidad en favor de la corrección absoluta y el rendimiento.
Para resolver esto, el desarrollador adoptó una filosofía similar a la de los controladores gráficos Mesa y OpenCL. En lugar de intentar organizar inteligentemente cada rama, el nuevo sistema utiliza un algoritmo recursivo para apilar 'niveles de serialización'. Este enfoque gestiona el flujo de control hacia adelante utilizando variables ficticias para rastrear las rutas y convirtiendo bloques switch complejos en una serie de ramas condicionales. Una simplificación importante consistió en abandonar el intento de retener los nodos PHI SSA (Static Single Assignment) durante la reescritura. En su lugar, la herramienta ahora los reduce a variables y almacenes simples, confiando en que el compilador de producción maneje las optimizaciones de memoria a registro, lo que redujo significativamente la complejidad del estructurizador.
Esta imagen ilustra las estructuras de flujo de control específicas que el desarrollador tuvo que simplificar para manejar la lógica compleja de los shaders.
La imagen representa el tipo de lógica de ramificación compleja que el nuevo algoritmo recursivo está diseñado para procesar.
Para validar esta nueva lógica de 'corrección primero', el desarrollador empleó un proceso de prueba de dos pasos. Primero, omitieron el estructurizador por completo para enviar código 'espagueti' crudo y sin estructura directamente a los controladores, confirmando que el sistema no se desmoronaba y que el rendimiento se mantenía en paridad en los controladores RADV. Segundo, construyeron un fuzzer para generar grafos de flujo de control (CFG) reducibles y aleatorios, y los verificaron contra el nuevo algoritmo utilizando retroalimentación de bits exactos. Si bien el nuevo método maneja con éxito 'monstruosidades' que el sistema anterior no podía procesar, sacrifica el enfoque láser en el código generado legible para humanos y deja el rendimiento en el hardware propietario de NVIDIA como una variable no verificada.
Esta figura demuestra un caso específico de un grafo de flujo de control que el nuevo sistema puede procesar con éxito.