Séance de cours
Cette séance de cours couvre les techniques permettant d'accélérer les analyses de flux de données, telles que les algorithmes de liste de travail, l'ordonnancement des équations, les CFG plus petits et les vecteurs de bits. Il illustre ces techniques à laide dun exemple de variables en direct et discute de limportance de lordre des nœuds et du parcours post-ordre. La séance de cours se penche également sur l'algorithme de liste de travail en Scala, les blocs de base et l'utilisation de vecteurs de bits pour représenter des ensembles. En outre, il explore l'importance des représentations intermédiaires (IR) dans les optimisations, en se concentrant sur les optimisations de réécriture indépendantes de la machine dans CPS / L3. La session se termine par des discussions sur l'élimination du code mort, l'élimination de la sous-expression commune, l'inlining et le pliage constant, mettant l'accent sur l'impact des contextes d'optimisation et de l'heuristique.