1.0.8.1: Nicer C code
[sbcl/tcr.git] / src / runtime / runtime.h
blob9525a17a3c173029cd12b197f0d148e81434798d
1 /*
2 * This software is part of the SBCL system. See the README file for
3 * more information.
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? */
20 #ifdef QSHOW
21 #define FSHOW(args) fprintf args
22 #define SHOW(string) FSHOW((stderr, "/%s\n", string))
23 #else
24 #define FSHOW(args)
25 #define SHOW(string)
26 #endif
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
31 * signal handling.)
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
37 * problem.. */
38 #define QSHOW_SIGNALS 0
40 #if QSHOW_SIGNALS
41 #define FSHOW_SIGNAL FSHOW
42 #else
43 #define FSHOW_SIGNAL(args)
44 #endif
46 /* KLUDGE: These are in theory machine-dependent and OS-dependent, but
47 * in practice the "foo int" definitions work for all the machines
48 * that SBCL runs on as of 0.6.7. If we port to the Alpha or some
49 * other non-32-bit machine we'll probably need real machine-dependent
50 * and OS-dependent definitions again. */
51 /* even on alpha, int happens to be 4 bytes. long is longer. */
52 /* FIXME: these names really shouldn't reflect their length and this
53 is not quite right for some of the FFI stuff */
54 typedef unsigned long u64;
55 typedef signed long s64;
56 typedef unsigned int u32;
57 typedef signed int s32;
59 /* this is an integral type the same length as a machine pointer */
60 typedef unsigned long pointer_sized_uint_t ;
62 #include <sys/types.h>
64 #if defined(LISP_FEATURE_SB_THREAD)
65 #include <pthread.h>
66 typedef pthread_t os_thread_t;
67 #else
68 typedef pid_t os_thread_t;
69 #endif
71 /* FIXME: we do things this way because of the alpha32 port. once
72 alpha64 has arrived, all this nastiness can go away */
73 #if 64 == N_WORD_BITS
74 #define LOW_WORD(c) ((pointer_sized_uint_t)c)
75 typedef unsigned long lispobj;
76 #else
77 #define LOW_WORD(c) ((long)(c) & 0xFFFFFFFFL)
78 /* fake it on alpha32 */
79 typedef unsigned int lispobj;
80 #endif
82 static inline int
83 lowtag_of(lispobj obj)
85 return obj & LOWTAG_MASK;
88 static inline int
89 widetag_of(lispobj obj)
91 return obj & WIDETAG_MASK;
94 static inline unsigned long
95 HeaderValue(lispobj obj)
97 return obj >> N_WIDETAG_BITS;
100 static inline struct cons *
101 CONS(lispobj obj)
103 return (struct cons *)(obj - LIST_POINTER_LOWTAG);
106 static inline struct symbol *
107 SYMBOL(lispobj obj)
109 return (struct symbol *)(obj - OTHER_POINTER_LOWTAG);
112 static inline struct fdefn *
113 FDEFN(lispobj obj)
115 return (struct fdefn *)(obj - OTHER_POINTER_LOWTAG);
118 /* Is the Lisp object obj something with pointer nature (as opposed to
119 * e.g. a fixnum or character or unbound marker)? */
120 static inline int
121 is_lisp_pointer(lispobj obj)
123 return obj & 1;
126 /* Convert from a lispobj with type bits to a native (ordinary
127 * C/assembly) pointer to the beginning of the object. */
128 static inline lispobj *
129 native_pointer(lispobj obj)
131 return (lispobj *) ((pointer_sized_uint_t) (obj & ~LOWTAG_MASK));
134 /* inverse operation: create a suitably tagged lispobj from a native
135 * pointer or integer. Needs to be a macro due to the tedious C type
136 * system */
137 #define make_lispobj(o,low_tag) ((lispobj)(LOW_WORD(o)|low_tag))
139 /* FIXME: There seems to be no reason that make_fixnum and fixnum_value
140 * can't be implemented as (possibly inline) functions. */
141 #define make_fixnum(n) ((lispobj)((n)<<N_FIXNUM_TAG_BITS))
142 #define fixnum_value(n) (((long)n)>>N_FIXNUM_TAG_BITS)
144 /* Too bad ANSI C doesn't define "bool" as C++ does.. */
145 typedef int boolean;
147 /* This only works for static symbols. */
148 /* FIXME: should be called StaticSymbolFunction, right? */
149 #define SymbolFunction(sym) \
150 (((struct fdefn *)(native_pointer(SymbolValue(sym,0))))->fun)
152 /* KLUDGE: As far as I can tell there's no ANSI C way of saying
153 * "this function never returns". This is the way that you do it
154 * in GCC later than version 2.5 or so. */
155 #if defined(__GNUC__)
156 #if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 5)
157 #define never_returns __attribute__ ((noreturn))
158 #else
159 #define never_returns
160 #endif
161 #else
162 #define never_returns
163 #endif
165 extern void *successful_malloc (size_t size);
166 extern char *copied_string (char *string);
168 #endif /* _SBCL_RUNTIME_H_ */