Fix bug 537 test 2, which checks to make sure that we fold A+(B-A) -> B for

integer types.  Add a couple checks to not perform these kinds of transform
on floating point values.

llvm-svn: 22228