看板Programming
標 題結構化指令的底層塑造法 (範例)
發信站楓橋驛站 (Wed Dec 15 04:38:47 2010)
轉信站ptt!news.ntu!ctu-gate!news.nctu!newsfeed.nthu!news.cs.nthu!MapleBBS
內容範圍: 程式編譯器.
內容程度: 一般.
內容抽象: 實例.
內容精度: 實作.
這篇是使用我自己的一個小編譯器產生的反組譯結果. 你可以自行比較結構化
語法與機械指令轉換間的差異.
總共有三個範例:
(A) 簡單 IF/ELSE/ENDIF
(B) 巢套 IF..ENDIF
(C) FOR 結構
另外解釋一下, 反組譯後的機械指令不是x86 碼, 或是其它種類的CPU.而是我
自行定義的運算機器.
「系統虛擬碼」是前置處理器產生的初步結果. 然後編譯器才轉換成「實體」
的機械碼. 最後的反組譯結果是由機械碼轉換回來的. 已經看不出虛擬碼或原始碼
的格式. 但大體上還是可以猜猜看的.
我列出這一篇的原因是讓遊客能順便看看轉換前後的影響. 即使你不寫編譯器.
也能看出轉換後的複雜度. 如果這是上百行到數千行的程式. 肯定你要分解出各個
「制式結構」段落和一般運算碼, 就會很傷眼睛了.
你不需要去完全瞭解指令的意義. 只要看看轉換前後變得有多大即可.
你可以從這個範例知道. 如果每次你要用到結構化指令的功能時, 如果還要「
手寫」出這些「制式」指令. 你就沒有哪麼大的程式生產量了! 而且, 除錯與維護
也會變得困難許多. 看到這裡, 你就能想像, 最早能將青菜蘿蔔煮成桌上佳餚的人
有多偉大了!
Tommy 99/12/15
(A) 簡單 IF/ELSE/ENDIF
=*= 原始碼 =*=
$IF f REM '假指令 $IF 參數: 旗標號碼.'
fmt 'Do IF'
$ELSE
fmt 'Do ELSE'
$ENDIF
=*= 系統虛擬碼 =*=
指令名 機械碼 參數
[$IF] * (f) ,f
[fmt] 34 (S) ,Do IF
[$ELSE] *
[fmt] 34 (S) ,Do ELSE
[$ENDIF] *
[POut] 35
=*= 機械碼 =*=
33 0 3 1 31 34 0 31 3 2 22 3 31 34 1 22 4 31 35
=*= 反組譯碼 =*=
Offset == Code ==
00000: Nif f
00002: Goto .IF_f.1
00004: Bgn
00005: Fmt 'Do IF'
00007: Bgn
00008: Goto .IF_f.1.
00010: Lab .IF_f.1
00012: Bgn
00013: Fmt 'Do ELSE'
00015: Lab .IF_f.1.
00017: Bgn
00018: POut
(B) 巢套 IF..ENDIF
=*= 原始碼 =*=
$IF f REM '假指令 $IF 參數: 旗標號碼.'
fmt 'Do IF'
$IF f2
fmt 'Do IF level 2'
$ELSE
fmt 'Do ELSE level 2'
$IF f3
fmt 'Do IF level 3'
$ELSE
fmt 'Do ELSE level 3'
$ENDIF
$ENDIF
$ELSE
fmt 'Do ELSE'
$ENDIF
=*= 系統虛擬碼 =*=
指令名 機械碼 參數
[$IF] * (f) ,f
[fmt] 34 (S) ,Do IF
[$IF] * (f) ,f2
[fmt] 34 (S) ,Do IF level 2
[$ELSE] *
[fmt] 34 (S) ,Do ELSE level 2
[$IF] * (f) ,f3
[fmt] 34 (S) ,Do IF level 3
[$ELSE] *
[fmt] 34 (S) ,Do ELSE level 3
[$ENDIF] *
[$ENDIF] *
[$ELSE] *
[fmt] 34 (S) ,Do ELSE
[$ENDIF] *
[POut] 35
=*= 機械碼 =*=
33 0 3 1 31 34 0 33 2 3 3 31 34 1 31 3 4 22 5 31 34 2
33 6 3 7 31 34 3 31 3 8 22 9 31 34 4 22 10 31 22 11 31
31 3 12 22 13 31 34 5 22 14 31 35
=*= 反組譯碼 =*=
Offset == Code ==
00000: Nif f
00002: Goto .IF_f.1
00004: Bgn
00005: Fmt 'Do IF'
00007: Nif f2
00009: Goto .IF_f2.2
00011: Bgn
00012: Fmt 'Do IF level 2'
00014: Bgn
00015: Goto .IF_f2.2.
00017: Lab .IF_f2.2
00019: Bgn
00020: Fmt 'Do ELSE level 2'
00022: Nif f3
00024: Goto .IF_f3.3
00026: Bgn
00027: Fmt 'Do IF level 3'
00029: Bgn
00030: Goto .IF_f3.3.
00032: Lab .IF_f3.3
00034: Bgn
00035: Fmt 'Do ELSE level 3'
00037: Lab .IF_f3.3.
00039: Bgn
00040: Lab .IF_f2.2.
00042: Bgn
00043: Bgn
00044: Goto .IF_f.1.
00046: Lab .IF_f.1
00048: Bgn
00049: Fmt 'Do ELSE'
00051: Lab .IF_f.1.
00053: Bgn
00054: POut
(C) FOR 結構
=*= 原始碼 =*=
$FOR mCnt 1 10 1 REM '假指令 $For 參數: 變數名, 初值, 終點值, 遞增值.'
fmt '?m:mCnt'
pout
$NEXT mCnt
=*= 系統虛擬碼 =*=
指令名 機械碼 參數
[$FOR] 24 (vLLL) ,mCnt ,1 ,10 ,1
[fmt] 34 (S) ,?m:mCnt
[pout] 35
[$NEXT] 25 (v) ,mCnt
[POut] 35
=*= 機械碼 =*=
91 1 33 2 3 3 31 114 4 109 3 22 5 117 0 4 3 6 31 34 1
35 91 8 31 114 9 115 5 116 31 3 10 22 11 32 12 35
=*= 反組譯碼 =*=
Offset == Code ==
00000: SetFF .f_FOR_mCnt.1
00002: Nif .f_FOR_mCnt.1
00004: Goto .FOR_mCnt.1.
00006: Bgn
00007: CntSw mCnt
00009: CntS 1
00011: Lab .FOR_mCnt.1
00013: CmpCnt > 10
00016: Goto .FOR_mCnt.1.
00018: Bgn
00019: Fmt '?m:mCnt'
00021: POut
00022: SetFF .f_FOR_mCnt.1
00024: Bgn
00025: CntSw mCnt
00027: CntDo 1
00029: CntSv
00030: Bgn
00031: Goto .FOR_mCnt.1
00033: Lab .FOR_mCnt.1.
00035: If .f_FOR_mCnt.1
00037: POut
--
※ Origin: 楓橋驛站<bbs.cs.nthu.edu.tw>
◆ From: tommy @ 125-232-132-134.dynamic.hinet.net