Fix ScalarEvolution::getAddRecExpr's code which canonicalized the

nesting order of nested AddRec expressions to skip the transformation
if it would introduce an AddRec with operands not loop-invariant
with respect to its loop.

llvm-svn: 74343