tests/compiler-1.impure-cload.lisp

   1 ;;;; miscellaneous compiler tests with side-effects (e.g. DEFUN
   2 ;;;; changing FDEFINITIONs and globaldb stuff)
   3
   4 ;;;; This software is part of the SBCL system. See the README file for
   5 ;;;; more information.
   6 ;;;;
   7 ;;;; While most of SBCL is derived from the CMU CL system, the test
   8 ;;;; files (like this one) were written from scratch after the fork
   9 ;;;; from CMU CL.
  10 ;;;;
  11 ;;;; This software is in the public domain and is provided with
  12 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
  13 ;;;; more information.
  14
  15 (cl:in-package :cl-user)
  16
  17 (declaim (optimize (debug 3) (speed 2) (space 1)))
  18
  19 ;;; Until version 0.6.9 or so, SBCL's version of Python couldn't do
  20 ;;; this correctly, due to the bug patched by Rob MacLachlan on the
  21 ;;; cmucl-imp list 2000-06-21, and applied to SBCL by Martin Atzmueller.
  22 ;;; (The effectiveness of the test also depends on the implicit
  23 ;;; function typing of Python (where DEFUN is like DECLAIM FTYPE),
  24 ;;; which violates the ANSI spec, and should be fixed. Once that
  25 ;;; unrelated bug is fixed, this code will no longer test the type
  26 ;;; inference behavior it's intended to test.)
  27 (defun emptyvalues (&rest rest) (declare (ignore rest)) (values))
  28 (defstruct foo x y)
  29 (defun bar ()
  30   (let ((res (emptyvalues)))
  31     (unless (typep res 'foo)
  32       'expected-value)))
  33 (assert (eq (bar) 'expected-value))
  34
  35 (declaim (ftype (function (real) (values integer single-float)) valuesify))
  36 (defun valuesify (x)
  37   (values (round x)
  38           (coerce x 'single-float)))
  39 (defun exercise-valuesify (x)
  40   (multiple-value-bind (i f) (valuesify x)
  41     (declare (type integer i))
  42     (declare (type single-float f))
  43     (+ i f)))
  44 (assert (= (exercise-valuesify 1.25) 2.25))
  45
  46 ;;; Don Geddis reported this test case 25 December 1999 on a CMU CL
  47 ;;; mailing list: dumping circular lists caused an infinite loop.
  48 ;;; Douglas Crosher reported a patch 27 Dec 1999. The patch was tested
  49 ;;; on SBCL by Martin Atzmueller 2 Nov 2000, and merged in
  50 ;;; sbcl-0.6.8.11.
  51 (defun q-dg1999-1 () (dolist (x '#1=("A" "B" . #1#)) x))
  52 (defun q-dg1999-2 () (dolist (x '#1=("C" "D" . #1#)) x))
  53 (defun q-dg1999-3 () (dolist (x '#1=("E" "F" . #1#)) x))
  54 (defun q-dg1999-4 () (dolist (x '#1=("C" "D" . #1#)) x))
  55 (defun useful-dg1999 (keys)
  56   (declare (type list keys))
  57   (loop
  58       for c in '#1=("Red" "Blue" . #1#)
  59       for key in keys ))
  60
  61 ;;; An early version (sbcl-0.6.11.33) of code to check FTYPEs from DEFUN
  62 ;;; against DECLAIMed FTYPEs blew up when an FTYPE was DECLAIMed
  63 ;;; to be pure FUNCTION, because the internal representation of
  64 ;;; FUNCTION itself (as opposed to subtypes of FUNCTION, such as
  65 ;;; (FUNCTION () T)) is a BUILT-IN-CLASS object, not a FUNCTION-TYPE
  66 ;;; object.
  67 (declaim (ftype function i-am-just-a-function))
  68 (defun i-am-just-a-function (x y) (+ x y 1))
  69
  70 (sb-ext:quit :unix-status 104) ; success