Improve configure for SSE 4.2 detection. Fixes #271438


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12340 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/configure.in b/configure.in
index c0bd64c..d0a4ee7 100644
--- a/configure.in
+++ b/configure.in
@@ -1557,7 +1557,9 @@
 AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[]], [[
   do { long long int x; 
    __asm__ __volatile__(
-      "crc32q %%r15,%%r15" : : : "r15" ); }
+      "crc32q %%r15,%%r15" : : : "r15" );
+   __asm__ __volatile__(
+      "pblendvb (%rcx), %xmm11"); }
   while (0)
 ]])], [
 ac_have_as_sse42=yes