Xen project Mailing List

[Xen-devel] [PATCH V2] tools/tests: Add EIP check to test_x86_emulator.c

From: Razvan Cojocaru <rcojocaru@xxxxxxxxxxxxxxx>

Date: Thu, 7 Aug 2014 14:10:10 +0300

Cc: ian.campbell@xxxxxxxxxx, Razvan Cojocaru <rcojocaru@xxxxxxxxxxxxxxx>, stefano.stabellini@xxxxxxxxxxxxx, andrew.cooper3@xxxxxxxxxx, ian.jackson@xxxxxxxxxxxxx, JBeulich@xxxxxxxx

Comment: DomainKeys? See http://domainkeys.sourceforge.net/

Delivery-date: Thu, 07 Aug 2014 11:10:40 +0000

Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=bitdefender.com; b=fGtA18sjDNXSntG8ca2kynO+8LxxVWyWeMpvMfA99qXmyVv3X/8JzBsQxZGgiNGo/UB7beKTE2dlpwjvcFRnS3Ii3sUOnNTDGV7znzqYQrI78LWbp2HZ5/vw4taDv1Qx4NYPKGop8MahNo142i5MJy93r4MS5DowReMhORvmf02I1fbHYgBpstZO72CE6PEmDSUFo6u1LbVPe8xBW1y8augu1Kgf+6+rbyrxNs+dmaNgJGXw2u9ZLN5W5Cv3+Q+je5VMkwmoWj+EKZv60Z9xQ2JXNLwgF56sExFIrSLaa3HjZqs8J2s/ViXSeuJ/oF0rZqsfqRY/0BKyX6MeBEKsvw==; h=Received:Received:Received:Received:From:To:Cc:Subject:Date:Message-Id:X-Mailer:X-BitDefender-Scanner:X-BitDefender-Spam:X-BitDefender-SpamStamp:X-BitDefender-CF-Stamp;

List-id: Xen developer discussion <xen-devel.lists.xen.org>

The test now also checks that EIP was modified after emulating instructions after (and including) the "movq %mm3,(%ecx)..." code block. Changes since V1: - Now checking if the value in EIP is correct instead of simply checking that EIP has been modified. Signed-off-by: Razvan Cojocaru <rcojocaru@xxxxxxxxxxxxxxx> --- tools/tests/x86_emulator/test_x86_emulator.c | 80 +++++++++++++++++++------- 1 file changed, 60 insertions(+), 20 deletions(-) diff --git a/tools/tests/x86_emulator/test_x86_emulator.c b/tools/tests/x86_emulator/test_x86_emulator.c index 0a00d5a..8d9894b 100644 --- a/tools/tests/x86_emulator/test_x86_emulator.c +++ b/tools/tests/x86_emulator/test_x86_emulator.c @@ -602,20 +602,24 @@ int main(int argc, char **argv) printf("%-40s", "Testing movq %mm3,(%ecx)..."); if ( stack_exec && cpu_has_mmx ) { - extern const unsigned char movq_to_mem[]; + extern const unsigned char movq_to_mem[], movq_to_mem_end[]; + unsigned long instr_size; asm volatile ( "pcmpeqb %%mm3, %%mm3\n" ".pushsection .test, \"a\", @progbits\n" "movq_to_mem: movq %%mm3, (%0)\n" + "movq_to_mem_end:\n" ".popsection" :: "c" (NULL) ); + instr_size = movq_to_mem_end - movq_to_mem; memcpy(instr, movq_to_mem, 15); memset(res, 0x33, 64); memset(res + 8, 0xff, 8); regs.eip = (unsigned long)&instr[0]; regs.ecx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) ) + if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; printf("okay\n"); } @@ -625,19 +629,23 @@ int main(int argc, char **argv) printf("%-40s", "Testing movq (%edx),%mm5..."); if ( stack_exec && cpu_has_mmx ) { - extern const unsigned char movq_from_mem[]; + extern const unsigned char movq_from_mem[], movq_from_mem_end[]; + unsigned long instr_size; asm volatile ( "pcmpgtb %%mm5, %%mm5\n" ".pushsection .test, \"a\", @progbits\n" "movq_from_mem: movq (%0), %%mm5\n" + "movq_from_mem_end:\n" ".popsection" :: "d" (NULL) ); + instr_size = movq_from_mem_end - movq_from_mem; memcpy(instr, movq_from_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = 0; regs.edx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( rc != X86EMUL_OKAY ) + if ( rc != X86EMUL_OKAY || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; asm ( "pcmpeqb %%mm3, %%mm3\n\t" "pcmpeqb %%mm5, %%mm3\n\t" @@ -652,20 +660,24 @@ int main(int argc, char **argv) printf("%-40s", "Testing movdqu %xmm2,(%ecx)..."); if ( stack_exec && cpu_has_sse2 ) { - extern const unsigned char movdqu_to_mem[]; + extern const unsigned char movdqu_to_mem[], movdqu_to_mem_end[]; + unsigned long instr_size; asm volatile ( "pcmpeqb %%xmm2, %%xmm2\n" ".pushsection .test, \"a\", @progbits\n" "movdqu_to_mem: movdqu %%xmm2, (%0)\n" + "movdqu_to_mem_end:\n" ".popsection" :: "c" (NULL) ); + instr_size = movdqu_to_mem_end - movdqu_to_mem; memcpy(instr, movdqu_to_mem, 15); memset(res, 0x55, 64); memset(res + 8, 0xff, 16); regs.eip = (unsigned long)&instr[0]; regs.ecx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) ) + if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; printf("okay\n"); } @@ -675,19 +687,23 @@ int main(int argc, char **argv) printf("%-40s", "Testing movdqu (%edx),%xmm4..."); if ( stack_exec && cpu_has_sse2 ) { - extern const unsigned char movdqu_from_mem[]; + extern const unsigned char movdqu_from_mem[], movdqu_from_mem_end[]; + unsigned long instr_size; asm volatile ( "pcmpgtb %%xmm4, %%xmm4\n" ".pushsection .test, \"a\", @progbits\n" "movdqu_from_mem: movdqu (%0), %%xmm4\n" + "movdqu_from_mem_end:\n" ".popsection" :: "d" (NULL) ); + instr_size = movdqu_from_mem_end - movdqu_from_mem; memcpy(instr, movdqu_from_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = 0; regs.edx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( rc != X86EMUL_OKAY ) + if ( rc != X86EMUL_OKAY || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; asm ( "pcmpeqb %%xmm2, %%xmm2\n\t" "pcmpeqb %%xmm4, %%xmm2\n\t" @@ -702,13 +718,16 @@ int main(int argc, char **argv) printf("%-40s", "Testing vmovdqu %ymm2,(%ecx)..."); if ( stack_exec && cpu_has_avx ) { - extern const unsigned char vmovdqu_to_mem[]; + extern const unsigned char vmovdqu_to_mem[], vmovdqu_to_mem_end[]; + unsigned long instr_size; asm volatile ( "vpcmpeqb %%xmm2, %%xmm2, %%xmm2\n" ".pushsection .test, \"a\", @progbits\n" "vmovdqu_to_mem: vmovdqu %%ymm2, (%0)\n" + "vmovdqu_to_mem_end:\n" ".popsection" :: "c" (NULL) ); + instr_size = vmovdqu_to_mem_end - vmovdqu_to_mem; memcpy(instr, vmovdqu_to_mem, 15); memset(res, 0x55, 128); memset(res + 16, 0xff, 16); @@ -716,7 +735,8 @@ int main(int argc, char **argv) regs.eip = (unsigned long)&instr[0]; regs.ecx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 16, 64) ) + if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 16, 64) || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; printf("okay\n"); } @@ -726,7 +746,8 @@ int main(int argc, char **argv) printf("%-40s", "Testing vmovdqu (%edx),%ymm4..."); if ( stack_exec && cpu_has_avx ) { - extern const unsigned char vmovdqu_from_mem[]; + extern const unsigned char vmovdqu_from_mem[], vmovdqu_from_mem_end[]; + unsigned long instr_size; #if 0 /* Don't use AVX2 instructions for now */ asm volatile ( "vpcmpgtb %%ymm4, %%ymm4, %%ymm4\n" @@ -736,15 +757,18 @@ int main(int argc, char **argv) #endif ".pushsection .test, \"a\", @progbits\n" "vmovdqu_from_mem: vmovdqu (%0), %%ymm4\n" + "vmovdqu_from_mem_end:\n" ".popsection" :: "d" (NULL) ); + instr_size = vmovdqu_from_mem_end - vmovdqu_from_mem; memcpy(instr, vmovdqu_from_mem, 15); memset(res + 4, 0xff, 16); regs.eip = (unsigned long)&instr[0]; regs.ecx = 0; regs.edx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( rc != X86EMUL_OKAY ) + if ( rc != X86EMUL_OKAY || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; #if 0 /* Don't use AVX2 instructions for now */ asm ( "vpcmpeqb %%ymm2, %%ymm2, %%ymm2\n\t" @@ -771,20 +795,24 @@ int main(int argc, char **argv) memset(res + 10, 0x66, 8); if ( stack_exec && cpu_has_sse2 ) { - extern const unsigned char movsd_to_mem[]; + extern const unsigned char movsd_to_mem[], movsd_to_mem_end[]; + unsigned long instr_size; asm volatile ( "movlpd %0, %%xmm5\n\t" "movhpd %0, %%xmm5\n" ".pushsection .test, \"a\", @progbits\n" "movsd_to_mem: movsd %%xmm5, (%1)\n" + "movsd_to_mem_end:\n" ".popsection" :: "m" (res[10]), "c" (NULL) ); + instr_size = movsd_to_mem_end - movsd_to_mem; memcpy(instr, movsd_to_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = (unsigned long)(res + 2); regs.edx = 0; rc = x86_emulate(&ctxt, &emulops); - if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) ) + if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; printf("okay\n"); } @@ -797,19 +825,23 @@ int main(int argc, char **argv) printf("%-40s", "Testing movaps (%edx),%xmm7..."); if ( stack_exec && cpu_has_sse ) { - extern const unsigned char movaps_from_mem[]; + extern const unsigned char movaps_from_mem[], movaps_from_mem_end[]; + unsigned long instr_size; asm volatile ( "xorps %%xmm7, %%xmm7\n" ".pushsection .test, \"a\", @progbits\n" "movaps_from_mem: movaps (%0), %%xmm7\n" + "movaps_from_mem_end:\n" ".popsection" :: "d" (NULL) ); + instr_size = movaps_from_mem_end - movaps_from_mem; memcpy(instr, movaps_from_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = 0; regs.edx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( rc != X86EMUL_OKAY ) + if ( rc != X86EMUL_OKAY || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; asm ( "cmpeqps %1, %%xmm7\n\t" "movmskps %%xmm7, %0" : "=r" (rc) : "m" (res[8]) ); @@ -825,19 +857,23 @@ int main(int argc, char **argv) memset(res + 10, 0x77, 8); if ( stack_exec && cpu_has_avx ) { - extern const unsigned char vmovsd_to_mem[]; + extern const unsigned char vmovsd_to_mem[], vmovsd_to_mem_end[]; + unsigned long instr_size; asm volatile ( "vbroadcastsd %0, %%ymm5\n" ".pushsection .test, \"a\", @progbits\n" "vmovsd_to_mem: vmovsd %%xmm5, (%1)\n" + "vmovsd_to_mem_end:\n" ".popsection" :: "m" (res[10]), "c" (NULL) ); + instr_size = vmovsd_to_mem_end - vmovsd_to_mem; memcpy(instr, vmovsd_to_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = (unsigned long)(res + 2); regs.edx = 0; rc = x86_emulate(&ctxt, &emulops); - if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) ) + if ( (rc != X86EMUL_OKAY) || memcmp(res, res + 8, 32) || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; printf("okay\n"); } @@ -850,19 +886,23 @@ int main(int argc, char **argv) printf("%-40s", "Testing vmovaps (%edx),%ymm7..."); if ( stack_exec && cpu_has_avx ) { - extern const unsigned char vmovaps_from_mem[]; + extern const unsigned char vmovaps_from_mem[], vmovaps_from_mem_end[]; + unsigned long instr_size; asm volatile ( "vxorps %%ymm7, %%ymm7, %%ymm7\n" ".pushsection .test, \"a\", @progbits\n" "vmovaps_from_mem: vmovaps (%0), %%ymm7\n" + "vmovaps_from_mem_end:\n" ".popsection" :: "d" (NULL) ); + instr_size = vmovaps_from_mem_end - vmovaps_from_mem; memcpy(instr, vmovaps_from_mem, 15); regs.eip = (unsigned long)&instr[0]; regs.ecx = 0; regs.edx = (unsigned long)res; rc = x86_emulate(&ctxt, &emulops); - if ( rc != X86EMUL_OKAY ) + if ( rc != X86EMUL_OKAY || + (regs.eip != (unsigned long)&instr[0] + instr_size) ) goto fail; asm ( "vcmpeqps %1, %%ymm7, %%ymm0\n\t" "vmovmskps %%ymm0, %0" : "=r" (rc) : "m" (res[8]) ); -- 1.7.9.5 _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxx http://lists.xen.org/xen-devel

©2013 Xen Project, A Linux Foundation Collaborative Project. All Rights Reserved.
Linux Foundation is a registered trademark of The Linux Foundation.
Xen Project is a trademark of The Linux Foundation.