Add support for memory runtime check. When we can, we calculate array bounds.

If the arrays are found to be disjoint then we run the vectorized version of
the loop. If they are not, we run the scalar code.

llvm-svn: 167608