国防科技大学：《编译原理》课程电子教案（PPT教学课件）第10章 优化

i:=m-1 j:=n T1=4*n v:=a[Til B if i>=j goto B i:=i+1 T6=T2 Tu=T2 T2=4*1 x:=a[T2] B2 x:=a [T2] T=T2 B5 T2=2 Bo Ta:=a[T2] if T3<v goto B2 Ts:=T4 T:=a [T4l T:=a [Til a [T2]=T aT2]=T14 T10=T4 j=j-1 B; a [Tl=x a [T l=x T4=4*j goto B2 Ts:=a[T4 if Ts>v goto B3 口复写传播（一）后 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ❑复写传播(一)后 i:=m-1 j:=n T1 :=4*n v:=a[T1 ] B1 i:=i+1 T2 :=4*i T3 :=a[T2 ] if T3<v goto B2 B2 j:=j-1 T4 :=4*j T5 :=a[T4 ] if T5>v goto B3 B3 if i>=j goto B6 B4 T6 := T2 x:=a[T2 ] T7 := T2 T8 := T4 T9 :=a [T4 ] a [T2 ]=T9 T10:= T4 a [T4 ]=x goto B2 B5 T11:= T2 x:=a [T2 ] T12:= T2 T13:= T1 T14:=a [T1 ] a [T2 ]=T14 T15:= T1 a [T1 ]=x B6

i:=m-1 j:=n T1=4*n v:=alTil BI if i>=j goto B i:=i+1 T6=T2 Tu=T2 T2=4*1 x:=a[T2l B2 Bs x:=a [T2] Bo T3:=a[T2] T=Tz T12=T2 if T3<v goto B2 Ts:=T4 T13=T1 To:=a [Tal T:=a [Til a [T2l=T9 a [T2l=T1 T10=T4 B; Ti:=T j=j-1 a [Tl=x a [T =x T4=4*j goto B2 Ts:=alTd ifTs>v goto B3 口复写传播（一）后 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ❑复写传播(一)后 i:=m-1 j:=n T1 :=4*n v:=a[T1 ] B1 i:=i+1 T2 :=4*i T3 :=a[T2 ] if T3<v goto B2 B2 j:=j-1 T4 :=4*j T5 :=a[T4 ] if T5>v goto B3 B3 if i>=j goto B6 B4 T6 := T2 x:=a[T2 ] T7 := T2 T8 := T4 T9 :=a [T4 ] a [T2 ]=T9 T10:= T4 a [T4 ]=x goto B2 B5 T11:= T2 x:=a [T2 ] T12:= T2 T13:= T1 T14:=a [T1 ] a [T2 ]=T14 T15:= T1 a [T1 ]=x B6

i:=m-1 j:=n T1=4*n v:=a[Tl Br if i>=j goto Bo B i:=i+1 T6=T2 T2=4*i X:=T3 Tu=T2 B2 T:=T2 B5 x:-T3 Bo T3:=a[T2] if T3<v goto B2 Ts:=T4 T12=T2 To:=T5 T13=T1 a [T2l-Ts T14-V T10=T4 a [T2]=v j=j-1 乃3 a [T4=T3 Ts:=Tl T4=4*j goto B2 a [Tl=T3 Ts:=alTa if Ts>y goto B3 口复写传播（二）后 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ❑复写传播(二)后 i:=m-1 j:=n T1 :=4*n v:=a[T1 ] B1 i:=i+1 T2 :=4*i T3 :=a[T2 ] if T3<v goto B2 B2 j:=j-1 T4 :=4*j T5 :=a[T4 ] if T5>v goto B3 B3 if i>=j goto B6 B4 T6 := T2 x:=T3 T7 := T2 T8 := T4 T9 :=T5 a [T2 ]=T5 T10:= T4 a [T4 ]= T3 goto B2 B5 T11:= T2 x:=T3 T12:= T2 T13:= T1 T14:= v a [T2 ]=v T15:= T1 a [T1 ]= T3 B6

i:=m-1 j:=n T1=4*n v:=aT 乃1 if i>=j goto B Ba 业 i:=i+1 T6=T2 T2=4*i x:=T3 T11=T2 B2 T:=T2 B5 X:=T3 Bo T3:=a[T2] if T3<v goto B2 Ts:=T4 T12=T2 To:=Ts T13=T1 a [T2l-Ts TH:=V T10=T4 a [T2]=v j=j-1 乃3 a[T4l=T3 Tis=Tr T4=4*j goto B2 a [T=T3 Ts:=a[Td if Tsv goto B3 口删除无用赋值 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ❑删除无用赋值 i:=m-1 j:=n T1 :=4*n v:=a[T1 ] B1 i:=i+1 T2 :=4*i T3 :=a[T2 ] if T3<v goto B2 B2 j:=j-1 T4 :=4*j T5 :=a[T4 ] if T5>v goto B3 B3 if i>=j goto B6 B4 T6 := T2 x:=T3 T7 := T2 T8 := T4 T9 :=T5 a [T2 ]=T5 T10:= T4 a [T4 ]= T3 goto B2 B5 T11:= T2 x:=T3 T12:= T2 T13:= T1 T14:= v a [T2 ]=v T15:= T1 a [T1 ]= T3 B6

i:=m-1 j:=n T1=4*n v:=a[Til B if i>=j goto B i:=i+1 T2=4*1 B2 Bs Bo Ta:=a[T2] if T3<v goto B2 a [TJ-Ts a [T=T3 a [T2]=v goto B2 a [T l=T3 j=j-1 B3 T4=4*j Ts:=a[T4 ifTs>y goto B3 口删除无用赋值后 国防科技大学计算机系602教研室

国防科技大学计算机系602教研室 ❑删除无用赋值后 i:=m-1 j:=n T1 :=4*n v:=a[T1 ] B1 i:=i+1 T2 :=4*i T3 :=a[T2 ] if T3<v goto B2 B2 j:=j-1 T4 :=4*j T5 :=a[T4 ] if T5>v goto B3 B3 if i>=j goto B6 B4 a [T2 ]=T5 a [T4 ]= T3 goto B2 B5 a [T2 ]=v a [T1 ]=T3 B6