這次工作將一個中間語言的程序翻譯成了匯編，然后再翻譯成機器碼。這一次產生的匯編比較爛，到時候做個窺孔優化稍微處理一下就好了。等上層的設施搞定之后再將這個中間語言到匯編的程序重寫。下面是一個菲薄納氣數列的例子。
1：中間代碼。這是一個菲薄納氣函數的中間指令。
1 FUNCTION 4 fab STDCALL
2 PARAM 4 number
3 BEGIN
4 BLOCK
5 VAR 4 compare_result
6 BEGIN
7 LT int32s compare_result, int32s number, int32s 2
8 JBF int32s compare_result, @COMBINE
9 MOV int32s #RETURN_VALUE, int32s 1
10 JE @COMBINE
11 BLOCK @COMBINE
12 VAR 4 a
13 VAR 4 b
14 VAR 4 c
15 BEGIN
16 MOV int32s a, int32s 1
17 MOV int32s b, int32s 1
18 BLOCK @LOOP
19 BEGIN
20 ADD int32s c, int32s a, int32s b
21 MOV int32s a, int32s b
22 MOV int32s b, int32s c
23 SUB int32s number, int32s number, int32s 1
24 LT int32s compare_result, int32s number, int32s 2
25 JET int32s compare_result, @LOOP
26 JB @LOOP
27 END BLOCK
28 MOV int32s #RETURN_VALUE, int32s b
29 END BLOCK
30 END BLOCK
31 END FUNCTION
2：編譯后的匯編代碼（編譯成機器碼后使用Visual Studio 2008 Team System進行反匯編）
1 000B0000 FF F5 push ebp
2 000B0002 89 E5 mov ebp,esp
3 000B0004 81 EC 1C 00 00 00 sub esp,1Ch
4 000B000A 60 pushad
5 000B000B B8 02 00 00 00 mov eax,2
6 000B0010 89 C2 mov edx,eax
7 000B0012 8B 85 08 00 00 00 mov eax,dword ptr [ebp+00000008h]
8 000B0018 31 FF xor edi,edi
9 000B001A B9 01 00 00 00 mov ecx,1
10 000B001F 39 D0 cmp eax,edx
11 000B0021 0F 4C F9 cmovl edi,ecx
12 000B0024 89 F8 mov eax,edi
13 000B0026 89 85 EC FF FF FF mov dword ptr [ebp+FFFFFFECh],eax
14 000B002C 8B 85 EC FF FF FF mov eax,dword ptr [ebp+FFFFFFECh]
15 000B0032 A9 FF FF FF FF test eax,0FFFFFFFFh
16 000B0037 0F 84 10 00 00 00 je 000B004D
17 000B003D B8 01 00 00 00 mov eax,1
18 000B0042 89 85 FC FF FF FF mov dword ptr [ebp+FFFFFFFCh],eax
19 000B0048 E9 9C 00 00 00 jmp 000B00E9
20 000B004D B8 01 00 00 00 mov eax,1
21 000B0052 89 85 F0 FF FF FF mov dword ptr [ebp+FFFFFFF0h],eax
22 000B0058 B8 01 00 00 00 mov eax,1
23 000B005D 89 85 F4 FF FF FF mov dword ptr [ebp+FFFFFFF4h],eax
24 000B0063 8B 85 F4 FF FF FF mov eax,dword ptr [ebp+FFFFFFF4h]
25 000B0069 89 C2 mov edx,eax
26 000B006B 8B 85 F0 FF FF FF mov eax,dword ptr [ebp+FFFFFFF0h]
27 000B0071 01 D0 add eax,edx
28 000B0073 89 85 F8 FF FF FF mov dword ptr [ebp+FFFFFFF8h],eax
29 000B0079 8B 85 F4 FF FF FF mov eax,dword ptr [ebp+FFFFFFF4h]
30 000B007F 89 85 F0 FF FF FF mov dword ptr [ebp+FFFFFFF0h],eax
31 000B0085 8B 85 F8 FF FF FF mov eax,dword ptr [ebp+FFFFFFF8h]
32 000B008B 89 85 F4 FF FF FF mov dword ptr [ebp+FFFFFFF4h],eax
33 000B0091 B8 01 00 00 00 mov eax,1
34 000B0096 89 C2 mov edx,eax
35 000B0098 8B 85 08 00 00 00 mov eax,dword ptr [ebp+00000008h]
36 000B009E 29 D0 sub eax,edx
37 000B00A0 89 85 08 00 00 00 mov dword ptr [ebp+00000008h],eax
38 000B00A6 B8 02 00 00 00 mov eax,2
39 000B00AB 89 C2 mov edx,eax
40 000B00AD 8B 85 08 00 00 00 mov eax,dword ptr [ebp+00000008h]
41 000B00B3 31 FF xor edi,edi
42 000B00B5 B9 01 00 00 00 mov ecx,1
43 000B00BA 39 D0 cmp eax,edx
44 000B00BC 0F 4C F9 cmovl edi,ecx
45 000B00BF 89 F8 mov eax,edi
46 000B00C1 89 85 EC FF FF FF mov dword ptr [ebp+FFFFFFECh],eax
47 000B00C7 8B 85 EC FF FF FF mov eax,dword ptr [ebp+FFFFFFECh]
48 000B00CD A9 FF FF FF FF test eax,0FFFFFFFFh
49 000B00D2 0F 85 05 00 00 00 jne 000B00DD
50 000B00D8 E9 86 FF FF FF jmp 000B0063
51 000B00DD 8B 85 F4 FF FF FF mov eax,dword ptr [ebp+FFFFFFF4h]
52 000B00E3 89 85 FC FF FF FF mov dword ptr [ebp+FFFFFFFCh],eax
53 000B00E9 8B 85 FC FF FF FF mov eax,dword ptr [ebp+FFFFFFFCh]
54 000B00EF 89 EC mov esp,ebp
55 000B00F1 8F C5 pop ebp
56 000B00F3 C2 04 00 ret 4
附上Visual Studio 2008 Team System的截圖：
最后是執行結果（將函數指針拿出來，然后使用不同的參數進行調用）：
接下來就是漫長的調試工作了……
posted on 2009-04-14 00:11
陳梓瀚(vczh) 閱讀(2726)
評論(9) 編輯 收藏 引用 所屬分類:
JIT