sb!vm:instance-header-widetag sb!vm:instance-pointer-lowtag
nil)
+#!+stack-allocatable-fixed-objects
(defoptimizer (%make-structure-instance stack-allocate-result) ((&rest args) node dx)
- (declare (ignore node dx))
t)
(defoptimizer ir2-convert-reffer ((object) node block name offset lowtag)
(emit-inits node block name result lowtag words `((:dd . ,c-dd) ,@c-slot-specs) args)
(move-lvar-result node block locs lvar))))
+(defoptimizer (initialize-vector ir2-convert)
+ ((vector &rest initial-contents) node block)
+ (let* ((vector-ctype (lvar-type vector))
+ (elt-ctype (if (array-type-p vector-ctype)
+ (array-type-specialized-element-type vector-ctype)
+ (bug "Unknow vector type in IR2 conversion for ~S."
+ 'initialize-vector)))
+ (saetp (find-saetp-by-ctype elt-ctype))
+ (lvar (node-lvar node))
+ (locs (lvar-result-tns lvar (list (primitive-type vector-ctype))))
+ (result (first locs))
+ (elt-ptype (primitive-type elt-ctype))
+ (tmp (make-normal-tn elt-ptype)))
+ (emit-move node block (lvar-tn node block vector) result)
+ (flet ((compute-setter ()
+ (macrolet
+ ((frob ()
+ (let ((*package* (find-package :sb!vm))
+ (clauses nil))
+ (map nil (lambda (s)
+ (when (sb!vm:saetp-specifier s)
+ (push
+ `(,(sb!vm:saetp-typecode s)
+ (lambda (index tn)
+ #!+(or x86 x86-64)
+ (vop ,(symbolicate "DATA-VECTOR-SET-WITH-OFFSET/"
+ (sb!vm:saetp-primitive-type-name s))
+ node block result index tn 0 tn)
+ #!-(or x86 x86-64)
+ (vop ,(symbolicate "DATA-VECTOR-SET/"
+ (sb!vm:saetp-primitive-type-name s))
+ node block result index tn tn)))
+ clauses)))
+ sb!vm:*specialized-array-element-type-properties*)
+ `(ecase (sb!vm:saetp-typecode saetp)
+ ,@(nreverse clauses)))))
+ (frob)))
+ (tnify (index)
+ (constant-tn (find-constant index))))
+ (let ((setter (compute-setter))
+ (length (length initial-contents)))
+ (dotimes (i length)
+ (emit-move node block (lvar-tn node block (pop initial-contents)) tmp)
+ (funcall setter (tnify i) tmp))))
+ (move-lvar-result node block locs lvar)))
+
;;; :SET-TRANS (in objdef.lisp DEFINE-PRIMITIVE-OBJECT) doesn't quite
;;; cut it for symbols, where under certain compilation options
;;; (e.g. #!+SB-THREAD) we have to do something complicated, rather
node block (list value-tn) (node-lvar node))))))))
;;; Stack allocation optimizers per platform support
-;;;
-;;; Platforms with stack-allocatable vectors
-#!+(or x86 x86-64)
+#!+stack-allocatable-vectors
(progn
(defoptimizer (allocate-vector stack-allocate-result)
((type length words) node dx)
;; stack guard pages.
(values-subtypep (lvar-derived-type words)
(load-time-value
- (specifier-type `(integer 0 ,(- (/ sb!vm::*backend-page-size*
+ (specifier-type `(integer 0 ,(- (/ sb!vm::*backend-page-bytes*
sb!vm:n-word-bytes)
sb!vm:vector-data-offset)))))))
(annotate-1-value-lvar arg)))))
;;; ...lists
-#!+(or alpha mips ppc sparc x86 x86-64)
+#!+stack-allocatable-lists
(progn
(defoptimizer (list stack-allocate-result) ((&rest args) node dx)
(declare (ignore node dx))
t))
;;; ...conses
-#!+(or x86 x86-64)
-(defoptimizer (cons stack-allocate-result) ((&rest args) node dx)
- (declare (ignore node dx))
- t)
+#!+stack-allocatable-fixed-objects
+(progn
+ (defoptimizer (cons stack-allocate-result) ((&rest args) node dx)
+ t)
+ (defoptimizer (%make-complex stack-allocate-result) ((&rest args) node dx)
+ t))