;;;; absolutely no warranty. See the COPYING and CREDITS files for
;;;; more information.
+(in-package :cl-user)
+
(when (eq sb-ext:*evaluator-mode* :interpret)
(sb-ext:exit :code 104))
(defun foo-inline (x) (quux-marker x))
(declaim (maybe-inline foo-maybe-inline))
(defun foo-maybe-inline (x) (quux-marker x))
-;; 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 (search name line)
- do (incf n)))
- n))
(with-test (:name :nested-inline-calls)
(let ((fun (compile nil `(lambda (x)
(foo-inline (foo-inline (foo-inline x)))))))
- (assert (= 0 (count-full-calls "FOO-INLINE" fun)))
- (assert (= 3 (count-full-calls "QUUX-MARKER" fun)))))
+ (assert (= 0 (ctu:count-full-calls "FOO-INLINE" fun)))
+ (assert (= 3 (ctu:count-full-calls "QUUX-MARKER" fun)))))
(with-test (:name :nested-maybe-inline-calls)
(let ((fun (compile nil `(lambda (x)
(declare (optimize (space 0)))
(foo-maybe-inline (foo-maybe-inline (foo-maybe-inline x)))))))
- (assert (= 0 (count-full-calls "FOO-MAYBE-INLINE" fun)))
- (assert (= 1 (count-full-calls "QUUX-MARKER" fun)))))
+ (assert (= 0 (ctu:count-full-calls "FOO-MAYBE-INLINE" fun)))
+ (assert (= 1 (ctu:count-full-calls "QUUX-MARKER" fun)))))
(with-test (:name :inline-calls)
(let ((fun (compile nil `(lambda (x)
(list (foo-inline x)
(foo-inline x)
(foo-inline x))))))
- (assert (= 0 (count-full-calls "FOO-INLINE" fun)))
- (assert (= 3 (count-full-calls "QUUX-MARKER" fun)))))
+ (assert (= 0 (ctu:count-full-calls "FOO-INLINE" fun)))
+ (assert (= 3 (ctu:count-full-calls "QUUX-MARKER" fun)))))
(with-test (:name :maybe-inline-calls)
(let ((fun (compile nil `(lambda (x)
(list (foo-maybe-inline x)
(foo-maybe-inline x)
(foo-maybe-inline x))))))
- (assert (= 0 (count-full-calls "FOO-MAYBE-INLINE" fun)))
- (assert (= 1 (count-full-calls "QUUX-MARKER" fun)))))
+ (assert (= 0 (ctu:count-full-calls "FOO-MAYBE-INLINE" fun)))
+ (assert (= 1 (ctu:count-full-calls "QUUX-MARKER" fun)))))
(with-test (:name :bug-405)
;; These used to break with a TYPE-ERROR
(assert (eq :failed (test "(defun no-pkg::foo ())")))
(assert (eq :failed (test "(cl:no-such-sym)")))
(assert (eq :failed (test "...")))))
+
+(defun cmacro-signals-error () :fun)
+(define-compiler-macro cmacro-signals-error () (error "oops"))
+
+(with-test (:name :cmacro-signals-error)
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-signals-error)))
+ (assert (and fun warn fail))
+ (assert (eq :fun (funcall fun)))))
+
+(defun cmacro-with-simple-key (&key a)
+ (format nil "fun=~A" a))
+(define-compiler-macro cmacro-with-simple-key (&whole form &key a)
+ (if (constantp a)
+ (format nil "cmacro=~A" (eval a))
+ form))
+
+(with-test (:name (:cmacro-with-simple-key :no-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-simple-key)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "cmacro=NIL" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-simple-key :constant-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-simple-key :a 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "cmacro=42" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-simple-key :variable-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda (x) (cmacro-with-simple-key x 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "fun=42" (funcall fun :a)))))
+
+(defun cmacro-with-nasty-key (&key ((nasty-key var)))
+ (format nil "fun=~A" var))
+(define-compiler-macro cmacro-with-nasty-key (&whole form &key ((nasty-key var)))
+ (if (constantp var)
+ (format nil "cmacro=~A" (eval var))
+ form))
+
+(with-test (:name (:cmacro-with-nasty-key :no-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-nasty-key)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "cmacro=NIL" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-nasty-key :constant-key))
+ ;; This bogosity is thanks to cmacro lambda lists being /macro/ lambda
+ ;; lists.
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-nasty-key 'nasty-key 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "fun=42" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-nasty-key :variable-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda (nasty-key) (cmacro-with-nasty-key nasty-key 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "fun=42" (funcall fun 'nasty-key)))))
+
+(defconstant tricky-key 'tricky-key)
+(defun cmacro-with-tricky-key (&key ((tricky-key var)))
+ (format nil "fun=~A" var))
+(define-compiler-macro cmacro-with-tricky-key (&whole form &key ((tricky-key var)))
+ (if (constantp var)
+ (format nil "cmacro=~A" (eval var))
+ form))
+
+(with-test (:name (:cmacro-with-tricky-key :no-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-tricky-key)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "cmacro=NIL" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-tricky-key :constant-quoted-key))
+ ;; This bogosity is thanks to cmacro lambda lists being /macro/ lambda
+ ;; lists.
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-tricky-key 'tricky-key 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "fun=42" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-tricky-key :constant-unquoted-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda () (cmacro-with-tricky-key tricky-key 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "cmacro=42" (funcall fun)))))
+
+(with-test (:name (:cmacro-with-tricky-key :variable-key))
+ (multiple-value-bind (fun warn fail)
+ (compile nil `(lambda (x) (cmacro-with-tricky-key x 42)))
+ (assert (and (not warn) (not fail)))
+ (assert (string= "fun=42" (funcall fun 'tricky-key)))))
\f
;;;; tests not in the problem domain, but of the consistency of the
;;;; compiler machinery itself
(assert (= quo -1))
(assert (= rem (float -228645653448151381))))))
+(defmacro def-many-code-constants ()
+ `(defun many-code-constants ()
+ ,@(loop for i from 0 below 1000
+ collect `(print ,(format nil "hi-~d" i)))))
+
+(test-util:with-test (:name :many-code-constants)
+ (def-many-code-constants)
+ (assert (search "hi-999"
+ (with-output-to-string (*standard-output*)
+ (many-code-constants)))))
+
+(test-util:with-test (:name :bug-943953)
+ ;; we sometimes splice compiler structures like clambda in
+ ;; source, and our error reporting would happily use that
+ ;; as source forms.
+ (let* ((src "bug-943953.lisp")
+ (obj (compile-file-pathname src)))
+ (unwind-protect (compile-file src)
+ (ignore-errors (delete-file obj)))))
+
+(declaim (inline vec-1177703))
+(defstruct (vec-1177703 (:constructor vec-1177703 (&optional x)))
+ (x 0.0d0 :type double-float))
+
+(declaim (inline norm-1177703))
+(defun norm-1177703 (v)
+ (vec-1177703 (sqrt (vec-1177703-x v))))
+
+(test-util:with-test (:name :bug-1177703)
+ (compile nil `(lambda (x)
+ (norm-1177703 (vec-1177703 x)))))
+
;;; success