Posté par kantien .
En réponse à la dépêche OCaml 4.06 et 4.07.
Évalué à 2.
Dernière modification le 14 décembre 2018 à 17:09.
à priori f-lambda peut traiter ce genre d'optimisation ?
A priori, j'aurais tendance à répondre oui. Flambda est une phase d'inlining beaucoup plus aggressive de la part du compilateur, avec des heuristiques pour que la taille du code spécialisé généré n'explose pas trop.
On peut avoir, par exemple, un facteur de gain de x20 en vitesse d'exécution grâce à la spécialisation par flambda d'un code hautement fonctorisé.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: optimisation et propagation de constante
Posté par kantien . En réponse à la dépêche OCaml 4.06 et 4.07. Évalué à 2. Dernière modification le 14 décembre 2018 à 17:09.
A priori, j'aurais tendance à répondre oui. Flambda est une phase d'inlining beaucoup plus aggressive de la part du compilateur, avec des heuristiques pour que la taille du code spécialisé généré n'explose pas trop.
On peut avoir, par exemple, un facteur de gain de
x20en vitesse d'exécution grâce à la spécialisation par flambda d'un code hautement fonctorisé.Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.