public inbox for kvm@vger.kernel.org
 help / color / mirror / Atom feed
* [PATCH] test: Add emulator test for iret instruction
@ 2010-07-28  9:39 Mohammed Gamal
  2010-07-28 19:55 ` Marcelo Tosatti
  2010-07-29 15:50 ` Marcelo Tosatti
  0 siblings, 2 replies; 13+ messages in thread
From: Mohammed Gamal @ 2010-07-28  9:39 UTC (permalink / raw)
  To: avi; +Cc: mtosatti, kvm, Mohammed Gamal

This adds a unit test for real mode emulation of the iret instruction

Signed-off-by: Mohammed Gamal <m.gamal005@gmail.com>

---
Changes from v1:
- Added test for 16-bit iret
- Added tests for returned eflags
---
 kvm/test/x86/realmode.c |   79 +++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 79 insertions(+), 0 deletions(-)

diff --git a/kvm/test/x86/realmode.c b/kvm/test/x86/realmode.c
index bd79348..74456c3 100644
--- a/kvm/test/x86/realmode.c
+++ b/kvm/test/x86/realmode.c
@@ -865,6 +865,84 @@ void test_pusha_popa()
 		print_serial("Pusha/Popa Test2: PASS\n");
 }
 
+void test_iret()
+{
+	struct regs inregs = { 0 }, outregs;
+
+	MK_INSN(iret32, "pushf\n\t"
+			"pushl %cs\n\t"
+			"call 1f\n\t" /* a near call will push eip onto the stack */
+			"jmp 2f\n\t"
+			"1: iret\n\t"
+			"2:\n\t"
+		     );
+
+	MK_INSN(iret16, "pushfw\n\t"
+			"pushw %cs\n\t"
+			"callw 1f\n\t"
+			"jmp 2f\n\t"
+			"1: iretw\n\t"
+			"2:\n\t");
+
+	MK_INSN(iret_flags32, "pushfl\n\t"
+			      "popl %eax\n\t"
+			      "andl $~0x2, %eax\n\t"
+			      "orl $0xffc08028, %eax\n\t"
+			      "pushl %eax\n\t"
+			      "pushl %cs\n\t"
+			      "call 1f\n\t"
+			      "jmp 2f\n\t"
+			      "1: iret\n\t"
+			      "2:\n\t");
+
+	MK_INSN(iret_flags16, "pushfw\n\t"
+			      "popw %ax\n\t"
+			      "and $~0x2, %ax\n\t"
+			      "or $0x8028, %ax\n\t" 
+			      "pushw %ax\n\t"
+			      "pushw %cs\n\t"
+			      "callw 1f\n\t"
+			      "jmp 2f\n\t"
+			      "1: iretw\n\t"
+			      "2:\n\t");
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret32,
+			      insn_iret32_end - insn_iret32);
+
+	if (!regs_equal(&inregs, &outregs, 0))
+		print_serial("iret Test 1: FAIL\n");
+	else
+		print_serial("iret Test 1: PASS\n");
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret16,
+			      insn_iret16_end - insn_iret16);
+
+	if (!regs_equal(&inregs, &outregs, 0))
+		print_serial("iret Test 2: FAIL\n");
+	else
+		print_serial("iret Test 2: PASS\n");
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret_flags32,
+			      insn_iret_flags32_end - insn_iret_flags32);
+
+	if (!regs_equal(&inregs, &outregs, R_AX))
+		print_serial("iret Test 3: FAIL\n");
+	else
+		print_serial("iret Test 3: PASS\n");
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret_flags16,
+			      insn_iret_flags16_end - insn_iret_flags16);
+
+	if (!regs_equal(&inregs, &outregs, R_AX))
+		print_serial("iret Test 4: FAIL\n");
+	else
+		print_serial("iret Test 4: PASS\n");
+}
+
 void realmode_start(void)
 {
 	test_null();
@@ -886,6 +964,7 @@ void realmode_start(void)
 	/* long jmp test uses call near so test it after testing call */
 	test_long_jmp();
 	test_xchg();
+	test_iret();
 
 	exit(0);
 }
-- 
1.7.0.4


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [PATCH] test: Add emulator test for iret instruction
@ 2010-07-27 23:22 Mohammed Gamal
  2010-07-28  4:21 ` Avi Kivity
  0 siblings, 1 reply; 13+ messages in thread
From: Mohammed Gamal @ 2010-07-27 23:22 UTC (permalink / raw)
  To: avi; +Cc: mtosatti, kvm, Mohammed Gamal

This adds a unit test for real mode emulation of the iret instruction

Signed-off-by: Mohammed Gamal <m.gamal005@gmail.com>
---
 kvm/test/x86/realmode.c |   23 +++++++++++++++++++++++
 1 files changed, 23 insertions(+), 0 deletions(-)

diff --git a/kvm/test/x86/realmode.c b/kvm/test/x86/realmode.c
index bd79348..16716cc 100644
--- a/kvm/test/x86/realmode.c
+++ b/kvm/test/x86/realmode.c
@@ -865,6 +865,28 @@ void test_pusha_popa()
 		print_serial("Pusha/Popa Test2: PASS\n");
 }
 
+void test_iret()
+{
+	struct regs inregs = { 0 }, outregs;
+
+	MK_INSN(iret, "pushf\n\t"
+		      "pushl %cs\n\t"
+		      "call 1f\n\t" /* a near call will push eip onto the stack */
+		      "jmp 2f\n\t"
+		      "1:iret\n\t"
+		      "2:\n\t"
+		     );
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret,
+			      insn_iret_end - insn_iret);
+
+	if (!regs_equal(&inregs, &outregs, 0))
+		print_serial("iret Test 1: FAIL\n");
+	else
+		print_serial("iret Test 1: PASS\n");
+}
+
 void realmode_start(void)
 {
 	test_null();
@@ -886,6 +908,7 @@ void realmode_start(void)
 	/* long jmp test uses call near so test it after testing call */
 	test_long_jmp();
 	test_xchg();
+	test_iret();
 
 	exit(0);
 }
-- 
1.7.0.4


^ permalink raw reply related	[flat|nested] 13+ messages in thread
* [PATCH] test: Add emulator test for iret instruction
@ 2010-07-27 23:03 Mohammed Gamal
  0 siblings, 0 replies; 13+ messages in thread
From: Mohammed Gamal @ 2010-07-27 23:03 UTC (permalink / raw)
  To: avi; +Cc: mtosatti, kvm, Mohammed Gamal

This adds a unit test for real mode emulation of the iret instruction

Signed-off-by: Mohammed Gamal <m.gamal005@gmail.com>
---
 kvm/test/x86/realmode.c |   23 +++++++++++++++++++++++
 1 files changed, 23 insertions(+), 0 deletions(-)

diff --git a/kvm/test/x86/realmode.c b/kvm/test/x86/realmode.c
index bd79348..564116a 100644
--- a/kvm/test/x86/realmode.c
+++ b/kvm/test/x86/realmode.c
@@ -865,6 +865,28 @@ void test_pusha_popa()
 		print_serial("Pusha/Popa Test2: PASS\n");
 }
 
+void test_iret()
+{
+	struct regs inregs = { 0 }, outregs;
+
+	MK_INSN(iret, "pushf\n\t"
+		      "pushl %cs\n\t"
+		      "call 1f\n\t" /* a near call will push eip onto the stack */
+		      "jmp 2f\n\t"
+		      "1:iret\n\t"
+		      "2:\n\t"
+		     );
+
+	exec_in_big_real_mode(&inregs, &outregs,
+			      insn_iret,
+			      insn_iret_end - insn_iret);
+
+	if (!regs_equal(&inregs, &outregs, R_AX))
+		print_serial("iret Test 1: FAIL\n");
+	else
+		print_serial("iret Test 1: PASS\n");
+}
+
 void realmode_start(void)
 {
 	test_null();
@@ -886,6 +908,7 @@ void realmode_start(void)
 	/* long jmp test uses call near so test it after testing call */
 	test_long_jmp();
 	test_xchg();
+	test_iret();
 
 	exit(0);
 }
-- 
1.7.0.4


^ permalink raw reply related	[flat|nested] 13+ messages in thread

end of thread, other threads:[~2010-07-29 16:20 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-07-28  9:39 [PATCH] test: Add emulator test for iret instruction Mohammed Gamal
2010-07-28 19:55 ` Marcelo Tosatti
2010-07-28 20:28   ` Mohammed Gamal
2010-07-28 20:32     ` Marcelo Tosatti
2010-07-28 20:36       ` Mohammed Gamal
     [not found]         ` <20100728205627.GA31469@amt.cnet>
     [not found]           ` <AANLkTi=tguT3Y2qStz-Z31HQF684VDiG=gomJfB34AJj@mail.gmail.com>
2010-07-28 23:16             ` Mohammed Gamal
2010-07-28 23:18               ` Mohammed Gamal
2010-07-29  1:21                 ` Marcelo Tosatti
2010-07-29 15:50 ` Marcelo Tosatti
  -- strict thread matches above, loose matches on Subject: below --
2010-07-27 23:22 Mohammed Gamal
2010-07-28  4:21 ` Avi Kivity
2010-07-28  4:28   ` Avi Kivity
2010-07-27 23:03 Mohammed Gamal

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox