嵌入式GCC优化魔法

Question

我有一个项目，我尝试为微控制器构建固件，并尝试更好地控制使用的优化标志。我想要，而不是使用-O

以下是我尝试的和不起作用的：

我知道我可以用-O1编译项目。所以我使用了-Q和--help标志来输出当我激活-O1标志时激活的标志。我使用这些信息在我的构建过程中手动指定不同的标志，编译工作正常，但是在链接阶段失败了，因为. bss部分不再适合我的内存了（我只有384kByte可用）。

当我在链接器脚本中增加RAM大小时，链接可以正常工作，但最终会失败。bss部分被放置在416kbyte，二值图像比直接使用-O1时大75%。

当我比较gcc报告的标志和参数时，这两个版本之间没有区别，但是没有-O1的版本仍然要大得多。

根据GCC文档（GCC手册），-O标志是否仅激活特定的优化标志，因此也可以手动执行（或不执行？）

以下是我的gcc命令：

具有单一优化标志的GCC调用

gcc -std=c99 -msoft-float -fno-inline -fdata-sections -ffunction-sections -Wall -Wextra\
-faggressive-loop-optimizations -fauto-inc-dec -fbranch-count-reg -fcombine-stack-adjustments\
-fcompare-elim -fcprop-registers -fdce -fdefer-pop -fdelayed-branch -fdelete-null-pointer-checks\
-fdse -fearly-inlining -ffast-math -fforward-propagate -ffp-contract=fast -ffp-int-builtin-inexact\
-ffunction-cse -fgcse-lm -fguess-branch-probability -fhandle-exceptions -fif-conversion -fif-conversion2\
-finline-atomics -finline-functions-called-once -fipa-profile -fipa-pure-const -fipa-reference\
-fira-algorithm=CB -fira-hoist-pressure -fira-share-save-slots -fira-share-spill-slots -fivopts\
-fjump-tables -flifetime-dse -flifetime-dse=2 -fmath-errno -fmove-loop-invariants -fomit-frame-pointer\
-fpeephole -fplt -fprefetch-loop-arrays -fprintf-return-value -frename-registers -freorder-blocks
-frtti -fsched-critical-path-heuristic -fsched-dep-count-heuristic -fsched-group-heuristic\
-fsched-interblock -fsched-last-insn-heuristic -fsched-rank-heuristic -fsched-spec -fsched-spec-insn-heuristic\
-fsched-stalled-insns-dep -fschedule-fusion -fshort-enums -fshrink-wrap -fshrink-wrap-separate\
-fsigned-zeros -fsplit-ivs-in-unroller -fsplit-wide-types -fssa-backprop -fssa-phiopt -fstack-reuse=all\
-fstdarg-opt -fstrict-volatile-bitfields -fno-threadsafe-statics -ftrapping-math -ftree-bit-ccp\
-ftree-builtin-call-dce -ftree-ccp -ftree-ch -ftree-coalesce-vars -ftree-copy-prop -ftree-cselim\ 
-ftree-dce -ftree-dominator-opts -ftree-dse -ftree-forwprop -ftree-fre -ftree-loop-if-convert -ftree-loop-im\
-ftree-loop-ivcanon -ftree-loop-optimize -ftree-parallelize-loops=1 -ftree-phiprop -ftree-pta\
-ftree-reassoc -ftree-scev-cprop -ftree-sink -ftree-slsr -ftree-sra -ftree-ter -fvar-tracking -fvar-tracking-assignments\
-fweb -fmerge-constants -fno-associative-math -fno-cx-limited-range -fno-exceptions -fno-finite-math-only\
-fno-reciprocal-math -fno-unsafe-math-optimizations -fexcess-precision=standard -qbsp=leon2 -DCPU_FREQ=CPU_FREQ_125MHz\
-fno-builtin-strtok -c -o timer.o timer.c

GCC与-O1

gcc -O1 -std=c99 -msoft-float -qbsp=leon2 -DCPU_FREQ=CPU_FREQ_125MHz -fno-builtin-strtok -c -o timer.o timer.c

如果需要，我也可以提供gcc的输出，看看在这两种情况下哪些标志是活动的。我发现的唯一区别是，-foverce-精度被设置为-O1的默认值。我尝试了两种可能性（快速和标准），但这没有任何区别。

有人知道-O选项另外激活了我忽略的什么魔法吗？




Answer 1

根据GCC手册

Most optimizations are only enabled if an -O level is set on the command line.
Otherwise they are disabled, even if individual optimization flags are specified.

因此，仅指定优化标志是不够的。例如，在这里，您可以看到，只有同时启用了-O和-fweb时，才会启用某些分析：

class pass_web : public rtl_opt_pass
{
  ...
  virtual bool gate (function *) { return (optimize > 0 && flag_web); }

即使指定-O1并选择性地从更高的优化级别启用优化，也不会可靠地工作，因为某些传递显式地依赖于-O值。例如，在这里您可以看到CSE优化的部分在-O1处被禁用：

else if (tem == 1 || optimize > 1)
  cse_cfg_altered |= cleanup_cfg (0);