DIFFERENTIATED STATIC ANALYSIS FOR DYNAMIC CODE OPTIMIZATION

A mechanism for generating optimized native code for a program having dynamic behavior uses a static analysis of the program to predict the likelihood that different elements of the program are likely to be used when the program executes. The static analysis is performed prior to execution of the program and marks certain elements of the program with confidence indicators that classify the elements with either a high level of confidence or a low level of confidence. The confidence indicators are then used by an ahead-of-time native compiler to generate native code and to optimize the code for faster execution and/or a smaller-sized native code. L'invention concerne un mécanisme pour générer un code natif optimisé pour un programme ayant un comportement dynamique, qui utilise une analyse statique du programme pour prédire la probabilité que différents éléments du programme soient susceptibles d'être utilisés lorsque le programme s'exécute. L'analyse statique est effectuée avant l'exécution du programme et marque certains éléments du programme avec des indicateurs de confiance qui classent les éléments soit avec un niveau de confiance élevé, soit un niveau de confiance faible. Les indicateurs de confiance sont ensuite utilisés par un compilateur natif en avance pour générer un code natif et pour optimiser le code en vue d'une exécution plus rapide et/ou un code natif de taille plus petite.