1 ;;;; Testing the stack alignment of foreign calls. Uses stack-alignment-offset.c.
3 ;;;; This software is part of the SBCL system. See the README file for
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
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.
14 (use-package :sb-alien)
16 ;;; Callbacks are not part of the exported interface yet -- when they are this can
18 (import 'sb-alien::alien-lambda)
20 (defun run (program &rest arguments)
23 (with-output-to-string (s)
24 (setf proc (run-program program arguments
26 (unless (zerop (process-exit-code proc))
27 (error "Bad exit code: ~S~%Output:~% ~S"
28 (process-exit-code proc)
32 (defvar *required-alignment*
34 #+(and ppc (not darwin)) 8
37 #+(and x86 (not darwin)) 4
40 #-(or x86 x86-64 mips ppc sparc)
41 (error "Unknown platform"))
43 ;;;; Build the offset-tool as regular excutable, and run it with
44 ;;;; fork/exec, so that no lisp is on the stack. This is our known-good
49 (run "/bin/sh" "run-compiler.sh" "-sbcl-pic"
50 "stack-alignment-offset.c" "-o" "stack-alignment-offset")
52 (defparameter *good-offset*
53 (parse-integer (run "./stack-alignment-offset"
54 (princ-to-string *required-alignment*))))
56 ;; Build the tool again, this time as a shared object, and load it
58 (run "/bin/sh" "run-compiler.sh" "-sbcl-pic" "-sbcl-shared"
59 "stack-alignment-offset.c" "-o" "stack-alignment-offset.so")
61 (load-shared-object (truename "stack-alignment-offset.so"))
63 (define-alien-routine stack-alignment-offset int (alignment int))
65 (define-alien-routine trampoline int (callback (function int))))
67 ;;;; Now get the offset by calling from lisp, first with a regular foreign function
68 ;;;; call, then with an intervening callback.
70 (with-test (:name :regular :fails-on :win32)
71 (assert (= *good-offset* (stack-alignment-offset *required-alignment*))))
74 (with-test (:name :callback :fails-on :win32)
75 (assert (= *good-offset*
76 (trampoline (alien-lambda int ()
77 (stack-alignment-offset *required-alignment*))))))
79 (when (probe-file "stack-alignment-offset.so")
80 (delete-file "stack-alignment-offset")
81 (delete-file "stack-alignment-offset.so"))