Assessment of the benefit of post-inlining program transformation in inlining decisions

A computer system for estimation of post-inlining transformation benefits, the computer system comprising:

• one or more processors, one or more computer-readable memories, one or more computer-readable tangible storage media, and program instructions stored on at least one of the one or more tangible storage media for execution by at least one of the one or more processors via at least one of the one or more memories, wherein the computer system is capable of performing a method comprising:
• performing abstract interpretation on a program representation to find potential post-inlining transformations;
• encoding potential post-inlining transformations into a profitability metric by associating constraints under which a profit is determined to be realized, wherein a profitability of one of the potential post-inlining transformations is automatically calculated and a profitability score is generated for the calculated profitability of the post-inlining transformation using a single number representing a benefit likely to be provided by the potential post-inlining transformation;
• scaling the profitability metric using the relative execution frequency of the program point to which the transformation applies to favor applying transformations in the most frequently executed code paths;
• generating method summaries to store the potential post-inlining transformations in the method summaries;
• creating a method summary map to match each method with each method summary;
• computing constraints for the values of arguments passed to each callee method at each call site to associate the constraints from each call site with each method summary to determine the potential post-inlining transformations that are effective;
• and
• aggregating the determined effective post-inlining transformations to a profitability metric for the whole procedure.

A computer program product for estimation of post-inlining transformation benefits, the computer program product comprising:

• one or more computer-readable tangible storage media and program instructions stored on at least one of the one or more tangible storage media, the program instructions executable by a processor of a computer to perform a method, the method comprising:
• performing abstract interpretation on a program representation to find potential post-inlining transformations;
• encoding potential post-inlining transformations into a profitability metric by associating constraints under which a profit is determined to be realized, wherein a profitability of one of the potential post-inlining transformations is automatically calculated and a profitability score is generated for the calculated profitability of the post-inlining transformation using a single number representing a benefit likely to be provided by the potential post-inlining transformation;
• scaling the profitability metric using the relative execution frequency of the program point to which the transformation applies to favor applying transformations in the most frequently executed code paths;
• generating method summaries to store the potential post-inlining transformations in the method summaries;
• creating a method summary map to match each method with each method summary;
• computing constraints for the values of arguments passed to each callee method at each call site to associate the constraints from each call site with each method summary to determine the potential post-inlining transformations that are effective;
• and
• aggregating the determined effective post-inlining transformations to a profitability metric for the whole procedure.