X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ftarget-disassem.lisp;h=e89b02cc36821e78640d5019c7d44c26297aa92d;hb=6e89948ce34d63b35eea687ca7cde0f2876c3062;hp=453edf1a54446bc569793b045e2a13951d72c622;hpb=8a19c6876412b8ad1cf729297c2a373d63a0d0ec;p=sbcl.git diff --git a/src/compiler/target-disassem.lisp b/src/compiler/target-disassem.lisp index 453edf1..e89b02c 100644 --- a/src/compiler/target-disassem.lisp +++ b/src/compiler/target-disassem.lisp @@ -261,7 +261,7 @@ (:copier nil)) (sap-maker (missing-arg) :type (function () sb!sys:system-area-pointer)) - (length 0 :type length) + (length 0 :type disassem-length) (virtual-location 0 :type address) (storage-info nil :type (or null storage-info)) (code nil :type (or null sb!kernel:code-component)) @@ -290,9 +290,15 @@ (declare (type compiled-function fun)) (sb!kernel:%simple-fun-next fun)) -(defun fun-address (function) - (declare (type compiled-function function)) - (- (sb!kernel:get-lisp-obj-address function) sb!vm:fun-pointer-lowtag)) +(defun fun-address (fun) + (declare (type compiled-function fun)) + (ecase (sb!kernel:widetag-of fun) + (#.sb!vm:simple-fun-header-widetag + (- (sb!kernel:get-lisp-obj-address fun) sb!vm:fun-pointer-lowtag)) + (#.sb!vm:closure-header-widetag + (fun-address (sb!kernel:%closure-fun fun))) + (#.sb!vm:funcallable-instance-header-widetag + (fun-address (sb!kernel:funcallable-instance-fun fun))))) ;;; the offset of FUNCTION from the start of its code-component's ;;; instruction area @@ -375,8 +381,7 @@ (1- lra-size)))) sb!vm:return-pc-header-widetag)) (unless (null stream) - (princ '.lra stream)) - (incf (dstate-next-offs dstate) lra-size)) + (note "possible LRA header" dstate))) nil) ;;; Print the fun-header (entry-point) pseudo-instruction at the @@ -480,7 +485,8 @@ (when (> words 0) (print-words words stream dstate)) (when (> bytes 0) - (print-bytes bytes stream dstate)))) + (print-inst bytes stream dstate))) + (print-bytes alignment stream dstate)) (incf (dstate-next-offs dstate) alignment))) ;;; Iterate through the instructions in SEGMENT, calling FUNCTION for @@ -520,29 +526,41 @@ (let ((fun-prefix-p (call-fun-hooks chunk stream dstate))) (if (> (dstate-next-offs dstate) (dstate-cur-offs dstate)) (setf prefix-p fun-prefix-p) - (let ((inst (find-inst chunk ispace))) - (cond ((null inst) - (handle-bogus-instruction stream dstate)) - (t - (setf (dstate-next-offs dstate) - (+ (dstate-cur-offs dstate) - (inst-length inst))) - + (let ((inst (find-inst chunk ispace))) + (cond ((null inst) + (handle-bogus-instruction stream dstate)) + (t + (setf (dstate-inst-properties dstate) nil) + (setf (dstate-next-offs dstate) + (+ (dstate-cur-offs dstate) + (inst-length inst))) + (let ((orig-next (dstate-next-offs dstate))) + (print-inst (inst-length inst) stream dstate :trailing-space nil) (let ((prefilter (inst-prefilter inst)) (control (inst-control inst))) (when prefilter (funcall prefilter chunk dstate)) - + + ;; print any instruction bytes recognized by the prefilter which calls read-suffix + ;; and updates next-offs + (when stream + (let ((suffix-len (- (dstate-next-offs dstate) orig-next))) + (when (plusp suffix-len) + (print-inst suffix-len stream dstate :offset (inst-length inst) :trailing-space nil)) + (dotimes (i (- *disassem-inst-column-width* (* 2 (+ (inst-length inst) suffix-len)))) + (write-char #\space stream))) + (write-char #\space stream)) + (funcall function chunk inst) - + (setf prefix-p (null (inst-printer inst))) - + (when control - (funcall control chunk inst stream dstate)))))) - ))))) - + (funcall control chunk inst stream dstate)) + )))))))))) + (setf (dstate-cur-offs dstate) (dstate-next-offs dstate)) - + (unless (null stream) (unless prefix-p (print-notes-and-newline stream dstate)) @@ -723,6 +741,17 @@ (fresh-line stream) (setf (dstate-notes dstate) nil))) +;;; Print NUM instruction bytes to STREAM as hex values. +(defun print-inst (num stream dstate &key (offset 0) (trailing-space t)) + (let ((sap (dstate-segment-sap dstate)) + (start-offs (+ offset (dstate-cur-offs dstate)))) + (dotimes (offs num) + (format stream "~2,'0x" (sb!sys:sap-ref-8 sap (+ offs start-offs)))) + (when trailing-space + (dotimes (i (- *disassem-inst-column-width* (* 2 num))) + (write-char #\space stream)) + (write-char #\space stream)))) + ;;; Disassemble NUM bytes to STREAM as simple `BYTE' instructions. (defun print-bytes (num stream dstate) (declare (type offset num) @@ -847,7 +876,7 @@ debug-fun source-form-cache hooks) (declare (type (function () sb!sys:system-area-pointer) sap-maker) - (type length length) + (type disassem-length length) (type (or null address) virtual-location) (type (or null sb!di:debug-fun) debug-fun) (type (or null source-form-cache) source-form-cache)) @@ -944,7 +973,7 @@ (file-position f char-offset)) (t (warn "Source file ~S has been modified; ~@ - using form offset instead of ~ + using form offset instead of ~ file index." name) (let ((*read-suppress* t)) @@ -990,7 +1019,7 @@ nil) ((> form-number (length mapping-table)) (warn "bogus form-number in form! The source file has probably ~@ - been changed too much to cope with.") + been changed too much to cope with.") (when cache ;; Disable future warnings. (setf (sfcache-toplevel-form cache) nil)) @@ -1325,7 +1354,7 @@ (length (code-inst-area-length code))) (declare (type sb!kernel:code-component code) (type offset start-offset) - (type length length)) + (type disassem-length length)) (let ((segments nil)) (when code (let ((fun-map (code-fun-map code)) @@ -1467,9 +1496,7 @@ (compile nil lambda))) (defun compiled-fun-or-lose (thing &optional (name thing)) - (cond ((or (symbolp thing) - (and (listp thing) - (eq (car thing) 'setf))) + (cond ((legal-fun-name-p thing) (compiled-fun-or-lose (fdefinition thing) thing)) ((functionp thing) thing) @@ -1507,7 +1534,7 @@ code-component (use-labels t)) (declare (type (or address sb!sys:system-area-pointer) address) - (type length length) + (type disassem-length length) (type stream stream) (type (or null sb!kernel:code-component) code-component) (type (member t nil) use-labels)) @@ -1771,7 +1798,7 @@ (setf *assembler-routines-by-addr* (invert-address-hash sb!fasl:*assembler-routines*)) (setf *assembler-routines-by-addr* - (invert-address-hash sb!fasl:*static-foreign-symbols* + (invert-address-hash sb!sys:*static-foreign-symbols* *assembler-routines-by-addr*))) (gethash address *assembler-routines-by-addr*)) @@ -1782,7 +1809,7 @@ (defun sap-ref-int (sap offset length byte-order) (declare (type sb!sys:system-area-pointer sap) (type (unsigned-byte 16) offset) - (type (member 1 2 4) length) + (type (member 1 2 4 8) length) (type (member :little-endian :big-endian) byte-order) (optimize (speed 3) (safety 0))) (ecase length @@ -1800,14 +1827,31 @@ (+ (sb!sys:sap-ref-8 sap offset) (ash (sb!sys:sap-ref-8 sap (+ 1 offset)) 8) (ash (sb!sys:sap-ref-8 sap (+ 2 offset)) 16) - (ash (sb!sys:sap-ref-8 sap (+ 3 offset)) 24)))))) + (ash (sb!sys:sap-ref-8 sap (+ 3 offset)) 24)))) + (8 (if (eq byte-order :big-endian) + (+ (ash (sb!sys:sap-ref-8 sap offset) 56) + (ash (sb!sys:sap-ref-8 sap (+ 1 offset)) 48) + (ash (sb!sys:sap-ref-8 sap (+ 2 offset)) 40) + (ash (sb!sys:sap-ref-8 sap (+ 3 offset)) 32) + (ash (sb!sys:sap-ref-8 sap (+ 4 offset)) 24) + (ash (sb!sys:sap-ref-8 sap (+ 5 offset)) 16) + (ash (sb!sys:sap-ref-8 sap (+ 6 offset)) 8) + (sb!sys:sap-ref-8 sap (+ 7 offset))) + (+ (sb!sys:sap-ref-8 sap offset) + (ash (sb!sys:sap-ref-8 sap (+ 1 offset)) 8) + (ash (sb!sys:sap-ref-8 sap (+ 2 offset)) 16) + (ash (sb!sys:sap-ref-8 sap (+ 3 offset)) 24) + (ash (sb!sys:sap-ref-8 sap (+ 4 offset)) 32) + (ash (sb!sys:sap-ref-8 sap (+ 5 offset)) 40) + (ash (sb!sys:sap-ref-8 sap (+ 6 offset)) 48) + (ash (sb!sys:sap-ref-8 sap (+ 7 offset)) 56)))))) (defun read-suffix (length dstate) - (declare (type (member 8 16 32) length) + (declare (type (member 8 16 32 64) length) (type disassem-state dstate) (optimize (speed 3) (safety 0))) - (let ((length (ecase length (8 1) (16 2) (32 4)))) - (declare (type (unsigned-byte 3) length)) + (let ((length (ecase length (8 1) (16 2) (32 4) (64 8)))) + (declare (type (unsigned-byte 4) length)) (prog1 (sap-ref-int (dstate-segment-sap dstate) (dstate-next-offs dstate) @@ -1904,7 +1948,10 @@ (declare (type disassem-state dstate)) (unless (typep address 'address) (return-from maybe-note-assembler-routine nil)) - (let ((name (find-assembler-routine address))) + (let ((name (or + #!+linkage-table + (sb!sys:foreign-symbol-in-address (sb!sys:int-sap address)) + (find-assembler-routine address)))) (unless (null name) (note (lambda (stream) (if note-address-p @@ -1952,8 +1999,7 @@ assoc-with (sb!di:debug-var-symbol (aref (dstate-debug-vars dstate) - storage-location)) - stream)) + storage-location)))) dstate) t))) @@ -2002,6 +2048,7 @@ (let ((num (pop lengths))) (print-notes-and-newline stream dstate) (print-current-address stream dstate) + (print-inst num stream dstate) (print-bytes num stream dstate) (incf (dstate-cur-offs dstate) num) (when note