|
428
|
1 /* Fundamental definitions for XEmacs Lisp interpreter -- union objects.
|
|
|
2 Copyright (C) 1985, 1986, 1987, 1992, 1993, 1994
|
|
|
3 Free Software Foundation, Inc.
|
|
800
|
4 Copyright (C) 2002 Ben Wing.
|
|
428
|
5
|
|
|
6 This file is part of XEmacs.
|
|
|
7
|
|
|
8 XEmacs is free software; you can redistribute it and/or modify it
|
|
|
9 under the terms of the GNU General Public License as published by the
|
|
|
10 Free Software Foundation; either version 2, or (at your option) any
|
|
|
11 later version.
|
|
|
12
|
|
|
13 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
|
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
16 for more details.
|
|
|
17
|
|
|
18 You should have received a copy of the GNU General Public License
|
|
|
19 along with XEmacs; see the file COPYING. If not, write to
|
|
|
20 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
21 Boston, MA 02111-1307, USA. */
|
|
|
22
|
|
|
23 /* Divergent from FSF. */
|
|
|
24
|
|
|
25 /* Definition of Lisp_Object type as a union.
|
|
|
26 The declaration order of the objects within the struct members
|
|
|
27 of the union is dependent on ENDIAN-ness.
|
|
|
28 See lisp-disunion.h for more details. */
|
|
|
29
|
|
|
30 typedef
|
|
|
31 union Lisp_Object
|
|
|
32 {
|
|
|
33 /* if non-valbits are at lower addresses */
|
|
442
|
34 #ifdef WORDS_BIGENDIAN
|
|
428
|
35 struct
|
|
|
36 {
|
|
|
37 EMACS_UINT val : VALBITS;
|
|
|
38 enum_field (Lisp_Type) type : GCTYPEBITS;
|
|
|
39 } gu;
|
|
|
40
|
|
|
41 struct
|
|
|
42 {
|
|
|
43 signed EMACS_INT val : INT_VALBITS;
|
|
|
44 unsigned int bits : INT_GCBITS;
|
|
|
45 } s;
|
|
|
46
|
|
|
47 struct
|
|
|
48 {
|
|
|
49 EMACS_UINT val : INT_VALBITS;
|
|
|
50 unsigned int bits : INT_GCBITS;
|
|
|
51 } u;
|
|
|
52 #else /* non-valbits are at higher addresses */
|
|
|
53 struct
|
|
|
54 {
|
|
|
55 enum_field (Lisp_Type) type : GCTYPEBITS;
|
|
|
56 EMACS_UINT val : VALBITS;
|
|
|
57 } gu;
|
|
|
58
|
|
|
59 struct
|
|
|
60 {
|
|
|
61 unsigned int bits : INT_GCBITS;
|
|
|
62 signed EMACS_INT val : INT_VALBITS;
|
|
|
63 } s;
|
|
|
64
|
|
|
65 struct
|
|
|
66 {
|
|
|
67 unsigned int bits : INT_GCBITS;
|
|
|
68 EMACS_UINT val : INT_VALBITS;
|
|
|
69 } u;
|
|
|
70
|
|
|
71 #endif /* non-valbits are at higher addresses */
|
|
|
72
|
|
|
73 EMACS_UINT ui;
|
|
|
74 signed EMACS_INT i;
|
|
|
75
|
|
|
76 /* This was formerly declared 'void *v' etc. but that causes
|
|
|
77 GCC to accept any (yes, any) pointer as the argument of
|
|
|
78 a function declared to accept a Lisp_Object. */
|
|
|
79 struct nosuchstruct *v;
|
|
|
80 }
|
|
|
81 Lisp_Object;
|
|
|
82
|
|
|
83 #define XCHARVAL(x) ((x).gu.val)
|
|
826
|
84 #define XPNTRVAL(x) ((x).ui)
|
|
|
85
|
|
|
86 #define XREALINT(x) ((x).s.val)
|
|
|
87 #define XUINT(x) ((x).u.val)
|
|
|
88 #define XTYPE(x) ((x).gu.type)
|
|
|
89 #define EQ(x,y) ((x).v == (y).v)
|
|
428
|
90
|
|
826
|
91 DECLARE_INLINE_HEADER (
|
|
|
92 Lisp_Object
|
|
|
93 make_int_verify (EMACS_INT val)
|
|
|
94 )
|
|
|
95 {
|
|
|
96 Lisp_Object obj;
|
|
|
97 obj.s.bits = 1;
|
|
|
98 obj.s.val = val;
|
|
|
99 type_checking_assert (XREALINT (obj) == val);
|
|
|
100 return obj;
|
|
|
101 }
|
|
|
102
|
|
|
103 DECLARE_INLINE_HEADER (
|
|
|
104 Lisp_Object
|
|
428
|
105 make_int (EMACS_INT val)
|
|
826
|
106 )
|
|
428
|
107 {
|
|
|
108 Lisp_Object obj;
|
|
793
|
109 obj.s.bits = 1;
|
|
|
110 obj.s.val = val;
|
|
428
|
111 return obj;
|
|
|
112 }
|
|
|
113
|
|
801
|
114 #ifdef __cplusplus
|
|
|
115
|
|
|
116 #define volatile_make_int(val) make_int (val)
|
|
|
117
|
|
|
118 #else
|
|
|
119
|
|
800
|
120 /* Ugh, need different definition to avoid compiler complaint in
|
|
801
|
121 unix_send_process(). Furthermore, there's no way under C++, it seems,
|
|
|
122 to declare something volatile and then return it. Perhaps I'd have to
|
|
|
123 assign to something else instead? But in any case, the warnings about
|
|
|
124 volatile clobbering doesn't occur in C++. I bet the thing is that C++
|
|
|
125 already has a built-in system for dealing with non-local exits and such,
|
|
|
126 in a smart way that doesn't clobber registers, and incorporates
|
|
|
127 longjmp() into that. */
|
|
826
|
128 DECLARE_INLINE_HEADER (
|
|
|
129 Lisp_Object
|
|
800
|
130 volatile_make_int (EMACS_INT val)
|
|
826
|
131 )
|
|
800
|
132 {
|
|
|
133 volatile Lisp_Object obj;
|
|
|
134 obj.s.bits = 1;
|
|
|
135 obj.s.val = val;
|
|
|
136 return obj;
|
|
|
137 }
|
|
|
138
|
|
801
|
139 #endif /* __cplusplus */
|
|
|
140
|
|
826
|
141 DECLARE_INLINE_HEADER (
|
|
|
142 Lisp_Object
|
|
867
|
143 make_char_1 (Ichar val)
|
|
826
|
144 )
|
|
428
|
145 {
|
|
|
146 Lisp_Object obj;
|
|
793
|
147 obj.gu.type = Lisp_Type_Char;
|
|
|
148 obj.gu.val = val;
|
|
442
|
149 return obj;
|
|
|
150 }
|
|
|
151
|
|
826
|
152 DECLARE_INLINE_HEADER (
|
|
|
153 Lisp_Object
|
|
800
|
154 wrap_pointer_1 (const void *ptr)
|
|
826
|
155 )
|
|
442
|
156 {
|
|
|
157 Lisp_Object obj;
|
|
793
|
158 obj.ui = (EMACS_UINT) ptr;
|
|
428
|
159 return obj;
|
|
|
160 }
|
|
|
161
|
|
|
162 extern Lisp_Object Qnull_pointer, Qzero;
|
|
|
163
|
|
|
164 #define INTP(x) ((x).s.bits)
|
|
|
165 #define INT_PLUS(x,y) make_int (XINT (x) + XINT (y))
|
|
|
166 #define INT_MINUS(x,y) make_int (XINT (x) - XINT (y))
|
|
|
167 #define INT_PLUS1(x) make_int (XINT (x) + 1)
|
|
|
168 #define INT_MINUS1(x) make_int (XINT (x) - 1)
|
|
|
169
|
|
853
|
170 /* WARNING!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
|
171
|
|
|
172 You can only VOID_TO_LISP something that had previously been
|
|
|
173 LISP_TO_VOID'd. You cannot go the other way, i.e. create a bogus
|
|
|
174 Lisp_Object. If you want to stuff a void * into a Lisp_Object, use
|
|
|
175 make_opaque_ptr(). */
|
|
|
176
|
|
428
|
177 /* Convert between a (void *) and a Lisp_Object, as when the
|
|
|
178 Lisp_Object is passed to a toolkit callback function */
|
|
826
|
179 DECLARE_INLINE_HEADER (
|
|
|
180 Lisp_Object
|
|
|
181 VOID_TO_LISP (const void *arg)
|
|
|
182 )
|
|
|
183 {
|
|
|
184 Lisp_Object larg;
|
|
|
185 larg.v = (struct nosuchstruct *) arg;
|
|
|
186 return larg;
|
|
|
187 }
|
|
|
188
|
|
428
|
189 #define LISP_TO_VOID(larg) ((void *) ((larg).v))
|
|
|
190
|
|
|
191 /* Convert a Lisp_Object into something that can't be used as an
|
|
|
192 lvalue. Useful for type-checking. */
|
|
|
193 #if (__GNUC__ > 1)
|
|
|
194 #define NON_LVALUE(larg) ({ (larg); })
|
|
|
195 #else
|
|
|
196 /* Well, you can't really do it without using a function call, and
|
|
|
197 there's no real point in that; no-union-type is the rule, and that
|
|
|
198 will catch errors. */
|
|
|
199 #define NON_LVALUE(larg) (larg)
|
|
|
200 #endif
|
