Compiler support for specialised implicit value cells
[sbcl.git] / tests / swap-lispobjs.impure.lisp
1 ;;;; Testing swap_lispobjs.
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; While most of SBCL is derived from the CMU CL system, the test
7 ;;;; files (like this one) were written from scratch after the fork
8 ;;;; from CMU CL.
9 ;;;;
10 ;;;; This software is in the public domain and is provided with
11 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
12 ;;;; more information.
13
14 (use-package :sb-alien)
15
16 #-(or x86 x86-64)
17 (sb-ext:quit :unix-status 104)
18
19 (defun run (program &rest arguments)
20   (let* ((proc nil)
21          (output
22           (with-output-to-string (s)
23             (setf proc (run-program program arguments
24                                     :environment (test-util::test-env)
25                                     :output s)))))
26     (unless (zerop (process-exit-code proc))
27       (error "Bad exit code: ~S~%Output:~% ~S"
28              (process-exit-code proc)
29              output))
30     output))
31
32 (run "/bin/sh" "run-compiler.sh"
33      "-sbcl-pic" "-sbcl-shared"
34      "-O3" "-I" "../src/runtime/"
35      "swap-lispobjs.c" "-o" "swap-lispobjs.so")
36
37 (load-shared-object (truename "swap-lispobjs.so"))
38
39 (define-alien-routine try-to-zero-with-swap-lispobjs int
40   (lispobj-adress unsigned-long))
41
42 (with-test (:name :swap-lispobjs)
43   (let ((x (cons 13 27)))
44     (try-to-zero-with-swap-lispobjs
45      (logandc2 (sb-kernel:get-lisp-obj-address x)
46                sb-vm:lowtag-mask))
47     (assert (equal x (cons 0 27)))))
48
49 (delete-file "swap-lispobjs.so")