<rt id="bn8ez"></rt>
<label id="bn8ez"></label>
  • 

    • <span id="bn8ez"></span>
    

    <label id="bn8ez"><meter id="bn8ez"></meter></label>
    

    
    

    




    







												


        





    
	
    
		
			


    
	
    

    posts - 403, comments - 310, trackbacks - 0, articles - 7
    
	
 
BlogJava ::
首頁(yè) ::
新隨筆 ::
聯(lián)系 ::
聚合
 ::
管理


    
		    		
	
    
	
    
		
			
    
			
    
		    		
		
			
    
				
					
	
    
		
    
			
    
				原來(lái)GCC是支持尾遞歸的遞推優(yōu)化的
			
    
 			Posted on 2008-05-24 02:05 ZelluX 閱讀(2444) 評(píng)論(1)  編輯  收藏  所屬分類: C/C++ 
			
			


		
    
		
    
		
    水木上有人貼了個(gè)有趣的程序
    
		
    
				
				#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編譯運(yùn)行后會(huì)不停地打印從0開(kāi)始的自然數(shù)，注意如果編譯器沒(méi)有做優(yōu)化的話，打印到某個(gè)數(shù)的時(shí)候肯定會(huì)發(fā)生棧溢出從而程序終止的情況，但這個(gè)程序卻能一直運(yùn)行下去，說(shuō)明編譯器做了尾遞歸優(yōu)化。

    用gcc -O2 -S生成這個(gè)程序的匯編代碼后證實(shí)了這一點(diǎn)。
    .L6:
    ????????movl????    %ebx,?4(%esp)
    ????????addl????$    1,?%ebx
    ????????movl????$.LC0,?(    %esp)
    ????????call????printf
    ????????jmp?????.L6
    print_forever的關(guān)鍵部分被優(yōu)化成了一個(gè)n不斷增加的死循環(huán)。

    接下來(lái)是分析哪個(gè)優(yōu)化選項(xiàng)處理了尾遞歸。

    用O3 O2 O1三個(gè)優(yōu)化強(qiáng)度編譯程序，查看匯編代碼后，發(fā)現(xiàn)尾遞歸優(yōu)化是O2中新增的功能。于是查看O2新開(kāi)啟的優(yōu)化開(kāi)關(guān)：
    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
    輸出結(jié)果：

    經(jīng)證實(shí)是-foptimize-sibling-calls這個(gè)選項(xiàng)實(shí)現(xiàn)了尾遞歸的優(yōu)化，具體內(nèi)容可以參看
    http://gcc.gnu.org./ml/gcc-patches/2000-03/msg00867.html
    
	
    
	


    
	    
    

    

    評(píng)論
    
	
			
    
				
    
					
    
						# re: 原來(lái)GCC是支持尾遞歸的遞推優(yōu)化的  回復(fù)  更多評(píng)論
						  
					
    
					2013-09-02 22:37 by darkhorse
				
    
				
    我在ubuntu下面匯編的結(jié)果是：

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

    怎么跟你的不一樣？
    
			
    
		




    








    

				
			
    
		    		
	
    
	
    
		
			


		
	
    

    



    







    
        
	



主站蜘蛛池模板：
国产一区二区三区免费观看在线|
亚洲AV第一页国产精品|
亚洲免费人成视频观看|
亚洲一区二区三区深夜天堂|
99热这里只有精品6免费|
毛片a级毛片免费观看免下载
|
一级毛片a免费播放王色|
青青草无码免费一二三区|
免费特级黄毛片在线成人观看|
亚洲国产成人精品无码一区二区|
久久www免费人成看片|
亚洲国产精品成人久久久|
四虎永久在线精品免费观看视频|
亚洲三级在线视频|
成年美女黄网站色大免费视频|
亚洲欧美日韩中文字幕一区二区三区|
亚洲精品动漫免费二区|
亚洲AV无码一区二区三区网址|
国产成人免费片在线观看|
亚洲神级电影国语版|
一个人看的在线免费视频|
久久精品国产亚洲AV不卡|
亚洲成_人网站图片|
日本免费久久久久久久网站|
久久国产亚洲精品无码|
无人在线观看完整免费版视频|
在线aⅴ亚洲中文字幕|
国产大片线上免费看|
大妹子影视剧在线观看全集免费|
亚洲av女电影网|
最近中文字幕无免费视频|
特级aaaaaaaaa毛片免费视频|
亚洲精品色午夜无码专区日韩|
最近中文字幕国语免费完整
|
久久不见久久见中文字幕免费|
亚洲AV无码久久精品色欲|
老汉精品免费AV在线播放|
久久综合久久综合亚洲|
免费v片在线观看无遮挡|
久久综合九色综合97免费下载
|
亚洲熟妇av一区二区三区|