Change Details

LSR may optimize the loop such that the IV of the terminal condition is solely used as the temminal condition. We can improve on this when other existing IV is AddRec and can replace the terminal condition.

LSR may optimize the loop such that the IV of the terminating condition is solely used as the terminating condition. We can improve on this when other existing IV can replace the terminating condition.

LSR may optimize the loop such that the IV of the terminalting condition is solely used as the temterminalting condition. We can improve on this when other existing IV is AddRec and can replace the terminalting condition.