X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler-test-util.lisp;h=352db70625909a192a53ca3c4ebb383345ddd47e;hb=9b79c4c51954ffc46c631e56547ac865860e8855;hp=a21f04fefb192a7e2aafa456bc06e444deab065c;hpb=eca61f35572d371982ebb601d0edefe5c9a942ae;p=sbcl.git diff --git a/tests/compiler-test-util.lisp b/tests/compiler-test-util.lisp index a21f04f..352db70 100644 --- a/tests/compiler-test-util.lisp +++ b/tests/compiler-test-util.lisp @@ -17,6 +17,7 @@ (:export #:assert-consing #:assert-no-consing #:compiler-derived-type + #:count-full-calls #:find-value-cell-values #:find-code-constants #:find-named-callees @@ -25,7 +26,7 @@ (cl:in-package :ctu) (unless (fboundp 'compiler-derived-type) - (defknown compiler-derived-type (t) (values t t) (movable flushable unsafe)) + (defknown compiler-derived-type (t) (values t t) (flushable)) (deftransform compiler-derived-type ((x) * * :node node) (sb-c::delay-ir1-transform node :optimize) `(values ',(type-specifier (sb-c::lvar-type x)) t)) @@ -95,16 +96,31 @@ `(check-consing t ',form (lambda () ,form) ,times)) (defun file-compile (toplevel-forms &key load) - (let* ((lisp "compile-impure-tmp.lisp") + (let* ((lisp (merge-pathnames "file-compile-tmp.lisp")) (fasl (compile-file-pathname lisp))) (unwind-protect (progn (with-open-file (f lisp :direction :output) - (dolist (form toplevel-forms) - (prin1 form f))) + (if (stringp toplevel-forms) + (write-line toplevel-forms f) + (dolist (form toplevel-forms) + (prin1 form f)))) (multiple-value-bind (fasl warn fail) (compile-file lisp) (when load (load fasl)) (values warn fail))) (ignore-errors (delete-file lisp)) (ignore-errors (delete-file fasl))))) + +;; Pretty horrible, but does the job +(defun count-full-calls (name function) + (let ((code (with-output-to-string (s) + (disassemble function :stream s))) + (n 0)) + (with-input-from-string (s code) + (loop for line = (read-line s nil nil) + while line + when (and (search name line) + (search "#