X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fassembly%2Fppc%2Farray.lisp;h=40409a5f1a89612cbafa7c11ef3070eaf7cff27a;hb=37b1ed8e9b6faa84832b8251998b5d0eb1f6b307;hp=bfb29587ea36a137a747dd7bb02554a2895afaf5;hpb=125b7b337701dbac929da65013865a642652f21c;p=sbcl.git

diff --git a/src/assembly/ppc/array.lisp b/src/assembly/ppc/array.lisp
index bfb2958..40409a5 100644
--- a/src/assembly/ppc/array.lisp
+++ b/src/assembly/ppc/array.lisp
@@ -12,29 +12,82 @@
 
 (in-package "SB!VM")
 
-(define-assembly-routine (allocate-vector
-			  (:policy :fast-safe)
-			  (:translate allocate-vector)
-			  (:arg-types positive-fixnum
-				      positive-fixnum
-				      positive-fixnum))
-			 ((:arg type any-reg a0-offset)
-			  (:arg length any-reg a1-offset)
-			  (:arg words any-reg a2-offset)
-			  (:res result descriptor-reg a0-offset)
+(define-assembly-routine (allocate-vector-on-heap
+                          (:policy :fast-safe)
+                          #!-stack-allocatable-vectors
+                          (:translate allocate-vector)
+                          (:arg-types positive-fixnum
+                                      positive-fixnum
+                                      positive-fixnum))
+    ((:arg type any-reg a0-offset)
+     (:arg length any-reg a1-offset)
+     (:arg words any-reg a2-offset)
+     (:res result descriptor-reg a0-offset)
 
-			  (:temp ndescr non-descriptor-reg nl0-offset)
-			  (:temp pa-flag non-descriptor-reg nl3-offset)
-			  (:temp vector descriptor-reg a3-offset))
+     (:temp ndescr non-descriptor-reg nl0-offset)
+     (:temp pa-flag non-descriptor-reg nl3-offset)
+     (:temp vector descriptor-reg a3-offset)
+     (:temp temp non-descriptor-reg nl2-offset))
   (pseudo-atomic (pa-flag)
-    (inst ori vector alloc-tn sb!vm:other-pointer-lowtag)
-    (inst addi ndescr words (* (1+ sb!vm:vector-data-offset) sb!vm:n-word-bytes))
+    ;; boxed words == unboxed bytes
+    (inst addi ndescr words (* (1+ vector-data-offset) n-word-bytes))
     (inst clrrwi ndescr ndescr n-lowtag-bits)
-    (inst add alloc-tn alloc-tn ndescr)
-    (inst srwi ndescr type sb!vm:word-shift)
-    (storew ndescr vector 0 sb!vm:other-pointer-lowtag)
-    (storew length vector sb!vm:vector-length-slot sb!vm:other-pointer-lowtag))
+    (allocation vector ndescr other-pointer-lowtag
+                :temp-tn temp
+                :flag-tn pa-flag)
+    (inst srwi ndescr type word-shift)
+    (storew ndescr vector 0 other-pointer-lowtag)
+    (storew length vector vector-length-slot other-pointer-lowtag))
   ;; This makes sure the zero byte at the end of a string is paged in so
   ;; the kernel doesn't bitch if we pass it the string.
-  (storew zero-tn alloc-tn 0)
+  ;;
+  ;; rtoy says to turn this off as it causes problems with CMUCL.
+  ;;
+  ;; I don't think we need to do this anymore. It looks like this
+  ;; inherited from the SPARC port and does not seem to be
+  ;; necessary. Turning this on worked at some point, but I have not
+  ;; tested with the final GENGC-related changes. CLH 20060221
+  ;;
+  ;;  (storew zero-tn alloc-tn 0)
+  (move result vector))
+
+#!+stack-allocatable-vectors
+(define-assembly-routine (allocate-vector-on-stack
+                          (:policy :fast-safe)
+                          (:arg-types positive-fixnum
+                                      positive-fixnum
+                                      positive-fixnum))
+    ((:arg type any-reg a0-offset)
+     (:arg length any-reg a1-offset)
+     (:arg words any-reg a2-offset)
+     (:res result descriptor-reg a0-offset)
+
+     (:temp ndescr non-descriptor-reg nl0-offset)
+     (:temp pa-flag non-descriptor-reg nl3-offset)
+     (:temp vector descriptor-reg a3-offset)
+     (:temp temp non-descriptor-reg nl2-offset))
+  (pseudo-atomic (pa-flag)
+    ;; boxed words == unboxed bytes
+    (inst addi ndescr words (* (1+ vector-data-offset) n-word-bytes))
+    (inst clrrwi ndescr ndescr n-lowtag-bits)
+    (align-csp temp)
+    (inst ori vector csp-tn other-pointer-lowtag)
+    (inst add csp-tn csp-tn ndescr)
+    (inst srwi temp type word-shift)
+    (storew temp vector 0 other-pointer-lowtag)
+    ;; Our storage is allocated, but not initialized, and our contract
+    ;; calls for it to be zero-fill.  Do so now.
+    (let ((loop (gen-label)))
+      (inst addi temp vector (- n-word-bytes other-pointer-lowtag))
+      ;; The header word has already been set, skip it.
+      (inst addi ndescr ndescr (- (fixnumize 1)))
+      (emit-label loop)
+      (inst addic. ndescr ndescr (- (fixnumize 1)))
+      (storew zero-tn temp 0)
+      (inst addi temp temp n-word-bytes)
+      (inst bgt loop))
+    ;; Our zero-fill loop always executes at least one store, so to
+    ;; ensure that there is at least one slot available to be
+    ;; clobbered, we defer setting the vector-length slot until now.
+    (storew length vector vector-length-slot other-pointer-lowtag))
   (move result vector))