Commit | Line | Data |
---|---|---|
16ea9620 MV |
1 | /* classes: h_files */ |
2 | ||
3 | #ifndef SCM_INLINE_H | |
4 | #define SCM_INLINE_H | |
5 | ||
d2e53ed6 | 6 | /* Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc. |
16ea9620 | 7 | * |
73be1d9e MV |
8 | * This library is free software; you can redistribute it and/or |
9 | * modify it under the terms of the GNU Lesser General Public | |
10 | * License as published by the Free Software Foundation; either | |
11 | * version 2.1 of the License, or (at your option) any later version. | |
16ea9620 | 12 | * |
73be1d9e | 13 | * This library is distributed in the hope that it will be useful, |
16ea9620 | 14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
73be1d9e MV |
15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
16 | * Lesser General Public License for more details. | |
16ea9620 | 17 | * |
73be1d9e MV |
18 | * You should have received a copy of the GNU Lesser General Public |
19 | * License along with this library; if not, write to the Free Software | |
20 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
21 | */ | |
16ea9620 MV |
22 | |
23 | /* This file is for inline functions. On platforms that don't support | |
24 | inlining functions, they are turned into ordinary functions. See | |
25 | "inline.c". | |
26 | */ | |
27 | ||
60e7529a | 28 | #include "libguile/__scm.h" |
c8a1bdc4 | 29 | |
1e71eafb HWN |
30 | #if (SCM_DEBUG_CELL_ACCESSES == 1) |
31 | #include <stdio.h> | |
1e71eafb HWN |
32 | #endif |
33 | ||
16ea9620 MV |
34 | #include "libguile/pairs.h" |
35 | #include "libguile/gc.h" | |
9bc4701c | 36 | #include "libguile/threads.h" |
16ea9620 | 37 | |
c8a1bdc4 HWN |
38 | |
39 | SCM_API SCM scm_cell (scm_t_bits car, scm_t_bits cdr); | |
40 | SCM_API SCM scm_double_cell (scm_t_bits car, scm_t_bits cbr, | |
41 | scm_t_bits ccr, scm_t_bits cdr); | |
42 | ||
16ea9620 | 43 | |
60e7529a RB |
44 | |
45 | #if defined SCM_C_INLINE || defined SCM_INLINE_C_INCLUDING_INLINE_H | |
46 | /* either inlining, or being included from inline.c. We use (and | |
47 | repeat) this long #if test here and below so that we don't have to | |
48 | introduce any extraneous symbols into the public namespace. We | |
49 | only need SCM_C_INLINE to be seen publically . */ | |
c8a1bdc4 HWN |
50 | |
51 | extern unsigned scm_newcell2_count; | |
52 | extern unsigned scm_newcell_count; | |
53 | ||
60e7529a RB |
54 | #if defined SCM_C_INLINE && ! defined SCM_INLINE_C_INCLUDING_INLINE_H |
55 | /* definitely inlining */ | |
2b2c6fca MV |
56 | #ifdef __GNUC__ |
57 | extern | |
58 | #else | |
59 | static | |
60 | #endif | |
61 | SCM_C_INLINE | |
60e7529a | 62 | #endif |
c8a1bdc4 | 63 | SCM |
228a24ef | 64 | scm_cell (scm_t_bits car, scm_t_bits cdr) |
16ea9620 MV |
65 | { |
66 | SCM z; | |
9bc4701c MD |
67 | /* We retrieve the SCM pointer only once since the call to |
68 | SCM_FREELIST_LOC will be slightly expensive when we support | |
050fedc4 | 69 | preemptive multithreading. SCM_FREELIST_LOC will then retrieve |
9bc4701c MD |
70 | the thread specific freelist. |
71 | ||
72 | Until then, SCM_FREELIST_DOC expands to (&scm_i_freelist) and the | |
73 | following code will compile to the same as if we had worked | |
74 | directly on the scm_i_freelist variable. | |
75 | */ | |
76 | SCM *freelist = SCM_FREELIST_LOC (scm_i_freelist); | |
16ea9620 | 77 | |
d2e53ed6 | 78 | if (scm_is_null (*freelist)) |
9bc4701c | 79 | z = scm_gc_for_newcell (&scm_i_master_freelist, freelist); |
c8a1bdc4 | 80 | else |
16ea9620 | 81 | { |
9bc4701c MD |
82 | z = *freelist; |
83 | *freelist = SCM_FREE_CELL_CDR (*freelist); | |
16ea9620 | 84 | } |
c8a1bdc4 HWN |
85 | |
86 | /* | |
87 | We update scm_cells_allocated from this function. If we don't | |
88 | update this explicitly, we will have to walk a freelist somewhere | |
89 | later on, which seems a lot more expensive. | |
90 | */ | |
91 | scm_cells_allocated += 1; | |
92 | ||
93 | #if (SCM_DEBUG_CELL_ACCESSES == 1) | |
94 | if (scm_debug_cell_accesses_p) | |
1e71eafb HWN |
95 | { |
96 | if (SCM_GC_MARK_P (z)) | |
97 | { | |
98 | fprintf(stderr, "scm_cell tried to allocate a marked cell.\n"); | |
99 | abort(); | |
100 | } | |
6b69393d | 101 | else if (SCM_GC_CELL_WORD(z, 0) != scm_tc_free_cell) |
1e71eafb HWN |
102 | { |
103 | fprintf(stderr, "cell from freelist is not a free cell.\n"); | |
104 | abort(); | |
105 | } | |
106 | } | |
107 | ||
108 | /* | |
109 | Always set mark. Otherwise cells that are alloced before | |
110 | scm_debug_cell_accesses_p is toggled seem invalid. | |
111 | */ | |
112 | SCM_SET_GC_MARK (z); | |
113 | ||
114 | /* | |
115 | TODO: figure out if this use of mark bits is valid with | |
116 | threading. What if another thread is doing GC at this point | |
117 | ... ? | |
118 | */ | |
c8a1bdc4 | 119 | |
c8a1bdc4 | 120 | #endif |
16ea9620 | 121 | |
c8a1bdc4 | 122 | |
16ea9620 MV |
123 | /* Initialize the type slot last so that the cell is ignored by the |
124 | GC until it is completely initialized. This is only relevant | |
125 | when the GC can actually run during this code, which it can't for | |
126 | cooperating threads, but it might be important when we get true | |
127 | preemptive threads. | |
128 | */ | |
1fc8902f DH |
129 | SCM_GC_SET_CELL_WORD (z, 1, cdr); |
130 | SCM_GC_SET_CELL_WORD (z, 0, car); | |
16ea9620 | 131 | |
9bc4701c | 132 | #if 0 /*fixme* Hmm... let's consider this later. */ |
60e7529a | 133 | #if !defined(SCM_USE_COOP_THREADS) && !defined(SCM_USE_NULL_THREADS) && !defined(SCM_USE_COPT_THREADS) |
389626c5 | 134 | /* When we are using preemtive threads, we might need to make |
16ea9620 MV |
135 | sure that the initial values for the slots are protected until |
136 | the cell is completely initialized. | |
137 | */ | |
138 | #error review me | |
139 | scm_remember_upto_here_1 (SCM_PACK (cdr)); | |
140 | #endif | |
9bc4701c | 141 | #endif |
c8a1bdc4 | 142 | |
eab1b259 HWN |
143 | #if (SCM_DEBUG_CELL_ACCESSES == 1) |
144 | if (scm_expensive_debug_cell_accesses_p ) | |
145 | scm_i_expensive_validation_check (z); | |
146 | #endif | |
c8a1bdc4 | 147 | |
16ea9620 MV |
148 | return z; |
149 | } | |
150 | ||
60e7529a RB |
151 | #if defined SCM_C_INLINE && ! defined SCM_INLINE_C_INCLUDING_INLINE_H |
152 | /* definitely inlining */ | |
2b2c6fca MV |
153 | #ifdef __GNUC__ |
154 | extern | |
155 | #else | |
156 | static | |
157 | #endif | |
158 | SCM_C_INLINE | |
60e7529a | 159 | #endif |
c8a1bdc4 | 160 | SCM |
228a24ef DH |
161 | scm_double_cell (scm_t_bits car, scm_t_bits cbr, |
162 | scm_t_bits ccr, scm_t_bits cdr) | |
16ea9620 MV |
163 | { |
164 | SCM z; | |
9bc4701c | 165 | SCM *freelist = SCM_FREELIST_LOC (scm_i_freelist2); |
16ea9620 | 166 | |
d2e53ed6 | 167 | if (scm_is_null (*freelist)) |
9bc4701c | 168 | z = scm_gc_for_newcell (&scm_i_master_freelist2, freelist); |
16ea9620 MV |
169 | else |
170 | { | |
9bc4701c MD |
171 | z = *freelist; |
172 | *freelist = SCM_FREE_CELL_CDR (*freelist); | |
16ea9620 MV |
173 | } |
174 | ||
c8a1bdc4 HWN |
175 | scm_cells_allocated += 2; |
176 | ||
16ea9620 MV |
177 | /* Initialize the type slot last so that the cell is ignored by the |
178 | GC until it is completely initialized. This is only relevant | |
179 | when the GC can actually run during this code, which it can't for | |
180 | cooperating threads, but it might be important when we get true | |
181 | preemptive threads. | |
182 | */ | |
1fc8902f DH |
183 | SCM_GC_SET_CELL_WORD (z, 1, cbr); |
184 | SCM_GC_SET_CELL_WORD (z, 2, ccr); | |
185 | SCM_GC_SET_CELL_WORD (z, 3, cdr); | |
186 | SCM_GC_SET_CELL_WORD (z, 0, car); | |
16ea9620 | 187 | |
9bc4701c | 188 | #if 0 /*fixme* Hmm... let's consider this later. */ |
60e7529a | 189 | #if !defined(SCM_USE_COOP_THREADS) && !defined(SCM_USE_NULL_THREADS) && !defined(SCM_USE_COPT_THREADS) |
16ea9620 MV |
190 | /* When we are using non-cooperating threads, we might need to make |
191 | sure that the initial values for the slots are protected until | |
192 | the cell is completely initialized. | |
193 | */ | |
194 | #error review me | |
195 | scm_remember_upto_here_3 (SCM_PACK (cbr), SCM_PACK (ccr), SCM_PACK (cdr)); | |
196 | #endif | |
9bc4701c | 197 | #endif |
16ea9620 | 198 | |
16ea9620 | 199 | |
c8a1bdc4 HWN |
200 | #if (SCM_DEBUG_CELL_ACCESSES == 1) |
201 | if (scm_debug_cell_accesses_p) | |
202 | { | |
203 | if (SCM_GC_MARK_P (z)) | |
204 | { | |
205 | fprintf(stderr, | |
206 | "scm_double_cell tried to allocate a marked cell.\n"); | |
207 | abort(); | |
208 | } | |
c8a1bdc4 | 209 | } |
4ad0814a HWN |
210 | |
211 | /* see above. */ | |
212 | SCM_SET_GC_MARK (z); | |
213 | ||
3553e1d1 GH |
214 | #endif |
215 | ||
216 | /* When this function is inlined, it's possible that the last | |
217 | SCM_GC_SET_CELL_WORD above will be adjacent to a following | |
218 | initialization of z. E.g., it occurred in scm_make_real. GCC | |
219 | from around version 3 (e.g., certainly 3.2) began taking | |
220 | advantage of strict C aliasing rules which say that it's OK to | |
221 | interchange the initialization above and the one below when the | |
222 | pointer types appear to differ sufficiently. We don't want that, | |
223 | of course. GCC allows this behaviour to be disabled with the | |
224 | -fno-strict-aliasing option, but would also need to be supplied | |
225 | by Guile users. Instead, the following statements prevent the | |
226 | reordering. | |
227 | */ | |
228 | #ifdef __GNUC__ | |
229 | asm volatile ("" : : : "memory"); | |
230 | #else | |
231 | /* portable version, just in case any other compiler does the same | |
232 | thing. */ | |
233 | scm_remember_upto_here_1 (z); | |
c8a1bdc4 | 234 | #endif |
6253f3f1 | 235 | |
c8a1bdc4 HWN |
236 | return z; |
237 | } | |
6253f3f1 | 238 | |
eab1b259 HWN |
239 | |
240 | ||
16ea9620 | 241 | #endif |
16ea9620 | 242 | #endif |