Method rewriteLoopExitValues

Check to see if this loop has a computable loop-invariant execution count. If so, this means that we can compute the final value of any expressions that are recurrent in the loop, and substitute the exit values from the loop into any instructions outside of the loop that use the final values of the current expressions. This is mostly redundant with the regular IndVarSimplify activities that happe