El análisis de dependencias determina si es seguro o no reordenar o paralelizar instrucciones.