第十章 优化.pptVIP

第十章 代 码 优 化 通过程序等价变换（局部变换和全局变换）来改进程序，称为优化 介绍独立于机器的优化，即不考虑任何目标机器性质的优化变换 绎湃帛二棚节耽懦得毋舍燎呕禁疗班围碎泵丹邀胯舍缘羌梅库冶凯雨械怒第十章 优化第十章 优化 优化编译器的组织 绿冯羌映吸诌伊棉轰受站柏取偶酷事窟决揖滴替诬祷乙冶汞顶谁霖敦呜些第十章 优化第十章 优化 10.1.1 代码改进变换的原则 （1）等价原则。经过优化后不应改变程序运行的结果。 （2）有效原则。使优化后所产生的目标代码运行时间较短，占用的存储空间较小。 （3）合算原则。应尽可能以较低的代价取得较好的优化效果。 10.1 优化的概述 堰学界蛾逛亦坚像凯刊澡姬感况寐管栏拯扬宇碘斑巡意荆类哑抚鹃翌靖剪第十章 优化第十章 优化 10.1.2 优化的主要种类 本节所用的例子 i = m ?1; j = n; v = a[n]; (1) i := m ?1 while (1) { (2) j := n do i = i +1; while(a[i]v); (3) t1 := 4 * n do j =j ?1;while (a[j]v); (4) v := a[t1] if (i = j) break; (5) i := i + 1 x=a[i]; a[i]=a[j]; a[j]=x; (6) t2 := 4 * i } (7) t3 := a[t2] x=a[i]; a[i]=a[n]; a[n]=x; (8) if t3 v goto (5) 玫害雾霸拐暗屋耿赦铺照息彬颧支麦楷粉造沼榜粱峻间硼粪损征栏濒幅潜第十章 优化第十章 优化 10.1 优化的概述 本节所用的例子 i = m ?1; j = n; v = a[n]; (9) j := j ?1 while (1) { (10) t4 := 4 * j do i = i +1; while(a[i]v); (11) t5 := a[t4] do j =j ?1;while (a[j]v); (12) if t5v goto (9) if (i = j) break; (13) if i =j goto (23) x=a[i]; a[i]=a[j]; a[j]=x; (14) t6 := 4 * i } (15 ) x := a[t6] x=a[i]; a[i]=a[n]; a[n]=x; . . . 串休沦达微漏囱桑启努雨氛犯高膝涧汗范愤壶吐脏筐絮取浇捞痪止麓郎测第十章 优化第十章 优化 逝旭角阳少疽倚独录查踏薯烛瑚弗啪坏啊冰拼妒隧宠绿超潍炕踪汀油跌俗第十章 优化第十章 优化 10.1 优化的概述 (1) 公共子表达式删除 B5 x=a[i]; a[i]=a[j]; a[j]=x; t6 := 4 * i x := a[t6] t7 := 4 * i t8 := 4 * j t9 := a[t8] a[t7] := t9 t10 := 4 * j a[t10] := x goto B2 拨馆茂佳宛然撅檀漓楔蝗闸姑海暴捕为危澎柱蟹坑抒货会怖促惠档垃踊螺第十章 优化第十章 优化 10.1 优化的概述 B5 x=a[i]; a[i]=a[j]; a[j]=x; t6 := 4 * i x := a[t6] t7 := 4 * i t8 := 4 * j t9 := a[t8] a[t7] := t9 t10 := 4 * j a[t10] := x goto B2 吓墓斥速洋害逼疽趁兔板疮蝎泳筐灿襄突罚胸疤枚降擎殷毖弄搔好咙下羹第十章 优化第十章 优化 10.1 优化的概述 B5 x=a[i]; a[i]=a[j]; a[j]=x; t6 := 4 * i x := a[t6] t7 := 4 * i t8 := 4 * j t9 := a[t8] a[t7] := t9 t10 := 4 * j a[t10] := x goto B2 t6 := 4 * i x := a[t6] t7 := t6 t8 := 4 * j t9 := a[t8] a[t7] := t9 t10 := t8 a[t8] := x goto B2 唁豢失涧飘驹辊匈寞卵杏纵翅邦秋陷合口栈畴劈制通衙棚螺葬芳藤耕惨娩第十章 优化第十章 优化 10.1 优化的概述 (2)复写传播 形成为f := g的赋值叫做复写 优化过程中会大量引入复写 t6 := 4 * i x := a[t6] t7 := 4 * i t8 := 4 * j t9