- cmucl-cvs - mailman3.common-lisp.net

[Git][cmucl/cmucl][sparc64-dev] Split LOAD-IMMEDIATE into various parts
by Raymond Toy 03 Jan '18

03 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: bd60cf13 by Raymond Toy at 2018-01-03T09:34:27-08:00 Split LOAD-IMMEDIATE into various parts Use separate not-implemented for the various branchs of load-immediate to make it easier to tell what's being loaded. Also add a few more not-implemented calls in places we missed. - - - - - 1 changed file: - src/compiler/sparc64/move.lisp Changes: ===================================== src/compiler/sparc64/move.lisp ===================================== --- a/src/compiler/sparc64/move.lisp +++ b/src/compiler/sparc64/move.lisp @@ -25,15 +25,18 @@ ((null immediate zero) (any-reg descriptor-reg)) (let ((val (tn-value x))) - (not-implemented "LOAD-IMMEDIATE") (etypecase val (integer + (not-implemented "LOAD-IMMEDIATE/INTEGER") (inst li y (fixnumize val))) (null + (not-implemented "LOAD-IMMEDIATE/NULL") (move y null-tn)) (symbol + (not-implemented "LOAD-IMMEDIATE/SYMBOL") (load-symbol y val)) (character + (not-implemented "LOAD-IMMEDIATE/CHAR") (inst li y (logior (ash (char-code val) type-bits) base-char-type)))))) @@ -48,6 +51,7 @@ (define-move-function (load-number 1) (vop x y) ((immediate zero) (signed-reg unsigned-reg signed64-reg unsigned64-reg)) + (not-implemented "LOAD-NUMBER") (inst li64 y (tn-value x))) (define-move-function (load-base-char 1) (vop x y) @@ -223,6 +227,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:generator 4 (let ((done (gen-label))) + (emit-not-implemented) (inst andcc temp x fixnum-tag-mask) (inst signx temp x) ; sign-extend x to temp (inst b :eq done) @@ -333,6 +338,7 @@ (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) x temp) (:note _N"unsigned word to integer coercion") (:generator 20 + (emit-not-implemented) (move x arg) (let ((done (gen-label))) (inst sran temp x positive-fixnum-bits) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/bd60cf1358fdaba1d9ccee2ab… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/bd60cf1358fdaba1d9ccee2ab… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: Add more NOT-IMPLEMENTED
by Raymond Toy 03 Jan '18

03 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 7c7966bd by Raymond Toy at 2018-01-03T08:44:07-08:00 Add more NOT-IMPLEMENTED - - - - - 5318926b by Raymond Toy at 2018-01-03T09:20:12-08:00 Align LRA on 16-byte boundaries - - - - - 3 changed files: - src/assembly/sparc64/arith.lisp - src/compiler/sparc64/macros.lisp - src/lisp/sparc64-assem.S Changes: ===================================== src/assembly/sparc64/arith.lisp ===================================== --- a/src/assembly/sparc64/arith.lisp +++ b/src/assembly/sparc64/arith.lisp @@ -36,6 +36,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC-+") (inst andcc zero-tn x fixnum-tag-mask) (inst b :ne DO-STATIC-FUN) (inst andcc zero-tn y fixnum-tag-mask) @@ -80,6 +81,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC--") (inst andcc zero-tn x fixnum-tag-mask) (inst b :ne DO-STATIC-FUN) (inst andcc zero-tn y fixnum-tag-mask) @@ -129,6 +131,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC-*") ;; If either arg is not a fixnum, call the static function. (inst andcc zero-tn x fixnum-tag-mask) (inst b :ne DO-STATIC-FUN) @@ -138,7 +141,7 @@ ;; Remove the tag from one arg so that the result will have the correct ;; fixnum tag. - (inst sra temp x fixnum-tag-bits) + (inst sran temp x fixnum-tag-bits) ;; Compute the produce temp * y and return the double-word product ;; in hi:lo. (cond ((backend-featurep :sparc-64) @@ -228,6 +231,7 @@ (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented ,name) (inst andcc zero-tn x fixnum-tag-mask) (inst b :ne DO-STATIC-FN) (inst andcc zero-tn y fixnum-tag-mask) @@ -268,6 +272,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC-EQL") (inst cmp x y) (inst b :eq RETURN-T) (inst andcc zero-tn x fixnum-tag-mask) @@ -305,6 +310,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC-=") (inst andcc zero-tn x fixnum-tag-mask) (inst b :ne DO-STATIC-FN) (inst andcc zero-tn y fixnum-tag-mask) @@ -341,6 +347,7 @@ (:temp lra descriptor-reg lra-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) + (not-implemented "GENERIC-/=") (inst cmp x y) (inst b :eq RETURN-NIL) (inst andcc zero-tn x fixnum-tag-mask) ===================================== src/compiler/sparc64/macros.lisp ===================================== --- a/src/compiler/sparc64/macros.lisp +++ b/src/compiler/sparc64/macros.lisp @@ -142,7 +142,7 @@ (defmacro emit-return-pc (label) "Emit a return-pc header word. LABEL is the label to use for this return-pc." `(progn - (align lowtag-bits) + (align 4) (emit-label ,label) (inst word 0) (inst lra-header-word))) ===================================== src/lisp/sparc64-assem.S ===================================== --- a/src/lisp/sparc64-assem.S +++ b/src/lisp/sparc64-assem.S @@ -107,8 +107,9 @@ call_into_lisp: jmp reg_CODE+FUNCTION_CODE_OFFSET nop - .align 8 + .align 16 lra: + .word 0 .word type_ReturnPcHeader /* Blow off any extra values. */ View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/f52af3436f0f657dfb14d97f… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/f52af3436f0f657dfb14d97f… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: WORD-INDEX-{REF, SET} must shift index left.
by Raymond Toy 03 Jan '18

03 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: aae9e027 by Raymond Toy at 2018-01-02T21:22:18-08:00 WORD-INDEX-{REF,SET} must shift index left. The sparc64 port still uses 3 bits for tags, so a fixnum index must be left shifted by 1 to get the correct byte index when accessing words (64-bit objects) to/from memory. - - - - - f52af343 by Raymond Toy at 2018-01-02T21:22:52-08:00 Add more calls to not-implemented. Mostly so we can see more things happening. - - - - - 6 changed files: - src/compiler/sparc64/alloc.lisp - src/compiler/sparc64/arith.lisp - src/compiler/sparc64/array.lisp - src/compiler/sparc64/c-call.lisp - src/compiler/sparc64/call.lisp - src/compiler/sparc64/memory.lisp Changes: ===================================== src/compiler/sparc64/alloc.lisp ===================================== --- a/src/compiler/sparc64/alloc.lisp +++ b/src/compiler/sparc64/alloc.lisp @@ -61,6 +61,7 @@ (:variant-vars star) (:policy :safe) (:generator 0 + (emit-not-implemented) (cond ((zerop num) (move result null-tn)) ((and star (= num 1)) @@ -116,6 +117,7 @@ (:temporary (:scs (any-reg) :from (:argument 0)) boxed) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) unboxed) (:generator 100 + (emit-not-implemented) (inst add boxed boxed-arg (fixnumize (1+ code-trace-table-offset-slot))) (inst and boxed (lognot lowtag-mask)) (inst srln unboxed unboxed-arg word-shift) @@ -139,6 +141,7 @@ (:policy :fast-safe) (:translate make-fdefn) (:generator 37 + (emit-not-implemented) (with-fixed-allocation (result temp fdefn-type fdefn-size) ;; For the linkage-table stuff, we need to look up the address ;; of undefined_tramp from the linkage table instead of using @@ -156,6 +159,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:results (result :scs (descriptor-reg))) (:generator 10 + (emit-not-implemented) (let ((size (+ length closure-info-offset))) (with-fixed-allocation (result temp closure-header-type size :lowtag function-pointer-type @@ -169,6 +173,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:results (result :scs (descriptor-reg))) (:generator 10 + (emit-not-implemented) (with-fixed-allocation (result temp value-cell-header-type value-cell-size) (storew value result value-cell-value-slot other-pointer-type)))) @@ -181,6 +186,7 @@ (:args) (:results (result :scs (any-reg))) (:generator 1 + (emit-not-implemented) (inst li result unbound-marker-type))) (define-vop (fixed-alloc) @@ -190,6 +196,7 @@ (:results (result :scs (descriptor-reg))) (:temporary (:scs (non-descriptor-reg)) temp) (:generator 4 + (emit-not-implemented) (with-fixed-allocation (result temp type words :lowtag lowtag :stack-p dynamic-extent) ))) @@ -203,6 +210,7 @@ (:temporary (:scs (non-descriptor-reg)) header) (:temporary (:scs (any-reg)) temp) (:generator 6 + (emit-not-implemented) (inst add bytes extra (* (1+ words) word-bytes)) (inst slln header bytes (- type-bits vm:fixnum-tag-bits)) ; because bytes is already a fixnum (inst add header header (+ (ash -2 type-bits) type)) ===================================== src/compiler/sparc64/arith.lisp ===================================== --- a/src/compiler/sparc64/arith.lisp +++ b/src/compiler/sparc64/arith.lisp @@ -336,6 +336,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 12 + (emit-not-implemented) (let ((zero (generate-error-code vop division-by-zero-error x y))) (inst cmp y zero-tn) (inst b :eq zero #+sparc-v9 :pn) @@ -370,6 +371,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 8 + (emit-not-implemented) (let ((zero (generate-error-code vop division-by-zero-error x y))) (inst cmp y zero-tn) (inst b :eq zero #+sparc-v9 :pn) @@ -400,6 +402,7 @@ (:save-p :compute-only) (:guard (backend-featurep :sparc-64)) (:generator 8 + (emit-not-implemented) (let ((zero (generate-error-code vop division-by-zero-error x y))) (inst cmp y zero-tn) (inst b :eq zero :pn) @@ -456,6 +459,7 @@ (:save-p :compute-only) (:guard (backend-featurep :sparc-64)) (:generator 8 + (emit-not-implemented) (let ((zero (generate-error-code vop division-by-zero-error x y))) (inst cmp y zero-tn) (inst b :eq zero :pn) @@ -482,6 +486,7 @@ (:policy :fast-safe) (:temporary (:sc non-descriptor-reg) ndesc) (:generator 5 + (emit-not-implemented) (sc-case amount (signed-reg (cond ((backend-featurep :sparc-v9) @@ -539,6 +544,7 @@ (:policy :fast-safe) (:temporary (:sc non-descriptor-reg) ndesc) (:generator 5 + (emit-not-implemented) (sc-case amount (signed-reg (cond ((backend-featurep :sparc-v9) @@ -594,6 +600,7 @@ (:translate ash) (:policy :fast-safe) (:generator 4 + (emit-not-implemented) (cond ((< count -31) (move result zero-tn)) ((< count 0) (inst srl result number (min (- count) 31))) @@ -614,6 +621,7 @@ (:result-types ,type) (:policy :fast-safe) (:generator ,cost + (emit-not-implemented) ;; The result-type assures us that this shift will not ;; overflow. And for fixnum's, the zero bits that get ;; shifted in are just fine for the fixnum tag. @@ -642,6 +650,7 @@ (:result-types ,type) (:policy :fast-safe) (:generator ,cost + (emit-not-implemented) ;; The result-type assures us that this shift will not ;; overflow. And for fixnum's, the zero bits that get ;; shifted in are just fine for the fixnum tag. @@ -716,6 +725,7 @@ (:result-types ,type) (:policy :fast-safe) (:generator ,cost + (emit-not-implemented) (sc-case amount ((signed-reg unsigned-reg) (inst ,shift-inst result number amount)) @@ -748,6 +758,7 @@ (:result-types ,type) (:policy :fast-safe) (:generator ,cost + (emit-not-implemented) (if (zerop amount) (move result number) (inst ,shift-inst result number amount)))))) @@ -789,6 +800,7 @@ (:temporary (:sc non-descriptor-reg :target result) temp) (:policy :fast-safe) (:generator 2 + (emit-not-implemented) ;; Shift the fixnum right by the desired amount. Then zap out the ;; 2 LSBs to make it a fixnum again. (Those bits are junk.) (sc-case amount @@ -811,6 +823,7 @@ (:result-types positive-fixnum) (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) shift) (:generator 30 + (emit-not-implemented) (let ((loop (gen-label)) (test (gen-label))) (inst addcc shift zero-tn arg) @@ -837,6 +850,7 @@ (:result-types positive-fixnum) (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) shift) (:generator 30 + (emit-not-implemented) (let ((loop (gen-label)) (test (gen-label))) (move shift arg) @@ -862,6 +876,7 @@ (:result-types positive-fixnum) (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) mask temp) (:generator 35 + (emit-not-implemented) (move res arg) (dolist (stuff '((1 #x55555555) (2 #x33333333) (4 #x0f0f0f0f) @@ -886,6 +901,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 2 + (emit-not-implemented) ;; The cost here should be less than the cost for ;; */signed=>signed. Why? A fixnum product using signed=>signed ;; has to convert both args to signed-nums. But using this, we @@ -900,6 +916,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 2 + (emit-not-implemented) (inst umul r x y))) (define-vop (fast-v8-*-c/signed=>signed fast-signed-binop-c) @@ -908,6 +925,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 2 + (emit-not-implemented) (inst smul r x y))) (define-vop (fast-v8-*-c/fixnum=>fixnum fast-safe-arith-op) @@ -923,6 +941,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 1 + (emit-not-implemented) (inst smul r x y))) @@ -932,6 +951,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 3 + (emit-not-implemented) (inst smul r x y))) (define-vop (fast-v8-*/unsigned=>unsigned fast-unsigned-binop) @@ -940,6 +960,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 3 + (emit-not-implemented) (inst umul r x y))) ;; The smul and umul instructions are deprecated on the Sparc V9. Use @@ -949,6 +970,7 @@ (:translate *) (:guard (backend-featurep :sparc-64)) (:generator 4 + (emit-not-implemented) (inst sran temp y fixnum-tag-bits) (inst mulx r x temp))) @@ -956,12 +978,14 @@ (:translate *) (:guard (backend-featurep :sparc-64)) (:generator 3 + (emit-not-implemented) (inst mulx r x y))) (define-vop (fast-v9-*/unsigned=>unsigned fast-unsigned-binop) (:translate *) (:guard (backend-featurep :sparc-64)) (:generator 3 + (emit-not-implemented) (inst mulx r x y))) @@ -1028,6 +1052,7 @@ suffix))) (:translate ,tran) (:generator ,cost + (emit-not-implemented) (inst cmp x ,(if (eq suffix '-c/fixnum) '(fixnumize y) 'y)) (inst b (if not-p @@ -1062,6 +1087,7 @@ (:note _N"inline fixnum comparison") (:translate eql) (:generator 4 + (emit-not-implemented) (inst cmp x y) (inst b (if not-p :ne :eq) target) (inst nop))) @@ -1078,6 +1104,7 @@ (:info target not-p y) (:translate eql) (:generator 2 + (emit-not-implemented) (inst cmp x (fixnumize y)) (inst b (if not-p :ne :eq) target) (inst nop))) @@ -1103,6 +1130,7 @@ (:result-types unsigned-num) (:policy :fast-safe) (:generator 4 + (emit-not-implemented) (let ((done (gen-label))) (inst cmp shift) (inst b :eq done) @@ -1127,11 +1155,13 @@ (:args (x :scs (unsigned-reg zero))) (:arg-types unsigned-num) (:generator 1 + (emit-not-implemented) (inst not r x))) (define-vop (32bit-logical-and 32bit-logical) (:translate 32bit-logical-and) (:generator 1 + (emit-not-implemented) (inst and r x y))) (deftransform 32bit-logical-nand ((x y) (* *)) @@ -1140,6 +1170,7 @@ (define-vop (32bit-logical-or 32bit-logical) (:translate 32bit-logical-or) (:generator 1 + (emit-not-implemented) (inst or r x y))) (deftransform 32bit-logical-nor ((x y) (* *)) @@ -1148,6 +1179,7 @@ (define-vop (32bit-logical-xor 32bit-logical) (:translate 32bit-logical-xor) (:generator 1 + (emit-not-implemented) (inst xor r x y))) (define-vop (32bit-logical-eqv 32bit-logical) @@ -1158,6 +1190,7 @@ (define-vop (32bit-logical-orc2 32bit-logical) (:translate 32bit-logical-orc2) (:generator 1 + (emit-not-implemented) (inst orn r x y))) (deftransform 32bit-logical-orc1 ((x y) (* *)) @@ -1166,6 +1199,7 @@ (define-vop (32bit-logical-andc2 32bit-logical) (:translate 32bit-logical-andc2) (:generator 1 + (emit-not-implemented) (inst andn r x y))) (deftransform 32bit-logical-andc1 ((x y) (* *)) @@ -1184,12 +1218,14 @@ (:translate shift-towards-start) (:note _N"shift-towards-start") (:generator 1 + (emit-not-implemented) (inst slln r num amount))) (define-vop (shift-towards-end shift-towards-someplace) (:translate shift-towards-end) (:note _N"shift-towards-end") (:generator 1 + (emit-not-implemented) (inst srln r num amount))) @@ -1229,6 +1265,7 @@ (:results (result :scs (descriptor-reg))) (:guard (not (backend-featurep :sparc-v9))) (:generator 3 + (emit-not-implemented) (let ((done (gen-label))) (inst cmp digit) (inst b :lt done) @@ -1244,6 +1281,7 @@ (:results (result :scs (descriptor-reg))) (:guard (backend-featurep :sparc-v9)) (:generator 3 + (emit-not-implemented) (inst cmp digit) (load-symbol result t) (inst cmove :lt result null-tn))) @@ -1275,6 +1313,7 @@ (carry :scs (unsigned-reg))) (:result-types unsigned-num positive-fixnum) (:generator 3 + (emit-not-implemented) (inst addcc zero-tn c -1) (inst addxcc result a b) (inst addx carry zero-tn zero-tn))) @@ -1290,6 +1329,7 @@ (borrow :scs (unsigned-reg))) (:result-types unsigned-num positive-fixnum) (:generator 4 + (emit-not-implemented) (inst subcc zero-tn c 1) (inst subxcc result a b) (inst addx borrow zero-tn zero-tn) @@ -1357,6 +1397,7 @@ (lo :scs (unsigned-reg) :from (:eval 1))) (:result-types unsigned-num unsigned-num) (:generator 40 + (emit-not-implemented) (emit-multiply x y hi lo) (inst addcc lo carry-in) (inst addx hi zero-tn))) @@ -1373,6 +1414,7 @@ (lo :scs (unsigned-reg) :from (:eval 1))) (:result-types unsigned-num unsigned-num) (:generator 40 + (emit-not-implemented) (emit-multiply x y hi lo) (inst addcc lo carry-in) (inst addx hi zero-tn) @@ -1389,6 +1431,7 @@ (lo :scs (unsigned-reg))) (:result-types unsigned-num unsigned-num) (:generator 40 + (emit-not-implemented) (emit-multiply x y hi lo))) (define-vop (bignum-lognot) @@ -1399,6 +1442,7 @@ (:results (r :scs (unsigned-reg))) (:result-types unsigned-num) (:generator 1 + (emit-not-implemented) (inst not r x))) (define-vop (fixnum-to-digit) @@ -1409,6 +1453,7 @@ (:results (digit :scs (unsigned-reg))) (:result-types unsigned-num) (:generator 1 + (emit-not-implemented) (inst sran digit fixnum fixnum-tag-bits))) (define-vop (bignum-floor) @@ -1424,6 +1469,7 @@ (:guard (not (or (backend-featurep :sparc-v8) (backend-featurep :sparc-v9)))) (:generator 300 + (emit-not-implemented) (move rem div-high) (move quo div-low) (dotimes (i 33) @@ -1454,6 +1500,7 @@ (and (backend-featurep :sparc-v9) (not (backend-featurep :sparc-64))))) (:generator 15 + (emit-not-implemented) (inst wry div-high) (inst nop) (inst nop) @@ -1480,6 +1527,7 @@ (:result-types unsigned-num unsigned-num) (:guard (backend-featurep :sparc-64)) (:generator 5 + (emit-not-implemented) ;; Set dividend to be div-high and div-low (inst sllx dividend div-high 32) (inst add dividend div-low) @@ -1497,6 +1545,7 @@ (:results (res :scs (any-reg signed-reg))) (:result-types signed-num) (:generator 1 + (emit-not-implemented) (sc-case res (any-reg (inst slln res digit fixnum-tag-bits)) @@ -1513,6 +1562,7 @@ (:results (result :scs (unsigned-reg))) (:result-types unsigned-num) (:generator 1 + (emit-not-implemented) (sc-case count ((signed-reg unsigned-reg) (inst sran result digit count)) @@ -1522,6 +1572,7 @@ (define-vop (digit-lshr digit-ashr) (:translate bignum::%digit-logical-shift-right) (:generator 1 + (emit-not-implemented) (sc-case count ((signed-reg unsigned-reg) (inst srln result digit count)) @@ -1531,6 +1582,7 @@ (define-vop (digit-ashl digit-ashr) (:translate bignum::%ashl) (:generator 1 + (emit-not-implemented) (sc-case count ((signed-reg unsigned-reg) (inst slln result digit count)) @@ -1758,7 +1810,7 @@ ;; Unary operations -#+(and sparc-v9 sparc-v8plus) +#+(and nil sparc-v9 sparc-v8plus) (progn ;;; The vops for the 64-bit operations are written this way because I ===================================== src/compiler/sparc64/array.lisp ===================================== --- a/src/compiler/sparc64/array.lisp +++ b/src/compiler/sparc64/array.lisp @@ -32,6 +32,7 @@ (:temporary (:scs (non-descriptor-reg)) gc-temp) ; gencgc (:results (result :scs (descriptor-reg))) (:generator 0 + (emit-not-implemented) (pseudo-atomic () (inst add ndescr rank (* (1+ array-dimensions-offset) vm:word-bytes)) (inst andn ndescr 4) @@ -74,6 +75,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:results (res :scs (any-reg descriptor-reg))) (:generator 6 + (emit-not-implemented) (loadw temp x 0 vm:other-pointer-type) (inst sra temp vm:type-bits) (inst sub temp (1- vm:array-dimensions-offset)) @@ -94,6 +96,7 @@ (:vop-var vop) (:save-p :compute-only) (:generator 5 + (emit-not-implemented) (let ((error (generate-error-code vop invalid-array-index-error array bound index))) (inst cmp index bound) @@ -185,6 +188,7 @@ (:result-types positive-fixnum) (:temporary (:scs (non-descriptor-reg) :to (:result 0)) temp result) (:generator 20 + (emit-not-implemented) ;; temp = floor(index bit-shift), to get address of word ;; containing our bits. (inst srln temp index ,bit-shift) @@ -352,6 +356,7 @@ (:temporary (:scs (non-descriptor-reg)) offset) (:result-types single-float) (:generator 5 + (emit-not-implemented) (inst add offset index (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)) (inst ldf value object offset))) @@ -367,6 +372,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:result-types single-float) (:generator 3 + (emit-not-implemented) (let ((offset (+ (fixnumize index) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)))) @@ -389,6 +395,7 @@ (:result-types single-float) (:temporary (:scs (non-descriptor-reg)) offset) (:generator 5 + (emit-not-implemented) (inst add offset index (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)) @@ -410,6 +417,7 @@ (:result-types single-float) (:temporary (:scs (non-descriptor-reg)) temp) (:generator 2 + (emit-not-implemented) (let ((offset (+ (fixnumize index) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)))) @@ -432,6 +440,7 @@ (:result-types double-float) (:temporary (:scs (non-descriptor-reg)) offset) (:generator 7 + (emit-not-implemented) (inst slln offset index (- 3 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)) @@ -448,6 +457,7 @@ (:result-types double-float) (:temporary (:scs (non-descriptor-reg)) temp) (:generator 3 + (emit-not-implemented) (let ((offset (+ (* index double-float-bytes) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)))) @@ -469,6 +479,7 @@ (:result-types double-float) (:temporary (:scs (non-descriptor-reg)) offset) (:generator 20 + (emit-not-implemented) (inst slln offset index (- 3 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)) @@ -490,6 +501,7 @@ (:result-types double-float) (:temporary (:scs (non-descriptor-reg)) temp) (:generator 10 + (emit-not-implemented) (let ((offset (+ (* index double-float-bytes) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type)))) @@ -609,6 +621,7 @@ (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:result-types complex-single-float) (:generator 5 + (emit-not-implemented) (let ((real-tn (complex-single-reg-real-tn value))) (inst slln offset index (- 3 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) @@ -630,6 +643,7 @@ (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:result-types complex-single-float) (:generator 3 + (emit-not-implemented) (let ((offset (+ (* index (* 2 single-float-bytes)) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type))) @@ -657,6 +671,7 @@ (:result-types complex-single-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 5 + (emit-not-implemented) (let ((value-real (complex-single-reg-real-tn value)) (result-real (complex-single-reg-real-tn result))) (inst slln offset index (- 3 fixnum-tag-bits)) @@ -686,6 +701,7 @@ (:result-types complex-single-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 3 + (emit-not-implemented) (let ((offset (+ (* index (* 2 single-float-bytes)) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type))) @@ -717,6 +733,7 @@ (:result-types complex-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 7 + (emit-not-implemented) (let ((real-tn (complex-double-reg-real-tn value))) (inst slln offset index (- 4 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) @@ -737,6 +754,7 @@ (:result-types complex-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 5 + (emit-not-implemented) (let ((offset (+ (* index (* 2 double-float-bytes)) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type))) @@ -764,6 +782,7 @@ (:result-types complex-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 20 + (emit-not-implemented) (let ((value-real (complex-double-reg-real-tn value)) (result-real (complex-double-reg-real-tn result))) (inst slln offset index (- 4 fixnum-tag-bits)) @@ -793,6 +812,7 @@ (:result-types complex-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 15 + (emit-not-implemented) (let ((value-real (complex-double-reg-real-tn value)) (result-real (complex-double-reg-real-tn result)) (value-imag (complex-double-reg-imag-tn value)) @@ -1008,6 +1028,7 @@ (:result-types double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 7 + (emit-not-implemented) (let ((hi-tn (double-double-reg-hi-tn value))) (inst slln offset index (- 4 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) @@ -1028,6 +1049,7 @@ (:result-types double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 5 + (emit-not-implemented) (let ((offset (+ (* index (* 2 double-float-bytes)) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type))) @@ -1055,6 +1077,7 @@ (:result-types double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 20 + (emit-not-implemented) (let ((value-hi (double-double-reg-hi-tn value)) (result-hi (double-double-reg-hi-tn result))) (inst slln offset index (- 4 fixnum-tag-bits)) @@ -1084,6 +1107,7 @@ (:result-types double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 15 + (emit-not-implemented) (let ((value-hi (double-double-reg-hi-tn value)) (result-hi (double-double-reg-hi-tn result)) (value-lo (double-double-reg-lo-tn value)) @@ -1119,6 +1143,7 @@ (:result-types complex-double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 7 + (emit-not-implemented) (let ((real-tn (complex-double-double-reg-real-hi-tn value))) (inst slln offset index (- 5 fixnum-tag-bits)) (inst add offset (- (* vm:vector-data-offset vm:word-bytes) @@ -1145,6 +1170,7 @@ (:result-types complex-double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 5 + (emit-not-implemented) (let ((offset (+ (* index (* 2 double-float-bytes)) (- (* vm:vector-data-offset vm:word-bytes) vm:other-pointer-type))) @@ -1180,6 +1206,7 @@ (:result-types complex-double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) offset) (:generator 20 + (emit-not-implemented) (let ((value-real (complex-double-double-reg-real-hi-tn value)) (result-real (complex-double-double-reg-real-hi-tn result))) (inst slln offset index (- 5 fixnum-tag-bits)) @@ -1221,6 +1248,7 @@ (:result-types complex-double-double-float) (:temporary (:scs (non-descriptor-reg) :from (:argument 1)) temp) (:generator 15 + (emit-not-implemented) (let ((value-real (complex-double-double-reg-real-hi-tn value)) (result-real (complex-double-double-reg-real-hi-tn result)) (value-imag (complex-double-double-reg-imag-hi-tn value)) ===================================== src/compiler/sparc64/c-call.lisp ===================================== --- a/src/compiler/sparc64/c-call.lisp +++ b/src/compiler/sparc64/c-call.lisp @@ -241,6 +241,7 @@ (:results (res :scs (sap-reg))) (:result-types system-area-pointer) (:generator 2 + (emit-not-implemented) (inst li res (make-fixup (extern-alien-name foreign-symbol) :foreign)))) @@ -254,6 +255,7 @@ (:result-types system-area-pointer) (:temporary (:scs (non-descriptor-reg)) addr) (:generator 2 + (emit-not-implemented) (inst li addr (make-fixup (extern-alien-name foreign-symbol) :foreign-data)) (loadw res addr))) @@ -271,6 +273,7 @@ (:temporary (:sc control-stack :offset nfp-save-offset) nfp-save) (:vop-var vop) (:generator 0 + (emit-not-implemented) (let ((cur-nfp (current-nfp-tn vop))) (when cur-nfp (store-stack-tn nfp-save cur-nfp)) @@ -287,6 +290,7 @@ (:results (result :scs (sap-reg any-reg))) (:temporary (:scs (unsigned-reg) :to (:result 0)) temp) (:generator 0 + (emit-not-implemented) (unless (zerop amount) (let ((delta (logandc2 (+ amount 7) 7))) (cond ((< delta (ash 1 12)) @@ -305,6 +309,7 @@ (:policy :fast-safe) (:temporary (:scs (unsigned-reg) :to (:result 0)) temp) (:generator 0 + (emit-not-implemented) (unless (zerop amount) (let ((delta (logandc2 (+ amount 7) 7))) (cond ((< delta (ash 1 12)) ===================================== src/compiler/sparc64/call.lisp ===================================== --- a/src/compiler/sparc64/call.lisp +++ b/src/compiler/sparc64/call.lisp @@ -244,6 +244,7 @@ (inst b :gt zero-out-loop) (inst stn zero-tn csp-tn temp) )) + (emit-not-implemented) (let ((size (* vm:word-bytes (sb-allocated-size 'control-stack)))) (cond ((typep size '(signed-byte 13)) (inst add csp-tn csp-tn size)) @@ -349,7 +350,7 @@ default-value-8 (inst nop)) (inst compute-code-from-lra code-tn code-tn lra-label temp)) (let ((regs-defaulted (gen-label)) - (defaulting-done (gen-label)) + (defaulting-done (gen-label)) (default-stack-vals (gen-label))) ;; Branch off to the MV case. (new-assem:without-scheduling () @@ -514,6 +515,7 @@ default-value-8 (:ignore arg-locs args ocfp) (:generator 5 (trace-table-entry trace-table-call-site) + (emit-not-implemented) (let ((label (gen-label)) (cur-nfp (current-nfp-tn vop))) (when cur-nfp @@ -554,6 +556,7 @@ default-value-8 (:temporary (:sc control-stack :offset nfp-save-offset) nfp-save) (:generator 20 (trace-table-entry trace-table-call-site) + (emit-not-implemented) (let ((label (gen-label)) (cur-nfp (current-nfp-tn vop))) (when cur-nfp @@ -598,6 +601,7 @@ default-value-8 (:temporary (:scs (non-descriptor-reg)) temp) (:generator 5 (trace-table-entry trace-table-call-site) + (emit-not-implemented) (let ((label (gen-label)) (cur-nfp (current-nfp-tn vop))) (when cur-nfp @@ -637,6 +641,7 @@ default-value-8 (:vop-var vop) (:generator 6 (trace-table-entry trace-table-function-epilogue) + (emit-not-implemented) (maybe-load-stack-tn old-fp-temp old-fp) (maybe-load-stack-tn return-pc-temp return-pc) (move csp-tn cfp-tn) @@ -928,7 +933,7 @@ default-value-8 (:vop-var vop) (:generator 75 - + (emit-not-implemented) ;; Move these into the passing locations if they are not already there. (move args args-arg) (move lexenv function-arg) @@ -961,6 +966,7 @@ default-value-8 (:generator 6 (trace-table-entry trace-table-function-epilogue) ;; Clear the number stack. + (emit-not-implemented) (let ((cur-nfp (current-nfp-tn vop))) (when cur-nfp (inst add nsp-tn cur-nfp @@ -1005,6 +1011,7 @@ default-value-8 (:generator 6 (trace-table-entry trace-table-function-epilogue) ;; Clear the number stack. + (emit-not-implemented) (let ((cur-nfp (current-nfp-tn vop))) (when cur-nfp (inst add nsp-tn cur-nfp @@ -1056,6 +1063,7 @@ default-value-8 (:generator 13 (trace-table-entry trace-table-function-epilogue) + (emit-not-implemented) (let ((not-single (gen-label))) ;; Clear the number stack. (let ((cur-nfp (current-nfp-tn vop))) @@ -1109,6 +1117,7 @@ default-value-8 (:ignore label) (:generator 6 ;; Get result. + (emit-not-implemented) (move closure lexenv))) ;;; Copy a more arg from the argument area to the end of the current frame. @@ -1122,6 +1131,7 @@ default-value-8 (:temporary (:sc descriptor-reg :offset cname-offset) temp) (:info fixed) (:generator 20 + (emit-not-implemented) (let ((loop (gen-label)) (do-regs (gen-label)) (done (gen-label))) @@ -1196,6 +1206,7 @@ default-value-8 (:translate %listify-rest-args) (:policy :safe) (:generator 20 + (emit-not-implemented) (move context context-arg) (move count count-arg) ;; Check to see if there are any arguments. @@ -1259,6 +1270,7 @@ default-value-8 (:result-types t tagged-num) (:note _N"more-arg-context") (:generator 5 + (emit-not-implemented) (inst sub count supplied (fixnumize fixed)) (inst sub context csp-tn count))) @@ -1295,6 +1307,7 @@ default-value-8 (:vop-var vop) (:save-p :compute-only) (:generator 1000 + (emit-not-implemented) (error-call vop ,error ,@args))))) (frob argument-count-error invalid-argument-count-error c::%argument-count-error nargs) ===================================== src/compiler/sparc64/memory.lisp ===================================== --- a/src/compiler/sparc64/memory.lisp +++ b/src/compiler/sparc64/memory.lisp @@ -101,7 +101,9 @@ (inst ,op value object temp))))) (t ,@(unless (zerop shift) - `((inst srln temp index ,shift))) + (if (minusp shift) + `((inst slln temp index ,(- shift))) + `((inst srln temp index ,shift)))) (inst add temp ,(if (zerop shift) 'index 'temp) (- (ash offset vm:word-shift) lowtag)) (inst ,op value object temp))) @@ -112,8 +114,8 @@ (define-indexer signed-word-index-ref nil ldsw 0) #+sparc-v9 (define-indexer signed-word-index-set nil st 0) -(define-indexer word-index-ref nil ld 0) -(define-indexer word-index-set t st 0) +(define-indexer word-index-ref nil ldn -1) +(define-indexer word-index-set t stn -1) (define-indexer halfword-index-ref nil lduh 1) (define-indexer signed-halfword-index-ref nil ldsh 1) (define-indexer halfword-index-set t sth 1) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/608fadde188e963541d6f44e… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/608fadde188e963541d6f44e… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] Fix error in printing NOT-IMPLEMENTED
by Raymond Toy 02 Jan '18

02 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 608fadde by Raymond Toy at 2018-01-02T10:46:13-08:00 Fix error in printing NOT-IMPLEMENTED The computed max string length was off by 4 because instruction displacement is relative to the address of the branch instruction. Need to subtract 2, one for the instruction itself and one for the delay slot. - - - - - 1 changed file: - src/lisp/sparc-arch.c Changes: ===================================== src/lisp/sparc-arch.c ===================================== --- a/src/lisp/sparc-arch.c +++ b/src/lisp/sparc-arch.c @@ -531,10 +531,10 @@ sigill_handler(HANDLER_ARGS) string = (unsigned char *) &pc[3]; /* * The offset is in 32-bit words, so subtract one for - * the instruction in the branch delay slot and scale up - * the offet to be in bytes. + * the instruction itself and one for the branch delay + * slot and scale up the offet to be in bytes. */ - length = 4 * ((pc[1] & 0x7FFFF) - 1); + length = 4 * ((pc[1] & 0x7FFFF) - 2); while (string[length - 1] == '\0') { --length; View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/608fadde188e963541d6f44e4… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/608fadde188e963541d6f44e4… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: Enable random-xoroshiro for sparc64
by Raymond Toy 01 Jan '18

01 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 0bb3de03 by Raymond Toy at 2018-01-01T09:03:08-08:00 Enable random-xoroshiro for sparc64 - - - - - dddfd33c by Raymond Toy at 2018-01-01T09:04:05-08:00 Add more not-implemented notes so we can watch what's happening. - - - - - 3 changed files: - src/compiler/sparc64/memory.lisp - src/compiler/sparc64/move.lisp - src/tools/cross-scripts/cross-x86-sparc64.lisp Changes: ===================================== src/compiler/sparc64/memory.lisp ===================================== --- a/src/compiler/sparc64/memory.lisp +++ b/src/compiler/sparc64/memory.lisp @@ -28,6 +28,7 @@ (:variant-vars offset lowtag) (:policy :fast-safe) (:generator 4 + (emit-not-implemented) (loadw value object offset lowtag))) ;;; (define-vop (cell-set) @@ -49,6 +50,7 @@ (:variant-vars base lowtag) (:info offset) (:generator 4 + (emit-not-implemented) (loadw value object (+ base offset) lowtag))) ;;; (define-vop (slot-set) @@ -57,6 +59,7 @@ (:variant-vars base lowtag) (:info offset) (:generator 4 + (emit-not-implemented) (storew value object (+ base offset) lowtag))) @@ -81,6 +84,7 @@ (:variant-vars offset lowtag) (:policy :fast-safe) (:generator 5 + (emit-not-implemented) (sc-case index ((immediate zero) (let ((offset (- (+ (if (sc-is index zero) ===================================== src/compiler/sparc64/move.lisp ===================================== --- a/src/compiler/sparc64/move.lisp +++ b/src/compiler/sparc64/move.lisp @@ -41,6 +41,7 @@ (define-move-function (load-number 1) (vop x y) ((immediate zero) (signed-reg unsigned-reg)) + (not-implemented "LOAD-NUMBER") (inst li y (tn-value x))) #+(and sparc-v9 sparc-v8plus) @@ -51,10 +52,12 @@ (define-move-function (load-base-char 1) (vop x y) ((immediate) (base-char-reg)) + (not-implemented "LOAD-BASE-CHAR") (inst li y (char-code (tn-value x)))) (define-move-function (load-system-area-pointer 1) (vop x y) ((immediate) (sap-reg)) + (not-implemented "LOAD-SYSTEM-AREA-POINTER") (inst li y (sap-int (tn-value x)))) (define-move-function (load-constant 5) (vop x y) @@ -64,6 +67,7 @@ (define-move-function (load-stack 5) (vop x y) ((control-stack) (any-reg descriptor-reg)) + (not-implemented "LOAD-STACK") (load-stack-tn y x)) (define-move-function (load-number-stack 5) (vop x y) @@ -72,6 +76,7 @@ (signed-stack) (signed-reg) (unsigned-stack) (unsigned-reg)) (let ((nfp (current-nfp-tn vop))) + (not-implemented "LOAD-NUMBER-STACK") (loadw y nfp (tn-offset x)))) (define-move-function (store-stack 5) (vop x y) @@ -85,6 +90,7 @@ (signed-reg) (signed-stack) (unsigned-reg) (unsigned-stack)) (let ((nfp (current-nfp-tn vop))) + (not-implemented "STORE-NUMBER-STACK") (storew x nfp (tn-offset y)))) @@ -169,6 +175,7 @@ (:arg-types tagged-num) (:note _N"fixnum untagging") (:generator 1 + (emit-not-implemented) (inst sran y x fixnum-tag-bits))) ;;; @@ -181,6 +188,7 @@ (:results (y :scs (signed-reg unsigned-reg))) (:note _N"constant load") (:generator 1 + (emit-not-implemented) (inst li y (tn-value x)))) ;;; @@ -196,6 +204,7 @@ (:temporary (:scs (non-descriptor-reg)) temp) (:generator 4 (let ((done (gen-label))) + (emit-not-implemented) (inst andcc temp x fixnum-tag-mask) (inst b :eq done) (inst sran y x fixnum-tag-bits) @@ -238,6 +247,7 @@ (:result-types tagged-num) (:note _N"fixnum tagging") (:generator 1 + (emit-not-implemented) (inst slln y x fixnum-tag-bits))) ;;; (define-move-vop move-from-word/fixnum :move @@ -253,6 +263,7 @@ (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) x temp) (:note _N"signed word to integer coercion") (:generator 20 + (emit-not-implemented) (move x arg) (let ((done (gen-label))) ;; Need to figure out if we have a fixnum or not, so look at the @@ -290,6 +301,7 @@ (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) x temp) (:note _N"unsigned word to integer coercion") (:generator 20 + (emit-not-implemented) (move x arg) (let ((done (gen-label)) (one-word (gen-label))) ===================================== src/tools/cross-scripts/cross-x86-sparc64.lisp ===================================== --- a/src/tools/cross-scripts/cross-x86-sparc64.lisp +++ b/src/tools/cross-scripts/cross-x86-sparc64.lisp @@ -35,7 +35,7 @@ :relative-package-names ; Relative package names from Allegro :conservative-float-type :hash-new - :random-mt19937 ; MT-19937 generator + :random-xoroshiro ; xoroshiro128+ generator :cmu ; Announce this is CMUCL :cmu20 :cmu20b ; Current version identifier :modular-arith ; Modular arithmetic @@ -66,6 +66,7 @@ :pentium :long-float :new-random + :random-mt19937 ; MT-19937 generator :small :mp)) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/a2c048858bf31dd0c5ec5f2b… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/a2c048858bf31dd0c5ec5f2b… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] Make declaration of solaris_register_addres match impl
by Raymond Toy 01 Jan '18

01 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: a2c04885 by Raymond Toy at 2017-12-31T15:38:11-08:00 Make declaration of solaris_register_addres match impl - - - - - 1 changed file: - src/lisp/sparc-lispregs.h Changes: ===================================== src/lisp/sparc-lispregs.h ===================================== --- a/src/lisp/sparc-lispregs.h +++ b/src/lisp/sparc-lispregs.h @@ -134,7 +134,7 @@ #include <ucontext.h> -extern int *solaris_register_address(struct ucontext *, int); +extern long *solaris_register_address(struct ucontext *, int); #define SC_REG(sc, reg) (*solaris_register_address(sc,reg)) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/a2c048858bf31dd0c5ec5f2ba… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/a2c048858bf31dd0c5ec5f2ba… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 123 commits: Initial version.
by Raymond Toy 30 Dec '17

30 Dec '17

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 6eca756b by Raymond Toy at 2016-10-06T19:24:46-07:00 Initial version. - - - - - 45a6d985 by Raymond Toy at 2016-10-06T20:05:12-07:00 Download cmucl binaries. - - - - - 7383a39c by Raymond Toy at 2016-10-06T20:07:13-07:00 Use correct syntax - - - - - 8296f92f by Raymond Toy at 2016-10-06T20:08:24-07:00 Add test job - - - - - 2830e140 by Raymond Toy at 2017-08-26T21:53:36-07:00 Print more info for dynamic space lossage If we get dynamic space lossage, print out the actual address and the expected addresses for the dynamic space so we can see what happened. This is really useful if you change the dynamic space address but didn't update everything correctly. - - - - - c40b7a6b by Raymond Toy at 2017-08-29T10:38:13-07:00 Fix #40: Move start of heap space higher This is a workaround for issue #40. By moving the start of the heap to a higher address, we can still run on older systems (albeit with reduced max heap size), and run on newer systesm where the C code is now mapped at or overlapping the (old) heap start. Arbitrarily choose 0x60000000 as a compromise. This also requires moving the foreign linkage start to a different address because the old address overlaps the new C area. Ideally, we could fix this if we could map the heap wherever the OS wants to put it, but we're not there yet. Use boot-2017-04.lisp to bootstrap this change from the 2017-04 snapshot. - - - - - 48f8ebb9 by Raymond Toy at 2017-08-29T10:54:21-07:00 Add handler-bind to auto restart Changing defconstant's signal an error. Add a handler-bind to restart and continue with the changed values. - - - - - aba0bc5c by Raymond Toy at 2017-08-29T10:56:15-07:00 Rename to boot-2017-04-1.lisp - - - - - dbf7c0af by Raymond Toy at 2017-08-29T18:31:19+00:00 Merge branch 'rtoy-fix-40-map-heap-higher' into 'master' Fix #40: Move start of heap space higher Closes #40 See merge request !21 - - - - - 3b4f3977 by Raymond Toy at 2017-08-30T21:21:56-07:00 Fix compiler warning about else Add braces around the else clause that's indented as if it were part of the else clause. Inspection of the algorithm indicates that this is probably the intended code and in this case doesn't change what gets executed because the following statements would have been anyway. Also verified a few random values that `(asin x)` and `(asin (float x 1w0))` produce the same values. Only need to test 2^-27 <= x < 0.5. - - - - - 9c2dccfb by Raymond Toy at 2017-08-31T19:52:00-07:00 Merge branch 'master' into rtoy-gitlab-ci - - - - - cd429e9f by Raymond Toy at 2017-09-02T13:15:29-07:00 Use wget instead of curl - - - - - 0a87366f by Raymond Toy at 2017-09-02T13:25:43-07:00 Install wget - - - - - 5c92a00f by Raymond Toy at 2017-09-02T13:28:51-07:00 Install bzip2 so we can untar the cmucl tarballs - - - - - 92f8697e by Raymond Toy at 2017-09-02T13:33:56-07:00 More setup for building cmucl - untar the snapshot into the snapshot directory - git clone the cmucl repo - - - - - bcd2a53b by Raymond Toy at 2017-09-02T13:35:52-07:00 Use the correct paths when untarring. - - - - - 760d9c6d by Raymond Toy at 2017-09-02T13:38:01-07:00 Need to install git. While we're at it install make, gcc, and gcc 32-bit. - - - - - 373aaa60 by Raymond Toy at 2017-09-02T13:43:43-07:00 Build cmucl and run tests Update snapshot to 2017-04 snapshot too. - - - - - 3f6fd3df by Raymond Toy at 2017-09-02T13:47:20-07:00 Oops. Use correct tarball names - - - - - 119a7980 by Raymond Toy at 2017-09-02T13:53:35-07:00 Add some debugging stuff. - Print out the SHELL - Set prompt to include PWD - Where is `time` and why can't the shell find it? - - - - - 38a3f48e by Raymond Toy at 2017-09-02T14:01:45-07:00 More debugging to see what we have - - - - - 745ad37b by Raymond Toy at 2017-09-02T14:06:26-07:00 Don't need to do a git clone; install /usr/bin/time too. The runner already has the git repo checked out at $PWD, so we're ready to go. Try to install time so build.sh will run. - - - - - 7bdf20d1 by Raymond Toy at 2017-09-02T14:09:34-07:00 Use correct path to the snapshot build - - - - - 15a4c0f5 by Raymond Toy at 2017-09-02T14:59:47-07:00 Need to install bc Needed to update lisp/version. - - - - - 4312fc44 by Raymond Toy at 2017-09-03T04:55:21+00:00 Add pipeline status to readme - - - - - b53bfd60 by Raymond Toy at 2017-09-02T21:56:52-07:00 Merge branch 'master' into rtoy-gitlab-ci - - - - - 7bc8b28c by Raymond Toy at 2017-09-03T05:10:25+00:00 Use correct pipeline marker for gitlab-ci branch - - - - - 24ed6116 by Raymond Toy at 2017-09-03T09:16:07-07:00 More testing of CI - Don't need to install git anymore - exit early from build script to see if that makes the test fail. - - - - - 9b8d5fc4 by Raymond Toy at 2017-09-03T09:24:18-07:00 Remove debugging stuff and early exit - Early exit (with non-zero exit code) does cause the pipeline to fail, as expected. - - - - - 3d227b6b by Raymond Toy at 2017-09-03T09:50:28-07:00 Install git (again) While not strictly necessary, make-dist.sh uses git to determine a default lisp-implmenetation-version. We could just use -V to do that, but I think it's best to have git so that the pipeline looks as much like normal development as possible. - - - - - c3d967c1 by Raymond Toy at 2017-09-05T20:40:19-07:00 Make test fail to see how pipeline works. - - - - - ea868e0f by Raymond Toy at 2017-09-05T20:54:33-07:00 Revert change. The failed test causes the pipeline to fail, as expected. - - - - - 37d69509 by Raymond Toy at 2017-09-06T04:05:12+00:00 Merge branch 'rtoy-gitlab-ci' into 'master' Enable gitlab continuous integration See merge request !22 - - - - - 4acd1d80 by Raymond Toy at 2017-09-05T21:30:11-07:00 Point pipeline status to the master branch. Was pointing to the rtoy-gitlab-ci branch, but we want this to be the status of the master branch. - - - - - f05cb10a by Raymond Toy at 2017-09-08T20:38:41-07:00 Fix #41: Report proper process status The main problem is that we weren't calling wait3 with WCONTINUED so that we would be signaled when the process continues. And we also need to check that result of wait call was WCONTINUED> Replace the wait3 routine with a C routine (prog_status) so we don't have to deal with the OS-specific flags. This function basically returns what the lisp function wait3 did. Use this function in GET-PROCESSES-STATUS-CHANGES. - runprog.c: - Add prog_status - run-program.lisp: - Use prog_status instead of wait3 - issues.lisp: - Add basic test - - - - - 65ce358d by Raymond Toy at 2017-09-15T22:50:47-07:00 Fix up minor issues in implementation - process-alive-p should return T for continued processes - Simplify prog-status slightly by making the status code array start :signaled instead of nil. - Update prog_status with enum to specify the codes to make it clearer what they mean and to make it clearer that it matches the expectations in prog-status. - - - - - 99ebe80c by Raymond Toy at 2017-09-16T21:02:40+00:00 Merge branch 'rtoy-fix-issue-41' into 'master' Fix #41: Report proper process status Closes #41 See merge request !23 - - - - - 81e08ecb by Raymond Toy at 2017-09-16T14:49:33-07:00 Clean up prog_status - If `waidpid` returns 0 or -1, we should return. - Make the fprintf message a bit clearer on what's happening when we have some kind of status that we didn't handle. - - - - - e1f12db9 by Raymond Toy at 2017-09-16T14:54:10-07:00 Remove wait3 stuff `wait3` is removed along with alien routine and the constants. - - - - - ec29ec51 by Raymond Toy at 2017-09-16T15:23:32-07:00 Fix #44: Add docstrings for process accessors Adds docstrings for the exported process accessors: `process-pid`, `process-exit-code`, `process-core-dumped`, `process-pty`, `process-input`, `process-output`, `process-error`, `process-status-hook`, `process-plist`. - - - - - f99b8125 by Raymond Toy at 2017-09-16T23:29:58+00:00 Merge branch 'rtoy-fix-44-add-docstrings-process' into 'master' Fix #44: Add docstrings for process accessors Closes #44 See merge request !24 - - - - - 7f3040a7 by Raymond Toy at 2017-09-16T16:36:54-07:00 Regenerate do to new docstrings - - - - - 39dff2ee by Raymond Toy at 2017-09-23T10:27:44-07:00 Update from logs - - - - - 12018284 by Raymond Toy at 2017-09-30T13:51:23-07:00 Fix #45: Handle relative paths in `run-program` This is basically the solution proposed by Elias Pipping with a few minor tweaks. - In `run-program`, don't merge `program` with the "path:" search-list. `spawn` will handle this. - In `spawn`, if the first call to execve fails, instead of trying "/bin/sh", use "/usr/bin/env" which will use the user's PATH if necessary to find the program. - - - - - 3665075a by Raymond Toy at 2017-09-30T14:18:55-07:00 Add test for issue #45 Add the tests given in issue #45. - - - - - 00689a63 by Raymond Toy at 2017-09-30T14:20:44-07:00 Ignore test directory needed for issue.45 test - - - - - d2efe772 by Raymond Toy at 2017-09-30T14:21:03-07:00 Regenerated - - - - - ba357de8 by Raymond Toy at 2017-09-30T21:31:16+00:00 Merge branch 'rtoy-fix-45-run-program-paths' into 'master' Fix #45 :Handle relative paths in `run-program` Closes #45 See merge request cmucl/cmucl!25 - - - - - aba5f454 by Raymond Toy at 2017-10-07T09:00:19-07:00 Update to ASDF version 3.3.0 - - - - - 706a62ce by Raymond Toy at 2017-10-07T13:59:30-07:00 Regenerate piglatin translations [ci skip] - - - - - fffafb5a by Raymond Toy at 2017-10-07T14:02:06-07:00 Note that the included asdf version is 3.3.0 [ci skip] - - - - - a5662d50 by Raymond Toy at 2017-10-07T14:54:00-07:00 Rename stdin/stdout/stderr to proc_* Because we include stdio.h now, Solaris defines stdin, stdout, and stderr in a way that they can't be used to name the args to the spawn function. Hence rename these args. - - - - - a368558e by Raymond Toy at 2017-10-08T15:17:59-07:00 Move defsystem for pcl-tests to its own file. The upgrade to ASDF 3.3.0 broke the pcl-tests; this version doesn't like having the defsystem in the same file. Thus, move the defsystem to its own file and load it up in pcl.lisp (via require). - - - - - 70bdb7b9 by Raymond Toy at 2017-10-10T21:39:19-07:00 Update paths for snapshot-2017-10 Download the 2017-10 binaries and update build.sh options to build with this snapshot. - - - - - e32c4479 by Raymond Toy at 2017-10-15T10:04:15-07:00 Release 21c Use `-B boot-21c` to bootstrap the release from 21b to 21c. - 21b/boot-21c.lisp: - Add boot-21c.lisp to update the version number - compiler/byte-comp.lisp - Update the actual version number - - - - - 6217c780 by Raymond Toy at 2017-10-15T10:05:41-07:00 Add -B flag to bootstrap the release number change - - - - - 1fd413e3 by Raymond Toy at 2017-10-15T10:05:55-07:00 Remove WIP. - - - - - e1aa8483 by Raymond Toy at 2017-10-15T10:08:19-07:00 Add release-21d.md release notes. - - - - - d3856cfb by Raymond Toy at 2017-10-15T20:24:48-07:00 Rename release-21c.txt to .md. - - - - - c8de8f63 by Raymond Toy at 2017-10-15T20:26:19-07:00 Add some additional markup. * Strike out the closed tickets * Color (maybe?) the WIP in red. - - - - - e8764af3 by Raymond Toy at 2017-10-15T20:29:35-07:00 More markup. - - - - - dca5c95f by Raymond Toy at 2017-10-15T20:35:40-07:00 More markdown changes - - - - - 4c0780dc by Raymond Toy at 2017-10-16T03:49:14+00:00 Merge branch 'rtoy-convert-release-notes-to-md' into 'master' Convert release-21c.txt to md file See merge request cmucl/cmucl!26 - - - - - 48afbb09 by Raymond Toy at 2017-10-27T21:00:48-07:00 Merge branch 'master' into 21c-branch - - - - - 9f2679a6 by Raymond Toy at 2017-10-27T21:03:02-07:00 Remove WIP and fix typo. - - - - - 9697034f by Raymond Toy at 2017-10-27T21:03:30-07:00 Fix up markdown markup - - - - - e87e8196 by Raymond Toy at 2017-10-28T15:32:21+00:00 Merge branch '21c-branch' into 'master' 21c branch See merge request cmucl/cmucl!27 - - - - - 66bc460b by Raymond Toy at 2017-11-03T10:04:36-07:00 Download the 21c release for CI - - - - - 4bb76458 by Raymond Toy at 2017-11-04T09:21:05-07:00 Set tag for linux These commands currently only work on linux. Set a tag to see if this works to enable the linux runner. - - - - - 087c0b7c by Raymond Toy at 2017-11-04T09:26:51-07:00 Fix syntax errors. Validated via ci lint. - - - - - c7a93905 by Raymond Toy at 2017-11-04T09:33:20-07:00 Set up stages Let's see how that goes. - - - - - 0de37607 by Raymond Toy at 2017-11-04T09:41:02-07:00 Put everything in one job with a linux tag. - - - - - b660ef49 by Raymond Toy at 2017-11-04T14:19:22-07:00 Add osx support. - - - - - f6d1282d by Raymond Toy at 2017-11-04T14:42:56-07:00 OSX: Download binaries and build. - - - - - 951e9c14 by Raymond Toy at 2017-11-04T15:18:57-07:00 Run tests on osx for real - - - - - fa6eae8e by Raymond Toy at 2017-11-04T16:24:23-07:00 Merge branch 'master' into rtoy-rework-ci # Conflicts: # .gitlab-ci.yml - - - - - de68cb52 by Raymond Toy at 2017-11-05T00:05:04+00:00 Merge branch 'rtoy-rework-ci' into 'master' Update CI to support linux and osx runners See merge request cmucl/cmucl!28 - - - - - 8ac7e849 by Raymond Toy at 2017-11-04T21:31:06-07:00 Increase buffer size to prevent writing past the end The char buffer size is potentially too small and it's possible to write past the end of the buffer with a large integer. Fixes a compiler warning. - - - - - 4abbe215 by Raymond Toy at 2017-11-04T21:33:00-07:00 Fix indentation to make scoping clearer. Compiler warns that indentation makes the scope of the for loop unclear. Indent the code to make it clear. - - - - - 42192ed3 by Raymond Toy at 2017-11-15T21:06:19-08:00 Update to asdf 3.3.1 - - - - - 3ed48010 by Raymond Toy at 2017-11-15T21:18:47-08:00 Add asdf 3.3.1 docs [skip-ci] - - - - - cf370246 by Raymond Toy at 2017-12-02T09:43:57-08:00 Update release notes - - - - - 9bba906a by Raymond Toy at 2017-12-14T19:31:56-08:00 Initial support for xoroshiro128+ RNG Not yet integrated but the basic vop and other methods do work and produce the same output as the reference C code (not included). - - - - - b119b34f by Raymond Toy at 2017-12-15T09:00:38-08:00 Initial implementation of xoroshiro rng Not yet tested or integrated. - - - - - 8707116f by Raymond Toy at 2017-12-15T15:40:08-08:00 Random cleanups and updates Make some things work on x86: * Can create a random state and initialize it to the desired state * xoroshiro-chunk produces the correct values for the first few calls - - - - - eea11e07 by Raymond Toy at 2017-12-15T15:41:13-08:00 Compile and load xoroshiro rng Make xoroshiro rng available in the core. Basic things work on x86 but not yet integrated in anyway. - - - - - 192fe3b6 by Raymond Toy at 2017-12-16T08:16:46-08:00 Simplify state Don't need an array for the cached value; (unsigned-byte 32) is a specialized structure slot, so no consing. Some random cleanups and comments. - - - - - c62e3467 by Raymond Toy at 2017-12-16T08:17:24-08:00 Add tests for xoroshiro generator - - - - - edcbb7d3 by Raymond Toy at 2017-12-16T20:53:21-08:00 Test portable version of xoroshiro-next - - - - - 95a01145 by Raymond Toy at 2017-12-16T21:05:41-08:00 Put back the original version, optimized for x86. - - - - - d539b6a0 by Raymond Toy at 2017-12-17T13:04:59-08:00 Define xoroshiro-next before xoroshiro-chunk. - - - - - dbc0518d by Raymond Toy at 2017-12-18T21:02:39-08:00 Fix typos add jump function * Fix typos in names so we can call the functions. * Add jump function to allow generating new distinct sequences. * Add simple function to print the state using integers instead of doubles. (Untested.) - - - - - 0b94ee3d by Raymond Toy at 2017-12-19T09:02:25-08:00 Add custom xoro-random-state printer Custom printer to print the state as array of integers instead of doubles. Makes it easier to see and match what the C code does. - - - - - f9203f85 by Raymond Toy at 2017-12-19T10:04:50-08:00 Print and set state as 64-bit integers The xoroshiro128+ algorithm is defined using uint64_t types, but we hack it to store the state as double-float's. This is a bit confusing, so add a printer to print the state as an array of two uint64_t's. Adjust init-xoro-state to allow initializing the state using an array of 2 64-bit ints. - - - - - 09bbc248 by Raymond Toy at 2017-12-19T17:32:05-08:00 Add cross-compile scripts for building xoroshiro128+. - - - - - 38db18cb by Raymond Toy at 2017-12-19T17:33:27-08:00 Set version 21c now. Bootstrap files are from 21c directory instead of 21b. - - - - - cba9bad7 by Raymond Toy at 2017-12-19T17:34:28-08:00 Update xoroshiro methods to standard names - - - - - 8d363473 by Raymond Toy at 2017-12-19T17:35:19-08:00 Make random-mt19937 function only when :random-mt19937 is set - - - - - 7362e561 by Raymond Toy at 2017-12-19T17:35:41-08:00 Disable some deftransforms for now - - - - - 68596489 by Raymond Toy at 2017-12-19T17:36:27-08:00 Add rand-xoroshiro to the build files Compile/load rand-xoroshiro if :random-xoroshiro is a feature. - - - - - b8d326cc by Raymond Toy at 2017-12-19T17:46:39-08:00 Update CI to do the required cross-compile - - - - - f5df8745 by Raymond Toy at 2017-12-19T18:18:23-08:00 Update tests to match xoroshiro implementation. - - - - - be17d9f4 by Raymond Toy at 2017-12-19T19:01:35-08:00 Conditionalize on random-xoroshiro. These tests test the actual implementation details of the xoroshiro128+ generator, so conditionalize it for this generator. - - - - - 0c2284a7 by Raymond Toy at 2017-12-19T19:03:21-08:00 Add cross script for sparc This changes the RNG to xoroshiro128+ for sparc. - - - - - 4720c794 by Raymond Toy at 2017-12-19T19:03:27-08:00 Add comment - - - - - 5ca98fb1 by Raymond Toy at 2017-12-20T13:59:20-08:00 Add documentation and inline xoroshiro-gen Not sure about inlining that; it makes random-chunk bigger and all callers of random-chunk bigger too. Nice speed win, however. A test of generating 50000000 single-float values shows xoroshiro128+ takes 0.58 sec vs 0.98 using MT19937 on my machine. - - - - - 96c90caf by Raymond Toy at 2017-12-20T14:00:25-08:00 Remove old stuff; conditionalize on :random-xoroshiro - - - - - 9cd66071 by Raymond Toy at 2017-12-20T16:30:41-08:00 Document the jump function and add test. * rand-xoroshiro.lisp: * Rename xoroshiro-jump to random-state-jump * Add documentation/comments. * tests/rng.lisp * Add tests for the RNG jump function. - - - - - 96c58393 by Raymond Toy at 2017-12-27T09:46:59-08:00 Modify random-state-jump to use 32-bit ints Break the constants in the jump function into 32-bit chunks so we operate on 32-bit integers instead of 64-bit integers. This is a minor optimization. - - - - - ab6d2c6a by Raymond Toy at 2017-12-27T10:29:26-08:00 Fix compiler warning in VEC-INIT-XORO-STATE Set default value for state in VEC-INIT-XORO-STATE. If not given, initialize it to the correct array. - - - - - 164cf685 by Raymond Toy at 2017-12-27T12:17:25-08:00 Implement vop for xoroshiro-next Not yet working. Cross-compile works and generates appropriate code, but can't rebuild lisp using the cross-compiled lisp. - - - - - 757fb170 by Raymond Toy at 2017-12-27T15:25:08-08:00 Remove extra trailing unmatched parenthesis - - - - - 6fbd959e by Raymond Toy at 2017-12-28T09:04:13-08:00 Fix logic mistakes in sparc xoroshiro impl Also compute the array offsets just once so we're consistent between loading and storing. - - - - - 11a14537 by Raymond Toy at 2017-12-28T09:04:27-08:00 Export random-state-jump - - - - - 448e9970 by Raymond Toy at 2017-12-28T09:53:39-08:00 Use the xoroshiro vop on sparc The vop greatly speeds up the generator on sparc. The time to generate 10,000,000 single-floats (on a 1 GHz Ultrasparc 3i) is: mt19937: 1.32 sec xoroshiro: 1.03 sec So xoroshiro is 22% faster than mt19937. - - - - - 58f107b1 by Raymond Toy at 2017-12-28T12:26:31-08:00 Print random state in hex Add comment for %random-double-float to use xoroshiro-gen directly instead of random-chunk twice. A minor micro optimization. - - - - - 86599903 by Raymond Toy at 2017-12-28T19:53:42-08:00 Add comments. - - - - - 562752c0 by Raymond Toy at 2017-12-28T19:54:11-08:00 Regenerated from sources - - - - - e5bd7ef7 by Raymond Toy at 2017-12-29T08:57:34-08:00 Fix typo in reader conditional. Don't use the portable xoroshiro-gen on x86 and sparc! - - - - - d8ef7876 by Raymond Toy at 2017-12-29T10:20:13-08:00 Update release notes - - - - - fb3f58ea by Raymond Toy at 2017-12-29T18:32:07+00:00 Merge branch 'rtoy-xoro-default' into 'master' Change random number generator from MT19937 to xoroshiro128+ Closes #48 See merge request cmucl/cmucl!29 - - - - - 395af224 by Raymond Toy at 2017-12-29T15:57:59-08:00 RANDOM should do the same as the deftransform would do. Make RANDOM compute the value the same way as the deftransform would do when the arg is a 32-bit integer. The deftransform is still currently disabled for random-xoroshiro, though. - - - - - 65bcf797 by Raymond Toy at 2017-12-29T22:20:37-08:00 Merge branch 'master' into sparc64-dev - - - - - 30 changed files: - .gitignore - + .gitlab-ci.yml - README.md - bin/build.sh - bin/run-tests.sh - + src/bootfiles/21b/boot-2017-04-1.lisp - + src/bootfiles/21b/boot-21c.lisp - + src/bootfiles/21c/boot-21c-cross-sparc.lisp - + src/bootfiles/21c/boot-21c-cross-x86.lisp - + src/bootfiles/21c/boot-21c-cross.lisp - src/code/commandline.lisp - src/code/exports.lisp - + src/code/rand-xoroshiro.lisp - src/code/run-program.lisp - src/code/x86-vm.lisp - src/compiler/byte-comp.lisp - src/compiler/float-tran.lisp - src/compiler/sparc/arith.lisp - src/compiler/x86/arith.lisp - src/compiler/x86/insts.lisp - src/compiler/x86/parms.lisp - src/contrib/asdf/asdf.lisp - src/contrib/asdf/doc/asdf.html - src/contrib/asdf/doc/asdf.info - src/contrib/asdf/doc/asdf.pdf - src/general-info/release-21c.txt → src/general-info/release-21c.md - + src/general-info/release-21d.md - src/i18n/locale/cmucl.pot - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po - src/i18n/locale/ko/LC_MESSAGES/cmucl.po The diff was not included because it is too large. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/3e1e87d391fab3f26f2e38ae… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/3e1e87d391fab3f26f2e38ae… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] RANDOM should do the same as the deftransform would do.
by Raymond Toy 29 Dec '17

29 Dec '17

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 395af224 by Raymond Toy at 2017-12-29T15:57:59-08:00 RANDOM should do the same as the deftransform would do. Make RANDOM compute the value the same way as the deftransform would do when the arg is a 32-bit integer. The deftransform is still currently disabled for random-xoroshiro, though. - - - - - 1 changed file: - src/code/rand-xoroshiro.lisp Changes: ===================================== src/code/rand-xoroshiro.lisp ===================================== --- a/src/code/rand-xoroshiro.lisp +++ b/src/code/rand-xoroshiro.lisp @@ -474,8 +474,11 @@ (declare (inline %random-single-float %random-double-float)) (cond ((typep arg '(integer 1 #x100000000)) - ;; Let the compiler deftransform take care of this case. - (%random-integer arg state)) + ;; Do the same thing as the deftransform would do. + (if (= arg (expt 2 32)) + (random-chunk state) + (values (bignum::%multiply (random-chunk state) + arg)))) ((and (typep arg 'single-float) (> arg 0.0F0)) (%random-single-float arg state)) ((and (typep arg 'double-float) (> arg 0.0D0)) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/395af2246b028691a323c1fcb… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/395af2246b028691a323c1fcb… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][rtoy-make-double-unsigned] Update MAKE-DOUBLE-FLOAT vop for unsigned
by Raymond Toy 29 Dec '17

29 Dec '17

Raymond Toy pushed to branch rtoy-make-double-unsigned at cmucl / cmucl Commits: f3dee356 by Raymond Toy at 2017-12-29T14:35:37-08:00 Update MAKE-DOUBLE-FLOAT vop for unsigned Update vop for sparc and ppc to accept unsigned first arg instead of signed, like on x86, allowing MAKE-DOUBLE-FLOAT to support both signed and unsigned 32-bit integers (for the first arg). - - - - - 2 changed files: - src/compiler/ppc/float.lisp - src/compiler/sparc/float.lisp Changes: ===================================== src/compiler/ppc/float.lisp ===================================== --- a/src/compiler/ppc/float.lisp +++ b/src/compiler/ppc/float.lisp @@ -733,12 +733,12 @@ (* (tn-offset res) vm:word-bytes))))))))) (define-vop (make-double-float) - (:args (hi-bits :scs (signed-reg)) + (:args (hi-bits :scs (unsigned-reg)) (lo-bits :scs (unsigned-reg))) (:results (res :scs (double-reg) :load-if (not (sc-is res double-stack)))) (:temporary (:scs (double-stack)) temp) - (:arg-types signed-num unsigned-num) + (:arg-types unsigned-num unsigned-num) (:result-types double-float) (:translate make-double-float) (:policy :fast-safe) ===================================== src/compiler/sparc/float.lisp ===================================== --- a/src/compiler/sparc/float.lisp +++ b/src/compiler/sparc/float.lisp @@ -1297,12 +1297,12 @@ (* (tn-offset res) vm:word-bytes))))))))) (define-vop (make-double-float) - (:args (hi-bits :scs (signed-reg)) + (:args (hi-bits :scs (unsigned-reg)) (lo-bits :scs (unsigned-reg))) (:results (res :scs (double-reg) :load-if (not (sc-is res double-stack)))) (:temporary (:scs (double-stack)) temp) - (:arg-types signed-num unsigned-num) + (:arg-types unsigned-num unsigned-num) (:result-types double-float) (:translate make-double-float) (:policy :fast-safe) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/f3dee356f056915accbb5f22a… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/f3dee356f056915accbb5f22a… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new branch rtoy-make-double-unsigned
by Raymond Toy 29 Dec '17

29 Dec '17

Raymond Toy pushed new branch rtoy-make-double-unsigned at cmucl / cmucl --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/tree/rtoy-make-double-unsigned You're receiving this email because of your account on gitlab.common-lisp.net.

1 0