;;;; utility functions and macros needed by the back end to generate
;;;; code

;;;; This software is part of the SBCL system. See the README file for
;;;; more information.
;;;;
;;;; This software is derived from the CMU CL system, which was
;;;; written at Carnegie Mellon University and released into the
;;;; public domain. The software is in the public domain and is
;;;; provided with absolutely no warranty. See the COPYING and CREDITS
;;;; files for more information.

(in-package "SB-VM")

;;; Make a fixnum out of NUM. (I.e. shift by two bits if it will fit.)
(defun fixnumize (num)
  (if (fixnump num)
      (ash num n-fixnum-tag-bits)
      (error "~W is too big for a fixnum." num)))

(declaim (inline tn-byte-offset))
(defun tn-byte-offset (tn)
  (ash (tn-offset tn) word-shift))

;;; Determining whether a constant offset fits in an addressing mode.
#+(or x86 x86-64)
(defun foldable-constant-offset-p (element-size lowtag data-offset offset)
  (if (< element-size n-byte-bits)
      nil
      (multiple-value-bind (min max)
          (displacement-bounds lowtag element-size data-offset)
        (<= min offset max))))


;;;; routines for dealing with static symbols

;;; the distance from tagged ptr to NIL to tagged ptr to static SYMBOL, in bytes
(defun static-symbol-offset (symbol)
  (if symbol
      ;; STATIC-SYMBOL-P returns a generalized boolean: an integer indicating
      ;; the index, or T if the argument is NIL, or NIL if non-static.
      (let ((posn (static-symbol-p symbol)))
        (unless (fixnump posn) (error "~S is not a static symbol." symbol))
        #+x86-64
        (case symbol
          ((t) (- t-nil-offset))
          (t (+ (* (1- posn) (pad-data-block symbol-size))
                (- nil-value-offset)
                (ash 258 word-shift) ; **PRIMITIVE-OBJECT-LAYOUTS**
                other-pointer-lowtag)))
        #-x86-64
        (+ (* posn (pad-data-block symbol-size))
           (pad-data-block (1- symbol-size))
           other-pointer-lowtag
           (- list-pointer-lowtag)))
      0))

;; Return T if SYMBOL will have a nonzero TLS index at load time or sooner.
;; True of all specials exported from CL:, all which expose slots of the thread
;; structure, and any symbol that the compiler decides will eventually have a
;; nonzero TLS index due to compiling a dynamic binding of it.
;; A reason why you should prefer eager TLS assignment (for a slight reduction
;; in number of instructions executed) - is that in well-crafted code, the user
;; ought to have used DEFGLOBAL (or -LOAD-TIME) to define specials which are NOT
;; thread-locally bound. Therefore all other special vars must have the expectation
;; of at some point getting thread-locally bound. Assuming that to be the case,
;; it is advantageous to wire in the TLS index for all non-globals.
;; However, some applications - those which create symbols as data - create too
;; many symbols to eagerly assign TLS indices, and so the default is NIL.
(defparameter *eager-tls-assignment* nil)
(defun symbol-always-has-tls-index-p (symbol)
  (if *eager-tls-assignment*
      (not (static-symbol-p symbol))
      (not (null (info :variable :wired-tls symbol)))))

(symbol-macrolet ((space-end (+ alien-linkage-space-start alien-linkage-space-size)))
;;; the address of the linkage table entry for table index I.
(defun alien-linkage-table-entry-address (i)
  (ecase alien-linkage-table-growth-direction
    (:up   (+ (* i alien-linkage-table-entry-size) alien-linkage-space-start))
    (:down (- space-end (* (1+ i) alien-linkage-table-entry-size)))))

#-sb-xc-host
(defun alien-linkage-table-index-from-address (addr)
  (ecase alien-linkage-table-growth-direction
    (:up   (floor (- addr alien-linkage-space-start) alien-linkage-table-entry-size))
    (:down (1- (floor (- space-end addr) space-end))))))


;;;; interfaces to IR2 conversion

;;; Return a wired TN describing the N'th full call argument passing
;;; location.
(defun standard-arg-location (n)
  (declare (type unsigned-byte n))
  (if (< n register-arg-count)
      (make-wired-tn *backend-t-primitive-type* descriptor-reg-sc-number
                     (nth n *register-arg-offsets*))
      (make-wired-tn *backend-t-primitive-type* control-stack-sc-number n)))

;;; Same as above but marks stack locations as :arg-pass
(defun standard-call-arg-location (n)
  (declare (type unsigned-byte n))
  (if (< n register-arg-count)
      (make-wired-tn *backend-t-primitive-type* descriptor-reg-sc-number
                     (nth n *register-arg-offsets*))
      (let ((tn
              (make-wired-tn *backend-t-primitive-type* control-stack-sc-number n)))
        (setf (tn-kind tn) :arg-pass)
        tn)))

(defun standard-arg-location-sc (n)
  (declare (type unsigned-byte n))
  (if (< n register-arg-count)
      (make-sc+offset descriptor-reg-sc-number
                      (nth n *register-arg-offsets*))
      (make-sc+offset control-stack-sc-number n)))

(defstruct (fixed-call-args-state
            (:copier nil)
            (:predicate nil)
            (:constructor make-fixed-call-args-state ()))
  (descriptors -1 :type fixnum)
  #-c-stack-is-control-stack
  (non-descriptors -1 :type fixnum)
  (float -1 :type fixnum))

#-(or arm64 x86-64) (defvar *descriptor-args*)
#-(or arm64 c-stack-is-control-stack) (defvar *non-descriptor-args*)
#-(or x86 arm64 x86-64) (defvar *float-regs*)

(defun fixed-call-arg-location (type state)
  (let* ((primtype (if (typep type 'primitive-type)
                       type
                       (primitive-type type)))
         (sc (find descriptor-reg-sc-number (sb-c::primitive-type-scs primtype) :test-not #'eql)))
    (flet ((descriptor ()
             (let ((index (incf (fixed-call-args-state-descriptors state)))
                   (max-regs (length *descriptor-args*)))
               (if (< index max-regs)
                   (make-wired-tn primtype
                                  descriptor-reg-sc-number
                                  (elt *descriptor-args* index))
                   (make-wired-tn primtype control-stack-sc-number (+ register-arg-count (- index max-regs)))))))
      (case (primitive-type-name primtype)
        ((double-float single-float)
         (let ((n (incf (fixed-call-args-state-float state))))
           (if (< n (length *float-regs*))
               (make-wired-tn primtype
                              sc
                              (elt *float-regs* n))
               (descriptor))))
        ((unsigned-byte-64 signed-byte-64)
         (let ((n (incf (#-c-stack-is-control-stack fixed-call-args-state-non-descriptors
                         #+c-stack-is-control-stack fixed-call-args-state-descriptors
                         state)))
               (regs #-c-stack-is-control-stack *non-descriptor-args*
                     #+c-stack-is-control-stack *descriptor-args*))
           (if (< n (length regs))
               (make-wired-tn primtype
                              sc
                              (elt regs n))
               (descriptor))))
        (t
         (descriptor))))))

;;; Make a TN to hold the number-stack frame pointer.  This is allocated
;;; once per component, and is component-live.
  #-c-stack-is-control-stack
(defun make-nfp-tn ()
  (component-live-tn
   (make-wired-tn *fixnum-primitive-type* immediate-arg-scn nfp-offset)))

;;; Make an environment-live stack TN for saving the SP for NLX entry.
(defun make-nlx-sp-tn (env)
  (environment-live-tn
   (make-representation-tn *fixnum-primitive-type* any-reg-sc-number)
   env))

#-x86-64
(defun make-stack-pointer-tn (&optional nargs)
  (declare (ignore nargs))
  (make-normal-tn *fixnum-primitive-type*))

(defun make-number-stack-pointer-tn ()
  #+c-stack-is-control-stack
  (sb-c::make-unused-tn)
  #-c-stack-is-control-stack
  (make-normal-tn *fixnum-primitive-type*))

;;; Return a list of TNs that can be used to represent an unknown-values
;;; continuation within a function.
(defun make-unknown-values-locations (&optional unused-count unused-sp)
  (declare (ignorable unused-count unused-sp))
  (list (cond #+(or arm64 x86-64)
              ;; needs support from receive-unknown-values, push-values, %more-arg-values, values-list,
              ;; nlx-entry-multiple
              (unused-sp
               (sb-c::make-unused-tn))
              (t
               (make-stack-pointer-tn)))
        (cond #+(or arm64 x86-64)
              (unused-count
               (sb-c::make-unused-tn))
              (t
               (make-normal-tn *fixnum-primitive-type*)))))

(defun error-call (vop error-code &rest values)
  "Cause an error.  ERROR-CODE is the error to cause."
  (emit-error-break vop error-trap (error-number-or-lose error-code) values))

(defun cerror-call (vop error-code &rest values)
  "Cause a continuable error.  ERROR-CODE is the error to cause."
  (emit-error-break vop cerror-trap (error-number-or-lose error-code) values))

;;; Does the TN definitely hold *any* of the 4 pointer types
(defun pointer-tn-ref-p (tn-ref)
  (and (sc-is (tn-ref-tn tn-ref) descriptor-reg)
       (not (types-equal-or-intersect
             (tn-ref-type tn-ref)
             (specifier-type '(or fixnum
                               #+64-bit single-float
                               character))))))

;;; Does the TN definitely hold any of the 3 non-list pointer types
(defun headered-object-pointer-tn-ref-p (tn-ref)
  (and (pointer-tn-ref-p tn-ref)
       (not (types-equal-or-intersect (tn-ref-type tn-ref)
                                      (specifier-type 'list)))))

;;; Does the TN definitely hold an OTHER pointer?
;;; If the operation next to be performed on TN is a widetag test,
;;; then NIL is ok as the input. Indicate this by specifying PERMIT-NIL.
;;; With rare exception it should always be permitted, though not on ppc64
;;; where it would never be. The safe default is NIL.
(defun other-pointer-tn-ref-p (tn-ref &optional permit-nil
                                                immediates-tested)
  (and (sc-is (tn-ref-tn tn-ref) descriptor-reg)
       (not (types-equal-or-intersect
             (tn-ref-type tn-ref)
             (if permit-nil
                 (specifier-type '(or function cons instance character))
                 (specifier-type '(or function list instance character)))))
       (or (memq 'fixnum immediates-tested)
           (not (types-equal-or-intersect (tn-ref-type tn-ref) (specifier-type 'fixnum))))
       #+64-bit
       (or (memq single-float-widetag immediates-tested)
           (not (types-equal-or-intersect (tn-ref-type tn-ref) (specifier-type 'single-float))))))

(defun fixnum-or-other-pointer-tn-ref-p (tn-ref &optional permit-nil)
  (and (sc-is (tn-ref-tn tn-ref) descriptor-reg)
       (not (types-equal-or-intersect
             (tn-ref-type tn-ref)
             (if permit-nil
                 (specifier-type '(or cons . #1=(#+64-bit single-float function instance character)))
                 (specifier-type '(or list . #1#)))))))

(defun number-or-other-pointer-tn-ref-p (tn-ref &optional permit-nil)
  (and (sc-is (tn-ref-tn tn-ref) descriptor-reg)
       (not (types-equal-or-intersect
             (tn-ref-type tn-ref)
             (if permit-nil
                 (specifier-type '(or cons . #1=(function instance character)))
                 (specifier-type '(or list . #1#)))))))

;;; Can LOWTAG be distinguished from other tn lowtags by testing a single bit?
(defun tn-ref-lowtag-bit (lowtag tn-ref &optional permit-nil immediates-tested)
  (declare (fixnum lowtag))
  (when tn-ref
    (let ((type (tn-ref-type tn-ref))
          (set 0)
          (clear 0))
      (when (eq type *universal-type*)
        (return-from tn-ref-lowtag-bit))
      (unless (memq 'fixnum immediates-tested)
        (when (types-equal-or-intersect type (specifier-type 'fixnum))
          (setf set (logandc2 lowtag-mask fixnum-tag-mask)
                clear lowtag-mask)))
      (macrolet ((s (lowtag type)
                   `(when (and (/= lowtag ,lowtag)
                               (types-equal-or-intersect type ,(if (symbolp type)
                                                                   `(specifier-type ',type)
                                                                   type)))
                      (setf set (logior set (logand lowtag-mask ,lowtag))
                            clear (logior clear (logandc2 lowtag-mask ,lowtag))))))
        #+64-bit
        (unless (memq single-float-widetag immediates-tested)
          (s single-float-widetag single-float))
        (if permit-nil
            (s list-pointer-lowtag cons)
            (s list-pointer-lowtag list))
        (s fun-pointer-lowtag function)
        (s instance-pointer-lowtag instance)
        (s character-widetag character)
        (s other-pointer-lowtag
           (if permit-nil
               (specifier-type '(or null sb-c::other-pointer))
               (specifier-type 'sb-c::other-pointer)))
        (let ((set-bit (logand lowtag-mask (logandc2 lowtag set)))
              (clear-bit (logandc2 lowtag-mask (logior lowtag clear))))
          (cond ((plusp set-bit)
                 (values (count-trailing-zeros set-bit) 1))
                ((plusp clear-bit)
                 (values (count-trailing-zeros clear-bit) 0))))))))

(defun fun-or-other-pointer-tn-ref-p (tn-ref &optional permit-nil)
  (and (sc-is (tn-ref-tn tn-ref) descriptor-reg)
       (not (types-equal-or-intersect
             (tn-ref-type tn-ref)
             (if permit-nil
                 (specifier-type '(or cons instance character fixnum #+64-bit single-float))
                 (specifier-type '(or cons instance character fixnum #+64-bit single-float)))))))

(defun not-nil-tn-ref-p (tn-ref)
  (not (types-equal-or-intersect (tn-ref-type tn-ref)
                                 (specifier-type '(eql nil)))))

(defun instance-tn-ref-p (tn-ref)
  (csubtypep (tn-ref-type tn-ref) (specifier-type 'instance)))

;;; Note that this is a allowed to fail by returning NIL.
;;; So it's really testing "CERTAINLY-STACK-CONSED-P", which is
;;; T if and only if if knows, and NIL if it doesn't know,
;;; or OBJECT is heap-consed.
;;; In general this is a crummy way to deduce the object's creator,
;;; because MOVE-OPERAND has a nasty way of interfering.
(defun stack-consed-p (object)
  (let ((write (sb-c::tn-writes object))) ; list of write refs
    (when (or (not write)    ; grrrr, the only write is from a LOAD tn
                                        ; and we don't know the corresponding normal TN?
              (tn-ref-next write))      ; can't determine if > 1 write
      (return-from stack-consed-p nil))
    (let ((vop (tn-ref-vop write)))
      (when (not vop)                   ; wat?
        (return-from stack-consed-p nil))
      (when (eq (vop-name vop) 'allocate-vector-on-stack)
        (return-from stack-consed-p t))
      (when (or (and (eq (vop-name vop) 'fixed-alloc) ; do we still need this case?
                     (fifth (vop-codegen-info vop))) ; STACK-ALLOCATE-P
                (eq (vop-name vop) 'sb-c::fixed-alloc-to-stack))
        (return-from stack-consed-p t))
      ;; Should we try to detect a stack-consed LIST also?
      ;; I don't think that will work.
      ;; (And is there anything else interesting to try?)
      (unless (member (vop-name vop) '(splat-word splat-small splat-any))
        (return-from stack-consed-p nil))
      (let* ((splat-input (vop-args vop))
             (splat-input-source
               (tn-ref-vop (sb-c::tn-writes (tn-ref-tn splat-input)))))
        ;; How in the heck can there NOT be a vop??? Well, sometimes there isn't.
        (when (and splat-input-source
                   (eq (vop-name splat-input-source)
                       'allocate-vector-on-stack))
          (return-from stack-consed-p t)))))
  nil)

;;; Just gathering some data to see where we can improve
(define-load-time-global *store-barriers-potentially-emitted* 0)
(define-load-time-global *store-barriers-emitted* 0)

(defun require-gengc-barrier-p (object value-tn-ref &optional allocator)
  (incf *store-barriers-potentially-emitted*)
  ;; If OBJECT is stack-allocated, elide the barrier
  (when (stack-consed-p object)
    (return-from require-gengc-barrier-p nil))
  (flet ((potential-heap-pointer-p (tn tn-ref)
           (when (sc-is tn any-reg) ; must be fixnum
             (return-from potential-heap-pointer-p nil))
           ;; If stack-allocated, elide the barrier
           (when (stack-consed-p tn)
             (return-from potential-heap-pointer-p nil))
           ;; If immediate non-pointer, elide the barrier
           (when (sc-is tn immediate)
             (let ((value (tn-value tn)))
               (when (sb-xc:typep value '(or character sb-xc:fixnum
                                          #+64-bit single-float
                                          boolean))
                 (return-from potential-heap-pointer-p nil))))
           (when (sb-c::unbound-marker-tn-p tn)
             (return-from potential-heap-pointer-p nil))
           ;; And elide for things like (OR FIXNUM NULL)
           (let ((type (tn-ref-type tn-ref)))
             (when (or (csubtypep type #1=(specifier-type '(or character sb-xc:fixnum boolean
                                                            #+64-bit single-float)))
                       (let ((diff (type-difference type #1#)))
                         (and (member-type-p diff)
                              #-sb-xc-host
                              (loop for member in (member-type-members diff)
                                    always
                                    (and (eql (generation-of member) +pseudo-static-generation+)
                                         (or (not (sb-c::producing-fasl-file))
                                             (and (symbolp member)
                                                  (logtest +symbol-initial-core+ (get-header-data member)))))))))
               (return-from potential-heap-pointer-p nil)))
           (let ((write (sb-c::tn-writes tn)))
             (when (and write
                        (not (tn-ref-next write))
                        (tn-ref-vop write)
                        (memq (vop-name (tn-ref-vop write)) '(move-from-fixnum+1
                                                              move-from-fixnum-1)))
               (return-from potential-heap-pointer-p nil)))
           t)
         (boxed-tn-p (value-tn)
           (let* ((prim-type (sb-c::tn-primitive-type value-tn))
                  (scs (and prim-type
                            (sb-c::primitive-type-scs prim-type))))
             (or (singleton-p scs)
                 (not (member descriptor-reg-sc-number scs))))))
    (when value-tn-ref
      (let ((any-pointer
              (do ((ref value-tn-ref (tn-ref-across ref)))
                  ((null ref))
                (let ((tn (tn-ref-tn ref)))
                  (when (and (potential-heap-pointer-p tn ref)
                             (not (and ;; Can this TN be boxed after the allocator?
                                   (boxed-tn-p tn)
                                   (or (eq allocator :allocator)
                                       (let ((vop (tn-ref-vop ref)))
                                        (and (neq (vop-name vop) 'instance-set-multiple)
                                             (let ((node (sb-c::vop-node (tn-ref-vop ref))))
                                               (multiple-value-bind (nth-object nth-value)
                                                   (if (and (eq (vop-name vop) 'set-slot)
                                                            (typep (sb-c::combination-fun-source-name node)
                                                                   '(cons (eql setf))))
                                                       (values 1 0)
                                                       (values 0 (vop-arg-position value-tn-ref vop)))
                                                 (sb-c::set-slot-old-p node nth-object nth-value)))))))))
                    (return t))))))
        (unless any-pointer
          (return-from require-gengc-barrier-p nil))))
    (incf *store-barriers-emitted*)
    t))

(defun vop-nth-arg (n vop)
  (let ((ref (vop-args vop)))
    (dotimes (i n ref) (setq ref (tn-ref-across ref)))))

(defun vop-arg-position (tn-ref vop)
  (let ((types (sb-c::vop-info-arg-types (sb-c::vop-info vop))))
    (loop with i = -1
          for ref = (vop-args vop) then (tn-ref-across ref)
          do
          (loop do (pop types)
                   (incf i)
                while (typep (car types) '(cons (eql :constant))))
          when (eq ref tn-ref) return i)))

(defun length-field-shift (widetag)
  (if (= widetag instance-widetag)
      instance-length-shift
      n-widetag-bits))

(defconstant array-rank-mask 255)
;;; Rank is encoded as a (UNSIGNED-BYTE 8) minus one.
;;; Initialization of simple rank 1 array header words is completely unaffected-
;;; they store 0 for the rank, which is the correct encoding for 1.
;;; The encoding 1 means 2, encoding 2 means 3, and so on.
;;; Decoding is just an addition and bitwise AND.
(defun encode-array-rank (rank)
  (declare (type (unsigned-byte 8) rank))
  (logand (1- rank) array-rank-mask))

(defun compute-object-header (nwords widetag-or-metadata)
  (let* ((widetag (if (fixnump widetag-or-metadata) widetag-or-metadata instance-widetag))
         (array-header-p
          (or (= widetag simple-array-widetag)
              (>= widetag complex-base-string-widetag))))
    (logior (if array-header-p
                (let ((rank (- nwords array-dimensions-offset)))
                  (ash (encode-array-rank rank) array-rank-position))
                (case widetag
                  ((#.symbol-widetag #.fdefn-widetag) 0)
                  (t (ash (1- nwords) (length-field-shift widetag)))))
            widetag)))

;;; Convert # of "big digits" (= words, sometimes called "limbs") to a header value.
(defmacro bignum-header-for-length (n)
  `(logior (ash ,n n-widetag-bits) bignum-widetag))

(defmacro id-bits-offset () ; FIXME: could this be a constant ?
  (let ((slot (get-dsd-index layout sb-kernel::id-word0)))
    (ash (+ sb-vm:instance-slots-offset slot) sb-vm:word-shift)))

;;; I'd like the division-by-constant-integer optimization to work
;;; during cross-compilation, but the algorithm to compute the magic
;;; parameters is expressed in C, not Lisp. I need to translate it.
#-sb-xc-host
(defun sb-c:compute-udiv32-magic (divisor)
  (with-alien ((mag (struct magu
                            (m unsigned-int)
                            (a int)
                            (s int)))
               (compute-udiv-magic32 (function void int (* (struct magu)))
                                     :extern))
    (alien-funcall compute-udiv-magic32 divisor (addr mag))
    (values (slot mag 'm) (slot mag 'a) (slot mag 's))))

;;; "Algorithm 2: Algorithm to select the number of fractional bits and the scaled
;;; approximate reciprocal in the case of unsigned integers."
;;; from https://r-libre.teluq.ca/1633/1/Faster_Remainder_of_the_Division_by_a_Constant.pdf
;;; See also https://github.com/bmkessler/fastdiv for that coded in Go.
;;; D = divisor
;;; N = number of bits of precision in numerator
;;; FRACTION-BITS is what you want, or :VARIABLE for the smallest
;;;
;;; Note that for 32 fraction bits, the divisor can *not* use all 32 bits of precision.
;;; It can only have about 27 or 28 significant bits. This function will figure it out.
(defun compute-fastrem-coefficient (d n fraction-bits)
  (multiple-value-bind (smallest-f c)
      (flet ((is-pow2 (n)
               (declare (type unsigned-byte n))
               (let ((l (integer-length n)))
                 (= n (ash 1 (1- l))))))
        (if (is-pow2 d)
            (values (1- (integer-length d)) 1)
            (loop for L from 0
                  do (let* ((F (+ N L))
                            (2^F (expt 2 F)))
                       (when (<= d (+ (mod 2^F d) (expt 2 L)))
                         (let ((c (ceiling (expt 2 F) d)))
                           (return (values F c))))))))
    (cond ((eq fraction-bits :variable) ; return the smallest F
           (values c smallest-f))
          (t
           ;; Otherwise hardwire F to 32 so the algorithm can use :DWORD
           ;; register moves to perform the shifting and masking.
           ;; But make sure the smallest-f is not more than 32, or else
           ;; this can't work.
           (when (> smallest-f fraction-bits)
             (error "Need ~D fraction bits for divisor ~D and ~D bit dividend"
                    smallest-f d n))
           (values (ceiling (expt 2 fraction-bits) d) fraction-bits)))))

(defun env-system-tlab-p (env)
  #-system-tlabs (declare (ignore env))
  #+system-tlabs
  (or sb-c::*force-system-tlab*
      (and env
           (dolist (data (sb-c::lexenv-user-data env)
                         (and (sb-c::lexenv-parent env)
                              (env-system-tlab-p (sb-c::lexenv-parent env))))
             (when (and (eq (first data) :declare)
                        (eq (second data) 'sb-c::tlab))
               (return (eq (third data) :system)))))))

(defun system-tlab-p (type node)
  #-system-tlabs (declare (ignore type node))
  #+system-tlabs
  (or sb-c::*force-system-tlab*
      (let ((typename (cond ((sb-kernel::layout-p type)
                             (classoid-name (layout-classoid type)))
                            ((sb-kernel::defstruct-description-p type)
                             (dd-name type)))))
        (when (and typename (sb-xc:subtypep typename 'ctype))
          ;; If stack-allocation occurs, we should never have to
          ;; call this predicate to inquire which TLAB to use.
          (#.(cl:if sb-ext:*stack-allocate-dynamic-extent* 'error 'sb-c:compiler-notify)
             "~S instance constructor called" typename))
        nil)
      (and node
           (env-system-tlab-p (sb-c::node-lexenv node)))))

(defun call-out-pseudo-atomic-p (vop)
  (declare (ignorable vop))
  ;; If #+sb-safepoint, the decision to poll for a safepoint
  ;; occurs at the end. In that case, we can not prevent stop-for-GC
  ;; from occurring in the C code, because foreign code is allowed
  ;; to run during GC; it just can't go back into Lisp until GC is over.
  #-(or sb-safepoint nonstop-foreign-call)
  (loop for e = (sb-c::node-lexenv (sb-c::vop-node vop))
        then (sb-c::lexenv-parent e)
        while e
        thereis (sb-c::lexenv-find 'sb-vm::.pseudo-atomic-call-out.
                                   vars :lexenv e)))

;;; The SET vop should alway get a symbol that is known at compile-time
;;; even though the compiler might have already done you a "favor" of
;;; producing a load-TN for a random constant. This tries to undo that.
(defun known-symbol-use-p (vop symbol)
  (cond ((sc-is symbol constant immediate)
         (tn-value symbol))
        (t
         ;; Given a DESCRIPTOR-REG you can refer back to the vop args
         ;; to figure out what was loaded.
         (let ((type (tn-ref-type (vop-args vop))))
           ;; I'm pretty sure this _must_ be a MEMBER type.
           (when (and (member-type-p type)
                      (= (member-type-size type) 1))
             (the symbol (first (member-type-members type))))))))

(defun aligned-stack-p (&optional dx)
  (or (eq dx :aligned-stack)
      (and sb-assem::*current-vop*
           (let ((node (sb-c::vop-node sb-assem::*current-vop*)))
             (and (sb-c::combination-p node)
                  (eq (sb-c::combination-info node) :aligned-stack))))))

(defun target-heap-prezeroed-p ()
  (eq (sb-c::allocator-target *compilation*) :mark-region-gc))

(defun target-heap-large-object-size ()
  (ecase (sb-c::allocator-target *compilation*)
    ;; Needless to say this violates the OAOO principle as the definition
    ;; of the "constant" for this appears in late-objdef in addition to which
    ;; it's a crummy assumption that page-size is the same for each GC.
    ;; For I'm just trying to solve the minimal number of issues in terms
    ;; of having the ability to target a fasl to a different GC.
    (:gencgc (* 4 gencgc-page-bytes))
    (:mark-region-gc (* 3/4 gencgc-page-bytes))))

;;; Print registers from VOPs
(defmacro mprint (value)
  `(let ((*location-context* ',value))
     (emit-error-break sb-assem::*current-vop* cerror-trap (error-number-or-lose 'sb-kernel::mprint-error)
                       (list ,value))))
