From: Julian Seward Date: Thu, 13 Aug 2015 13:47:02 +0000 (+0000) Subject: Add test cases for PCMPxSTRx case 0x42. X-Git-Tag: svn/VALGRIND_3_11_0~123 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1172cbc47a29362973244ca47713d44b1334f4ec;p=thirdparty%2Fvalgrind.git Add test cases for PCMPxSTRx case 0x42. Pertains to #339820, vex r3171. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15534 --- diff --git a/none/tests/amd64/pcmpstr64.c b/none/tests/amd64/pcmpstr64.c index 5b273eb9c2..bc37237769 100644 --- a/none/tests/amd64/pcmpstr64.c +++ b/none/tests/amd64/pcmpstr64.c @@ -206,7 +206,7 @@ Bool pcmpXstrX_WRK ( /*OUT*/V128* resV, case 0x00: case 0x02: case 0x08: case 0x0A: case 0x0C: case 0x0E: case 0x12: case 0x14: case 0x1A: case 0x30: case 0x34: case 0x38: case 0x3A: - case 0x40: case 0x44: case 0x46: case 0x4A: + case 0x40: case 0x42: case 0x44: case 0x46: case 0x4A: break; default: return False; @@ -1544,6 +1544,86 @@ void istri_40 ( void ) } +////////////////////////////////////////////////////////// +// // +// ISTRI_42 // +// // +////////////////////////////////////////////////////////// + +UInt h_pcmpistri_42 ( V128* argL, V128* argR ) +{ + V128 block[2]; + memcpy(&block[0], argL, sizeof(V128)); + memcpy(&block[1], argR, sizeof(V128)); + ULong res, flags; + __asm__ __volatile__( + "subq $1024, %%rsp" "\n\t" + "movdqu 0(%2), %%xmm2" "\n\t" + "movdqu 16(%2), %%xmm11" "\n\t" + "pcmpistri $0x42, %%xmm2, %%xmm11" "\n\t" + "pushfq" "\n\t" + "popq %%rdx" "\n\t" + "movq %%rcx, %0" "\n\t" + "movq %%rdx, %1" "\n\t" + "addq $1024, %%rsp" "\n\t" + : /*out*/ "=r"(res), "=r"(flags) : "r"/*in*/(&block[0]) + : "rcx","rdx","xmm0","xmm2","xmm11","cc","memory" + ); + return ((flags & 0x8D5) << 16) | (res & 0xFFFF); +} + +UInt s_pcmpistri_42 ( V128* argLU, V128* argRU ) +{ + V128 resV; + UInt resOSZACP, resECX; + Bool ok + = pcmpXstrX_WRK( &resV, &resOSZACP, argLU, argRU, + zmask_from_V128(argLU), + zmask_from_V128(argRU), + 0x42, False/*!isSTRM*/ + ); + assert(ok); + resECX = resV.uInt[0]; + return (resOSZACP << 16) | resECX; +} + +void istri_42 ( void ) +{ + char* wot = "42"; + UInt(*h)(V128*,V128*) = h_pcmpistri_42; + UInt(*s)(V128*,V128*) = s_pcmpistri_42; + + try_istri(wot,h,s, "abcdacbdabcdabcd", "000000000000000a"); + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000000b"); + try_istri(wot,h,s, "abcdabcdabcdabcd", "00000000000000ab"); + try_istri(wot,h,s, "abcdabc0abcdabcd", "000000000000abcd"); + + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000abcd"); + try_istri(wot,h,s, "0bcdabcdabcdabcd", "000000000000abcd"); + try_istri(wot,h,s, "abcdabcdabcda0cd", "000000000000abcd"); + try_istri(wot,h,s, "abcdabcdabcdab0d", "000000000000abcd"); + try_istri(wot,h,s, "abcdabcdabcdabc0", "000000000000abcd"); + + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000abcd"); + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000a0cd"); + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000ab0d"); + try_istri(wot,h,s, "abcdabcdabcdabcd", "000000000000abc0"); + + try_istri(wot,h,s, "0000000000000000", "0000000000000000"); + try_istri(wot,h,s, "aaaaaaaaaaaaaaaa", "aaaaaaaaaaaaaaaa"); + + try_istri(wot,h,s, "0000abcdabcdabcd", "000000000000abcd"); + try_istri(wot,h,s, "0000abcdabcdabcd", "000000000000dcba"); + try_istri(wot,h,s, "0000abcdabcdabcd", "000000000000bbbb"); + try_istri(wot,h,s, "0000abcdabcdabcd", "000000000000baba"); + + try_istri(wot,h,s, "0000abcdabcdabcd", "00000000000baba0"); + + try_istri(wot,h,s, "0ddc0ffeebadf00d", "00000000cafebabe"); + try_istri(wot,h,s, "0ddc0ffeebadfeed", "00000000cafebabe"); +} + + ////////////////////////////////////////////////////////// // // // ISTRI_0E // @@ -1817,6 +1897,7 @@ int main ( void ) istri_46(); istri_30(); istri_40(); + istri_42(); istri_0E(); istri_14(); istri_34(); diff --git a/none/tests/amd64/pcmpstr64.stdout.exp b/none/tests/amd64/pcmpstr64.stdout.exp index 594f62091d..994d4d0631 100644 --- a/none/tests/amd64/pcmpstr64.stdout.exp +++ b/none/tests/amd64/pcmpstr64.stdout.exp @@ -332,6 +332,28 @@ istri 40 0000abcdabcdabcd 000000000000baba -> 00c1000b 00c1000b istri 40 0000abcdabcdabcd 00000000000baba0 -> 00c00010 00c00010 istri 40 0ddc0ffeebadf00d 00000000cafebabe -> 00c00010 00c00010 istri 40 0ddc0ffeebadfeed 00000000cafebabe -> 00c1000a 00c1000a +istri 42 abcdacbdabcdabcd 000000000000000a -> 0081000f 0081000f +istri 42 abcdabcdabcdabcd 000000000000000b -> 0081000e 0081000e +istri 42 abcdabcdabcdabcd 00000000000000ab -> 0081000f 0081000f +istri 42 abcdabc0abcdabcd 000000000000abcd -> 08c10007 08c10007 +istri 42 abcdabcdabcdabcd 000000000000abcd -> 0881000f 0881000f +istri 42 0bcdabcdabcdabcd 000000000000abcd -> 08c1000e 08c1000e +istri 42 abcdabcdabcda0cd 000000000000abcd -> 08c10001 08c10001 +istri 42 abcdabcdabcdab0d 000000000000abcd -> 08c10000 08c10000 +istri 42 abcdabcdabcdabc0 000000000000abcd -> 00c00010 00c00010 +istri 42 abcdabcdabcdabcd 000000000000abcd -> 0881000f 0881000f +istri 42 abcdabcdabcdabcd 000000000000a0cd -> 0881000d 0881000d +istri 42 abcdabcdabcdabcd 000000000000ab0d -> 0881000c 0881000c +istri 42 abcdabcdabcdabcd 000000000000abc0 -> 00800010 00800010 +istri 42 0000000000000000 0000000000000000 -> 00c00010 00c00010 +istri 42 aaaaaaaaaaaaaaaa aaaaaaaaaaaaaaaa -> 0801000f 0801000f +istri 42 0000abcdabcdabcd 000000000000abcd -> 08c1000b 08c1000b +istri 42 0000abcdabcdabcd 000000000000dcba -> 08c1000b 08c1000b +istri 42 0000abcdabcdabcd 000000000000bbbb -> 00c1000a 00c1000a +istri 42 0000abcdabcdabcd 000000000000baba -> 00c1000b 00c1000b +istri 42 0000abcdabcdabcd 00000000000baba0 -> 00c00010 00c00010 +istri 42 0ddc0ffeebadf00d 00000000cafebabe -> 00c00010 00c00010 +istri 42 0ddc0ffeebadfeed 00000000cafebabe -> 00c1000a 00c1000a istri 0E 111111111abcde11 00000000000abcde -> 00810002 00810002 istri 0E 111111111abcde11 0000abcde00abcde -> 00810002 00810002 istri 0E 1111111111abcde1 00000000000abcde -> 00810001 00810001