Snowdream

posts - 403, comments - 310, trackbacks - 0, articles - 7

BlogJava :: 首頁 :: 新隨筆 :: 聯系 :: 聚合

:: 管理

原來GCC是支持尾遞歸的遞推優化的

Posted on 2008-05-24 02:05 ZelluX 閱讀(2453) 評論(1) 編輯收藏所屬分類: C/C++

水木上有人貼了個有趣的程序

#include? < stdlib.h >

#include? < stdio.h >

void ?print_forever( int ?n)

{

????printf( " %d\n " ,?n);

????print_forever(n? + ? 1 );

}

int ?main( int ?argc,? char ? * argv[])

{

????print_forever( 0 );

???? return ? 0 ;

}

用gcc -O2編譯運行后會不停地打印從0開始的自然數，注意如果編譯器沒有做優化的話，打印到某個數的時候肯定會發生棧溢出從而程序終止的情況，但這個程序卻能一直運行下去，說明編譯器做了尾遞歸優化。

用gcc -O2 -S生成這個程序的匯編代碼后證實了這一點。

.L6:

????????movl????%ebx,?4(%esp)

????????addl????$1,?%ebx

????????movl????$.LC0,?(%esp)

????????call????printf

????????jmp?????.L6

print_forever的關鍵部分被優化成了一個n不斷增加的死循環。

接下來是分析哪個優化選項處理了尾遞歸。

用O3 O2 O1三個優化強度編譯程序，查看匯編代碼后，發現尾遞歸優化是O2中新增的功能。于是查看O2新開啟的優化開關：
gcc -c -Q -O1 --help=optimizers > /tmp/O1-opts
gcc -c -Q -O2 --help=optimizers > /tmp/O2-opts
diff /tmp/O2-opts /tmp/O1-opts?| grep enabled
輸出結果：

經證實是-foptimize-sibling-calls這個選項實現了尾遞歸的優化，具體內容可以參看
http://gcc.gnu.org./ml/gcc-patches/2000-03/msg00867.html

# re: 原來GCC是支持尾遞歸的遞推優化的 回復 更多評論

2013-09-02 22:37 by darkhorse

我在ubuntu下面匯編的結果是：

print_forever:
pushl %ebp
movl %esp, %ebp
pushl %ebx
subl $20, %esp
movl 8(%ebp), %ebx
.p2align 4,,7
.p2align 3

怎么跟你的不一樣？

新用戶注冊刷新評論列表


只有注冊用戶登錄后才能發表評論。




網站導航: 博客園 IT新聞 Chat2DB C++博客博問管理
相關文章: 內存模型相關的資料 OS Lab 零散記錄 MaNGOS閱讀筆記 (1) 原來GCC是支持尾遞歸的遞推優化的 C/C++中的序列點 Lab2 C++ 入門筆記 (8) - Object-Oriented Programming memcpy函數代碼分析在未安裝qt的windows系統中運行qt程序 C++ 入門筆記 (7)

Snowdream

原來GCC是支持尾遞歸的遞推優化的

評論

# re: 原來GCC是支持尾遞歸的遞推優化的 回復 更多評論

日歷

常用鏈接

留言簿(21)

隨筆分類(390)

隨筆檔案(389)

文章檔案(7)

相冊

15ers

友情鏈接

收藏夾

搜索

積分與排名

最新隨筆

最新評論

閱讀排行榜

評論排行榜

Snowdream

原來GCC是支持尾遞歸的遞推優化的

評論

# re: 原來GCC是支持尾遞歸的遞推優化的 回復 更多評論

日歷

常用鏈接

留言簿(21)

隨筆分類(390)

隨筆檔案(389)

文章檔案(7)

相冊

15ers

友情鏈接

收藏夾

搜索

積分與排名

最新隨筆

最新評論

閱讀排行榜

評論排行榜

# re: 原來GCC是支持尾遞歸的遞推優化的回復更多評論