Patent ID: 11934813
Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 19:
20. The computer-implemented method of claim 16, wherein the determining whether the iterating of the loop reaches the fixed point of processing comprises determining whether live-out variables of the loop are candidates for transforming the loop to include the at least one indication to exit the loop prior to the last iteration, and wherein the determining whether a live-out variable of the live-out variables of the loop is a candidate for transforming the loop includes using state analysis of the live-out variable to determine whether a state of the live-out variable is to transition to a not-a-candidate state, wherein the live-out variable is a candidate for transforming the loop based on the live-out variable not transforming to the not-a-candidate state.