[ros-arm-bringup] 32206: We now have the correct intrinsics for ARM. The ARM linkerscript is now created (copy of the x86 linker script). The kernel can now be linked.

Author: ros-arm-bringup
Date: Fri Feb  8 10:51:01 2008
New Revision: 32206
URL: http://svn.reactos.org/svn/reactos?rev=32206&view=rev
Log:
We now have the correct intrinsics for ARM.
The ARM linkerscript is now created (copy of the x86 linker script).
The kernel can now be linked.
Modified:
    trunk/reactos/include/psdk/intrin_arm.h
    trunk/reactos/ntoskrnl/ntoskrnl_arm.lnk
Modified: trunk/reactos/include/psdk/intrin_arm.h
URL:
http://svn.reactos.org/svn/reactos/trunk/reactos/include/psdk/intrin_arm.h?…
==============================================================================
--- trunk/reactos/include/psdk/intrin_arm.h (original)
+++ trunk/reactos/include/psdk/intrin_arm.h Fri Feb  8 10:51:01 2008
@@ -34,98 +34,195 @@
 #define _ReadWriteBarrier() __sync_synchronize()
-FORCEINLINE char _InterlockedCompareExchange8(volatile char * const Destination, const
char Exchange, const char Comperand)
-{
-       return __sync_val_compare_and_swap(Destination, Comperand, Exchange);
-}
-
-FORCEINLINE short _InterlockedCompareExchange16(volatile short * const Destination, const
short Exchange, const short Comperand)
-{
-       return __sync_val_compare_and_swap(Destination, Comperand, Exchange);
-}
-
-FORCEINLINE long _InterlockedCompareExchange(volatile long * const Destination, const
long Exchange, const long Comperand)
-{
-       return __sync_val_compare_and_swap(Destination, Comperand, Exchange);
-}
-
-FORCEINLINE long long _InterlockedCompareExchange64(volatile long long * const
Destination, const long long Exchange, const long long Comperand)
-{
-       return __sync_val_compare_and_swap(Destination, Comperand, Exchange);
-}
-
-FORCEINLINE void * _InterlockedCompareExchangePointer(void * volatile * const
Destination, void * const Exchange, void * const Comperand)
-{
-       return __sync_val_compare_and_swap(Destination, Comperand, Exchange);
-}
-
-FORCEINLINE long _InterlockedExchange(volatile long * const Target, const long Value)
-{
-       /* NOTE: __sync_lock_test_and_set would be an acquire barrier, so we force a full
barrier */
-       __sync_synchronize();
-       return __sync_lock_test_and_set(Target, Value);
-}
-
-FORCEINLINE void * _InterlockedExchangePointer(void * volatile * const Target, void *
const Value)
-{
-       /* NOTE: ditto */
-       __sync_synchronize();
-       return __sync_lock_test_and_set(Target, Value);
-}
-
-static __inline__ __attribute__((always_inline)) long _InterlockedExchangeAdd16(volatile
short * const Addend, const short Value)
-{
-       return __sync_fetch_and_add(Addend, Value);
-}
-
-FORCEINLINE long _InterlockedExchangeAdd(volatile long * const Addend, const long Value)
-{
-       return __sync_fetch_and_add(Addend, Value);
-}
-
-FORCEINLINE char _InterlockedAnd8(volatile char * const value, const char mask)
-{
-       return __sync_fetch_and_and(value, mask);
-}
-
-FORCEINLINE short _InterlockedAnd16(volatile short * const value, const short mask)
-{
-       return __sync_fetch_and_and(value, mask);
-}
-
-FORCEINLINE long _InterlockedAnd(volatile long * const value, const long mask)
-{
-       return __sync_fetch_and_and(value, mask);
-}
-
-FORCEINLINE char _InterlockedOr8(volatile char * const value, const char mask)
-{
-       return __sync_fetch_and_or(value, mask);
-}
-
-FORCEINLINE short _InterlockedOr16(volatile short * const value, const short mask)
-{
-       return __sync_fetch_and_or(value, mask);
-}
-
-FORCEINLINE long _InterlockedOr(volatile long * const value, const long mask)
-{
-       return __sync_fetch_and_or(value, mask);
-}
-
-FORCEINLINE char _InterlockedXor8(volatile char * const value, const char mask)
-{
-       return __sync_fetch_and_xor(value, mask);
-}
-
-FORCEINLINE short _InterlockedXor16(volatile short * const value, const short mask)
-{
-       return __sync_fetch_and_xor(value, mask);
-}
-
-FORCEINLINE long _InterlockedXor(volatile long * const value, const long mask)
-{
-       return __sync_fetch_and_xor(value, mask);
+static __inline__ __attribute__((always_inline)) long
_InterlockedCompareExchange(volatile long * const dest, const long exch, const long comp)
+{
+       long a, b;
+
+       __asm__ __volatile__ (    "0:\n\t"
+                          "ldr %1, [%2]\n\t"
+                          "cmp %1, %4\n\t"
+                          "bne 1f\n\t"
+                          "swp %0, %3, [%2]\n\t"
+                          "cmp %0, %1\n\t"
+                          "swpne %3, %0, [%2]\n\t"
+                          "bne 0b\n\t"
+                          "1:"
+                          : "=&r" (a), "=&r" (b)
+                          : "r" (dest), "r" (exch), "r"
(comp)
+                          : "cc", "memory");
+
+       return a;
+}
+
+static __inline__ __attribute__((always_inline)) long _InterlockedExchangeAdd(volatile
long * const dest, const long add)
+{
+       long a, b, c;
+
+       __asm__ __volatile__ (  "0:\n\t"
+                          "ldr %0, [%3]\n\t"
+                          "add %1, %0, %4\n\t"
+                          "swp %2, %1, [%3]\n\t"
+                          "cmp %0, %2\n\t"
+                          "swpne %1, %2, [%3]\n\t"
+                          "bne 0b"
+                          : "=&r" (a), "=&r" (b),
"=&r" (c)
+                          : "r" (dest), "r" (add)
+                          : "cc", "memory");
+
+       return a;
+}
+
+static __inline__ __attribute__((always_inline)) char _InterlockedAnd8(volatile char *
const value, const char mask)
+{
+       char x;
+       char y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange8(value, x & mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) short _InterlockedAnd16(volatile short *
const value, const short mask)
+{
+       short x;
+       short y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange16(value, x & mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) long _InterlockedAnd(volatile long *
const value, const long mask)
+{
+       long x;
+       long y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange(value, x & mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) char _InterlockedOr8(volatile char *
const value, const char mask)
+{
+       char x;
+       char y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange8(value, x | mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) short _InterlockedOr16(volatile short *
const value, const short mask)
+{
+       short x;
+       short y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange16(value, x | mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) long _InterlockedOr(volatile long *
const value, const long mask)
+{
+       long x;
+       long y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange(value, x | mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) char _InterlockedXor8(volatile char *
const value, const char mask)
+{
+       char x;
+       char y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange8(value, x ^ mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) short _InterlockedXor16(volatile short *
const value, const short mask)
+{
+       short x;
+       short y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange16(value, x ^ mask, x);
+       }
+       while(y != x);
+
+       return y;
+}
+
+static __inline__ __attribute__((always_inline)) long _InterlockedXor(volatile long *
const value, const long mask)
+{
+       long x;
+       long y;
+
+       y = *value;
+
+       do
+       {
+               x = y;
+               y = _InterlockedCompareExchange(value, x ^ mask, x);
+       }
+       while(y != x);
+
+       return y;
 }
 static __inline__ __attribute__((always_inline)) long _InterlockedDecrement(volatile long
* const lpAddend)
Modified: trunk/reactos/ntoskrnl/ntoskrnl_arm.lnk
URL:
http://svn.reactos.org/svn/reactos/trunk/reactos/ntoskrnl/ntoskrnl_arm.lnk?…
==============================================================================
--- trunk/reactos/ntoskrnl/ntoskrnl_arm.lnk (original)
+++ trunk/reactos/ntoskrnl/ntoskrnl_arm.lnk Fri Feb  8 10:51:01 2008
@@ -1,0 +1,105 @@
+OUTPUT_FORMAT(pei-arm-wince-little)
+ENTRY(_mainCRTStartup)
+SECTIONS
+{
+  .text  __image_base__ + __section_alignment__  :
+  {
+    __text_start__ = .;
+    *(.init)
+    *(.text)
+    *(SORT(.text$*))
+    *(.glue_7t)
+    *(.glue_7)
+     ___CTOR_LIST__ = .; __CTOR_LIST__ = . ;
+                       LONG (-1); *(.ctors); *(.ctor); LONG (0);
+     ___DTOR_LIST__ = .; __DTOR_LIST__ = . ;
+                       LONG (-1); *(.dtors); *(.dtor);  LONG (0);
+     *(.fini)
+    /* ??? Why is .gcc_exc here?  */
+     *(.gcc_exc)
+     __text_end__ = .;
+    *(.gcc_except_table)
+  }
+  init BLOCK(__section_alignment__) :
+  {
+    __init_start__ = . ;
+    *(init)
+    __init_end__ = . ;
+  }
+   /* The Cygwin32 library uses a section to avoid copying certain data
+     on fork.  This used to be named ".data".  The linker used
+     to include this between __data_start__ and __data_end__, but that
+     breaks building the cygwin32 dll.  Instead, we name the section
+     ".data_cygwin_nocopy" and explictly include it after __data_end__. */
+  .data BLOCK(__section_alignment__) :
+  {
+    __data_start__ = . ;
+    *(.data)
+    *(.data2)
+    *(SORT(.data$*))
+    __data_end__ = . ;
+    *(.data_cygwin_nocopy)
+  }
+  .rdata BLOCK(__section_alignment__) :
+  {
+    *(.rdata)
+    *(SORT(.rdata$*))
+    *(.eh_frame)
+  }
+  .edata BLOCK(__section_alignment__) :
+  {
+    *(.edata)
+  }
+  /DISCARD/ :
+  {
+    *(.debug$S)
+    *(.debug$T)
+    *(.debug$F)
+    *(.drectve)
+  }
+
+  .idata BLOCK(__section_alignment__) :
+  {
+    /* This cannot currently be handled with grouped sections.
+       See pe.em:sort_sections.  */
+    SORT(*)(.idata$2)
+    SORT(*)(.idata$3)
+    /* These zeroes mark the end of the import list.  */
+    LONG (0); LONG (0); LONG (0); LONG (0); LONG (0);
+    SORT(*)(.idata$4)
+    SORT(*)(.idata$5)
+    SORT(*)(.idata$6)
+    SORT(*)(.idata$7)
+  }
+  .CRT BLOCK(__section_alignment__) :
+  {
+    *(SORT(.CRT$*))
+  }
+  .rsrc BLOCK(__section_alignment__) :
+  {
+    *(.rsrc)
+    *(SORT(.rsrc$*))
+  }
+  .bss BLOCK(__section_alignment__) :
+  {
+    __bss_start__ = . ;
+    *(.bss)
+    *(COMMON)
+    __bss_end__ = . ;
+  }
+  .reloc BLOCK(__section_alignment__) :
+  {
+    *(.reloc)
+     /* These zeroes mark the end of the reloc section.  */
+     LONG (0); LONG (0); LONG (0); LONG (0); LONG (0);
+  }
+  .stab BLOCK(__section_alignment__) (NOLOAD) :
+  {
+    [ .stab ]
+  }
+  .stabstr BLOCK(__section_alignment__) (NOLOAD) :
+  {
+    [ .stabstr ]
+  }
+}
+