Rewrite Solaris compiler tas() assembly routines, merge i386 and x86_64

bmomjian · bmomjian · commit 128bed948fb1 · 2006-04-27T22:28:42.000Z
assembler files, renamed as solaris_x86.s.

Theo Schlossnagle
diff --git a/src/backend/port/tas/solaris_i386.s b/src/backend/port/tas/solaris_i386.s
diff --git a/src/backend/port/tas/solaris_sparc.s b/src/backend/port/tas/solaris_sparc.s
@@ -1,50 +1,20 @@
-	!!
-	!! $PostgreSQL: pgsql/src/backend/port/tas/solaris_sparc.s,v 1.2 2003/11/29 19:51:54 pgsql Exp $
-	!!
-	!! this would be a piece of inlined assembler but it appears
-	!! to be easier to just write the assembler than to try to 
-	!! figure out how to make sure that in/out registers are kept
-	!! straight in the asm's.
-	!!
-	.file	"tas.c"
-.section	".text"
-	.align 4
-	.global tas
-	.type	 tas,#function
-	.proc	04
-tas:
-	!!
-	!! this is a leaf procedure - no need to save windows and 
-	!! diddle the CWP.
-	!!
-	!#PROLOGUE# 0
-	!#PROLOGUE# 1
-	
-	!!
-	!! write 0xFF into the lock address, saving the old value in %o0.
-	!! this is an atomic action, even on multiprocessors.
-	!!
-	ldstub [%o0],%o0
-	
-	!!
-	!! if it was already set when we set it, somebody else already
-	!! owned the lock -- return 1.
-	!!
-	cmp %o0,0
-	bne .LL2
-	mov 1,%o0
-		
-	!!
-	!! otherwise, it was clear and we now own the lock -- return 0.
-	!!
-	mov 0,%o0
-.LL2:
-	!!
-	!! this is a leaf procedure - no need to restore windows and 
-	!! diddle the CWP.
-	!!
-	retl
-	nop
-.LLfe1:
-	.size	 tas,.LLfe1-tas
-	.ident	"GCC: (GNU) 2.5.8"
+/=======================================================================
+/ solaris_sparc.s -- compare and swap for solaris_sparc
+/=======================================================================
+
+#if defined(__sparcv9) || defined(__sparc)
+
+         .section        ".text"
+         .align  8
+         .skip   24
+         .align  4
+
+         .global pg_atomic_cas
+pg_atomic_cas:
+         cas     [%o0],%o2,%o1
+         mov     %o1,%o0
+         retl
+         nop
+         .type   pg_atomic_cas,2
+         .size   pg_atomic_cas,(.-pg_atomic_cas)
+#endif
diff --git a/src/backend/port/tas/solaris_x86.s b/src/backend/port/tas/solaris_x86.s
@@ -0,0 +1,32 @@
+/=======================================================================
+/ solaris_i386.s -- compare and swap for solaris_i386
+/=======================================================================
+
+/ Fortunately the Sun compiler understands cpp conditionals
+
+         .file   "tas.s"
+
+#if defined(__amd64)
+         .code64
+#endif
+
+         .globl pg_atomic_cas
+         .type pg_atomic_cas, @function
+
+         .section .text, "ax"
+         .align 16
+
+pg_atomic_cas:
+#if defined(__amd64)
+         movl       %edx,%eax
+         lock
+         cmpxchgl   %esi,(%rdi)
+#else
+         movl    4(%esp), %edx
+         movl    8(%esp), %ecx
+         movl    12(%esp), %eax
+         lock
+         cmpxchgl %ecx, (%edx)
+#endif
+         ret
+         .size pg_atomic_cas, . - pg_atomic_cas
diff --git a/src/backend/port/tas/solaris_x86_64.s b/src/backend/port/tas/solaris_x86_64.s
diff --git a/src/include/storage/s_lock.h b/src/include/storage/s_lock.h
@@ -66,7 +66,7 @@
  * Portions Copyright (c) 1996-2006, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
  *
- *	  $PostgreSQL: pgsql/src/include/storage/s_lock.h,v 1.149 2006/04/19 23:11:15 tgl Exp $
+ *	  $PostgreSQL: pgsql/src/include/storage/s_lock.h,v 1.150 2006/04/27 22:28:42 momjian Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -763,23 +763,14 @@ typedef unsigned char slock_t;
 #endif
 
 
-#if defined(__sparc__) || defined(__sparc)
+#if defined(__sun) && (defined(__i386) || defined(__x86_64__) || defined(__sparc__) || defined(__sparc))
 #define HAS_TEST_AND_SET
-
 typedef unsigned char slock_t;
-#endif
-
-
-/* out-of-line assembler from src/backend/port/tas/foo.s */
 
-/* i386/X86_64 using Sun compiler */
-#if defined(__sun) && (defined(__i386) || defined(__x86_64__)) 
-/*
- * Solaris/386 (we only get here for non-gcc case)
- */
-#define HAS_TEST_AND_SET
+extern volatile slock_t pg_atomic_cas(volatile slock_t *lock, slock_t with,
+									  slock_t cmp);
 
-typedef unsigned char slock_t;
+#define TAS(a) (pg_atomic_cas((a), 1, 0) != 0)
 #endif
 
 
diff --git a/src/template/solaris b/src/template/solaris
@@ -4,29 +4,21 @@ if test "$GCC" != yes ; then
   if test "$enable_debug" != yes; then
     CFLAGS="$CFLAGS -O"		# any optimization breaks debug
   fi
-fi
-
-# Pick right test-and-set (TAS) code.  We need out-of-line assembler
-# when not using gcc.
-case $host in
-  sparc-*-solaris*)
-	if test "$GCC" != yes ; then
-		need_tas=yes
-		tas_file=solaris_sparc.s
-	fi
+else
+  # Pick the right test-and-set (TAS) code for the Sun compiler.
+  # We would like to use in-line assembler, but the compiler
+  # requires *.il files to be on every compile line, making 
+  # the build system too fragile.
+  case $host in
+    sparc-*-solaris*)
+	need_tas=yes
+	tas_file=solaris_sparc.s
     ;;
-  i?86-*-solaris*)
-	if test "$GCC" != yes ; then
-		if isainfo | grep amd64
-		then
-			need_tas=yes
-			tas_file=solaris_x86_64.s
-		else
-			need_tas=yes
-			tas_file=solaris_i386.s
-		fi
-	fi
+    i?86-*-solaris*)
+	need_tas=yes
+	tas_file=solaris_x86.s
     ;;
-esac
+  esac
+fi
 
 # -D_POSIX_PTHREAD_SEMANTICS enables 5-arg getpwuid_r, among other things
