An add recurrence is loop-invariant in any loop inside of its

associated loop. This avoids potentially expensive traversals
of the add recurrence's operands.

llvm-svn: 111034