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