Do not assume all multi-parameter products are affine

As soon as one operand of the product is invalid, the entire product is invalid.
This happens for example if one of the operands is not loop-invariant.

This fixes http://llvm.org/PR23125



Reported-by: Jeremy Huddleston Sequoia <jeremyhu@apple.com>
llvm-svn: 234119