[Git][cmucl/cmucl][sparc64-dev] 5 commits: More 64-bit changes.

1 Jan 2017

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl


Commits:
df1d4899 by Raymond Toy at 2016-12-30T10:39:57-08:00
More 64-bit changes.

o The trap instructions should use xcc, not icc for the condition reg.
o sll should be slln (or sllx)
o Don'te use store when storing to foreign_function_call_active
  because that stores a 64-bit value and foreign_function_call_active
  is an int (32-bit).

- - - - -
e8296572 by Raymond Toy at 2016-12-30T14:05:06-08:00
Use correct offset when printing lispobj function address

The previous version had a hardwired #x17 (23 dec) to get the object
address from the function code offset address.  Compute this value
from function-code-offset instead so that it will work for 64-bit
lisps too.

Also increase the size of the field to 12 hex digits.  That should be
enough bits (48 bits) of address space for any thing we're likely to
run on.

- - - - -
52c67424 by Raymond Toy at 2016-12-31T19:12:00-08:00
Map ldn/stn/slln/srln/sran to 64-bit versions of the instructions

- - - - -
e76eb9b7 by Raymond Toy at 2016-12-31T19:22:19-08:00
Print out correct info for sparc (and ppc)

The values for the initially defined functions in lisp.map were
incorrect for sparc and ppc where the raw-addr slot of function is not
the address of the code.  It is has function-pointer-type so the code
actually starts at the function-code-offset.  So for sparc and ppc,
continue to print out the raw-addr slot, but print out the actual code
start too (instead of some number preceding the function object).

Add comment in the code for this too.

- - - - -
35f9363b by Raymond Toy at 2016-12-31T19:22:51-08:00
Use just -g not -g3

My version of Sun Studio only supports -g, so just use -g.

- - - - -


4 changed files:

- src/compiler/generic/new-genesis.lisp
- src/compiler/sparc64/insts.lisp
- src/lisp/Config.sparc64_sunc
- src/lisp/sparc64-assem.S


Changes:

=====================================
src/compiler/generic/new-genesis.lisp
=====================================

--- a/src/compiler/generic/new-genesis.lisp
+++ b/src/compiler/generic/new-genesis.lisp
@@ -2832,9 +2832,20 @@
 				 funs)))))
 	       *fdefn-objects*)
       (format t "~%~|~%Initially defined functions:~2%")
-      (dolist (info (sort funs #'< :key #'cdr))
-	(format t "0x~8,'0X: ~S   #x~8,'0X~%" (cdr info) (car info) 
-		(- (cdr info) #x17)))
+      (let ((offset (- (* vm:word-bytes vm:function-code-offset)
+		       vm:function-pointer-type)))
+	(dolist (info (sort funs #'< :key #'cdr))
+	  ;; Note: The cdr is the raw-addr slot of an fdefn.  For
+	  ;; sparc and ppc, this isn't a raw address---it's a function
+	  ;; pointer object.  For other architectures, it is the
+	  ;; raw-addr slot where the code actually starts.  For
+	  ;; consistency, we'll print out the raw-addr slot on all
+	  ;; platforms.  However, the last item will be the function
+	  ;; object pointer for x86 and other archs, but the code
+	  ;; start for sparc and ppc.
+	  (format t "0x~12,'0X: ~S   #x~12,'0X~%" (cdr info) (car info)
+		  #-(or sparc ppc) (- (cdr info) offset)
+		  #+(or sparc ppc) (+ (cdr info) offset))))
       (format t "~%~|~%Undefined function references:~2%")
       (labels ((key (name)
 		 (etypecase name


=====================================
src/compiler/sparc64/insts.lisp
=====================================
--- a/src/compiler/sparc64/insts.lisp
+++ b/src/compiler/sparc64/insts.lisp
@@ -2141,11 +2141,11 @@ about function addresses and register values.")
 (macrolet ((frob (name inst)
 	     `(define-instruction-macro ,name (dst src1 &optional src2)
 	       `(inst ,',inst ,dst ,src1 ,src2))))
-  (frob ldn ld)
-  (frob stn st)
-  (frob slln sll)
-  (frob srln srl)
-  (frob sran sra))
+  (frob ldn ldx)
+  (frob stn stx)
+  (frob slln sllx)
+  (frob srln srlx)
+  (frob sran srax))
   
 ;;; Jal to a full 32-bit address.  Tmpreg is trashed.
 (define-instruction jali (segment link tmpreg value)


=====================================
src/lisp/Config.sparc64_sunc
=====================================
--- a/src/lisp/Config.sparc64_sunc
+++ b/src/lisp/Config.sparc64_sunc
@@ -26,7 +26,7 @@ AS_V8PLUS = -m64 $(MEM_MODEL)
 endif
 
 ASSEM_SRC = sparc64-assem.S
-CFLAGS += $(MEM_MODEL) -xlibmieee -g3 -DPRINTNOISE
+CFLAGS += $(MEM_MODEL) -xlibmieee -g -DPRINTNOISE
 DEPEND_FLAGS = -xM
 ASFLAGS = $(AS_V8PLUS)
 OS_LINK_FLAGS = -m64 $(MEM_MODEL) -M /usr/lib/ld/map.noexstk


=====================================
src/lisp/sparc64-assem.S
=====================================
--- a/src/lisp/sparc64-assem.S
+++ b/src/lisp/sparc64-assem.S
@@ -85,10 +85,10 @@ call_into_lisp:
         /* No longer atomic, and check for interrupt. */
 	andn	reg_ALLOC, pseudo_atomic_Value, reg_ALLOC
 	andcc	reg_ALLOC, pseudo_atomic_InterruptedValue, reg_ZERO
-	tne	trap_PseudoAtomic
+	tne	%xcc, trap_PseudoAtomic
 
         /* Pass in the args. */
-        sll     %i2, 2, reg_NARGS
+        slln    %i2, 2, reg_NARGS
         mov     %i1, reg_CFP
 	mov	%i0, reg_LEXENV
         ldn     [reg_CFP + 0*WORD_BYTES], reg_A0
@@ -129,12 +129,17 @@ lra:
         store(reg_CFP,current_control_frame_pointer)
 
         /* No longer in Lisp. */
+#if 0	
         store(reg_NL1,foreign_function_call_active)
+#else
+	sethi	%hi(foreign_function_call_active), reg_L0
+	st	reg_NL1, [reg_L0 + %lo(foreign_function_call_active)]
+#endif		
 
         /* Were we interrupted? */
 	andn	reg_ALLOC, pseudo_atomic_Value, reg_ALLOC
 	andcc	reg_ALLOC, pseudo_atomic_InterruptedValue, reg_ZERO
-	tne	trap_PseudoAtomic
+	tne	%xcc, trap_PseudoAtomic
 
         /* Back to C we go. */
 	ld	[%sp + STACK_BIAS +FRAMESIZE-WORD_BYTES], %i7
@@ -181,12 +186,17 @@ call_into_c:
 	load(current_control_frame_pointer, reg_CFP)
 
         /* No longer in Lisp. */
+#if 0
         store(reg_CSP,foreign_function_call_active)
+#else
+	sethi	%hi(foreign_function_call_active), reg_L0
+	st	reg_CSP, [reg_L0 + %lo(foreign_function_call_active)]
+#endif	
 
         /* Were we interrupted? */
 	andn	reg_ALLOC, pseudo_atomic_Value, reg_ALLOC
 	andcc	reg_ALLOC, pseudo_atomic_InterruptedValue, reg_ZERO
-	tne	trap_PseudoAtomic
+	tne	%xcc, trap_PseudoAtomic
 
         /* Into C we go. */
         call    reg_CFUNC
@@ -224,7 +234,7 @@ call_into_c:
         /* No longer atomic. */
 	andn	reg_ALLOC, pseudo_atomic_Value, reg_ALLOC
 	andcc	reg_ALLOC, pseudo_atomic_InterruptedValue, reg_ZERO
-	tne	trap_PseudoAtomic
+	tne	%xcc, trap_PseudoAtomic
 
         /* Reset the lisp stack. */
         /* Note: OCFP is in one of the locals, it gets preserved across C. */



View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/566a6888220df3f0ae75d2314...

    

Raymond Toy

tags

participants (1)