Revert Intel-style assembly back to AT&T-style.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 00:25:23 +0000 (00:25 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 00:25:23 +0000 (00:25 +0000)
The Intel-style assembly found too many bugs in GAS
and the GAS folks actually changed behavior on us
for lidt, lgdt.

20 files changed:
doc/userprog.texi
src/Make.config
src/lib/kernel/bitmap.c
src/lib/user/syscall.c
src/tests/userprog/child-bad.c
src/tests/userprog/sc-bad-arg.c
src/tests/userprog/sc-bad-sp.c
src/tests/userprog/sc-boundary-2.c
src/tests/userprog/sc-boundary.c
src/tests/vm/pt-grow-bad.c
src/tests/vm/pt-grow-pusha.c
src/threads/init.c
src/threads/interrupt.c
src/threads/io.h
src/threads/loader.S
src/threads/switch.S
src/threads/thread.c
src/userprog/exception.c
src/userprog/pagedir.c
src/userprog/process.c

index bab70ec7c178094f1e1ef581b8dc18648c761acc..87732098e2dbaa7e8438d433b5d68d7aa7a00406 100644 (file)
@@ -415,7 +415,7 @@ provide a little bit of helpful code:
    Returns true if successful, false if USRC is invalid. */
 static inline bool get_user (uint8_t *kdst, const uint8_t *usrc) {
   int eax;
-  asm ("mov %%eax, offset 1f; mov %%al, %2; mov %0, %%al; 1:"
+  asm ("movl $1f, %%eax; movb %2, %%al; movb %%al, %0; 1:"
        : "=m" (*kdst), "=&a" (eax) : "m" (*usrc));
   return eax != 0;
 }
@@ -424,7 +424,7 @@ static inline bool get_user (uint8_t *kdst, const uint8_t *usrc) {
    Returns true if successful, false if UDST is invalid. */
 static inline bool put_user (uint8_t *udst, uint8_t byte) {
   int eax;
-  asm ("mov %%eax, offset 1f; mov %0, %b2; 1:"
+  asm ("movl $1f, %%eax; movb %b2, %0; 1:"
        : "=m" (*udst), "=&a" (eax) : "r" (byte));
   return eax != 0;
 }
index 8744f0da4a764c4022f72669668a498f271c6bea..0a1b46a37ac10de3cf7e37c1670eafff5464b33e 100644 (file)
@@ -21,7 +21,7 @@ endif
 # Compiler and assembler invocation.
 DEFINES =
 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers
-CFLAGS = -g -MMD -msoft-float -masm=intel
+CFLAGS = -g -MMD -msoft-float
 CPPFLAGS = -nostdinc -I$(SRCDIR) -I- -I$(SRCDIR)/lib
 ASFLAGS = -Wa,--gstabs -MMD
 LDFLAGS = 
index df23cc34c1b8c9dddf86d8cc3796904838e36dac..d323b8982e552c1dcc7ab385de78786b661aa36a 100644 (file)
@@ -163,7 +163,7 @@ bitmap_mark (struct bitmap *b, size_t bit_idx)
   /* This is equivalent to `b->bits[idx] |= mask' except that it
      is guaranteed to be atomic on a uniprocessor machine.  See
      the description of the OR instruction in [IA32-v2b]. */
-  asm ("or %0, %1" : "=m" (b->bits[idx]) : "r" (mask) : "cc");
+  asm ("orl %1, %0" : "=m" (b->bits[idx]) : "r" (mask) : "cc");
 }
 
 /* Atomically sets the bit numbered BIT_IDX in B to false. */
@@ -176,7 +176,7 @@ bitmap_reset (struct bitmap *b, size_t bit_idx)
   /* This is equivalent to `b->bits[idx] &= ~mask' except that it
      is guaranteed to be atomic on a uniprocessor machine.  See
      the description of the AND instruction in [IA32-v2a]. */
-  asm ("and %0, %1" : "=m" (b->bits[idx]) : "r" (~mask) : "cc");
+  asm ("andl %1, %0" : "=m" (b->bits[idx]) : "r" (~mask) : "cc");
 }
 
 /* Atomically toggles the bit numbered IDX in B;
@@ -191,7 +191,7 @@ bitmap_flip (struct bitmap *b, size_t bit_idx)
   /* This is equivalent to `b->bits[idx] ^= mask' except that it
      is guaranteed to be atomic on a uniprocessor machine.  See
      the description of the XOR instruction in [IA32-v2b]. */
-  asm ("xor %0, %1" : "=m" (b->bits[idx]) : "r" (mask) : "cc");
+  asm ("xorl %1, %0" : "=m" (b->bits[idx]) : "r" (mask) : "cc");
 }
 
 /* Returns the value of the bit numbered IDX in B. */
index 6cc02d1df3df4c5c14bf19c95726f46d3edd9bfe..6fc26edcc333db9e66cbf0b458e252387336d9ef 100644 (file)
@@ -3,45 +3,45 @@
 
 /* Invokes syscall NUMBER, passing no arguments, and returns the
    return value as an `int'. */
-#define syscall0(NUMBER)                                \
-        ({                                              \
-          int retval;                                   \
-          asm volatile                                  \
-            ("push %[number]; int 0x30; add %%esp, 4"   \
-               : "=a" (retval)                          \
-               : [number] "i" (NUMBER)                  \
-               : "memory");                             \
-          retval;                                       \
+#define syscall0(NUMBER)                                        \
+        ({                                                      \
+          int retval;                                           \
+          asm volatile                                          \
+            ("pushl %[number]; int $0x30; addl $4, %%esp"       \
+               : "=a" (retval)                                  \
+               : [number] "i" (NUMBER)                          \
+               : "memory");                                     \
+          retval;                                               \
         })
 
 /* Invokes syscall NUMBER, passing argument ARG0, and returns the
    return value as an `int'. */
-#define syscall1(NUMBER, ARG0)                                          \
-        ({                                                              \
-          int retval;                                                   \
-          asm volatile                                                  \
-            ("push %[arg0]; push %[number]; int 0x30; add %%esp, 8"     \
-               : "=a" (retval)                                          \
-               : [number] "i" (NUMBER),                                 \
-                 [arg0] "g" (ARG0)                                      \
-               : "memory");                                             \
-          retval;                                                       \
+#define syscall1(NUMBER, ARG0)                                           \
+        ({                                                               \
+          int retval;                                                    \
+          asm volatile                                                   \
+            ("pushl %[arg0]; pushl %[number]; int $0x30; addl $8, %%esp" \
+               : "=a" (retval)                                           \
+               : [number] "i" (NUMBER),                                  \
+                 [arg0] "g" (ARG0)                                       \
+               : "memory");                                              \
+          retval;                                                        \
         })
 
 /* Invokes syscall NUMBER, passing arguments ARG0 and ARG1, and
    returns the return value as an `int'. */
-#define syscall2(NUMBER, ARG0, ARG1)                    \
-        ({                                              \
-          int retval;                                   \
-          asm volatile                                  \
-            ("push %[arg1]; push %[arg0]; "             \
-             "push %[number]; int 0x30; add %%esp, 12"  \
-               : "=a" (retval)                          \
-               : [number] "i" (NUMBER),                 \
-                 [arg0] "g" (ARG0),                     \
-                 [arg1] "g" (ARG1)                      \
-               : "memory");                             \
-          retval;                                       \
+#define syscall2(NUMBER, ARG0, ARG1)                            \
+        ({                                                      \
+          int retval;                                           \
+          asm volatile                                          \
+            ("pushl %[arg1]; pushl %[arg0]; "                   \
+             "pushl %[number]; int $0x30; addl $12, %%esp"      \
+               : "=a" (retval)                                  \
+               : [number] "i" (NUMBER),                         \
+                 [arg0] "g" (ARG0),                             \
+                 [arg1] "g" (ARG1)                              \
+               : "memory");                                     \
+          retval;                                               \
         })
 
 /* Invokes syscall NUMBER, passing arguments ARG0, ARG1, and
@@ -50,8 +50,8 @@
         ({                                                      \
           int retval;                                           \
           asm volatile                                          \
-            ("push %[arg2]; push %[arg1]; push %[arg0]; "       \
-             "push %[number]; int 0x30; add %%esp, 16"          \
+            ("pushl %[arg2]; pushl %[arg1]; pushl %[arg0]; "    \
+             "pushl %[number]; int $0x30; addl $16, %%esp"      \
                : "=a" (retval)                                  \
                : [number] "i" (NUMBER),                         \
                  [arg0] "g" (ARG0),                             \
index 70cfc6a0ec08a38893e84bbb69d03d35808fbeac..185617c2dfe45e6060fe0594aa3943875d1654a5 100644 (file)
@@ -4,6 +4,6 @@
 void
 test_main (void) 
 {
-  asm volatile ("mov %esp, 0x20101234; int 0x30");
+  asm volatile ("movl $0x20101234, %esp; int $0x30");
   fail ("should have exited with -1");
 }
index 2df966f3e623b8d03968652333d66001dace358a..b990468db3eb031fcbdd0674dc0202d18c3fdb61 100644 (file)
@@ -5,7 +5,7 @@
 void
 test_main (void) 
 {
-  asm volatile ("mov %%esp, 0xbffffffc; mov [dword ptr %%esp], %0; int 0x30"
+  asm volatile ("movl $0xbffffffc, %%esp; movl %0, (%%esp); int $0x30"
                 :: "i" (SYS_exit));
   fail ("should have called exit(-1)");
 }
index 8c42298d7df40149e343cf326ef408cb262913fb..2ae20e96d01cd63b2f421feb1786af2fcb40f9db 100644 (file)
@@ -4,6 +4,6 @@
 void
 test_main (void) 
 {
-  asm volatile ("mov %esp, 0x20101234; int 0x30");
+  asm volatile ("movl $0x20101234, %esp; int $0x30");
   fail ("should have called exit(-1)");
 }
index c287d248fbb8f1101633ba76196061784be8c8c6..47d28c6dfcbcec1de4b2240db03cf6671ef5b5e0 100644 (file)
@@ -13,6 +13,6 @@ test_main (void)
   p[1] = 67;
 
   /* Invoke the system call. */
-  asm volatile ("mov %%esp, %0; int 0x30" :: "g" (p));
+  asm volatile ("movl %0, %%esp; int $0x30" :: "g" (p));
   fail ("should have called exit(67)");
 }
index 10340b43f175e929797a15d14bbf2c249c38f3dc..86371d6365b261dfeecc7c1cdbd90d59785cfe9c 100644 (file)
@@ -14,6 +14,6 @@ test_main (void)
   p[1] = 42;
 
   /* Invoke the system call. */
-  asm volatile ("mov %%esp, %0; int 0x30" :: "g" (p));
+  asm volatile ("movl %0, %%esp; int $0x30" :: "g" (p));
   fail ("should have called exit(42)");
 }
index 2629574cc6f4bb0479cdc7ee4a66746ccee2433c..d83890fb7c0252579d38c6fff77015d6d6e67a86 100644 (file)
@@ -9,5 +9,5 @@ test_main (void)
 {
   /* Read from an address 4,096 bytes below the stack pointer.
      Must kill the program. */
-  asm volatile ("mov %eax, [%esp - 4096]");
+  asm volatile ("movl -4096(%esp), %eax");
 }
index 61efb015710cb94422ddd9c9dbdfbab058cfd7d2..759688066c05464eba2dc19f7f21264c6c6b4328 100644 (file)
@@ -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. */
 }
index 8ee50a2731b8730a2abef9caa4b88f747a8cce51..e2f6379b19a916ea305291bb119f075c626b4ccb 100644 (file)
@@ -196,7 +196,7 @@ paging_init (void)
      aka PDBR (page directory base register).  This activates our
      new page tables immediately.  See [IA32-v2a] "MOV--Move
      to/from Control Registers" and [IA32-v3] 3.7.5. */
-  asm volatile ("mov %%cr3, %0" :: "r" (vtop (base_page_dir)));
+  asm volatile ("movl %0, %%cr3" :: "r" (vtop (base_page_dir)));
 }
 
 /* Breaks the kernel command line into words and returns them as
index 82b7db7d724bed32a60fe5d9c1c004192d2049fd..2b43fd9a109d6bc1cae7280f46164533e86f0b0b 100644 (file)
@@ -54,7 +54,7 @@ intr_get_level (void)
   /* Push the flags register on the processor stack, then pop the
      value off the stack into `flags'.  See [IA32-v2b] "PUSHF"
      and "POP" and [IA32-v3] 5.8.1. */
-  asm volatile ("pushf; pop %0" : "=g" (flags));
+  asm volatile ("pushfl; popl %0" : "=g" (flags));
 
   return flags & FLAG_IF ? INTR_ON : INTR_OFF;
 }
@@ -380,7 +380,7 @@ intr_dump_frame (const struct intr_frame *f)
      See [IA32-v2a] "MOV--Move to/from Control Registers" and
      [IA32-v3] 5.14 "Interrupt 14--Page Fault Exception
      (#PF)". */
-  asm ("mov %0, %%cr2" : "=r" (cr2));
+  asm ("movl %%cr2, %0" : "=r" (cr2));
 
   printf ("Interrupt %#04x (%s) at eip=%p\n",
           f->vec_no, intr_names[f->vec_no], f->eip);
index cf9eee01a2174af6e5682f74f611a92b1b0baa89..b4932995294b684c3a7c822b24224ae91b5a3953 100644 (file)
@@ -50,7 +50,7 @@ inb (uint16_t port)
 {
   /* See [IA32-v2a] "IN". */
   uint8_t data;
-  asm volatile ("inb %0, %w1" : "=a" (data) : "d" (port));
+  asm volatile ("inb %w1,%0" : "=a" (data) : "d" (port));
   return data;
 }
 
@@ -60,7 +60,7 @@ static inline void
 insb (uint16_t port, void *addr, size_t cnt)
 {
   /* See [IA32-v2a] "INS". */
-  asm volatile ("cld; repne insb"
+  asm volatile ("cld; repne; insb"
                 : "=D" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "memory", "cc");
@@ -72,7 +72,7 @@ inw (uint16_t port)
 {
   uint16_t data;
   /* See [IA32-v2a] "IN". */
-  asm volatile ("inw %0, %w1" : "=a" (data) : "d" (port));
+  asm volatile ("inw %w1,%0" : "=a" (data) : "d" (port));
   return data;
 }
 
@@ -82,7 +82,7 @@ static inline void
 insw (uint16_t port, void *addr, size_t cnt)
 {
   /* See [IA32-v2a] "INS". */
-  asm volatile ("cld; repne insw"
+  asm volatile ("cld; repne; insw"
                 : "=D" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "memory", "cc");
@@ -94,7 +94,7 @@ inl (uint16_t port)
 {
   /* See [IA32-v2a] "IN". */
   uint32_t data;
-  asm volatile ("ind %0, %w1" : "=a" (data) : "d" (port));
+  asm volatile ("inl %w1,%0" : "=a" (data) : "d" (port));
   return data;
 }
 
@@ -104,7 +104,7 @@ static inline void
 insl (uint16_t port, void *addr, size_t cnt)
 {
   /* See [IA32-v2a] "INS". */
-  asm volatile ("cld; repne insd"
+  asm volatile ("cld; repne; insl"
                 : "=D" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "memory", "cc");
@@ -115,7 +115,7 @@ static inline void
 outb (uint16_t port, uint8_t data)
 {
   /* See [IA32-v2b] "OUT". */
-  asm volatile ("outb %w1, %0" : : "a" (data), "d" (port));
+  asm volatile ("outb %0,%w1" : : "a" (data), "d" (port));
 }
 
 /* Writes to PORT each byte of data in the CNT-byte buffer
@@ -124,7 +124,7 @@ static inline void
 outsb (uint16_t port, const void *addr, size_t cnt)
 {
   /* See [IA32-v2b] "OUTS". */
-  asm volatile ("cld; repne outsb"
+  asm volatile ("cld; repne; outsb"
                 : "=S" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "cc");
@@ -135,7 +135,7 @@ static inline void
 outw (uint16_t port, uint16_t data)
 {
   /* See [IA32-v2b] "OUT". */
-  asm volatile ("outw %w1, %0" : : "a" (data), "d" (port));
+  asm volatile ("outw %0,%w1" : : "a" (data), "d" (port));
 }
 
 /* Writes to PORT each 16-bit unit (halfword) of data in the
@@ -144,7 +144,7 @@ static inline void
 outsw (uint16_t port, const void *addr, size_t cnt)
 {
   /* See [IA32-v2b] "OUTS". */
-  asm volatile ("cld; repne outsw"
+  asm volatile ("cld; repne; outsw"
                 : "=S" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "cc");
@@ -155,7 +155,7 @@ static inline void
 outl (uint16_t port, uint32_t data)
 {
   /* See [IA32-v2b] "OUT". */
-  asm volatile ("outd %w1, %0" : : "a" (data), "d" (port));
+  asm volatile ("outl %0,%w1" : : "a" (data), "d" (port));
 }
 
 /* Writes to PORT each 32-bit unit (word) of data in the CNT-word
@@ -164,7 +164,7 @@ static inline void
 outsl (uint16_t port, const void *addr, size_t cnt)
 {
   /* See [IA32-v2b] "OUTS". */
-  asm volatile ("cld; repne outsd"
+  asm volatile ("cld; repne; outsl"
                 : "=S" (addr), "=c" (cnt)
                 : "d" (port), "0" (addr), "1" (cnt)
                 : "cc");
index 796dca8c3dd101b5ef61f2708eeb6f8c9bebf223..fc834ffa45642eaba3203ab7f3c844f3305d11b5 100644 (file)
@@ -40,8 +40,6 @@
 
 #include "threads/loader.h"
        
-       .intel_syntax noprefix
-       
 #### Kernel loader.
 
 #### This code should be stored in the first sector of the hard disk.
@@ -72,17 +70,17 @@ start:
 
 # Set up data segments.
 
-       sub ax, ax
-       mov es, ax
-       mov ds, ax
+       subw %ax, %ax
+       movw %ax, %es
+       movw %ax, %ds
 
 # Set up stack segment.
 # Stack grows downward starting from us.
-# We don't ever use the stack so this is strictly speaking
-# unnecessary.
+# We don't ever use the stack, but we call into the BIOS,
+# which might.
 
-       mov ss, ax
-       mov sp, 0x7c00
+       movw %ax, %ss
+       movw $0x7c00, %sp
        
 #### Enable A20.  Address line 20 is tied to low when the machine
 #### boots, which prevents addressing memory about 1 MB.  This code
@@ -90,94 +88,90 @@ start:
        
 # Poll status register while busy.
 
-1:     in al, 0x64
-       test al, 0x2
+1:     inb $0x64, %al
+       testb $0x2, %al
        jnz 1b
 
 # Send command for writing output port.
 
-       mov al, 0xd1
-       outb 0x64, al
+       movb $0xd1, %al
+       outb %al, $0x64
 
 # Poll status register while busy.
 
-1:     in al, 0x64
-       test al, 0x2
+1:     inb $0x64, %al
+       testb $0x2, %al
        jnz 1b
 
 # Enable A20 line.
 
-       mov al, 0xdf
-       out 0x60, al
+       movb $0xdf, %al
+       outb %al, $0x60
 
-#### Get memory size, via interrupt 15h function 88h, which returns CF
+#### Get memory size, via interrupt 15h function 88h.  Returns CF
 #### clear if successful, with AX = (kB of physical memory) - 1024.
 #### This only works for memory sizes <= 65 MB, which should be fine
 #### for our purposes.  We cap memory at 64 MB because that's all we
 #### prepare page tables for, below.
        
-       mov ah, 0x88
-       int 0x15
+       movb $0x88, %ah
+       int $0x15
        jc panic
        cli                     # BIOS might have enabled interrupts
-       add eax, 1024           # Total kB memory
-       cmp eax, 0x10000        # Cap at 64 MB
+       addl $1024, %eax        # Total kB memory
+       cmp $0x10000, %eax      # Cap at 64 MB
        jbe 1f
-       mov eax, 0x10000
-1:     shr eax, 2              # Total 4 kB pages
-       mov ram_pgs, eax 
+       mov $0x10000, %eax
+1:     shrl $2, %eax           # Total 4 kB pages
+       movl %eax, ram_pgs
        
 #### Create temporary page directory and page table and set page
 #### directory base register.
 
 # Create page directory at 64 kB and fill with zeroes.
-       mov ax, 0x1000
-       mov es, ax
-       sub eax, eax
-       sub edi, edi
-       mov ecx, 0x400
-       rep stosd
+       mov $0x1000, %ax
+       mov %ax, %es
+       subl %eax, %eax
+       subl %edi, %edi
+       movl $0x400, %ecx
+       rep stosl
 
 # Add PDEs to point to PTEs for the first 64 MB of RAM.
 # Also add identical PDEs starting at LOADER_PHYS_BASE.
-# See [IA32-v3] section 3.7.6 for a description of the bits in eax.
-
-# A bug in some versions of GAS prevents us from using the straightforward
-#      mov es:[di + LOADER_PHYS_BASE / 1024 / 1024], eax
-# so we calculate the displacement in bx instead.
-
-       mov eax, 0x11007
-       mov ecx, 0x11
-       sub di, di
-       mov ebx, LOADER_PHYS_BASE
-       shr ebx, 20
-1:     mov es:[di], eax
-       mov es:[bx + di], eax 
-       add di, 4
-       add eax, 0x1000
+# See [IA32-v3] section 3.7.6 for a description of the bits in %eax.
+
+       movl $0x11007, %eax
+       movl $0x11, %ecx
+       subl %edi, %edi
+1:     movl %eax, %es:(%di)
+       movl %eax, %es:LOADER_PHYS_BASE >> 20(%di)
+       addw $4, %di
+       addl $0x1000, %eax
        loop 1b
 
 # Set up one-to-map linear to physical map for the first 64 MB of RAM.
-# See [IA32-v3] section 3.7.6 for a description of the bits in eax.
-
-       mov ax, 0x1100
-       mov es, ax
-       mov eax, 0x7
-       mov cx, 0x4000
-       sub di, di
-1:     mov es:[di], eax 
-       add di, 4 
-       add eax, 0x1000
+# See [IA32-v3] section 3.7.6 for a description of the bits in %eax.
+
+       movw $0x1100, %ax
+       movw %ax, %es
+       movl $0x7, %eax
+       movl $0x4000, %ecx
+       subl %edi, %edi
+1:     movl %eax, %es:(%di)
+       addw $4, %di
+       addl $0x1000, %eax
        loop 1b
 
 # Set page directory base register.
 
-       mov eax, 0x10000
-       mov cr3, eax
+       movl $0x10000, %eax
+       movl %eax, %cr3
        
 #### Switch to protected mode.
 
-# Then we point the GDTR to our GDT.  Protected mode requires a GDT.
+# Note that interrupts are still off.
+
+# Point the GDTR to our GDT.  Protected mode requires a GDT.
 # We need a data32 prefix to ensure that all 32 bits of the GDT
 # descriptor are loaded (default is to load only 24 bits).
 
@@ -191,18 +185,18 @@ start:
 #    EM (Emulation): forces floating-point instructions to trap.
 #       We don't support floating point. 
        
-       mov eax, cr0
-       or eax, CR0_PE + CR0_PG + CR0_WP + CR0_EM
-       mov cr0, eax
+       movl %cr0, %eax
+       orl $CR0_PE | CR0_PG | CR0_WP | CR0_EM, %eax
+       movl %eax, %cr0
        
 # We're now in protected mode in a 16-bit segment.  The CPU still has
-# the real-mode code segment cached in cs's segment descriptor.  We
-# need to reload cs, and the easiest way is to use a far jump.
+# the real-mode code segment cached in %cs's segment descriptor.  We
+# need to reload %cs, and the easiest way is to use a far jump.
 # Because we're not in a 32-bit segment the data32 prefix is needed to
 # jump to a 32-bit offset.
 
-       data32 ljmp SEL_KCSEG, 1f + LOADER_PHYS_BASE
-
+       data32 ljmp $SEL_KCSEG, $1f + LOADER_PHYS_BASE
+       
 # We're now in protected mode in a 32-bit segment.
 
        .code32
@@ -210,83 +204,83 @@ start:
 # Reload all the other segment registers and the stack pointer to
 # point into our new GDT.
 
-1:     mov ax, SEL_KDSEG
-       mov ds, ax              
-       mov es, ax              
-       mov fs, ax              
-       mov gs, ax              
-       mov ss, ax
-       mov esp, LOADER_PHYS_BASE + 0x30000
+1:     movw $SEL_KDSEG, %ax
+       movw %ax, %ds           
+       movw %ax, %es           
+       movw %ax, %fs           
+       movw %ax, %gs           
+       movw %ax, %ss
+       movl $LOADER_PHYS_BASE + 0x30000, %esp
 
 #### Load kernel starting at physical address LOADER_KERN_BASE by
 #### frobbing the IDE controller directly.
 
-       mov ebx, 1
-       mov edi, LOADER_KERN_BASE + LOADER_PHYS_BASE
+       movl $1, %ebx
+       movl $LOADER_KERN_BASE + LOADER_PHYS_BASE, %edi
 read_sector:
 
 # Poll status register while controller busy.
 
-       mov edx, 0x1f7
-1:     in al, dx
-       test al, 0x80
+       movl $0x1f7, %edx
+1:     inb %dx, %al
+       testb $0x80, %al
        jnz 1b
 
 # Read a single sector.
 
-       mov edx, 0x1f2
-       mov al, 1 
-       out dx, al
+       movl $0x1f2, %edx
+       movb $1, %al
+       outb %al, %dx
 
 # Sector number to write in low 28 bits.
 # LBA mode, device 0 in top 4 bits.
 
-       mov eax, ebx
-       and eax, 0x0fffffff
-       or eax, 0xe0000000
+       movl %ebx, %eax
+       andl $0x0fffffff, %eax
+       orl $0xe0000000, %eax
 
-# Dump eax to ports 0x1f3...0x1f6.
+# Dump %eax to ports 0x1f3...0x1f6.
 
-       mov ecx, 4
-1:     inc dx
-       out dx, al
-       shr eax, 8
+       movl $4, %ecx
+1:     incw %dx
+       outb %al, %dx
+       shrl $8, %eax
        loop 1b
 
 # READ command to command register.
 
-       inc dx
-       mov al, 0x20
-       out dx, al
+       incw %dx
+       movb $0x20, %al
+       outb %al, %dx
 
 # Poll status register while controller busy.
 
-1:     in al, dx
-       test al, 0x80
+1:     inb %dx, %al
+       testb $0x80, %al
        jnz 1b
 
 # Poll status register until data ready.
 
-1:     in al, dx
-       test al, 0x08
+1:     inb %dx, %al
+       testb $0x08, %al
        jz 1b
 
 # Transfer sector.
 
-       mov ecx, 256
-       mov edx, 0x1f0
+       movl $256, %ecx
+       movl $0x1f0, %edx
        rep insw
 
 # Next sector.
 
-       inc ebx
-       cmp ebx, KERNEL_LOAD_PAGES*8 + 1
+       incl %ebx
+       cmpl $KERNEL_LOAD_PAGES*8 + 1, %ebx
        jnz read_sector
 
 #### Jump to kernel entry point.
 
-       mov eax, LOADER_PHYS_BASE + LOADER_KERN_BASE
-       call eax
+       movl $LOADER_PHYS_BASE + LOADER_KERN_BASE, %eax
+       call *%eax
        jmp panic
 
 #### GDT
@@ -301,16 +295,16 @@ gdtdesc:
        .long   gdt + LOADER_PHYS_BASE  # address gdt
 
 #### Fatal error.
-#### Print panicmsg (with help from the BIOS) and spin.
+#### Print panic_message (with help from the BIOS) and spin.
 
 panic:  .code16                        # We only panic in real mode.
-       mov si, offset panic_message
-       mov ah, 0xe
-       sub bh, bh
+       movw $panic_message, %si
+       movb $0xe, %ah
+       subb %bh, %bh
 1:     lodsb
-       test al, al
+       test %al, %al
 2:     jz 2b                   # Spin.
-       int 0x10
+       int $0x10
        jmp 1b
 
 panic_message:
@@ -327,10 +321,10 @@ ram_pgs:
 #### This is written by the `pintos' utility and read by the kernel.
 #### The loader itself does not do anything with the command line.
        .org LOADER_ARG_CNT - LOADER_BASE
-arg_cnt:       
+arg_cnt:
        .long 0
        .org LOADER_ARGS - LOADER_BASE
-args:          
+args:
        .fill 0x80, 1, 0
 
 #### Boot-sector signature.
index f58c4a8931a15c8908b8d2264608e1b8ace344d6..6cb70aa86e38b8ad85c930376e260ce7ef43cf1d 100644 (file)
 #### restore the registers.  As part of switching stacks we record the
 #### current stack pointer in CUR's thread structure.
 
-.intel_syntax noprefix
-
 .globl switch_threads
 .func switch_threads
 switch_threads:
        # Save caller's register state.
        #
-       # Note that the SVR4 ABI allows us to destroy eax, ecx, edx,
-       # but requires us to preserve ebx, ebp, esi, edi.  See
+       # Note that the SVR4 ABI allows us to destroy %eax, %ecx, %edx,
+       # but requires us to preserve %ebx, %ebp, %esi, %edi.  See
        # [SysV-ABI-386] pages 3-11 and 3-12 for details.
        #
        # This stack frame must match the one set up by thread_create().
-       push ebx
-       push ebp
-       push esi
-       push edi
+       pushl %ebx
+       pushl %ebp
+       pushl %esi
+       pushl %edi
 
        # Get offsetof (struct thread, stack).
 .globl thread_stack_ofs
-       mov edx, thread_stack_ofs
+       mov thread_stack_ofs, %edx
 
        # Save current stack pointer to old thread's stack, if any.
-       mov eax, SWITCH_CUR[esp]
-       test eax, eax
+       movl SWITCH_CUR(%esp), %eax
+       test %eax, %eax
        jz 1f
-       mov [eax + edx], esp
+       movl %esp, (%eax,%edx,1)
 1:
 
        # Restore stack pointer from new thread's stack.
-       mov ecx, SWITCH_NEXT[esp]
-       mov esp, [ecx + edx]
+       movl SWITCH_NEXT(%esp), %ecx
+       movl (%ecx,%edx,1), %esp
 
        # Restore caller's register state.
-       pop edi
-       pop esi
-       pop ebp
-       pop ebx
+       popl %edi
+       popl %esi
+       popl %ebp
+       popl %ebx
         ret
 .endfunc
 
@@ -56,13 +54,13 @@ switch_threads:
 .func switch_entry
 switch_entry:
        # Discard switch_threads() arguments.
-       add esp, 8
+       addl $8, %esp
 
        # Call schedule_tail(prev).
-       push eax
+       pushl %eax
 .globl schedule_tail
        call schedule_tail
-       add esp, 4
+       addl $4, %esp
 
        # Start thread proper.
        ret
index 7a5c726a096c2c36c38652308ae02359678141e3..dc23efb4b2dfb3bb608084940991a3c916d50ae6 100644 (file)
@@ -376,7 +376,7 @@ running_thread (void)
      down to the start of a page.  Because `struct thread' is
      always at the beginning of a page and the stack pointer is
      somewhere in the middle, this locates the curent thread. */
-  asm ("mov %0, %%esp" : "=g" (esp));
+  asm ("mov %%esp, %0" : "=g" (esp));
   return pg_round_down (esp);
 }
 
index 9a4eb90fd7eb184de733e867188c84cce337633a..d4e02b9b7b5ef736784702309e66086ff850d405 100644 (file)
@@ -139,7 +139,7 @@ page_fault (struct intr_frame *f)
      See [IA32-v2a] "MOV--Move to/from Control Registers" and
      [IA32-v3] 5.14 "Interrupt 14--Page Fault Exception
      (#PF)". */
-  asm ("mov %0, %%cr2" : "=r" (fault_addr));
+  asm ("movl %%cr2, %0" : "=r" (fault_addr));
 
   /* Turn interrupts back on (they were only off so that we could
      be assured of reading CR2 before it changed). */
index 4604ca2ddf94b24e97f31fbd5d553b06ab3ff7c1..9b2e3c01af18267dca20dac11df8ecc2f9264c20 100644 (file)
@@ -223,7 +223,7 @@ pagedir_activate (uint32_t *pd)
      aka PDBR (page directory base register).  This activates our
      new page tables immediately.  See [IA32-v2a] "MOV--Move
      to/from Control Registers" and [IA32-v3] 3.7.5. */
-  asm volatile ("mov %%cr3, %0" :: "r" (vtop (pd)));
+  asm volatile ("movl %0, %%cr3" :: "r" (vtop (pd)));
 }
 
 /* Returns the currently active page directory. */
@@ -235,7 +235,7 @@ active_pd (void)
      See [IA32-v2a] "MOV--Move to/from Control Registers" and
      [IA32-v3] 3.7.5. */
   uintptr_t pd;
-  asm volatile ("mov %0, %%cr3" : "=r" (pd));
+  asm volatile ("movl %%cr3, %0" : "=r" (pd));
   return ptov (pd);
 }
 
index 58e81fd173d36c5bb0282f5ef29a05cb71ef8cff..6150a06d640add8ccc65e097ac1c87bf6c6bf701 100644 (file)
@@ -71,7 +71,7 @@ execute_thread (void *filename_)
      arguments on the stack in the form of a `struct intr_frame',
      we just point the stack pointer (%esp) to our stack frame
      and jump to it. */
-  asm ("mov %%esp, %0; jmp intr_exit" :: "g" (&if_));
+  asm ("movl %0, %%esp; jmp intr_exit" :: "g" (&if_));
   NOT_REACHED ();
 }