Studying note of GCC-3.4.6 source (26 cont2)

common_handle_option (continue)

 

1179     case OPT_fprofile:

1180       profile_flag = value;

1181       break;

1182

1183     case OPT_fprofile_arcs:

1184       profile_arc_flag_set = true;

1185       profile_arc_flag = value;

1186       break;

1187

1188     case OPT_fprofile_use:

1189       if (!flag_branch_probabilities_set)

1190         flag_branch_probabilities = value;

1191       if (!flag_profile_values_set)

1192         flag_profile_values = value;

1193       if (!flag_unroll_loops_set)

1194         flag_unroll_loops = value;

1195       if (!flag_peel_loops_set)

1196         flag_peel_loops = value;

1197       if (!flag_tracer_set)

1198         flag_tracer = value;

1199       if (!flag_value_profile_transformations_set)

1200         flag_value_profile_transformations = value;

1201       break;

1202

1203     case OPT_fprofile_generate:

1204       if (!profile_arc_flag_set)

1205         profile_arc_flag = value;

1206       if (!flag_profile_values_set)

1207         flag_profile_values = value;

1208       if (!flag_value_profile_transformations_set)

1209         flag_value_profile_transformations = value;

1210       break;

1211

1212     case OPT_fprofile_values:

1213       flag_profile_values_set = true;

1214       flag_profile_values = value;

1215       break;

1216

1217     case OPT_fvpt:

1218       flag_value_profile_transformations_set = value;

1219       flag_value_profile_transformations = value;

1220       break;

1221

1222     case OPT_frandom_seed:

1223       /* The real switch is -fno-random-seed.  */

1224       if (value)

1225         return 0;

1226       flag_random_seed = NULL;

1227       break;

1228

1229     case OPT_frandom_seed_:

1230       flag_random_seed = arg;

1231       break;

1232

1233     case OPT_freduce_all_givs:

1234       flag_reduce_all_givs = value;

1235       break;

1236

1237     case OPT_freg_struct_return:

1238       flag_pcc_struct_return = !value;

1239       break;

1240

1241     case OPT_fregmove:

1242       flag_regmove = value;

1243       break;

1244

1245     case OPT_frename_registers:

1246       flag_rename_registers = value;

1247       break;

1248

1249     case OPT_freorder_blocks:

1250       flag_reorder_blocks = value;

1251       break;

1252

1253     case OPT_freorder_functions:

1254       flag_reorder_functions = value;

1255       break;

1256

1257     case OPT_frerun_cse_after_loop:

1258       flag_rerun_cse_after_loop = value;

1259       break;

1260

1261     case OPT_frerun_loop_opt:

1262       flag_rerun_loop_opt = value;

1263       break;

1264

1265     case OPT_frounding_math:

1266       flag_rounding_math = value;

1267       break;

1268

1269     case OPT_fsched_interblock:

1270       flag_schedule_interblock = value;

1271       break;

1272

1273     case OPT_fsched_spec:

1274       flag_schedule_speculative = value;

1275       break;

1276

1277     case OPT_fsched_spec_load:

1278       flag_schedule_speculative_load = value;

1279       break;

1280

1281     case OPT_fsched_spec_load_dangerous:

1282       flag_schedule_speculative_load_dangerous = value;

1283       break;

1284

1285     case OPT_fsched_verbose_:

1286 #ifdef INSN_SCHEDULING

1287       fix_sched_param ("verbose", arg);

1288       break;

1289 #else

1290       return 0;

1291 #endif

1292

1293     case OPT_fsched2_use_superblocks:

1294       flag_sched2_use_superblocks = value;

1295       break;

1296

1297     case OPT_fsched2_use_traces:

1298       flag_sched2_use_traces = value;

1299       break;

1300

1301     case OPT_fschedule_insns:

1302       flag_schedule_insns = value;

1303       break;

1304

1305     case OPT_fschedule_insns2:

1306       flag_schedule_insns_after_reload = value;

1307       break;

1308

1309     case OPT_fsched_stalled_insns:

1310       flag_sched_stalled_insns = value;

1311       break;

1312

1313     case OPT_fsched_stalled_insns_:

1314       flag_sched_stalled_insns = value;

1315       if (flag_sched_stalled_insns == 0)

1316         flag_sched_stalled_insns = -1;

1317       break;

1318

1319     case OPT_fsched_stalled_insns_dep:

1320       flag_sched_stalled_insns_dep = 1;

1321       break;

1322

1323     case OPT_fsched_stalled_insns_dep_:

1324       flag_sched_stalled_insns_dep = value;

1325       break;

 

在上面

profile_flag（-fprofile，-p）如果非0，包括额外的代码，这些代码将输出适合概要程序prof分析的信息。这个选项必须同时用于源文件及链接目标文件。

profile_arc_flag（-fprofile-arcs）如果非0，使用这个选项编译程序并运行之，以得到一包含代码中每一块的执行计数的文件。随后程序再以选项重新编译，之前建立文件中所包含的信息用于优化那些最频繁执行的跳转代码。没有这些信息，GCC则只能猜测哪条路径最可能执取而进行优化。这些信息保存在与源文件同名具有.da后缀的文件中。

这个选项的第二个用处是与选项-ftest-coverage同用以支持gcov。这对选项为程序中的每个函数创建流图（flow graph），从而确定图的生成树（a spanning tree for the graph）。每个不在生成树中的函数被插入代码以记录执行次数。对于每个只有一个出入口的块，代码被直接加入块中。对于有多个出入口的块，则创建新的，能追查这些出入口的块。用这些选项编译出并由gcov运行的程序，将比用-a和-ax选项编译出的程序，运行得慢些，但由-a选项产生的计数不能提供足够的信息来估计跳转的概率。

（-fprofile-use）使能执行概要反馈指导优化（profile feedback directed optimizations）所要求的公共选项。

flag_profile_values（–fprofile-values）如果非0，测量值的概要（value profile）。

flag_unroll_loops（-funroll-loops）如果非0，当在编译时刻可以确定循环次数足够小，而且循环的指令数足够少时，循环被展开——循环体被移除，复制指令使其执行正确的次数。循环被确定为足够小，如果循环中的指令数乘以循环次数小于一个常量（目前设为100）。这个选项总是同时设置-fstrength-reduce和-frerun-cse-after-loop。

flag_tracer（-ftracer）如果非0，通过尾复制（tail duplication）执行超级块构造（superblock formation）。

flag_value_profile_transformations（–fvpt）如果非0，使用值直方图优化代码。

flag_random_seed（-frandom-seed[=]）是一串随机字符串。

flag_reduce_all_givs（-freduce-all-givs）如果非0，强力简化一般的归纳变量（循环计数）。是否产生更好的代码依赖于源码中循环的结构。除了Fortran，默认选项是-fno-reduce-all-givs。

flag_schedule_interblock（-fsched-interblock）如果非0，表示不限于在基本块内调度指令。

flag_schedule_speculative（-fsched-spec）如果非0，表示允许非加载指令执行一些投机性的动作（speculative motion）。

flag_schedule_speculative_load（-fsched-spec-load）如果非0，表示允许一些加载指令执行一些投机性的动作（speculative motion）。

flag_schedule_speculative_load_dangerous（-fsched-spec-load-dangerous）如果非0，允许更多加载指令执行一些投机性的动作（speculative motion）。

flag_sched2_use_superblocks（-fsched2-use-superblocks）如果非0，当设置了标识符flag_schedule_insns_after_reload，使用EBB（扩展基本块）调度器。

flag_sched2_use_traces（-fsched2-use-traces）如果非0，当设置了标识符flag_schedule_insns_after_reload，构建记录（traces）和EBB （扩展基本块）调度器。

flag_sched_stalled_insns（-fsched-stalled-insns[=]）表示指令可以提前（prematurely）从停止指令队列（the queue of stalled instruction）移到就绪队列。

flag_sched_stalled_insns_dep（-fsched-stalled-insns-dep[=]）控制在多少指令组中，检查一个停止指令（stalled instruction）的依赖关系。这个指令是能提前从停止指令队列（the queue of stalled instruction）移到就绪队列的一个候选（仅当flag_sched_stalled_insns设置时，才有作用）。

在1285行，选项-fsched-verbose=由fix_sched_param处理。宏INSN_SCHEDULING则由工具genattr产生，只要芯片被描述为功能单元（另一种描述芯片的方法是把它描述为确定有限状态DFA）。

 

190  void

191  fix_sched_param (const char *param, const char *val)                             in haifa-sched.c

192  {

193    if (!strcmp (param, "verbose"))

194      sched_verbose_param = atoi (val);

195    else

196      warning ("fix_sched_param: unknown param: %s", param);

197  }

 

sched_verbose_param控制调度器所打印出的调试信息。他由选项-fsched-verbose=N设定:

N>0及没有使用-dSR（-dS + -dR）：输出到stderr。

N>=10：输出到（与-dSR无关）。

N=1：等同于使用-dSR。

N=2：基本块的执行概率，就绪列表的详细信息，单元/指令的信息。

N=3：abort点的RTL结构，控制流（control-flow），域信息（regions info）。

N=5：依赖信息（dependences info）。

 

common_handle_option (continue)

 

1327     case OPT_fshared_data:

1328       flag_shared_data = value;

1329       break;

1330

1331     case OPT_fsignaling_nans:

1332       flag_signaling_nans = value;

1333       break;

1334

1335     case OPT_fsingle_precision_constant:

1336       flag_single_precision_constant = value;

1337       break;

1338

1339     case OPT_fstack_check:

1340       flag_stack_check = value;

1341       break;

1342

1343     case OPT_fstack_limit:

1344       /* The real switch is -fno-stack-limit.  */

1345       if (value)

1346         return 0;

1347       stack_limit_rtx = NULL_RTX;

1348       break;

1349

1350     case OPT_fstack_limit_register_:

1351     {

1352        int reg = decode_reg_name (arg);

1353        if (reg < 0)

1354          error ("unrecognized register name /"%s/"", arg);

1355        else

1356          stack_limit_rtx = gen_rtx_REG (Pmode, reg);

1357     }

1358     break;

1359

1360     case OPT_fstack_limit_symbol_:

1361       stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));

1362       break;

1363

1364     case OPT_fstrength_reduce:

1365       flag_strength_reduce = value;

1366       break;

1367

1368     case OPT_fstrict_aliasing:

1369       flag_strict_aliasing = value;

1370       break;

1371

1372     case OPT_fsyntax_only:

1373       flag_syntax_only = value;

1374       break;

1375

1376     case OPT_ftest_coverage:

1377       flag_test_coverage = value;

1378       break;

1379

1380     case OPT_fthread_jumps:

1381       flag_thread_jumps = value;

1382       break;

1383

1384     case OPT_ftime_report:

1385       time_report = value;

1386       break;

1387

1388     case OPT_ftls_model_:

1389       if (!strcmp (arg, "global-dynamic"))

1390         flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;

1391       else if (!strcmp (arg, "local-dynamic"))

1392         flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;

1393       else if (!strcmp (arg, "initial-exec"))

1394         flag_tls_default = TLS_MODEL_INITIAL_EXEC;

1395       else if (!strcmp (arg, "local-exec"))

1396         flag_tls_default = TLS_MODEL_LOCAL_EXEC;

1397       else

1398         warning ("unknown tls-model /"%s/"", arg);

1399       break;

1400

1401     case OPT_ftracer:

1402       flag_tracer_set = true;

1403       flag_tracer = value;

1404       break;

1405

1406     case OPT_ftrapping_math:

1407       flag_trapping_math = value;

1408       break;

1409

1410     case OPT_ftrapv:

1411       flag_trapv = value;

1412       break;

1413

1414     case OPT_funit_at_a_time:

1415       flag_unit_at_a_time = value;

1416       break;

1417

1418     case OPT_funroll_all_loops:

1419       flag_unroll_all_loops = value;

1420       break;

1421

1422     case OPT_funroll_loops:

1423       flag_unroll_loops_set = true;

1424       flag_unroll_loops = value;

1425       break;

1426

1427     case OPT_funsafe_math_optimizations:

1428       flag_unsafe_math_optimizations = value;

1429       break;

1430

1431     case OPT_funswitch_loops:

1432       flag_unswitch_loops = value;

1433       break;

1434

1435     case OPT_funwind_tables:

1436       flag_unwind_tables = value;

1437       break;

1438

1439     case OPT_fverbose_asm:

1440       flag_verbose_asm = value;

1441       break;

1442

1443     case OPT_fweb:

1444       flag_web = value;

1445       break;

1446       

1447     case OPT_fwrapv:

1448       flag_wrapv = value;

1449       break;

1450

1451     case OPT_fwritable_strings:

1452       flag_writable_strings = value;

1453       if (flag_writable_strings)

1454         inform ("-fwritable-strings is deprecated; "

1455                 "see documentation for details");

1456       break;

1457

1458     case OPT_fzero_initialized_in_bss:

1459       flag_zero_initialized_in_bss = value;

1460       break;

1461

1462     case OPT_g:

1463       set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);

1464       break;

1465

1466     case OPT_gcoff:

1467       set_debug_level (SDB_DEBUG, false, arg);

1468       break;

1469

1470     case OPT_gdwarf_2:

1471       set_debug_level (DWARF2_DEBUG, false, arg);

1472       break;

1473

1474     case OPT_ggdb:

1475       set_debug_level (NO_DEBUG, 2, arg);

1476       break;

1477

1478     case OPT_gstabs:

1479     case OPT_gstabs_:

1480       set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);

1481       break;

1482

1483     case OPT_gvms:

1484       set_debug_level (VMS_DEBUG, false, arg);

1485       break;

1486

1487     case OPT_gxcoff:

1488     case OPT_gxcoff_:

1489       set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);

1490       break;

1491

1492     case OPT_m:

1493       set_target_switch (arg);

1494       break;

1495

1496     case OPT_o:

1497       asm_file_name = arg;

1498       break;

1499

1500     case OPT_p:

1501       profile_flag = 1;

1502       break;

1503

1504     case OPT_pedantic:

1505       pedantic = 1;

1506       break;

1507

1508     case OPT_pedantic_errors:

1509       flag_pedantic_errors = pedantic = 1;

1510       break;

1511

1512     case OPT_quiet:

1513       quiet_flag = 1;

1514       break;

1515

1516     case OPT_version:

1517       version_flag = 1;

1518       break;

1519

1520     case OPT_w:

1521       inhibit_warnings = true;

1522       break;     

1523   }

1524

1525   return 1;

1526 }

 

上面，涉及的选项有：

flag_shared_data（-fshared-data）这个选项要求数据被共享而不是私有。这仅在那些，共享数据能被同个程序的多个进程所访问，而且每个进程有自己的私有数据拷贝的，操作系统上有意义。

flag_single_precision_constant（-fsingle-precision-constant）如果非0，浮点数值的常量声明被保存为单精度浮点数而不是双精度数。

flag_stack_check（-fstack-check）如果非0，产生能执行防止程序栈溢出的测试代码。所产生的代码不进行真正的检查，但它会使得操作系统在栈扩展时做如此检测。当程序在多线程环境下运行时，这可能是需要的，但在单线程程序中，栈溢出会被自动检测。

stack_limit_rtx（-fstack-limit，-fstack-limit-register=register，-fstack-limit-symbol=symbol），指明包含了限制栈大小的地址的具名寄存器。这个选项仅能被用于减少栈大小，它不能用于将栈扩展超出操作系统指明的大小。

      这个变量，当不为NULL时，表示任何时候在栈上分配空间，所得到的栈指针不能越过该地址。也就是说，对于向下生长的栈，栈指针必须永远大于等于这个地址，而对于向上生长的栈，栈指针必须小于该地址。目前，rtx对象可能是一个REG或者一个SYMBOL_REF，不过这依赖于后端的支持。

flag_syntax_only（-fsyntax-only）如果非0，表示只做语法检查，不产生任何输出。

flag_test_coverage（-ftest-coverage）如果非0，编译器将生成包含gcov所需信息的文件。该输出文件与源文件同名，但具有不同的后缀以表明其内容。具有.bb后缀的文件包含执行代码中基本块到源文件行号的映射。这个信息被gcov使用以将执行次数关联到行号。具有.bbg后缀的文件包含程序流图（flow graph）中的弧（arc）的列表。这个信息被gcov使用来构建流图，并且根据由-fprofile-arcs选项产生的.da后缀文件中数据，计算执行次数。

time_report（-ftime-report）如果非0，当编译完成时，编译器将打印出编译所使用时间的统计。打印的时间计为，用户，系统，及每个遍，并在最后汇总。

flag_tls_default（-ftls-model=）设置默认使用的线程局部储存（tls）模式。

flag_trapv（-ftrapv）如果非0，产生代码用于陷入（trap）有符号加减法及乘法的溢出。这个选项可用于软件测试，一旦一个整数发生溢出即产生一个core文件，而这个溢出通常是不被检测的。默认的选项是-fno-trapv。

flag_unroll_all_loops（-funroll-all-loops）如果非0，这个选项设置-funroll-loops并去除对于被展开（unroll）循环大小的限制，而且亦将展开那些循环次数不能确定的循环。这个选项通常会产生更慢更大的代码。

为了展开循环次数不能确定的循环，循环将通过测试每个代码块结尾的退出条件，被展开一定的次数。这产生更大的包含自己多个拷贝的循环，因而减少这个循环的重复次数。

flag_unwind_tables（-funwind-tables），这个选项类似于-fexceptions，除了仅产生必需的静态数据，而且对生成的代码没有其他影响。这个选项为内部使用而设计，不应用在命令行中。如果该变量为非0，表示如果支持，产生栈框回退信息表。

flag_verbose_asm（-fverbose-asm）如果非0，导致在生成的汇编代码中，产生额外的注释信息（以使得它更具可读性）。这个选项通常对于那些真正需要阅读生成的汇编代码的人有用（可能在调试编译器时）。-fno-verbose-asm，是默认选项，导致这些额外的信息被忽略，对于比较2个汇编文件有用。

flag_wrapv（-fwrapv）如果非0，有符号算术计算的溢出将被回绕（wrap around）。

flag_zero_initialized_in_bss（-fzero-initialized-in-bss）如果非0，表示将0初始化数据放入bss段。

-g[level]，输出将包括一种gdb可以使用的形式的调试信息。其格式和内容依赖于编译器产生的目标格式（stabs，COFF，XCOFF或DWARF）。

级别设置是可选的。级别值指明了所包含的调试信息量。默认值是级别2。级别1产生回溯所要求的全局信息，但不包括局部变量及行号。级别2包括级别1的所有信息加上局部变量及行号。级别3包括级别2的信息及诸如宏定义等额外信息。

在使用stabs格式的系统上，这个选项将产生只能被gdb使用的调试信息格式。

有可能将这个选项与-O一起使用来产生优化的代码。在优化条件下，调试的过程会困难些，因为优化会改变产生的代码，因此不再具有源文件和产生代码间的一一对应。一些目标代码将被重定位（relocated），而一些源代码可能不产生任何执行代码。

-gcoff[level]，如果支持，产生COFF格式的调试信息。这个选项最常用于SVR4之前的System V上的SDB。级别设定也是可选的。

-gdwarf-2[level]，如果支持，产生DWARF版本2格式的调试信息。级别设定是可选的。它是IRIX 6上DBX所使用的格式。

-ggdb[level]，产生专用于gdb格式的调试信息，包括所有可用的gdb扩展。级别设定是可选的。

-gstabs[level]，-gstabs+[level]，如果支持，产生stabs格式的调试信息。级别设定是可选的。仅当级别设为+才会包含gdb的扩展。这个选项可在大多数BSD系统上，由DBX使用，但在MIPS，Alpha或SVR4 上的DBX中不能工作。而且在SVR4，需要GNU的汇编器。

-gvms[level]，如果支持，产生VMS调试格式的调试信息。级别设定是可选的。这个格式由VMS上的DEBUG使用。

-gxcoff[level]，-gxcoff+[level]，如果支持，产生XCOFF格式的调试信息。级别设定是可选的。仅当级别设为+ 才会包含gdb的扩展，这可能会使得其他调试器不能使用，及可能导致非GNU汇编器产生问题。这是RS/6000上DBX使用的格式。

对于这些产生调试信息的选项，调用set_debug_level进行处理。注意到参数arg援引选项的级别。

 

1616 static void

1617 set_debug_level (enum debug_info_type type, int extended, const char *arg)          in opts.c

1618 {

1619   static bool type_explicit;

1620

1621   use_gnu_debug_info_extensions = extended;

1622

1623   if (type == NO_DEBUG)

1624   {

1625     if (write_symbols == NO_DEBUG)

1626     {

1627       write_symbols = PREFERRED_DEBUGGING_TYPE;

1628

1629       if (extended == 2)

1630       {

1631 #ifdef DWARF2_DEBUGGING_INFO

1632         write_symbols = DWARF2_DEBUG;

1633 #elif defined DBX_DEBUGGING_INFO

1634         write_symbols = DBX_DEBUG;

1635 #endif

1636       }

1637

1638       if (write_symbols == NO_DEBUG)

1639         warning ("target system does not support debug output");

1640     }

1641   }

1642   else

1643   {

1644     /* Does it conflict with an already selected type?  */

1645     if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)

1646       error ("debug format /"%s/" conflicts with prior selection",

1647            debug_type_names[type]);

1648     write_symbols = type;

1649     type_explicit = true;

1650   }

1651

1652   /* A debug flag without a level defaults to level 2.  */

1653   if (*arg == '/0')

1654   {

1655     if (!debug_info_level)

1656       debug_info_level = 2;

1657   }

1658   else

1659   {

1660     debug_info_level = integral_argument (arg);

1661     if (debug_info_level == (unsigned int) -1)

1662       error ("unrecognised debug output level /"%s/"", arg);

1663     else if (debug_info_level > 3)

1664       error ("debug output level %s is too high", arg);

1665   }

1666 }

 

在1621行，use_gnu_debug_info_extensions如果非0，表示在所产生的符号调试信息中，仅使用GNU扩展。目前，仅当write_symbols被设为DBX_DEBUG，XCOFF_DEBUG或DWARF_DEBUG时，起作用。

 

26    enum debug_info_type                                                                                in flags.h

27    {

28      NO_DEBUG,         /* Write no debug info.  */

29      DBX_DEBUG,       /* Write BSD .stabs for DBX (using dbxout.c).  */

30      SDB_DEBUG,        /* Write COFF for (old) SDB (using sdbout.c).  */

31      DWARF_DEBUG,         /* Write Dwarf debug info (using dwarfout.c).  */

32      DWARF2_DEBUG,        /* Write Dwarf v2 debug info (using dwarf2out.c).  */

33      XCOFF_DEBUG,          /* Write IBM/Xcoff debug info (using dbxout.c).  */

34      VMS_DEBUG,        /* Write VMS debug info (using vmsdbgout.c).  */

35      VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).

36                                   and DWARF v2 debug info (using dwarf2out.c).  */

37    };

 

而对于1655行的debug_info_level，它是debug_info_level类型，这个类型表示产生的信息的级别。

 

45    enum debug_info_level                                                                               in flags.h

46    {

47      DINFO_LEVEL_NONE,          /* Write no debugging info.  */

48      DINFO_LEVEL_TERSE,  /* Write minimal info to support tracebacks only.  */

49      DINFO_LEVEL_NORMAL,     /* Write info for all declarations (and line table).  */

50      DINFO_LEVEL_VERBOSE    /* Write normal info plus #define/#undef info.  */

51    };