Patent ID: 9424011
Filing Date: 2016-08-23
CPC Classification: G06F

Claim Text:
1. A computer program product for recursive expression simplification, 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 storage media, the program instructions comprising: program instructions to identify a candidate loop, where the candidate loop includes one or more reduction variables and reduction operations; program instructions to alter grouping of loop invariants and loop variants within the candidate loop; program instructions to perform recursive expression simplification for an inner loop located within the candidate loop, wherein recursive expression simplification includes removing a mathematical operation from the inner loop and combining the removed mathematical operation with a result of an iterative calculation of the inner loop; program instructions to create a new reduction variable, wherein the new reduction variable is equal to the result of the iterative calculation of the inner loop; program instructions to create a prologue statement, wherein the prologue statement initializes the new reduction variable based on at least the removed mathematical operation; program instructions to replace an original loop reduction variable in the candidate loop with the new reduction variable; program instructions to create an epilogue statement, wherein the epilogue statement represents the replacement of the original loop reduction variable, such that the removed mathematical operation is performed subsequent to the iterative calculation of the inner loop; program instructions to determine if the inner loop is invariant with respect to an outer loop, wherein the outer loop is located within the candidate loop; and program instruction to, responsive to determining the inner loop is invariant with respect to the outer loop, perform invariant loop motion.