Abstract: A code optimizing procedure involves isolating code from a loop construct, executed a predetermined number of times, and optimizing the code for execution conditions which cause the loop to be executed that number of times. This code is compared against corresponding code which has not be optimized, and it is determined whether the inclusion of this code is favorable. If the benefits of including this code are judged to be significant, the code is modified by inclusion of this optimized code, which is conditionally executed when the loop is encountered.

Abstract: A method, system and program product for optimizing software in which procedure clones are created based on the control flow information for the procedure body. In an example, a control flow graph for a called procedure is constructed and, for a branching node which can direct program flow to two or more code branches of the procedure, respective clones or new procedures are formed one for each code branch. A list containing pointers to the clones and the respective branch conditions for those clones is formed. Then, for each call site, the list is scanned to see if a particular call could be replaced by a call to a clone. Meanwhile, each clone is optimized and this may lead to removal of dead code or the replacement of a particular call statement by a constant.