Revert Intel-style assembly back to AT&T-style.

[pintos-anon] / src / tests / vm / pt-grow-pusha.c

diff --git a/src/tests/vm/pt-grow-pusha.c b/src/tests/vm/pt-grow-pusha.c
index 61efb015710cb94422ddd9c9dbdfbab058cfd7d2..759688066c05464eba2dc19f7f21264c6c6b4328 100644 (file)
--- a/src/tests/vm/pt-grow-pusha.c
+++ b/src/tests/vm/pt-grow-pusha.c
@@ -8,9 +8,9 @@ void
 test_main (void)
 {
   asm volatile
-    ("mov %%eax, %%esp;"        /* Save a copy of the stack pointer. */
-     "and %%esp, 0xfffff000;"   /* Move stack pointer to bottom of page. */
-     "pusha;"                   /* Push 32 bytes on stack at once. */
-     "mov %%esp, %%eax"         /* Restore copied stack pointer. */
-     ::: "eax");                /* Tell GCC we modified eax. */
+    ("movl %%esp, %%eax;"        /* Save a copy of the stack pointer. */
+     "andl $0xfffff000, %%esp;"  /* Move stack pointer to bottom of page. */
+     "pushal;"                   /* Push 32 bytes on stack at once. */
+     "movl %%eax, %%esp"         /* Restore copied stack pointer. */
+     ::: "eax");                 /* Tell GCC we destroyed eax. */
 }