Mercurial > emacs
annotate src/puresize.h @ 87966:bf987d1f70f3
*** empty log message ***
author | Juanma Barranquero <lekktu@gmail.com> |
---|---|
date | Fri, 25 Jan 2008 15:44:49 +0000 |
parents | 91da483b3fa5 |
children | c70e45a7acfd c7c66cfcda43 |
rev | line source |
---|---|
355 | 1 /* How much read-only Lisp storage a dumped Emacs needs. |
75227
e90d04cd455a
Update copyright for years from Emacs 21 to present (mainly adding
Glenn Morris <rgm@gnu.org>
parents:
72306
diff
changeset
|
2 Copyright (C) 1993, 2001, 2002, 2003, 2004, 2005, |
79759 | 3 2006, 2007, 2008 Free Software Foundation, Inc. |
355 | 4 |
5 This file is part of GNU Emacs. | |
6 | |
7 GNU Emacs is free software; you can redistribute it and/or modify | |
8 it under the terms of the GNU General Public License as published by | |
78260
922696f363b0
Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents:
75227
diff
changeset
|
9 the Free Software Foundation; either version 3, or (at your option) |
355 | 10 any later version. |
11 | |
12 GNU Emacs is distributed in the hope that it will be useful, | |
13 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 GNU General Public License for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
18 along with GNU Emacs; see the file COPYING. If not, write to | |
64084 | 19 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
20 Boston, MA 02110-1301, USA. */ | |
355 | 21 |
8933
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
22 /* Define PURESIZE, the number of bytes of pure Lisp code to leave space for. |
355 | 23 |
24 At one point, this was defined in config.h, meaning that changing | |
25 PURESIZE would make Make recompile all of Emacs. But only a few | |
484 | 26 files actually use PURESIZE, so we split it out to its own .h file. |
27 | |
28 Make sure to include this file after config.h, since that tells us | |
29 whether we are running X windows, which tells us how much pure | |
30 storage to allocate. */ | |
355 | 31 |
8933
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
32 /* First define a measure of the amount of data we have. */ |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
33 |
9572 | 34 /* A system configuration file may set this to request a certain extra |
35 amount of storage. This is a lot more update-robust that defining | |
36 BASE_PURESIZE or even PURESIZE directly. */ | |
37 #ifndef SYSTEM_PURESIZE_EXTRA | |
38 #define SYSTEM_PURESIZE_EXTRA 0 | |
39 #endif | |
40 | |
12986
180f04639e71
(SITELOAD_PURESIZE_EXTRA): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
12612
diff
changeset
|
41 #ifndef SITELOAD_PURESIZE_EXTRA |
180f04639e71
(SITELOAD_PURESIZE_EXTRA): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
12612
diff
changeset
|
42 #define SITELOAD_PURESIZE_EXTRA 0 |
180f04639e71
(SITELOAD_PURESIZE_EXTRA): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
12612
diff
changeset
|
43 #endif |
180f04639e71
(SITELOAD_PURESIZE_EXTRA): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
12612
diff
changeset
|
44 |
8933
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
45 #ifndef BASE_PURESIZE |
86203
9aea71efb681
(BASE_PURESIZE): Increase to 1190000.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
85710
diff
changeset
|
46 #define BASE_PURESIZE (1190000 + SYSTEM_PURESIZE_EXTRA + SITELOAD_PURESIZE_EXTRA) |
484 | 47 #endif |
8933
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
48 |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
49 /* Increase BASE_PURESIZE by a ratio depending on the machine's word size. */ |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
50 #ifndef PURESIZE_RATIO |
57111
722f614e880a
(PURESIZE_RATIO): Define based on BITS_PER_EMACS_INT.
Kim F. Storm <storm@cua.dk>
parents:
54822
diff
changeset
|
51 #if BITS_PER_EMACS_INT > 32 |
70035
479ddf150263
(PURESIZE_RATIO): Reduce to 10/6.
Andreas Schwab <schwab@suse.de>
parents:
70031
diff
changeset
|
52 #define PURESIZE_RATIO 10/6 /* Don't surround with `()'. */ |
8933
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
53 #else |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
54 #define PURESIZE_RATIO 1 |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
55 #endif |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
56 #endif |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
57 |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
58 /* This is the actual size in bytes to allocate. */ |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
59 #ifndef PURESIZE |
f060ee7326c5
(PURESIZE_RATIO, BASE_PURESIZE): Defined.
Richard M. Stallman <rms@gnu.org>
parents:
8832
diff
changeset
|
60 #define PURESIZE (BASE_PURESIZE * PURESIZE_RATIO) |
484 | 61 #endif |
355 | 62 |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
63 /* Signal an error if OBJ is pure. */ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
64 #define CHECK_IMPURE(obj) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
65 { if (PURE_P (obj)) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
66 pure_write_error (); } |
21515 | 67 |
69883
a21d00510558
* puresize.h (pure_write_error): Mark as NO_RETURN.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
68976
diff
changeset
|
68 extern void pure_write_error P_ ((void)) NO_RETURN; |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
69 |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
70 /* Define PURE_P. */ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
71 |
54822
09d9fc390321
Set up PURE_P() for Cygwin unexec() support.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
72 #if defined(VIRT_ADDR_VARIES) || defined(CYGWIN) |
87730 | 73 /* For machines where text and data can go anywhere |
355 | 74 in virtual memory. */ |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
75 |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
76 extern EMACS_INT pure[]; |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
77 |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
78 #define PURE_P(obj) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
79 ((PNTR_COMPARISON_TYPE) XPNTR (obj) < (PNTR_COMPARISON_TYPE) ((char *) pure + PURESIZE) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
80 && (PNTR_COMPARISON_TYPE) XPNTR (obj) >= (PNTR_COMPARISON_TYPE) pure) |
355 | 81 |
82 #else /* not VIRT_ADDR_VARIES */ | |
83 #ifdef PNTR_COMPARISON_TYPE | |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
84 /* When PNTR_COMPARISON_TYPE is not the default (unsigned int). */ |
355 | 85 |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
86 extern char my_edata[]; |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
87 |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
88 #define PURE_P(obj) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
89 ((PNTR_COMPARISON_TYPE) XPNTR (obj) < (PNTR_COMPARISON_TYPE) my_edata) |
355 | 90 |
91 #else /* not VIRT_ADDRESS_VARIES, not PNTR_COMPARISON_TYPE */ | |
92 | |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
93 extern char my_edata[]; |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46842
diff
changeset
|
94 |
13778
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
95 #define PURE_P(obj) \ |
7b2f71009e4c
(PURE_P): New macro (three definitions).
Karl Heuer <kwzh@gnu.org>
parents:
12986
diff
changeset
|
96 (XPNTR (obj) < (unsigned int) my_edata) |
355 | 97 |
98 #endif /* PNTR_COMPARISON_TYPE */ | |
99 #endif /* VIRT_ADDRESS_VARIES */ | |
52401 | 100 |
101 /* arch-tag: fd9b0a91-a70e-4729-a75a-6bb4ca1ce14f | |
102 (do not change this comment) */ |