1 ;;;; Sparc compiler support for the new whizzy debugger
3 ;;;; This software is part of the SBCL system. See the README file for
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
14 ;;; (defknown di::current-sp () system-area-pointer (movable flushable))
15 ;;; (defknown di::current-fp () system-area-pointer (movable flushable))
16 ;;; (defknown di::stack-ref (system-area-pointer index) t (flushable))
17 ;;; (defknown di::%set-stack-ref (system-area-pointer index t) t (unsafe))
18 ;;; (defknown di::lra-code-header (t) t (movable flushable))
19 ;;; (defknown di::function-code-header (t) t (movable flushable))
20 ;;; (defknown di::make-lisp-obj ((unsigned-byte 32)) t (movable flushable))
21 ;;; (defknown di::get-lisp-obj-address (t) (unsigned-byte 32) (movable flushable))
22 ;;; (defknown di::function-word-offset (function) index (movable flushable))
24 (define-vop (debug-cur-sp)
25 (:translate current-sp
)
27 (:results
(res :scs
(sap-reg)))
28 (:result-types system-area-pointer
)
32 (define-vop (debug-cur-fp)
33 (:translate current-fp
)
35 (:results
(res :scs
(sap-reg)))
36 (:result-types system-area-pointer
)
40 (define-vop (read-control-stack)
41 (:translate sb
!kernel
:stack-ref
)
43 (:args
(sap :scs
(sap-reg))
44 (offset :scs
(any-reg)))
45 (:arg-types system-area-pointer positive-fixnum
)
46 (:results
(result :scs
(descriptor-reg)))
49 (inst ld result sap offset
)))
51 (define-vop (write-control-stack)
52 (:translate sb
!kernel
:%set-stack-ref
)
54 (:args
(sap :scs
(sap-reg))
55 (offset :scs
(any-reg))
56 (value :scs
(descriptor-reg) :target result
))
57 (:arg-types system-area-pointer positive-fixnum
*)
58 (:results
(result :scs
(descriptor-reg)))
61 (inst st value sap offset
)
64 (define-vop (code-from-mumble)
66 (:args
(thing :scs
(descriptor-reg)))
67 (:results
(code :scs
(descriptor-reg)))
68 (:temporary
(:scs
(non-descriptor-reg)) temp
)
69 (:variant-vars lowtag
)
71 (let ((bogus (gen-label))
73 (loadw temp thing
0 lowtag
)
74 (inst srl temp n-widetag-bits
)
77 (inst sll temp
(1- (integer-length n-word-bytes
)))
78 (unless (= lowtag other-pointer-lowtag
)
79 (inst add temp
(- lowtag other-pointer-lowtag
)))
80 (inst sub code thing temp
)
82 (assemble (*elsewhere
*)
85 (move code null-tn
)))))
87 (define-vop (code-from-lra code-from-mumble
)
88 (:translate lra-code-header
)
89 (:variant other-pointer-lowtag
))
91 (define-vop (code-from-function code-from-mumble
)
92 (:translate fun-code-header
)
93 (:variant fun-pointer-lowtag
))
95 (define-vop (make-lisp-obj)
97 (:translate make-lisp-obj
)
98 (:args
(value :scs
(unsigned-reg) :target result
))
99 (:arg-types unsigned-num
)
100 (:results
(result :scs
(descriptor-reg)))
102 (move result value
)))
104 (define-vop (get-lisp-obj-address)
106 (:translate get-lisp-obj-address
)
107 (:args
(thing :scs
(descriptor-reg) :target result
))
108 (:results
(result :scs
(unsigned-reg)))
109 (:result-types unsigned-num
)
111 (move result thing
)))
114 (define-vop (fun-word-offset)
116 (:translate fun-word-offset
)
117 (:args
(fun :scs
(descriptor-reg)))
118 (:results
(res :scs
(unsigned-reg)))
119 (:result-types positive-fixnum
)
121 (loadw res fun
0 fun-pointer-lowtag
)
122 (inst srl res n-widetag-bits
)))