stdcall、cdecl和fastcall的參數都是從右到左入棧，并且返回值遵循以下規律：
小于等于4字節結構用EAX
小于等于8字節結構用EDX:EAX
浮點數用ST(0)
其他則在EAX放置一個指針，供返回值使用
stdcall被調用者清棧，cdecl調用者清棧，fastcall被調用者清棧并且前兩個小于等于4字節的參數放入ECX和EDX。返回值和參數如果一方有構造函數或析構函數則不使用寄存器。
于是今天用字符串形式的匯編寫了三種調用方法的求和函數，類型如下：
1 typedef VInt (__stdcall * Summer_Stdcall)(VInt* Numbers , VInt Count);
2 typedef VInt (__cdecl * Summer_Cdecl)(VInt* Numbers , VInt Count);
3 typedef VInt (__fastcall * Summer_Fastcall)(VInt* Numbers , VInt Count);
匯編代碼如下：
1 CONSTANT
2 VARIABLE
3 CODE
4
5 @SUM_STDCALL:
6 PUSH EBP
7 MOV EBP, ESP
8 PUSH ECX
9 PUSH EDI
10 XOR EAX, EAX
11 MOV ECX, int32 [EBP+12]
12 MOV EDI, int32 [EBP+8]
13 @SUM_STDCALL_BEGIN:
14 CMP ECX, int32 0
15 JE @SUM_STDCALL_FINISHED
16 ADD EAX, int32 [EDI]
17 ADD EDI, int32 4
18 DEC ECX
19 JMP @SUM_STDCALL_BEGIN
20 @SUM_STDCALL_FINISHED:
21 POP EDI
22 POP ECX
23 MOV ESP, EBP
24 POP EBP
25 RET int16 8
26
27 @SUM_CDECL:
28 PUSH EBP
29 MOV EBP, ESP
30 PUSH ECX
31 PUSH EDI
32 XOR EAX, EAX
33 MOV ECX, int32 [EBP+12]
34 MOV EDI, int32 [EBP+8]
35 @SUM_CDECL_BEGIN:
36 CMP ECX, int32 0
37 JE @SUM_CDECL_FINISHED
38 ADD EAX, int32 [EDI]
39 ADD EDI, int32 4
40 DEC ECX
41 JMP @SUM_CDECL_BEGIN
42 @SUM_CDECL_FINISHED:
43 POP EDI
44 POP ECX
45 MOV ESP, EBP
46 POP EBP
47 RET
48
49 @SUM_FASTCALL:
50 PUSH EBP
51 MOV EBP, ESP
52 XOR EAX, EAX
53 @SUM_FASTCALL_BEGIN:
54 CMP EDX, int32 0
55 JE @SUM_FASTCALL_FINISHED
56 ADD EAX, int32 [ECX]
57 ADD ECX, int32 4
58 DEC EDX
59 JMP @SUM_FASTCALL_BEGIN
60 @SUM_FASTCALL_FINISHED:
61 MOV ESP, EBP
62 POP EBP
63 RET
使用以下方法讀取文件、編譯并取出三個label的指針：
1 void RunExecutable(VL_AsmProgram* Program , VL_AsmCompiled* Compiled , VL_AsmExecutable* Executable)
2 {
3 VInt Numbers[]={11,12,13,14,15,16,17,18,19,20};
4 VInt Count=sizeof(Numbers)/sizeof(*Numbers);
5 {
6 VInt Offset=(VInt)Compiled->LabelOffsets[Program->LabelNames.IndexOf(L"@SUM_STDCALL")];
7 Summer_Stdcall Summer=(Summer_Stdcall)((VInt)Executable->GetInstruction()+Offset);
8 VInt Result=Summer(Numbers,Count);
9 GetConsole()->Write(L"結果："+VUnicodeString(Result)+L"\r\n");
10 }
11 {
12 VInt Offset=(VInt)Compiled->LabelOffsets[Program->LabelNames.IndexOf(L"@SUM_CDECL")];
13 Summer_Cdecl Summer=(Summer_Cdecl)((VInt)Executable->GetInstruction()+Offset);
14 VInt Result=Summer(Numbers,Count);
15 GetConsole()->Write(L"結果："+VUnicodeString(Result)+L"\r\n");
16 }
17 {
18 VInt Offset=(VInt)Compiled->LabelOffsets[Program->LabelNames.IndexOf(L"@SUM_FASTCALL")];
19 Summer_Fastcall Summer=(Summer_Fastcall)((VInt)Executable->GetInstruction()+Offset);
20 VInt Result=Summer(Numbers,Count);
21 GetConsole()->Write(L"結果："+VUnicodeString(Result)+L"\r\n");
22 }
23 }
24
25 void Main_Assembler()
26 {
27 VUnicodeString Code;
28 VInt Line=0;
29 VUnicodeString Message;
30 {
31 VUnicodeString WorkData=VFileName(GetConsole()->GetAppPath()).MakeAbsolute(L"..\\..\\TestData\\").GetStrW();
32 VL_FileStream CodeStream(WorkData+L"Assembly.txt",VL_FileStream::vomRead);
33 Code=ReadText(&CodeStream);
34 }
35
36 VL_AsmProgram* Program=CompileToAssembly(Code,Line,Message);
37 if(!Program)
38 {
39 GetConsole()->Write(Message);
40 return;
41 }
42
43 VL_AsmCompiled* Compiled=CompileToX86(Program);
44 if(Compiled->Errors.GetCount())
45 {
46 PrintErrors(Program,Compiled);
47 delete Program;
48 delete Compiled;
49 return;
50 }
51
52 VL_AsmExecutable* Executable=LinkX86(Compiled);
53 if(Compiled->Errors.GetCount())
54 {
55 PrintErrors(Program,Compiled);
56 }
57 if(Executable)
58 {
59 RunExecutable(Program,Compiled,Executable);
60 delete Executable;
61 }
62 delete Program;
63 delete Compiled;
64 }
得到結果：
接下來熟悉浮點數的操作，就可以開始中間指令集的構造了。
posted on 2009-03-01 05:27
陳梓瀚(vczh) 閱讀(1801)
評論(9) 編輯 收藏 引用 所屬分類:
JIT