1 ;;; -*- Package: ALPHA; Log: C.Log -*-
3 ;;; **********************************************************************
4 ;;; This code was written as part of the CMU Common Lisp project at
5 ;;; Carnegie Mellon University, and has been placed in the public domain.
9 ;;; **********************************************************************
11 ;;; Compiler support for the new whizzy debugger.
13 ;;; Written by William Lott.
14 ;;; Converted by Sean Hallgren.
20 (define-vop (debug-cur-sp)
21 (:translate current-sp)
23 (:results (res :scs (sap-reg)))
24 (:result-types system-area-pointer)
28 (define-vop (debug-cur-fp)
29 (:translate current-fp)
31 (:results (res :scs (sap-reg)))
32 (:result-types system-area-pointer)
36 (define-vop (read-control-stack)
37 (:translate stack-ref)
39 (:args (object :scs (sap-reg) :target sap)
40 (offset :scs (any-reg)))
41 (:arg-types system-area-pointer positive-fixnum)
42 (:temporary (:scs (sap-reg) :from :eval) sap)
43 (:results (result :scs (descriptor-reg)))
46 (inst addq object offset sap)
47 (inst ldl result 0 sap)))
49 (define-vop (read-control-stack-c)
50 (:translate stack-ref)
52 (:args (object :scs (sap-reg)))
54 (:arg-types system-area-pointer (:constant (signed-byte 14)))
55 (:results (result :scs (descriptor-reg)))
58 (inst ldl result (* offset word-bytes) object)))
60 (define-vop (write-control-stack)
61 (:translate %set-stack-ref)
63 (:args (object :scs (sap-reg) :target sap)
64 (offset :scs (any-reg))
65 (value :scs (descriptor-reg) :target result))
66 (:arg-types system-area-pointer positive-fixnum *)
67 (:results (result :scs (descriptor-reg)))
69 (:temporary (:scs (sap-reg) :from (:argument 1)) sap)
71 (inst addq object offset sap)
72 (inst stl value 0 sap)
75 (define-vop (write-control-stack-c)
76 (:translate %set-stack-ref)
78 (:args (sap :scs (sap-reg))
79 (value :scs (descriptor-reg) :target result))
81 (:arg-types system-area-pointer (:constant (signed-byte 14)) *)
82 (:results (result :scs (descriptor-reg)))
85 (inst stl value (* offset word-bytes) sap)
89 (define-vop (code-from-mumble)
91 (:args (thing :scs (descriptor-reg)))
92 (:results (code :scs (descriptor-reg)))
93 (:temporary (:scs (non-descriptor-reg)) temp)
94 (:variant-vars lowtag)
96 (let ((bogus (gen-label))
98 (loadw temp thing 0 lowtag)
99 (inst srl temp sb!vm:type-bits temp)
100 (inst beq temp bogus)
101 (inst sll temp (1- (integer-length sb!vm:word-bytes)) temp)
102 (unless (= lowtag sb!vm:other-pointer-type)
103 (inst subq temp (- sb!vm:other-pointer-type lowtag) temp))
104 (inst subq thing temp code)
106 (assemble (*elsewhere*)
109 (inst br zero-tn done)))))
111 (define-vop (code-from-lra code-from-mumble)
112 (:translate lra-code-header)
113 (:variant sb!vm:other-pointer-type))
115 (define-vop (code-from-function code-from-mumble)
116 (:translate function-code-header)
117 (:variant sb!vm:function-pointer-type))
119 (define-vop (make-lisp-obj)
121 (:translate make-lisp-obj)
122 (:args (value :scs (unsigned-reg) :target result))
123 (:arg-types unsigned-num)
124 (:results (result :scs (descriptor-reg)))
126 (move value result)))
128 (define-vop (get-lisp-obj-address)
130 (:translate get-lisp-obj-address)
131 (:args (thing :scs (descriptor-reg) :target result))
132 (:results (result :scs (unsigned-reg)))
133 (:result-types unsigned-num)
135 (move thing result)))
137 (define-vop (function-word-offset)
139 (:translate function-word-offset)
140 (:args (fun :scs (descriptor-reg)))
141 (:results (res :scs (unsigned-reg)))
142 (:result-types positive-fixnum)
144 (loadw res fun 0 function-pointer-type)
145 (inst srl res sb!vm:type-bits res)))
150 (defknown make-number-stack-pointer ((unsigned-byte 32)) system-area-pointer
151 (movable foldable flushable))
153 (define-vop (make-number-stack-pointer)
155 (:translate make-number-stack-pointer)
156 (:args (arg :scs (unsigned-reg) :to (:argument 1)))
157 (:arg-types unsigned-num)
158 (:results (res :scs (sap-reg) :from (:argument 0)))
159 (:result-types system-area-pointer)
161 (inst mskll nsp-tn 0 res)
162 (inst bis res arg res)))