[参考译文] TMS320F2806：针对优化级别4的编译器验证

请考虑此示例。

C:\examples>type f1.c
int gets_inlined();

int main()
{
    return gets_inlined();
}

C:\examples>type f2.c
int gets_inlined()
{
    return 0x1234;
}

C:\examples>cl2000 f1.c f2.c -z -o no_opt.out
[f1.c]
[f2.c]
<Linking>

C:\examples>dis2000 no_opt.out > no_opt_dis.txt

前两条命令显示源文件。  第三个命令将这些文件构建到程序中。  (由于它使用链接器默认存储器范围、因此几乎肯定不会在您的系统上运行。)  第四条命令将程序反汇编到文件 no_opt_dis.txt 中。  检查该文件并搜索函数 main ...

00000118        _main:
00000118   7640   LCR          0x00011b
00000119   011b
0000011a   0006   LRETR        
0000011b        _gets_inlined:
0000011b   28a9   MOV          AL, #0x1234
0000011c   1234
0000011d   0006   LRETR        

LCR 指令执行调用。  操作数是被调用函数的地址。  在这种情况下、它会调用地址0x11b 处的函数 ges_inlined。  该函数 ges_inlined 返回累加器低半部分中的值0x1234。   

再次构建、但优化级别为4。  然后反汇编到 opt4_dis.txt 文件中。   

C:\examples>cl2000 --opt_level=4 f1.c f2.c -z -o opt4.out
[f1.c]
[f2.c]
<Linking>

C:\examples>dis2000 opt4.out > opt4_dis.txt

检查 opt4_dis.txt 并搜索函数 main...

0000010e        _main:
0000010e   28a9   MOV          AL, #0x1234
0000010f   1234
00000110   0006   LRETR 

现在 main 不调用任何函数、它返回值0x1234。

谢谢、此致、

乔治