GCC-3.4.6源代码学习笔记（175）

5.13.5.3.2.       基于cgraph图的优化

从cgraph_finalize_compilation_unit返回到finish_file，这时这个编译单元中全局变量及用到的静态变量都已经被输出为汇编代码，用到的函数也已经构建入cgraph图中，其中被调用者、调用者关系一目了然。接下来调用下面的cgraph_optimize根据这个cgraph网进行优化，并输出函数的汇编代码。

 

1579 void

1580 cgraph_optimize (void)                                                                       in cgraphunit.c

1581 {

1582   if (!flag_unit_at_a_time)

1583     return;

1584   timevar_push (TV_CGRAPHOPT);

1585   if (!quiet_flag)

1586     fprintf (stderr, "Performingintraprocedural optimizations/n");

1587

1588   cgraph_mark_local_functions();

1589   if (cgraph_dump_file)

1590   {

1591     fprintf (cgraph_dump_file, "Marked");

1592     dump_cgraph (cgraph_dump_file);

1593   }

1594

1595   cgraph_decide_inlining();

1596   cgraph_global_info_ready = true;

1597   if (cgraph_dump_file)

1598   {

1599     fprintf (cgraph_dump_file, "Optimized");

1600     dump_cgraph (cgraph_dump_file);

1601   }

1602   timevar_pop (TV_CGRAPHOPT);

1603

1604   /* Outputeverything.  */

1605   if (!quiet_flag)

1606     fprintf (stderr, "Assembling functions:/n");

1607   cgraph_expand_all_functions();

1608   if (cgraph_dump_file)

1609   {

1610     fprintf (cgraph_dump_file, "/nFinal");

1611     dump_cgraph (cgraph_dump_file);

1612   }

1613 }

 

看到这是一个强度颇高的优化，只有优化开关打开时才进行。

5.13.5.3.2.1. 标记局部函数

首先标记局部函数。这里局部函数的含义是：调用局限在当前编译单元中，并且其所有的调用都是显式的，因而我们可以改变其调用规范（calling convention）。

 

1556 static void

1557 cgraph_mark_local_functions (void)                                                     in cgraphunit.c

1558 {

1559   structcgraph_node *node;

1560

1561   if (cgraph_dump_file)

1562     fprintf (cgraph_dump_file, "/nMarkinglocal functions:");

1563

1564   /* Figure outfunctions we want to assemble.  */

1565   for (node = cgraph_nodes;node; node = node->next)

1566   {

1567     node->local.local = (!node->needed

1568                      && DECL_SAVED_TREE(node->decl)

1569                      && !TREE_PUBLIC(node->decl));

1570     if (cgraph_dump_file &&node->local.local)

1571       fprintf (cgraph_dump_file, " %s",cgraph_node_name (node));

1572   }

1573   if (cgraph_dump_file)

1574     fprintf (cgraph_dump_file,"/n/n");

1575 }

 

使1567行赋值表达式右边为1的函数是，地址没有被引用（node->needed因而为0）的静态函数（TREE_PUBLIC为0）。

5.13.5.3.2.2. 确定函数能否内联

前面我们已经为声明为内联的函数进行了分析，现在我们要进一步确定理论上能内联的函数，是否能真正内联。

 

1233 static void

1234 cgraph_decide_inlining (void)                                                               in cgraphunit.c

1235 {

1236   struct cgraph_node *node;

1237   int nnodes;

1238   structcgraph_node **order =

1239     xcalloc (cgraph_n_nodes, sizeof (structcgraph_node *));

1240   structcgraph_node **inlined =

1241     xcalloc (cgraph_n_nodes, sizeof (structcgraph_node *));

1242   structcgraph_node **inlined_callees =

1243     xcalloc (cgraph_n_nodes, sizeof (structcgraph_node *));

1244   int ninlined;

1245   int ninlined_callees;

1246   int old_insns = 0;

1247   int i, y;

1248

1249   for (node = cgraph_nodes;node; node = node->next)

1250     initial_insns += node->local.self_insns;

1251   overall_insns = initial_insns;

1252

1253   nnodes = cgraph_postorder(order);

1254

1255   if (cgraph_dump_file)

1256     fprintf (cgraph_dump_file,

1257           "/nDeciding on inlining.  Starting with %i insns./n",

1258            initial_insns);

1259

1260   for (node = cgraph_nodes;node; node = node->next)

1261     node->aux = 0;

1262

1263   if (cgraph_dump_file)

1264     fprintf (cgraph_dump_file, "/nInliningalways_inline functions:/n");

1265 #ifdef ENABLE_CHECKING

1266   for (node = cgraph_nodes;node; node = node->next)

1267     if (node->aux || node->output)

1268       abort ();

1269 #endif

 

前面看到cgraph_node的local.self_insns保存了该函数（不限于内联函数）估算的指令数，因此在1251行，overall_insns及initial_insns得到该编译单元的总指令数。