tests/info.before-xc.lisp

   1 ;;;; tests of the INFO compiler database, initially with particular
   2 ;;;; reference to knowledge of constants, intended to be executed as
   3 ;;;; soon as the cross-compiler is built.
   4
   5 ;;;; This software is part of the SBCL system. See the README file for
   6 ;;;; more information.
   7 ;;;;
   8 ;;;; While most of SBCL is derived from the CMU CL system, the test
   9 ;;;; files (like this one) were written from scratch after the fork
  10 ;;;; from CMU CL.
  11 ;;;;
  12 ;;;; This software is in the public domain and is provided with
  13 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
  14 ;;;; more information.
  15
  16 (in-package "SB!KERNEL")
  17
  18 (/show "beginning tests/info.before-xc.lisp")
  19
  20 (assert (eq (sb!int:info :variable :kind 'sb!vm:vector-data-offset)
  21             :constant))
  22 ;;; It's possible in general for a constant to have the value NIL, but
  23 ;;; not for vector-data-offset, which must be a number:
  24 (multiple-value-bind (value successp)
  25     (sb!int:info :variable :constant-value 'sb!vm:vector-data-offset)
  26   (assert value)
  27   (assert successp))
  28
  29 (/show "done with tests/info.before-xc.lisp")