cmucl-cvs January 2017

cmucl-cvs@common-lisp.net

1 participants
25 discussions

[Git][cmucl/cmucl][sparc64-dev] Update call_into_c for 64-bit sparc
by Raymond Toy 03 Jan '17

03 Jan '17

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 6488147c by Raymond Toy at 2017-01-02T15:30:39-08:00 Update call_into_c for 64-bit sparc - - - - - 1 changed file: - src/lisp/sparc64-assem.S Changes: ===================================== src/lisp/sparc64-assem.S ===================================== --- a/src/lisp/sparc64-assem.S +++ b/src/lisp/sparc64-assem.S @@ -152,20 +152,12 @@ lra: .global call_into_c FUNCDEF(call_into_c) call_into_c: -#ifdef v8plus - stx %o2, [%fp + STACK_BIAS - 8 - 1*8] - stx %o3, [%fp + STACK_BIAS - 8 - 2*8] - stx %o4, [%fp + STACK_BIAS - 8 - 3*8] - stx %o5, [%fp + STACK_BIAS - 8 - 4*8] - stx %o6, [%fp + STACK_BIAS - 8 - 5*8] - stx %o7, [%fp + STACK_BIAS - 8 - 6*8] -#endif /* Build a lisp stack frame */ mov reg_CFP, reg_OCFP mov reg_CSP, reg_CFP - add reg_CSP, 32, reg_CSP - st reg_OCFP, [reg_CFP] - st reg_CODE, [reg_CFP+8] + add reg_CSP, 64, reg_CSP + stn reg_OCFP, [reg_CFP] + stn reg_CODE, [reg_CFP+8] /* Turn on pseudo-atomic. */ or reg_ALLOC, pseudo_atomic_Value, reg_ALLOC @@ -173,7 +165,7 @@ call_into_c: /* Convert the return address to an offset and save it on the stack. */ sub reg_LIP, reg_CODE, reg_L0 add reg_L0, type_OtherPointer, reg_L0 - st reg_L0, [reg_CFP+4] + stn reg_L0, [reg_CFP+2*8] /* Store LISP state */ store(reg_BSP,current_binding_stack_pointer) @@ -226,8 +218,8 @@ call_into_c: load(current_control_frame_pointer, reg_CFP) /* Get the return address back. */ - ld [reg_CFP+4], reg_LIP - ld [reg_CFP+8], reg_CODE + ldn [reg_CFP+8], reg_LIP + ldn [reg_CFP+16], reg_CODE add reg_LIP, reg_CODE, reg_LIP sub reg_LIP, type_OtherPointer, reg_LIP @@ -241,14 +233,6 @@ call_into_c: mov reg_CFP, reg_CSP mov reg_OCFP, reg_CFP -#ifdef v8plus - ldx [%fp + STACK_BIAS - 8 - 1*8], %o2 - ldx [%fp + STACK_BIAS - 8 - 2*8], %o3 - ldx [%fp + STACK_BIAS - 8 - 3*8], %o4 - ldx [%fp + STACK_BIAS - 8 - 4*8], %o5 - ldx [%fp + STACK_BIAS - 8 - 5*8], %o6 - ldx [%fp + STACK_BIAS - 8 - 6*8], %o7 -#endif /* And back into lisp. */ ret nop View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/6488147caa17ef75ef7ace9eb…

1 0

[Git][cmucl/cmucl][sparc64-dev] Use xcc condition code register instead of icc.
by Raymond Toy 02 Jan '17

02 Jan '17

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: f8591cbf by Raymond Toy at 2017-01-02T14:57:03-08:00 Use xcc condition code register instead of icc. - - - - - 1 changed file: - src/compiler/sparc64/insts.lisp Changes: ===================================== src/compiler/sparc64/insts.lisp ===================================== --- a/src/compiler/sparc64/insts.lisp +++ b/src/compiler/sparc64/insts.lisp @@ -1662,7 +1662,7 @@ about function addresses and register values.") (:dependencies (reads :psr)) (:delay 1) (:emitter - (emit-relative-branch-integer segment 0 #b001 cond-or-target target (or cc :icc) (or pred :pt)))) + (emit-relative-branch-integer segment 0 #b001 cond-or-target target (or cc :xcc) (or pred :pt)))) #-sparc-v9 (define-instruction ba (segment cond-or-target &optional target) @@ -1690,7 +1690,7 @@ about function addresses and register values.") (:dependencies (reads :psr)) (:delay 0) (:emitter - (emit-relative-branch-integer segment 1 #b001 cond-or-target target (or cc :icc) (or pred :pt)))) + (emit-relative-branch-integer segment 1 #b001 cond-or-target target (or cc :xcc) (or pred :pt)))) (eval-when (:compile-toplevel :load-toplevel :execute) (defun trap-arg-printer (value stream dstate) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/f8591cbf4df7608a369be30fb…

1 0

[Git][cmucl/cmucl][sparc64-dev] Add stack-bias constant
by Raymond Toy 02 Jan '17

02 Jan '17

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: fc265b2a by Raymond Toy at 2017-01-02T14:55:58-08:00 Add stack-bias constant - - - - - 1 changed file: - src/compiler/sparc64/parms.lisp Changes: ===================================== src/compiler/sparc64/parms.lisp ===================================== --- a/src/compiler/sparc64/parms.lisp +++ b/src/compiler/sparc64/parms.lisp @@ -204,6 +204,14 @@ (defconstant number-stack-displacement (* 16 vm:word-bytes)) +;;; STACK-BIAS +;;; +;;; The bias on the stack pointer (%sp) to get to the real top of +;;; stack. 64-bit applications have a bias on the stack (apparently +;;; to let the kernel easily tell if the application is a 32-bit or +;;; 64-bit app). +(defconstant stack-bias 2047) + ;;;; Description of the target address space. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/fc265b2a399cd15ecb0fe96d4…

1 0

[Git][cmucl/cmucl][sparc64-dev] Generate correct function header and lra header.
by Raymond Toy 02 Jan '17

02 Jan '17

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 7a34dbd6 by Raymond Toy at 2017-01-01T16:47:34-08:00 Generate correct function header and lra header. Need to add extra words in xep-allocate-frame to make sure we have sapce to hold the 64-bit fields of the function header. Same for lra-header too. - - - - - 2 changed files: - src/compiler/sparc64/call.lisp - src/compiler/sparc64/macros.lisp Changes: ===================================== src/compiler/sparc64/call.lisp ===================================== --- a/src/compiler/sparc64/call.lisp +++ b/src/compiler/sparc64/call.lisp @@ -174,8 +174,10 @@ (trace-table-entry trace-table-function-prologue) (emit-label start-lab) ;; Allocate function header. + (inst word 0) (inst function-header-word) (dotimes (i (1- vm:function-code-offset)) + (inst word 0) (inst word 0)) ;; The start of the actual code. ;; Fix CODE, cause the function object was passed in. ===================================== src/compiler/sparc64/macros.lisp ===================================== --- a/src/compiler/sparc64/macros.lisp +++ b/src/compiler/sparc64/macros.lisp @@ -144,6 +144,7 @@ `(progn (align lowtag-bits) (emit-label ,label) + (inst word 0) (inst lra-header-word))) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/7a34dbd65fd90df5879e83d7a…

1 0

[Git][cmucl/cmucl][sparc64-dev] 5 commits: More 64-bit changes.
by Raymond Toy 01 Jan '17

01 Jan '17

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/566a6888220df3f0ae75d231…

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

cmucl-cvs January 2017