Factor out the multiply analysis code in ComputeMaskedBits and apply it to the

overflow checking multiply intrinsic as well.

Add a test for this, updating the test from grep to FileCheck.

llvm-svn: 153028