annotate gcc/jit/jit-builtins.h @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* jit-builtins.h -- Handling of builtin functions during JIT-compilation.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2014-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
7 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
8 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
9 version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
14 for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #ifndef JIT_BUILTINS_H
kono
parents:
diff changeset
21 #define JIT_BUILTINS_H
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 #include "jit-common.h"
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 namespace gcc {
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 namespace jit {
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 /* Create an enum of the builtin types. */
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 enum jit_builtin_type
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 #define DEF_PRIMITIVE_TYPE(NAME, VALUE) NAME,
kono
parents:
diff changeset
34 #define DEF_FUNCTION_TYPE_0(NAME, RETURN) NAME,
kono
parents:
diff changeset
35 #define DEF_FUNCTION_TYPE_1(NAME, RETURN, ARG1) NAME,
kono
parents:
diff changeset
36 #define DEF_FUNCTION_TYPE_2(NAME, RETURN, ARG1, ARG2) NAME,
kono
parents:
diff changeset
37 #define DEF_FUNCTION_TYPE_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME,
kono
parents:
diff changeset
38 #define DEF_FUNCTION_TYPE_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME,
kono
parents:
diff changeset
39 #define DEF_FUNCTION_TYPE_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) NAME,
kono
parents:
diff changeset
40 #define DEF_FUNCTION_TYPE_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
41 ARG6) NAME,
kono
parents:
diff changeset
42 #define DEF_FUNCTION_TYPE_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
43 ARG6, ARG7) NAME,
kono
parents:
diff changeset
44 #define DEF_FUNCTION_TYPE_8(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
45 ARG6, ARG7, ARG8) NAME,
kono
parents:
diff changeset
46 #define DEF_FUNCTION_TYPE_9(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
47 ARG6, ARG7, ARG8, ARG9) NAME,
kono
parents:
diff changeset
48 #define DEF_FUNCTION_TYPE_10(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
49 ARG6, ARG7, ARG8, ARG9, ARG10) NAME,
kono
parents:
diff changeset
50 #define DEF_FUNCTION_TYPE_11(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
51 ARG6, ARG7, ARG8, ARG9, ARG10, ARG11) NAME,
kono
parents:
diff changeset
52 #define DEF_FUNCTION_TYPE_VAR_0(NAME, RETURN) NAME,
kono
parents:
diff changeset
53 #define DEF_FUNCTION_TYPE_VAR_1(NAME, RETURN, ARG1) NAME,
kono
parents:
diff changeset
54 #define DEF_FUNCTION_TYPE_VAR_2(NAME, RETURN, ARG1, ARG2) NAME,
kono
parents:
diff changeset
55 #define DEF_FUNCTION_TYPE_VAR_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME,
kono
parents:
diff changeset
56 #define DEF_FUNCTION_TYPE_VAR_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME,
kono
parents:
diff changeset
57 #define DEF_FUNCTION_TYPE_VAR_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
kono
parents:
diff changeset
58 NAME,
kono
parents:
diff changeset
59 #define DEF_FUNCTION_TYPE_VAR_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
60 ARG6) NAME,
kono
parents:
diff changeset
61 #define DEF_FUNCTION_TYPE_VAR_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
kono
parents:
diff changeset
62 ARG6, ARG7) NAME,
kono
parents:
diff changeset
63 #define DEF_POINTER_TYPE(NAME, TYPE) NAME,
kono
parents:
diff changeset
64 #include "builtin-types.def"
kono
parents:
diff changeset
65 #undef DEF_PRIMITIVE_TYPE
kono
parents:
diff changeset
66 #undef DEF_FUNCTION_TYPE_0
kono
parents:
diff changeset
67 #undef DEF_FUNCTION_TYPE_1
kono
parents:
diff changeset
68 #undef DEF_FUNCTION_TYPE_2
kono
parents:
diff changeset
69 #undef DEF_FUNCTION_TYPE_3
kono
parents:
diff changeset
70 #undef DEF_FUNCTION_TYPE_4
kono
parents:
diff changeset
71 #undef DEF_FUNCTION_TYPE_5
kono
parents:
diff changeset
72 #undef DEF_FUNCTION_TYPE_6
kono
parents:
diff changeset
73 #undef DEF_FUNCTION_TYPE_7
kono
parents:
diff changeset
74 #undef DEF_FUNCTION_TYPE_8
kono
parents:
diff changeset
75 #undef DEF_FUNCTION_TYPE_9
kono
parents:
diff changeset
76 #undef DEF_FUNCTION_TYPE_10
kono
parents:
diff changeset
77 #undef DEF_FUNCTION_TYPE_11
kono
parents:
diff changeset
78 #undef DEF_FUNCTION_TYPE_VAR_0
kono
parents:
diff changeset
79 #undef DEF_FUNCTION_TYPE_VAR_1
kono
parents:
diff changeset
80 #undef DEF_FUNCTION_TYPE_VAR_2
kono
parents:
diff changeset
81 #undef DEF_FUNCTION_TYPE_VAR_3
kono
parents:
diff changeset
82 #undef DEF_FUNCTION_TYPE_VAR_4
kono
parents:
diff changeset
83 #undef DEF_FUNCTION_TYPE_VAR_5
kono
parents:
diff changeset
84 #undef DEF_FUNCTION_TYPE_VAR_6
kono
parents:
diff changeset
85 #undef DEF_FUNCTION_TYPE_VAR_7
kono
parents:
diff changeset
86 #undef DEF_POINTER_TYPE
kono
parents:
diff changeset
87 BT_LAST
kono
parents:
diff changeset
88 }; /* enum jit_builtin_type */
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 /* Create an enum of the attributes that can be present on builtins. */
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 enum built_in_attribute
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 #define DEF_ATTR_NULL_TREE(ENUM) ENUM,
kono
parents:
diff changeset
95 #define DEF_ATTR_INT(ENUM, VALUE) ENUM,
kono
parents:
diff changeset
96 #define DEF_ATTR_STRING(ENUM, VALUE) ENUM,
kono
parents:
diff changeset
97 #define DEF_ATTR_IDENT(ENUM, STRING) ENUM,
kono
parents:
diff changeset
98 #define DEF_ATTR_TREE_LIST(ENUM, PURPOSE, VALUE, CHAIN) ENUM,
kono
parents:
diff changeset
99 #include "builtin-attrs.def"
kono
parents:
diff changeset
100 #undef DEF_ATTR_NULL_TREE
kono
parents:
diff changeset
101 #undef DEF_ATTR_INT
kono
parents:
diff changeset
102 #undef DEF_ATTR_STRING
kono
parents:
diff changeset
103 #undef DEF_ATTR_IDENT
kono
parents:
diff changeset
104 #undef DEF_ATTR_TREE_LIST
kono
parents:
diff changeset
105 ATTR_LAST
kono
parents:
diff changeset
106 };
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 /***********************************************************************/
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 class builtins_manager
kono
parents:
diff changeset
111 {
kono
parents:
diff changeset
112 public:
kono
parents:
diff changeset
113 builtins_manager (recording::context *ctxt);
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 recording::function *
kono
parents:
diff changeset
116 get_builtin_function (const char *name);
kono
parents:
diff changeset
117
kono
parents:
diff changeset
118 static enum built_in_class
kono
parents:
diff changeset
119 get_class (enum built_in_function builtin_id);
kono
parents:
diff changeset
120
kono
parents:
diff changeset
121 static bool
kono
parents:
diff changeset
122 implicit_p (enum built_in_function builtin_id);
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 tree
kono
parents:
diff changeset
125 get_attrs_tree (enum built_in_function builtin_id);
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 tree
kono
parents:
diff changeset
128 get_attrs_tree (enum built_in_attribute attr);
kono
parents:
diff changeset
129
kono
parents:
diff changeset
130 void
kono
parents:
diff changeset
131 finish_playback (void);
kono
parents:
diff changeset
132
kono
parents:
diff changeset
133 private:
kono
parents:
diff changeset
134 recording::function *
kono
parents:
diff changeset
135 get_builtin_function_by_id (enum built_in_function builtin_id);
kono
parents:
diff changeset
136
kono
parents:
diff changeset
137 recording::function *
kono
parents:
diff changeset
138 make_builtin_function (enum built_in_function builtin_id);
kono
parents:
diff changeset
139
kono
parents:
diff changeset
140 recording::type *
kono
parents:
diff changeset
141 get_type (enum jit_builtin_type type_id);
kono
parents:
diff changeset
142
kono
parents:
diff changeset
143 recording::type *
kono
parents:
diff changeset
144 make_type (enum jit_builtin_type type_id);
kono
parents:
diff changeset
145
kono
parents:
diff changeset
146 recording::type*
kono
parents:
diff changeset
147 make_primitive_type (enum jit_builtin_type type_id);
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 recording::function_type*
kono
parents:
diff changeset
150 make_fn_type (enum jit_builtin_type type_id,
kono
parents:
diff changeset
151 enum jit_builtin_type return_type_id,
kono
parents:
diff changeset
152 bool is_variadic,
kono
parents:
diff changeset
153 int num_args, ...);
kono
parents:
diff changeset
154
kono
parents:
diff changeset
155 recording::type*
kono
parents:
diff changeset
156 make_ptr_type (enum jit_builtin_type type_id,
kono
parents:
diff changeset
157 enum jit_builtin_type other_type_id);
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 tree
kono
parents:
diff changeset
160 make_attrs_tree (enum built_in_attribute attr);
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162 private:
kono
parents:
diff changeset
163 /* Recording fields. */
kono
parents:
diff changeset
164 recording::context *m_ctxt;
kono
parents:
diff changeset
165 recording::type *m_types[BT_LAST];
kono
parents:
diff changeset
166 recording::function *m_builtin_functions[END_BUILTINS];
kono
parents:
diff changeset
167
kono
parents:
diff changeset
168 /* Playback fields. */
kono
parents:
diff changeset
169 /* m_attributes is not GTY-marked, but is only ever used from within
kono
parents:
diff changeset
170 the region of playback::context::replay () in which a GC can't
kono
parents:
diff changeset
171 happen. */
kono
parents:
diff changeset
172 tree m_attributes[ATTR_LAST];
kono
parents:
diff changeset
173 };
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175 } // namespace jit
kono
parents:
diff changeset
176 } // namespace gcc
kono
parents:
diff changeset
177
kono
parents:
diff changeset
178 #endif /* JIT_BUILTINS_H */