X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/l4/pkg/valgrind/src/valgrind-3.6.0-svn/tests/x86_amd64_features.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/tests/x86_amd64_features.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/tests/x86_amd64_features.c
index c497d2201..6597b0f4e 100644
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/tests/x86_amd64_features.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/tests/x86_amd64_features.c
@@ -79,6 +79,9 @@ static Bool go(char* cpu)
    } else if ( strcmp( cpu, "amd64-sse3" ) == 0 ) {
      level = 1;
      cmask = 1 << 0;
+   } else if ( strcmp( cpu, "amd64-pclmulqdq" ) == 0 ) {
+     level = 1;
+     cmask = 1 << 1;
    } else if ( strcmp( cpu, "amd64-ssse3" ) == 0 ) {
      level = 1;
      cmask = 1 << 9;
@@ -89,6 +92,9 @@ static Bool go(char* cpu)
      level = 0x80000001;
      cmask = 1 << 5;
      require_amd = True;
+   } else if ( strcmp( cpu, "amd64-sse42" ) == 0 ) {
+     level = 1;
+     cmask = 1 << 20;
 #endif
    } else {
      return 2;          // Unrecognised feature.