Fold trunc casts into add-recurrence expressions, allowing the

add-recurrence to be exposed. Add a new SCEV folding rule to
help simplify expressions in the presence of these extra truncs.

llvm-svn: 71264