mirrors/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-23 19:03:59 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

genopinit: Split init_all_optabs [PR113575].

Browse Source 
init_all_optabs initializes > 10000 patterns for riscv targets.  This
leads to pathological situations in dataflow analysis (which can occur
with many adjacent stores).
To alleviate this this patch makes genopinit split the init_all_optabs
function into several init_optabs_xx functions that each initialize 1000
patterns.

With this change insn-opinit.cc's compilation time is reduced from 4+
minutes to 1:30 and memory consumption decreases from 1.2G to 630M.

gcc/ChangeLog:

	PR other/113575

	* genopinit.cc (main): Split init_all_optabs into functions
	of 1000 patterns each.
This commit is contained in:
Robin Dapp 2024-01-24 17:28:31 +01:00
parent eb619490b0
commit 861997a9c7
1 changed files with 38 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
gcc/genopinit.cc
View File

@ -367,11 +367,44 @@ main (int argc, const char **argv)
fprintf (s_file, " { %#08x, CODE_FOR_%s },\n", p->sort_num, p->name);
fprintf (s_file, "};\n\n");
fprintf (s_file, "void\ninit_all_optabs (struct target_optabs *optabs)\n{\n");
fprintf (s_file, " bool *ena = optabs->pat_enable;\n");
for (i = 0; patterns.iterate (i, &p); ++i)
fprintf (s_file, " ena[%u] = HAVE_%s;\n", i, p->name);
fprintf (s_file, "}\n\n");
/* Some targets like riscv have a large number of patterns. In order to
prevent pathological situations in dataflow analysis split the init
function into separate ones that initialize 1000 patterns each. */
const int patterns_per_function = 1000;
if (patterns.length () > patterns_per_function)
{
unsigned num_init_functions
= patterns.length () / patterns_per_function + 1;
for (i = 0; i < num_init_functions; i++)
{
fprintf (s_file, "static void\ninit_optabs_%02d "
"(struct target_optabs *optabs)\n{\n", i);
fprintf (s_file, " bool *ena = optabs->pat_enable;\n");
unsigned start = i * patterns_per_function;
unsigned end = MIN (patterns.length (),
(i + 1) * patterns_per_function);
for (j = start; j < end; ++j)
fprintf (s_file, " ena[%u] = HAVE_%s;\n", j, patterns[j].name);
fprintf (s_file, "}\n\n");
}
fprintf (s_file, "void\ninit_all_optabs "
"(struct target_optabs *optabs)\n{\n");
for (i = 0; i < num_init_functions; ++i)
fprintf (s_file, " init_optabs_%02d (optabs);\n", i);
fprintf (s_file, "}\n\n");
}
else
{
fprintf (s_file, "void\ninit_all_optabs "
"(struct target_optabs *optabs)\n{\n");
fprintf (s_file, " bool *ena = optabs->pat_enable;\n");
for (i = 0; patterns.iterate (i, &p); ++i)
fprintf (s_file, " ena[%u] = HAVE_%s;\n", i, p->name);
fprintf (s_file, "}\n\n");
}
fprintf (s_file,
"/* Returns TRUE if the target supports any of the partial vector\n"