2 * This software is part of the SBCL system. See the README file for
5 * This software is derived from the CMU CL system, which was
6 * written at Carnegie Mellon University and released into the
7 * public domain. The software is in the public domain and is
8 * provided with absolutely no warranty. See the COPYING and CREDITS
9 * files for more information.
12 /* FIXME: Aren't symbols with underscore prefixes supposed to be
13 * reserved for system libraries? Perhaps rename stuff like this
14 * to names like INCLUDED_SBCL_RUNTIME_H. */
15 #ifndef _SBCL_RUNTIME_H_
16 #define _SBCL_RUNTIME_H_
18 /*#define QSHOW */ /* Enable low-level debugging output? */
21 #define FSHOW(args) fprintf args
22 #define SHOW(string) FSHOW((stderr, "/%s\n", string))
28 /* Enable extra-verbose low-level debugging output for signals? (You
29 * probably don't want this unless you're trying to debug very early
30 * cold boot on a new machine, or one where you've just messed up
33 * Note: It may be that doing this is fundamentally unsound, since it
34 * causes output from signal handlers, and the i/o libraries aren't
35 * necessarily reentrant. But it can still be very convenient for
36 * figuring out what's going on when you have a signal handling
38 #define QSHOW_SIGNALS 0
40 /* KLUDGE: These are in theory machine-dependent and OS-dependent, but
41 * in practice the "foo int" definitions work for all the machines
42 * that SBCL runs on as of 0.6.7. If we port to the Alpha or some
43 * other non-32-bit machine we'll probably need real machine-dependent
44 * and OS-dependent definitions again. */
45 /* even on alpha, int happens to be 4 bytes. long is longer. */
46 /* FIXME: these names really shouldn't reflect their length and this
47 is not quite right for some of the FFI stuff */
48 typedef unsigned long u64;
49 typedef signed long s64;
50 typedef unsigned int u32;
51 typedef signed int s32;
53 /* this is an integral type the same length as a machine pointer */
54 typedef unsigned long pointer_sized_uint_t ;
56 /* FIXME: we do things this way because of the alpha32 port. once
57 alpha64 has arrived, all this nastiness can go away */
59 #define LOW_WORD(c) ((pointer_sized_uint_t)c)
60 typedef unsigned long lispobj;
62 #define LOW_WORD(c) ((long)(c) & 0xFFFFFFFFL)
63 /* fake it on alpha32 */
64 typedef unsigned int lispobj;
68 lowtag_of(lispobj obj) {
69 return obj & LOWTAG_MASK;
73 widetag_of(lispobj obj) {
74 return obj & WIDETAG_MASK;
77 static inline unsigned long
78 HeaderValue(lispobj obj)
80 return obj >> N_WIDETAG_BITS;
83 static inline struct cons *
86 return (struct cons *)(obj - LIST_POINTER_LOWTAG);
89 static inline struct symbol *
92 return (struct symbol *)(obj - OTHER_POINTER_LOWTAG);
95 static inline struct fdefn *
98 return (struct fdefn *)(obj - OTHER_POINTER_LOWTAG);
101 /* Is the Lisp object obj something with pointer nature (as opposed to
102 * e.g. a fixnum or character or unbound marker)? */
104 is_lisp_pointer(lispobj obj)
109 /* Convert from a lispobj with type bits to a native (ordinary
110 * C/assembly) pointer to the beginning of the object. */
111 static inline lispobj *
112 native_pointer(lispobj obj)
114 return (lispobj *) ((pointer_sized_uint_t) (obj & ~LOWTAG_MASK));
116 /* inverse operation: create a suitably tagged lispobj from a native
117 * pointer or integer. Needs to be a macro due to the tedious C type
119 #define make_lispobj(o,low_tag) ((lispobj)(LOW_WORD(o)|low_tag))
121 /* FIXME: There seems to be no reason that make_fixnum and fixnum_value
122 * can't be implemented as (possibly inline) functions. */
123 #define make_fixnum(n) ((lispobj)((n)<<N_FIXNUM_TAG_BITS))
124 #define fixnum_value(n) (((long)n)>>N_FIXNUM_TAG_BITS)
126 /* Too bad ANSI C doesn't define "bool" as C++ does.. */
129 /* This only works for static symbols. */
130 /* FIXME: should be called StaticSymbolFunction, right? */
131 #define SymbolFunction(sym) \
132 (((struct fdefn *)(native_pointer(SymbolValue(sym,0))))->fun)
134 /* KLUDGE: As far as I can tell there's no ANSI C way of saying
135 * "this function never returns". This is the way that you do it
136 * in GCC later than version 2.7 or so. If you are using some
137 * compiler that doesn't understand this, you could could just
138 * change it to "typedef void never_returns" and nothing would
139 * break, though you might get a few more bytes of compiled code or
140 * a few more compiler warnings. -- WHN 2000-10-21 */
141 typedef volatile void never_returns;
143 #endif /* _SBCL_RUNTIME_H_ */