1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
/* Elisp native compiler definitions
Copyright (C) 2019-2023 Free Software Foundation, Inc.
This file is part of GNU Emacs.
GNU Emacs is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
GNU Emacs is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. */
#ifndef COMP_H
#define COMP_H
#include <dynlib.h>
#ifdef HAVE_NATIVE_COMP
# include <libgccjit.h>
/* If USE_COMP_STATIC_LISP_OBJECTS, allow the AOT native compiler to
compile self evaluating Lisp forms as static consts in the
generated eln. Just like USE_STACK_LISP_OBJECTS, these objects
have better performance, and can significantly reduce heap usage.
Such objects are perma-marked, which means that data structures
that store the mark bit as a bitfield need to unset it in functions
that make use of the field in which it's stored (ASIZE for
Lisp_Vectors, SCHARS for Lisp_Strings, etc). A good way to think
about them is as every eln file having its own purespace for
storing self-evaluating forms.
Just like objects in purespace, these objects are emitted as
consts, so modifying them is illegal. To enforce that, we add an
additional check to CHECK_IMPURE that checks if the object being
modified is emitted statically by comp, exploiting their
"perma-marked" nature (see static_comp_object_p in alloc.c).
To make debugging a little easier, this is only enabled alongside
USE_STACK_LISP_OBJECTS, and when GC runtime checks are disabled. */
# if defined(LIBGCCJIT_HAVE_REFLECTION) \
&& defined(LIBGCCJIT_HAVE_CTORS) \
&& defined(LIBGCCJIT_HAVE_gcc_jit_type_get_aligned) \
&& defined(LIBGCCJIT_HAVE_ALIGNMENT) && USE_STACK_LISP_OBJECTS \
&& !GC_CHECK_MARKED_OBJECTS
# define USE_COMP_STATIC_LISP_OBJECTS 1
# else
# define USE_COMP_STATIC_LISP_OBJECTS 0
# endif
#else
# define USE_COMP_STATIC_LISP_OBJECTS 0
#endif
struct Lisp_Native_Comp_Unit
{
union vectorlike_header header;
/* The original eln file loaded. In the pdumper file this is stored
as a cons cell of 2 alternative file names: the car is the
filename relative to the directory of an installed binary, the
cdr is the filename relative to the directory of an uninstalled
binary. This is arranged in loadup.el. */
Lisp_Object file;
Lisp_Object optimize_qualities;
/* Guard anonymous lambdas against Garbage Collection and serve
sanity checks. */
Lisp_Object lambda_gc_guard_h;
/* Hash c_name -> d_reloc_imp index. */
Lisp_Object lambda_c_name_idx_h;
/* Hash doc-idx -> function documentation. */
Lisp_Object data_fdoc_v;
/* Analogous to the constant vector but per compilation unit. */
Lisp_Object data_vec;
/* 'data_impure_vec' must be last (see allocate_native_comp_unit).
Same as data_vec but for data that cannot be moved to pure space. */
Lisp_Object data_impure_vec;
/* STUFFS WE DO NOT DUMP!! */
Lisp_Object *data_imp_relocs;
bool loaded_once;
bool load_ongoing;
dynlib_handle_ptr handle;
bool have_static_lisp_data;
#if USE_COMP_STATIC_LISP_OBJECTS
/* vector of dynamically allocated lisp objects, marked manually on GC. */
Lisp_Object staticpro;
/* vector of ephemeral objects that need to be marked only during
top_level_run. */
Lisp_Object ephemeral;
#endif
} GCALIGNED_STRUCT;
#ifdef HAVE_NATIVE_COMP
INLINE_HEADER_BEGIN
INLINE bool
NATIVE_COMP_UNITP (Lisp_Object a)
{
return PSEUDOVECTORP (a, PVEC_NATIVE_COMP_UNIT);
}
INLINE struct Lisp_Native_Comp_Unit *
XNATIVE_COMP_UNIT (Lisp_Object a)
{
eassert (NATIVE_COMP_UNITP (a));
return XUNTAG (a, Lisp_Vectorlike, struct Lisp_Native_Comp_Unit);
}
/* Defined in comp.c. */
extern void hash_native_abi (void);
extern Lisp_Object load_comp_unit (struct Lisp_Native_Comp_Unit *comp_u,
bool loading_dump, bool late_load);
extern void unload_comp_unit (struct Lisp_Native_Comp_Unit *);
extern Lisp_Object native_function_doc (Lisp_Object function);
extern void syms_of_comp (void);
extern void maybe_defer_native_compilation (Lisp_Object function_name,
Lisp_Object definition);
extern void eln_load_path_final_clean_up (void);
extern void fixup_eln_load_path (Lisp_Object directory);
#else /* #ifdef HAVE_NATIVE_COMP */
static inline void
maybe_defer_native_compilation (Lisp_Object function_name,
Lisp_Object definition)
{}
static inline
void unload_comp_unit (struct Lisp_Native_Comp_Unit *cu)
{}
extern void syms_of_comp (void);
INLINE_HEADER_END
#endif /* #ifdef HAVE_NATIVE_COMP */
#endif /* #ifndef COMP_H */
|
