163d1a8abSmrg /* jit-builtins.c -- Handling of builtin functions during JIT-compilation.
2*ec02198aSmrg Copyright (C) 2014-2020 Free Software Foundation, Inc.
363d1a8abSmrg
463d1a8abSmrg This file is part of GCC.
563d1a8abSmrg
663d1a8abSmrg GCC is free software; you can redistribute it and/or modify it under
763d1a8abSmrg the terms of the GNU General Public License as published by the Free
863d1a8abSmrg Software Foundation; either version 3, or (at your option) any later
963d1a8abSmrg version.
1063d1a8abSmrg
1163d1a8abSmrg GCC is distributed in the hope that it will be useful, but WITHOUT ANY
1263d1a8abSmrg WARRANTY; without even the implied warranty of MERCHANTABILITY or
1363d1a8abSmrg FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
1463d1a8abSmrg for more details.
1563d1a8abSmrg
1663d1a8abSmrg You should have received a copy of the GNU General Public License
1763d1a8abSmrg along with GCC; see the file COPYING3. If not see
1863d1a8abSmrg <http://www.gnu.org/licenses/>. */
1963d1a8abSmrg
2063d1a8abSmrg #include "config.h"
2163d1a8abSmrg #include "system.h"
2263d1a8abSmrg #include "coretypes.h"
2363d1a8abSmrg #include "target.h"
2463d1a8abSmrg #include "jit-playback.h"
2563d1a8abSmrg #include "stringpool.h"
2663d1a8abSmrg
2763d1a8abSmrg #include "jit-builtins.h"
2863d1a8abSmrg
2963d1a8abSmrg namespace gcc {
3063d1a8abSmrg
3163d1a8abSmrg namespace jit {
3263d1a8abSmrg
3363d1a8abSmrg const char *const prefix = "__builtin_";
3463d1a8abSmrg const size_t prefix_len = strlen (prefix);
3563d1a8abSmrg
3663d1a8abSmrg /* Create "builtin_data", a const table of the data within builtins.def. */
3763d1a8abSmrg struct builtin_data
3863d1a8abSmrg {
3963d1a8abSmrg const char *name;
4063d1a8abSmrg enum built_in_class fnclass;
4163d1a8abSmrg enum jit_builtin_type type;
4263d1a8abSmrg bool both_p;
4363d1a8abSmrg bool fallback_p;
4463d1a8abSmrg enum built_in_attribute attr;
4563d1a8abSmrg bool implicit_p;
4663d1a8abSmrg
get_asm_namebuiltin_data4763d1a8abSmrg const char *get_asm_name () const
4863d1a8abSmrg {
4963d1a8abSmrg if (both_p && fallback_p)
5063d1a8abSmrg return name + prefix_len;
5163d1a8abSmrg else
5263d1a8abSmrg return name;
5363d1a8abSmrg }
5463d1a8abSmrg };
5563d1a8abSmrg
5663d1a8abSmrg #define DEF_BUILTIN(X, NAME, CLASS, TYPE, LT, BOTH_P, FALLBACK_P, \
5763d1a8abSmrg NONANSI_P, ATTRS, IMPLICIT, COND) \
5863d1a8abSmrg {NAME, CLASS, TYPE, BOTH_P, FALLBACK_P, ATTRS, IMPLICIT},
5963d1a8abSmrg static const struct builtin_data builtin_data[] =
6063d1a8abSmrg {
6163d1a8abSmrg #include "builtins.def"
6263d1a8abSmrg };
6363d1a8abSmrg
6463d1a8abSmrg /* Helper function for find_builtin_by_name. */
6563d1a8abSmrg
6663d1a8abSmrg static bool
matches_builtin(const char * in_name,const struct builtin_data & bd)6763d1a8abSmrg matches_builtin (const char *in_name,
6863d1a8abSmrg const struct builtin_data& bd)
6963d1a8abSmrg {
7063d1a8abSmrg const bool debug = 0;
71c7a68eb7Smrg
72c7a68eb7Smrg /* Ignore entries with a NULL name. */
73c7a68eb7Smrg if (!bd.name)
74c7a68eb7Smrg return false;
7563d1a8abSmrg
7663d1a8abSmrg if (debug)
7763d1a8abSmrg fprintf (stderr, "seen builtin: %s\n", bd.name);
7863d1a8abSmrg
79c7a68eb7Smrg if (strcmp (bd.name, in_name) == 0)
8063d1a8abSmrg return true;
8163d1a8abSmrg
8263d1a8abSmrg if (bd.both_p)
8363d1a8abSmrg {
8463d1a8abSmrg /* Then the macros in builtins.def gave a "__builtin_"
8563d1a8abSmrg prefix to bd.name, but we should also recognize the form
8663d1a8abSmrg without the prefix. */
87c7a68eb7Smrg gcc_assert (strncmp (bd.name, prefix, prefix_len) == 0);
8863d1a8abSmrg if (debug)
8963d1a8abSmrg fprintf (stderr, "testing without prefix as: %s\n",
9063d1a8abSmrg bd.name + prefix_len);
91c7a68eb7Smrg if (strcmp (bd.name + prefix_len, in_name) == 0)
9263d1a8abSmrg return true;
9363d1a8abSmrg }
9463d1a8abSmrg
9563d1a8abSmrg return false;
9663d1a8abSmrg }
9763d1a8abSmrg
9863d1a8abSmrg /* Locate the built-in function that matches name IN_NAME,
9963d1a8abSmrg writing the result to OUT_ID and returning true if found,
10063d1a8abSmrg or returning false if not found. */
10163d1a8abSmrg
10263d1a8abSmrg static bool
find_builtin_by_name(const char * in_name,enum built_in_function * out_id)10363d1a8abSmrg find_builtin_by_name (const char *in_name,
10463d1a8abSmrg enum built_in_function *out_id)
10563d1a8abSmrg {
10663d1a8abSmrg /* Locate builtin. This currently works by performing repeated
10763d1a8abSmrg strcmp against every possible candidate, which is likely to
10863d1a8abSmrg inefficient.
10963d1a8abSmrg
11063d1a8abSmrg We start at index 1 to skip the initial entry (BUILT_IN_NONE), which
11163d1a8abSmrg has a NULL name. */
11263d1a8abSmrg for (unsigned int i = 1;
11363d1a8abSmrg i < sizeof (builtin_data) / sizeof (builtin_data[0]);
11463d1a8abSmrg i++)
11563d1a8abSmrg {
11663d1a8abSmrg const struct builtin_data& bd = builtin_data[i];
11763d1a8abSmrg if (matches_builtin (in_name, bd))
11863d1a8abSmrg {
11963d1a8abSmrg /* Found a match. */
12063d1a8abSmrg *out_id = static_cast<enum built_in_function> (i);
12163d1a8abSmrg return true;
12263d1a8abSmrg }
12363d1a8abSmrg }
12463d1a8abSmrg
12563d1a8abSmrg /* Not found. */
12663d1a8abSmrg return false;
12763d1a8abSmrg }
12863d1a8abSmrg
12963d1a8abSmrg // class builtins_manager
13063d1a8abSmrg
13163d1a8abSmrg /* Constructor for gcc::jit::builtins_manager. */
13263d1a8abSmrg
builtins_manager(recording::context * ctxt)13363d1a8abSmrg builtins_manager::builtins_manager (recording::context *ctxt)
13463d1a8abSmrg : m_ctxt (ctxt)
13563d1a8abSmrg {
13663d1a8abSmrg memset (m_types, 0, sizeof (m_types));
13763d1a8abSmrg memset (m_builtin_functions, 0, sizeof (m_builtin_functions));
13863d1a8abSmrg memset (m_attributes, 0, sizeof (m_attributes));
13963d1a8abSmrg }
14063d1a8abSmrg
14163d1a8abSmrg /* Locate a builtin function by name.
14263d1a8abSmrg Create a recording::function of the appropriate type, reusing them
14363d1a8abSmrg if they've already been seen. */
14463d1a8abSmrg
14563d1a8abSmrg recording::function *
get_builtin_function(const char * name)14663d1a8abSmrg builtins_manager::get_builtin_function (const char *name)
14763d1a8abSmrg {
14863d1a8abSmrg enum built_in_function builtin_id;
14963d1a8abSmrg if (!find_builtin_by_name (name, &builtin_id))
15063d1a8abSmrg {
15163d1a8abSmrg m_ctxt->add_error (NULL, "builtin \"%s\" not found", name);
15263d1a8abSmrg return NULL;
15363d1a8abSmrg }
15463d1a8abSmrg
15563d1a8abSmrg return get_builtin_function_by_id (builtin_id);
15663d1a8abSmrg }
15763d1a8abSmrg
15863d1a8abSmrg /* Locate a builtin function by id.
15963d1a8abSmrg Create a recording::function of the appropriate type, reusing them
16063d1a8abSmrg if they've already been seen. */
16163d1a8abSmrg
16263d1a8abSmrg recording::function *
get_builtin_function_by_id(enum built_in_function builtin_id)16363d1a8abSmrg builtins_manager::get_builtin_function_by_id (enum built_in_function builtin_id)
16463d1a8abSmrg {
16563d1a8abSmrg gcc_assert (builtin_id >= 0);
16663d1a8abSmrg gcc_assert (builtin_id < END_BUILTINS);
16763d1a8abSmrg
16863d1a8abSmrg /* Lazily build the functions, caching them so that repeated calls for
16963d1a8abSmrg the same id on a context give back the same object. */
17063d1a8abSmrg if (!m_builtin_functions[builtin_id])
17163d1a8abSmrg {
17263d1a8abSmrg recording::function *fn = make_builtin_function (builtin_id);
17363d1a8abSmrg if (fn)
17463d1a8abSmrg {
17563d1a8abSmrg m_builtin_functions[builtin_id] = fn;
17663d1a8abSmrg m_ctxt->record (fn);
17763d1a8abSmrg }
17863d1a8abSmrg }
17963d1a8abSmrg
18063d1a8abSmrg return m_builtin_functions[builtin_id];
18163d1a8abSmrg }
18263d1a8abSmrg
18363d1a8abSmrg /* Create the recording::function for a given builtin function, by ID. */
18463d1a8abSmrg
18563d1a8abSmrg recording::function *
make_builtin_function(enum built_in_function builtin_id)18663d1a8abSmrg builtins_manager::make_builtin_function (enum built_in_function builtin_id)
18763d1a8abSmrg {
18863d1a8abSmrg const struct builtin_data& bd = builtin_data[builtin_id];
18963d1a8abSmrg enum jit_builtin_type type_id = bd.type;
19063d1a8abSmrg recording::type *t = get_type (type_id);
19163d1a8abSmrg if (!t)
19263d1a8abSmrg return NULL;
19363d1a8abSmrg recording::function_type *func_type = t->as_a_function_type ();
19463d1a8abSmrg if (!func_type)
19563d1a8abSmrg return NULL;
19663d1a8abSmrg
19763d1a8abSmrg vec<recording::type *> param_types = func_type->get_param_types ();
19863d1a8abSmrg recording::param **params = new recording::param *[param_types.length ()];
19963d1a8abSmrg
20063d1a8abSmrg int i;
20163d1a8abSmrg recording::type *param_type;
20263d1a8abSmrg FOR_EACH_VEC_ELT (param_types, i, param_type)
20363d1a8abSmrg {
20463d1a8abSmrg char buf[16];
20563d1a8abSmrg snprintf (buf, 16, "arg%d", i);
20663d1a8abSmrg params[i] = m_ctxt->new_param (NULL,
20763d1a8abSmrg param_type,
20863d1a8abSmrg buf);
20963d1a8abSmrg }
21063d1a8abSmrg const char *asm_name = bd.get_asm_name ();
21163d1a8abSmrg recording::function *result =
21263d1a8abSmrg new recording::function (m_ctxt,
21363d1a8abSmrg NULL,
21463d1a8abSmrg GCC_JIT_FUNCTION_IMPORTED, // FIXME
21563d1a8abSmrg func_type->get_return_type (),
21663d1a8abSmrg m_ctxt->new_string (asm_name),
21763d1a8abSmrg param_types.length (),
21863d1a8abSmrg params,
21963d1a8abSmrg func_type->is_variadic (),
22063d1a8abSmrg builtin_id);
22163d1a8abSmrg delete[] params;
22263d1a8abSmrg
22363d1a8abSmrg /* PR/64020 - If the client code is using builtin cos or sin,
22463d1a8abSmrg tree-ssa-math-opt.c's execute_cse_sincos_1 may attempt
22563d1a8abSmrg to optimize them to use __builtin_cexpi; for this,
22663d1a8abSmrg BUILT_IN_CEXPI needs to exist.
22763d1a8abSmrg
22863d1a8abSmrg Hence query the cache for BUILT_IN_CEXPI to ensure it gets
22963d1a8abSmrg built. */
23063d1a8abSmrg if (builtin_id == BUILT_IN_COS || builtin_id == BUILT_IN_SIN)
23163d1a8abSmrg (void)get_builtin_function_by_id (BUILT_IN_CEXPI);
23263d1a8abSmrg
23363d1a8abSmrg /* builtins.c:expand_builtin_cexpi can optimize the various
23463d1a8abSmrg CEXP builtins to SINCOS builtins, and hence we may require
23563d1a8abSmrg SINCOS builtins latter.
23663d1a8abSmrg
23763d1a8abSmrg Ensure the appropriate SINCOS builtin exists. */
23863d1a8abSmrg if (builtin_id == BUILT_IN_CEXPIF)
23963d1a8abSmrg (void)get_builtin_function_by_id (BUILT_IN_SINCOSF);
24063d1a8abSmrg else if (builtin_id == BUILT_IN_CEXPI)
24163d1a8abSmrg (void)get_builtin_function_by_id (BUILT_IN_SINCOS);
24263d1a8abSmrg else if (builtin_id == BUILT_IN_CEXPIL)
24363d1a8abSmrg (void)get_builtin_function_by_id (BUILT_IN_SINCOSL);
24463d1a8abSmrg
24563d1a8abSmrg return result;
24663d1a8abSmrg }
24763d1a8abSmrg
24863d1a8abSmrg /* Get the recording::type for a given type of builtin function,
24963d1a8abSmrg by ID, creating it if it doesn't already exist. */
25063d1a8abSmrg
25163d1a8abSmrg recording::type *
get_type(enum jit_builtin_type type_id)25263d1a8abSmrg builtins_manager::get_type (enum jit_builtin_type type_id)
25363d1a8abSmrg {
25463d1a8abSmrg if (!m_types[type_id])
25563d1a8abSmrg m_types[type_id] = make_type (type_id);
25663d1a8abSmrg return m_types[type_id];
25763d1a8abSmrg }
25863d1a8abSmrg
25963d1a8abSmrg /* Create the recording::type for a given type of builtin function. */
26063d1a8abSmrg
26163d1a8abSmrg recording::type *
make_type(enum jit_builtin_type type_id)26263d1a8abSmrg builtins_manager::make_type (enum jit_builtin_type type_id)
26363d1a8abSmrg {
26463d1a8abSmrg /* Use builtin-types.def to construct a switch statement, with each
26563d1a8abSmrg case deferring to one of the methods below:
26663d1a8abSmrg - DEF_PRIMITIVE_TYPE is handled as a call to make_primitive_type.
26763d1a8abSmrg - the various DEF_FUNCTION_TYPE_n are handled by variadic calls
26863d1a8abSmrg to make_fn_type.
26963d1a8abSmrg - similarly for DEF_FUNCTION_TYPE_VAR_n, but setting the
27063d1a8abSmrg "is_variadic" argument.
27163d1a8abSmrg - DEF_POINTER_TYPE is handled by make_ptr_type.
27263d1a8abSmrg That should handle everything, but just in case we also suppy a
27363d1a8abSmrg gcc_unreachable default clause. */
27463d1a8abSmrg switch (type_id)
27563d1a8abSmrg {
27663d1a8abSmrg #define DEF_PRIMITIVE_TYPE(ENUM, VALUE) \
27763d1a8abSmrg case ENUM: return make_primitive_type (ENUM);
27863d1a8abSmrg #define DEF_FUNCTION_TYPE_0(ENUM, RETURN) \
27963d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 0);
28063d1a8abSmrg #define DEF_FUNCTION_TYPE_1(ENUM, RETURN, ARG1) \
28163d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 1, ARG1);
28263d1a8abSmrg #define DEF_FUNCTION_TYPE_2(ENUM, RETURN, ARG1, ARG2) \
28363d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 2, ARG1, ARG2);
28463d1a8abSmrg #define DEF_FUNCTION_TYPE_3(ENUM, RETURN, ARG1, ARG2, ARG3) \
28563d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 3, ARG1, ARG2, ARG3);
28663d1a8abSmrg #define DEF_FUNCTION_TYPE_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \
28763d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 4, ARG1, ARG2, ARG3, \
28863d1a8abSmrg ARG4);
28963d1a8abSmrg #define DEF_FUNCTION_TYPE_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
29063d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 5, ARG1, ARG2, ARG3, \
29163d1a8abSmrg ARG4, ARG5);
29263d1a8abSmrg #define DEF_FUNCTION_TYPE_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
29363d1a8abSmrg ARG6) \
29463d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 6, ARG1, ARG2, ARG3, \
29563d1a8abSmrg ARG4, ARG5, ARG6);
29663d1a8abSmrg #define DEF_FUNCTION_TYPE_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
29763d1a8abSmrg ARG6, ARG7) \
29863d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 7, ARG1, ARG2, ARG3, \
29963d1a8abSmrg ARG4, ARG5, ARG6, ARG7);
30063d1a8abSmrg #define DEF_FUNCTION_TYPE_8(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
30163d1a8abSmrg ARG6, ARG7, ARG8) \
30263d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 8, ARG1, ARG2, ARG3, \
30363d1a8abSmrg ARG4, ARG5, ARG6, ARG7, ARG8);
30463d1a8abSmrg #define DEF_FUNCTION_TYPE_9(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
30563d1a8abSmrg ARG6, ARG7, ARG8, ARG9) \
30663d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 9, ARG1, ARG2, ARG3, \
30763d1a8abSmrg ARG4, ARG5, ARG6, ARG7, ARG8, ARG9);
30863d1a8abSmrg #define DEF_FUNCTION_TYPE_10(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
30963d1a8abSmrg ARG6, ARG7, ARG8, ARG9, ARG10) \
31063d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 10, ARG1, ARG2, ARG3, \
31163d1a8abSmrg ARG4, ARG5, ARG6, ARG7, ARG8, ARG9, \
31263d1a8abSmrg ARG10);
31363d1a8abSmrg #define DEF_FUNCTION_TYPE_11(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
31463d1a8abSmrg ARG6, ARG7, ARG8, ARG9, ARG10, ARG11) \
31563d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 0, 11, ARG1, ARG2, ARG3, \
31663d1a8abSmrg ARG4, ARG5, ARG6, ARG7, ARG8, ARG9, \
31763d1a8abSmrg ARG10, ARG11);
31863d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_0(ENUM, RETURN) \
31963d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 0);
32063d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_1(ENUM, RETURN, ARG1) \
32163d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 1, ARG1);
32263d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_2(ENUM, RETURN, ARG1, ARG2) \
32363d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 2, ARG1, ARG2);
32463d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_3(ENUM, RETURN, ARG1, ARG2, ARG3) \
32563d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 3, ARG1, ARG2, ARG3);
32663d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \
32763d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 4, ARG1, ARG2, ARG3, \
32863d1a8abSmrg ARG4);
32963d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
33063d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 5, ARG1, ARG2, ARG3, \
33163d1a8abSmrg ARG4, ARG5);
33263d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
33363d1a8abSmrg ARG6) \
33463d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 6, ARG1, ARG2, ARG3, \
33563d1a8abSmrg ARG4, ARG5, ARG6);
33663d1a8abSmrg #define DEF_FUNCTION_TYPE_VAR_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
33763d1a8abSmrg ARG6, ARG7) \
33863d1a8abSmrg case ENUM: return make_fn_type (ENUM, RETURN, 1, 7, ARG1, ARG2, ARG3, \
33963d1a8abSmrg ARG4, ARG5, ARG6, ARG7);
34063d1a8abSmrg #define DEF_POINTER_TYPE(ENUM, TYPE) \
34163d1a8abSmrg case ENUM: return make_ptr_type (ENUM, TYPE);
34263d1a8abSmrg
34363d1a8abSmrg #include "builtin-types.def"
34463d1a8abSmrg
34563d1a8abSmrg #undef DEF_PRIMITIVE_TYPE
34663d1a8abSmrg #undef DEF_FUNCTION_TYPE_0
34763d1a8abSmrg #undef DEF_FUNCTION_TYPE_1
34863d1a8abSmrg #undef DEF_FUNCTION_TYPE_2
34963d1a8abSmrg #undef DEF_FUNCTION_TYPE_3
35063d1a8abSmrg #undef DEF_FUNCTION_TYPE_4
35163d1a8abSmrg #undef DEF_FUNCTION_TYPE_5
35263d1a8abSmrg #undef DEF_FUNCTION_TYPE_6
35363d1a8abSmrg #undef DEF_FUNCTION_TYPE_7
35463d1a8abSmrg #undef DEF_FUNCTION_TYPE_8
35563d1a8abSmrg #undef DEF_FUNCTION_TYPE_9
35663d1a8abSmrg #undef DEF_FUNCTION_TYPE_10
35763d1a8abSmrg #undef DEF_FUNCTION_TYPE_11
35863d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_0
35963d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_1
36063d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_2
36163d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_3
36263d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_4
36363d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_5
36463d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_6
36563d1a8abSmrg #undef DEF_FUNCTION_TYPE_VAR_7
36663d1a8abSmrg #undef DEF_POINTER_TYPE
36763d1a8abSmrg
36863d1a8abSmrg default:
36963d1a8abSmrg gcc_unreachable ();
37063d1a8abSmrg }
37163d1a8abSmrg }
37263d1a8abSmrg
37363d1a8abSmrg /* Create the recording::type for a given primitive type within the
37463d1a8abSmrg builtin system.
37563d1a8abSmrg
37663d1a8abSmrg Only some types are currently supported. */
37763d1a8abSmrg
37863d1a8abSmrg recording::type*
make_primitive_type(enum jit_builtin_type type_id)37963d1a8abSmrg builtins_manager::make_primitive_type (enum jit_builtin_type type_id)
38063d1a8abSmrg {
38163d1a8abSmrg switch (type_id)
38263d1a8abSmrg {
38363d1a8abSmrg default:
38463d1a8abSmrg // only some of these types are implemented so far:
38563d1a8abSmrg m_ctxt->add_error (NULL,
38663d1a8abSmrg "unimplemented primitive type for builtin: %d", type_id);
38763d1a8abSmrg return NULL;
38863d1a8abSmrg
38963d1a8abSmrg case BT_VOID: return m_ctxt->get_type (GCC_JIT_TYPE_VOID);
39063d1a8abSmrg case BT_BOOL: return m_ctxt->get_type (GCC_JIT_TYPE_BOOL);
39163d1a8abSmrg case BT_INT: return m_ctxt->get_type (GCC_JIT_TYPE_INT);
39263d1a8abSmrg case BT_UINT: return m_ctxt->get_type (GCC_JIT_TYPE_UNSIGNED_INT);
39363d1a8abSmrg case BT_LONG: return m_ctxt->get_type (GCC_JIT_TYPE_LONG);
39463d1a8abSmrg case BT_ULONG: return m_ctxt->get_type (GCC_JIT_TYPE_UNSIGNED_LONG);
39563d1a8abSmrg case BT_LONGLONG: return m_ctxt->get_type (GCC_JIT_TYPE_LONG_LONG);
39663d1a8abSmrg case BT_ULONGLONG:
39763d1a8abSmrg return m_ctxt->get_type (GCC_JIT_TYPE_UNSIGNED_LONG_LONG);
39863d1a8abSmrg // case BT_INT128:
39963d1a8abSmrg // case BT_UINT128:
40063d1a8abSmrg // case BT_INTMAX:
40163d1a8abSmrg // case BT_UINTMAX:
40263d1a8abSmrg case BT_UINT16: return m_ctxt->get_int_type (2, false);
40363d1a8abSmrg case BT_UINT32: return m_ctxt->get_int_type (4, false);
40463d1a8abSmrg case BT_UINT64: return m_ctxt->get_int_type (8, false);
40563d1a8abSmrg // case BT_WORD:
40663d1a8abSmrg // case BT_UNWINDWORD:
40763d1a8abSmrg case BT_FLOAT: return m_ctxt->get_type (GCC_JIT_TYPE_FLOAT);
40863d1a8abSmrg case BT_DOUBLE: return m_ctxt->get_type (GCC_JIT_TYPE_DOUBLE);
40963d1a8abSmrg case BT_LONGDOUBLE: return m_ctxt->get_type (GCC_JIT_TYPE_LONG_DOUBLE);
41063d1a8abSmrg case BT_COMPLEX_FLOAT:
41163d1a8abSmrg return m_ctxt->get_type (GCC_JIT_TYPE_COMPLEX_FLOAT);
41263d1a8abSmrg case BT_COMPLEX_DOUBLE:
41363d1a8abSmrg return m_ctxt->get_type (GCC_JIT_TYPE_COMPLEX_DOUBLE);
41463d1a8abSmrg case BT_COMPLEX_LONGDOUBLE:
41563d1a8abSmrg return m_ctxt->get_type (GCC_JIT_TYPE_COMPLEX_LONG_DOUBLE);
41663d1a8abSmrg case BT_PTR: return m_ctxt->get_type (GCC_JIT_TYPE_VOID_PTR);
41763d1a8abSmrg case BT_FILEPTR: return m_ctxt->get_type (GCC_JIT_TYPE_FILE_PTR);
41863d1a8abSmrg // case BT_CONST:
41963d1a8abSmrg // case BT_VOLATILE_PTR:
42063d1a8abSmrg // case BT_CONST_VOLATILE_PTR:
42163d1a8abSmrg // case BT_PTRMODE:
42263d1a8abSmrg // case BT_INT_PTR:
42363d1a8abSmrg // case BT_FLOAT_PTR:
42463d1a8abSmrg case BT_DOUBLE_PTR:
42563d1a8abSmrg return m_ctxt->get_type (GCC_JIT_TYPE_DOUBLE)->get_pointer ();
42663d1a8abSmrg // case BT_CONST_DOUBLE_PTR:
42763d1a8abSmrg // case BT_LONGDOUBLE_PTR:
42863d1a8abSmrg // case BT_PID:
42963d1a8abSmrg // case BT_SIZE:
43063d1a8abSmrg // case BT_SSIZE:
43163d1a8abSmrg // case BT_WINT:
43263d1a8abSmrg // case BT_STRING:
43363d1a8abSmrg case BT_CONST_STRING: return m_ctxt->get_type (GCC_JIT_TYPE_CONST_CHAR_PTR);
43463d1a8abSmrg // case BT_DFLOAT32:
43563d1a8abSmrg // case BT_DFLOAT64:
43663d1a8abSmrg // case BT_DFLOAT128:
43763d1a8abSmrg // case BT_VALIST_REF:
43863d1a8abSmrg // case BT_VALIST_ARG:
43963d1a8abSmrg // case BT_I1:
44063d1a8abSmrg // case BT_I2:
44163d1a8abSmrg // case BT_I4:
44263d1a8abSmrg // case BT_I8:
44363d1a8abSmrg // case BT_I16:
44463d1a8abSmrg }
44563d1a8abSmrg }
44663d1a8abSmrg
44763d1a8abSmrg /* Create the recording::function_type for a given function type
44863d1a8abSmrg signature. */
44963d1a8abSmrg
45063d1a8abSmrg recording::function_type *
make_fn_type(enum jit_builtin_type,enum jit_builtin_type return_type_id,bool is_variadic,int num_args,...)45163d1a8abSmrg builtins_manager::make_fn_type (enum jit_builtin_type,
45263d1a8abSmrg enum jit_builtin_type return_type_id,
45363d1a8abSmrg bool is_variadic,
45463d1a8abSmrg int num_args, ...)
45563d1a8abSmrg {
45663d1a8abSmrg va_list list;
45763d1a8abSmrg int i;
45863d1a8abSmrg recording::type **param_types = new recording::type *[num_args];
45963d1a8abSmrg recording::type *return_type = NULL;
46063d1a8abSmrg recording::function_type *result = NULL;
46163d1a8abSmrg
46263d1a8abSmrg va_start (list, num_args);
46363d1a8abSmrg for (i = 0; i < num_args; ++i)
46463d1a8abSmrg {
46563d1a8abSmrg enum jit_builtin_type arg_type_id =
46663d1a8abSmrg (enum jit_builtin_type) va_arg (list, int);
46763d1a8abSmrg param_types[i] = get_type (arg_type_id);
46863d1a8abSmrg if (!param_types[i])
46963d1a8abSmrg goto error;
47063d1a8abSmrg }
47163d1a8abSmrg va_end (list);
47263d1a8abSmrg
47363d1a8abSmrg return_type = get_type (return_type_id);
47463d1a8abSmrg if (!return_type)
47563d1a8abSmrg goto error;
47663d1a8abSmrg
47763d1a8abSmrg result = m_ctxt->new_function_type (return_type,
47863d1a8abSmrg num_args,
47963d1a8abSmrg param_types,
48063d1a8abSmrg is_variadic);
48163d1a8abSmrg
48263d1a8abSmrg error:
48363d1a8abSmrg delete[] param_types;
48463d1a8abSmrg return result;
48563d1a8abSmrg }
48663d1a8abSmrg
48763d1a8abSmrg /* Handler for DEF_POINTER_TYPE within builtins_manager::make_type. */
48863d1a8abSmrg
48963d1a8abSmrg recording::type *
make_ptr_type(enum jit_builtin_type,enum jit_builtin_type other_type_id)49063d1a8abSmrg builtins_manager::make_ptr_type (enum jit_builtin_type,
49163d1a8abSmrg enum jit_builtin_type other_type_id)
49263d1a8abSmrg {
49363d1a8abSmrg recording::type *base_type = get_type (other_type_id);
49463d1a8abSmrg return base_type->get_pointer ();
49563d1a8abSmrg }
49663d1a8abSmrg
49763d1a8abSmrg /* Playback support. */
49863d1a8abSmrg
49963d1a8abSmrg /* A builtins_manager is associated with a recording::context
50063d1a8abSmrg and might be reused for multiple compiles on various
50163d1a8abSmrg playback::contexts, perhaps with different options.
50263d1a8abSmrg
50363d1a8abSmrg Purge any playback state. Currently this is just the table of
50463d1a8abSmrg attributes. */
50563d1a8abSmrg
50663d1a8abSmrg void
finish_playback(void)50763d1a8abSmrg builtins_manager::finish_playback (void)
50863d1a8abSmrg {
50963d1a8abSmrg memset (m_attributes, 0, sizeof (m_attributes));
51063d1a8abSmrg }
51163d1a8abSmrg
51263d1a8abSmrg /* Get the enum built_in_class for BUILTIN_ID. */
51363d1a8abSmrg
51463d1a8abSmrg enum built_in_class
get_class(enum built_in_function builtin_id)51563d1a8abSmrg builtins_manager::get_class (enum built_in_function builtin_id)
51663d1a8abSmrg {
51763d1a8abSmrg return builtin_data[builtin_id].fnclass;
51863d1a8abSmrg }
51963d1a8abSmrg
52063d1a8abSmrg /* Is BUILTIN_ID implicit? */
52163d1a8abSmrg
52263d1a8abSmrg bool
implicit_p(enum built_in_function builtin_id)52363d1a8abSmrg builtins_manager::implicit_p (enum built_in_function builtin_id)
52463d1a8abSmrg {
52563d1a8abSmrg return builtin_data[builtin_id].implicit_p;
52663d1a8abSmrg }
52763d1a8abSmrg
52863d1a8abSmrg /* Get any attributes (in tree form) for the function declaration
52963d1a8abSmrg for BUILTIN_ID.
53063d1a8abSmrg
53163d1a8abSmrg These are created on-demand, and cached within the m_attributes
53263d1a8abSmrg array, until finish_playback. */
53363d1a8abSmrg
53463d1a8abSmrg tree
get_attrs_tree(enum built_in_function builtin_id)53563d1a8abSmrg builtins_manager::get_attrs_tree (enum built_in_function builtin_id)
53663d1a8abSmrg {
53763d1a8abSmrg enum built_in_attribute attr = builtin_data[builtin_id].attr;
53863d1a8abSmrg return get_attrs_tree (attr);
53963d1a8abSmrg }
54063d1a8abSmrg
54163d1a8abSmrg /* As above, but for an enum built_in_attribute. */
54263d1a8abSmrg
54363d1a8abSmrg tree
get_attrs_tree(enum built_in_attribute attr)54463d1a8abSmrg builtins_manager::get_attrs_tree (enum built_in_attribute attr)
54563d1a8abSmrg {
54663d1a8abSmrg gcc_assert (attr < ATTR_LAST);
54763d1a8abSmrg if (!m_attributes [attr])
54863d1a8abSmrg m_attributes [attr] = make_attrs_tree (attr);
54963d1a8abSmrg return m_attributes [attr];
55063d1a8abSmrg }
55163d1a8abSmrg
55263d1a8abSmrg /* Handle a cache-miss within the m_attributes array by
55363d1a8abSmrg generating the attributes for enum built_in_attribute
55463d1a8abSmrg in tree form. */
55563d1a8abSmrg
55663d1a8abSmrg tree
make_attrs_tree(enum built_in_attribute attr)55763d1a8abSmrg builtins_manager::make_attrs_tree (enum built_in_attribute attr)
55863d1a8abSmrg {
55963d1a8abSmrg switch (attr)
56063d1a8abSmrg {
56163d1a8abSmrg /* Generate cases from builtin-attrs.def. */
56263d1a8abSmrg #define DEF_ATTR_NULL_TREE(ENUM) \
56363d1a8abSmrg case ENUM: return NULL_TREE;
56463d1a8abSmrg #define DEF_ATTR_INT(ENUM, VALUE) \
56563d1a8abSmrg case ENUM: return build_int_cst (integer_type_node, VALUE);
56663d1a8abSmrg #define DEF_ATTR_STRING(ENUM, VALUE) \
56763d1a8abSmrg case ENUM: return build_string (strlen (VALUE), VALUE);
56863d1a8abSmrg #define DEF_ATTR_IDENT(ENUM, STRING) \
56963d1a8abSmrg case ENUM: return get_identifier (STRING);
57063d1a8abSmrg #define DEF_ATTR_TREE_LIST(ENUM, PURPOSE, VALUE, CHAIN) \
57163d1a8abSmrg case ENUM: return tree_cons (get_attrs_tree (PURPOSE), \
57263d1a8abSmrg get_attrs_tree (VALUE), \
57363d1a8abSmrg get_attrs_tree (CHAIN));
57463d1a8abSmrg #include "builtin-attrs.def"
57563d1a8abSmrg #undef DEF_ATTR_NULL_TREE
57663d1a8abSmrg #undef DEF_ATTR_INT
57763d1a8abSmrg #undef DEF_ATTR_IDENT
57863d1a8abSmrg #undef DEF_ATTR_TREE_LIST
57963d1a8abSmrg
58063d1a8abSmrg default:
58163d1a8abSmrg /* We somehow got a value not covered by the autogenerated
58263d1a8abSmrg cases. */
58363d1a8abSmrg gcc_unreachable ();
58463d1a8abSmrg return NULL;
58563d1a8abSmrg }
58663d1a8abSmrg }
58763d1a8abSmrg
58863d1a8abSmrg } // namespace jit
58963d1a8abSmrg } // namespace gcc
590