src/compiler/alpha/debug.lisp

   1 ;;; -*- Package: ALPHA; Log: C.Log -*-
   2 ;;;
   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.
   6 ;;;
   7
   8 ;;;
   9 ;;; **********************************************************************
  10 ;;;
  11 ;;; Compiler support for the new whizzy debugger.
  12 ;;;
  13 ;;; Written by William Lott.
  14 ;;; Converted by Sean Hallgren.
  15 ;;;
  16 (in-package "SB!VM")
  17
  18
  19
  20 (define-vop (debug-cur-sp)
  21   (:translate current-sp)
  22   (:policy :fast-safe)
  23   (:results (res :scs (sap-reg)))
  24   (:result-types system-area-pointer)
  25   (:generator 1
  26     (move csp-tn res)))
  27
  28 (define-vop (debug-cur-fp)
  29   (:translate current-fp)
  30   (:policy :fast-safe)
  31   (:results (res :scs (sap-reg)))
  32   (:result-types system-area-pointer)
  33   (:generator 1
  34     (move cfp-tn res)))
  35
  36 (define-vop (read-control-stack)
  37   (:translate stack-ref)
  38   (:policy :fast-safe)
  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)))
  44   (:result-types *)
  45   (:generator 5
  46     (inst addq object offset sap)
  47     (inst ldl result 0 sap)))
  48
  49 (define-vop (read-control-stack-c)
  50   (:translate stack-ref)
  51   (:policy :fast-safe)
  52   (:args (object :scs (sap-reg)))
  53   (:info offset)
  54   (:arg-types system-area-pointer (:constant (signed-byte 14)))
  55   (:results (result :scs (descriptor-reg)))
  56   (:result-types *)
  57   (:generator 4
  58     (inst ldl result (* offset word-bytes) object)))
  59
  60 (define-vop (write-control-stack)
  61   (:translate %set-stack-ref)
  62   (:policy :fast-safe)
  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)))
  68   (:result-types *)
  69   (:temporary (:scs (sap-reg) :from (:argument 1)) sap)
  70   (:generator 2
  71     (inst addq object offset sap)
  72     (inst stl value 0 sap)
  73     (move value result)))
  74
  75 (define-vop (write-control-stack-c)
  76   (:translate %set-stack-ref)
  77   (:policy :fast-safe)
  78   (:args (sap :scs (sap-reg))
  79          (value :scs (descriptor-reg) :target result))
  80   (:info offset)
  81   (:arg-types system-area-pointer (:constant (signed-byte 14)) *)
  82   (:results (result :scs (descriptor-reg)))
  83   (:result-types *)
  84   (:generator 1
  85     (inst stl value (* offset word-bytes) sap)
  86     (move value result)))
  87
  88
  89 (define-vop (code-from-mumble)
  90   (:policy :fast-safe)
  91   (:args (thing :scs (descriptor-reg)))
  92   (:results (code :scs (descriptor-reg)))
  93   (:temporary (:scs (non-descriptor-reg)) temp)
  94   (:variant-vars lowtag)
  95   (:generator 5
  96     (let ((bogus (gen-label))
  97           (done (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)
 105       (emit-label done)
 106       (assemble (*elsewhere*)
 107         (emit-label bogus)
 108         (move null-tn code)
 109         (inst br zero-tn done)))))
 110
 111 (define-vop (code-from-lra code-from-mumble)
 112   (:translate lra-code-header)
 113   (:variant sb!vm:other-pointer-type))
 114
 115 (define-vop (code-from-function code-from-mumble)
 116   (:translate function-code-header)
 117   (:variant sb!vm:function-pointer-type))
 118
 119 (define-vop (make-lisp-obj)
 120   (:policy :fast-safe)
 121   (:translate make-lisp-obj)
 122   (:args (value :scs (unsigned-reg) :target result))
 123   (:arg-types unsigned-num)
 124   (:results (result :scs (descriptor-reg)))
 125   (:generator 1
 126     (move value result)))
 127
 128 (define-vop (get-lisp-obj-address)
 129   (:policy :fast-safe)
 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)
 134   (:generator 1
 135     (move thing result)))
 136
 137 (define-vop (function-word-offset)
 138   (:policy :fast-safe)
 139   (:translate function-word-offset)
 140   (:args (fun :scs (descriptor-reg)))
 141   (:results (res :scs (unsigned-reg)))
 142   (:result-types positive-fixnum)
 143   (:generator 5
 144     (loadw res fun 0 function-pointer-type)
 145     (inst srl res sb!vm:type-bits res)))
 146
 147
 148
 149
 150 (defknown make-number-stack-pointer ((unsigned-byte 32)) system-area-pointer
 151   (movable foldable flushable))
 152
 153 (define-vop (make-number-stack-pointer)
 154   (:policy :fast-safe)
 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)
 160   (:generator 5
 161     (inst mskll nsp-tn 0 res)
 162     (inst bis res arg res)))