今天完成了文本格式汇编代码的编译工作。这主要是为了调试，因为编译器不可能产生文本格式的汇编代码，这样会很浪费资源。翻译过程如下：
先看看一个汇编程序的例子。
1 CONSTANT
2 COUNT int32:10
3 DATA int32:1,2,3,4,5,6,7,8,9,10
4 VARIABLE
5 RESULT int32
6 CODE
7 XOR EAX, EAX
8 MOV EDI, int32 COUNT
9 MOV ECX, int32 [EDI]
10 @BEGIN:
11 CMP ECX, int32 0
12 JE @END
13 ADD EAX, int32 [ECX*4+EDI]
14 SUB ECX, int32 1
15 JMP @BEGIN
16 @END:
17 MOV int32 [RESULT], EAX
18 MOV EAX, int32 RESULT
19 RET
这个程序跟
这篇文章的程序一模一样，区别在于EAX保存的是指向结果的指针而不是结果了。程序分为三个部分，第一个部分是常量，第二个部分是变量，第三个部分是代码，分别使用一下三条正则表达式即可分析：
常量定义：
1 \s*(?:<#NAME>\w[a-zA-Z0-9_]*)(\s*(?:<#TYPE>int8|int16|int32|fp32|fp64)\s*:((?:<#FLOAT>(\+|\-)?\d+.\d+)|(?:<#INTEGER>(\+|\-)?\d+))(\s*,\s*((?:<#FLOAT>(\+|\-)?\d+.\d+)|(?:<#INTEGER>(\+|\-)?\d+)))*|\s*(?:<#TYPE>stra|strw)\s*:(?:<#STRING>\.*))
变量定义：
1 \s*(?:<#NAME>\w[a-zA-Z0-9_]*)\s*(?:<#TYPE>int8|int16|int32|fp32|fp64)\s*(?:<#INTEGER>(\+|\-)?\d+)?
最后是汇编指令：
1 \s*(?:<#OPCODE>\w[a-zA-Z0-9_]*)(\s*((?:<#REGISTER0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#PTRTYPE0>(?:int8|int16|int32|fp32|fp64))\s+\[((?:<#BASE0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|(?:<#INDEX0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE0>[1248])|(?:<#INDEX0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE0>[1248])\+(?:<#BASE0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#INTEGER0>(\+|\-)?\d+)|\$(?:<#CHARA0>\.)|w\$(?:<#CHARW0>\.)|(?:<#NAME0>\w[a-zA-Z0-9_]*))|(?:<#BASE0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER0>(\+|\-)?\d+)|\$(?:<#CHARA0>\.)|w\$(?:<#CHARW0>\.)|(?:<#NAME0>\w[a-zA-Z0-9_]*))|(?:<#INDEX0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE0>[1248])\+((?:<#INTEGER0>(\+|\-)?\d+)|\$(?:<#CHARA0>\.)|w\$(?:<#CHARW0>\.)|(?:<#NAME0>\w[a-zA-Z0-9_]*))|(?:<#INDEX0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE0>[1248])\+(?:<#BASE0>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER0>(\+|\-)?\d+)|\$(?:<#CHARA0>\.)|w\$(?:<#CHARW0>\.)|(?:<#NAME0>\w[a-zA-Z0-9_]*)))\])|((?:<#INTTYPE0>(?:int8|int16|int32|fp32|fp64))\s+((?:<#INTEGER0>(\+|\-)?\d+)|\$(?:<#CHARA0>\.)|w\$(?:<#CHARW0>\.)|(?:<#NAME0>\w[a-zA-Z0-9_]*)))|((?:<#LABEL0>@\w[a-zA-Z0-9_]*)))(\s*,\s*((?:<#REGISTER1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#PTRTYPE1>(?:int8|int16|int32|fp32|fp64))\s+\[((?:<#BASE1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|(?:<#INDEX1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE1>[1248])|(?:<#INDEX1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE1>[1248])\+(?:<#BASE1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#INTEGER1>(\+|\-)?\d+)|\$(?:<#CHARA1>\.)|w\$(?:<#CHARW1>\.)|(?:<#NAME1>\w[a-zA-Z0-9_]*))|(?:<#BASE1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER1>(\+|\-)?\d+)|\$(?:<#CHARA1>\.)|w\$(?:<#CHARW1>\.)|(?:<#NAME1>\w[a-zA-Z0-9_]*))|(?:<#INDEX1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE1>[1248])\+((?:<#INTEGER1>(\+|\-)?\d+)|\$(?:<#CHARA1>\.)|w\$(?:<#CHARW1>\.)|(?:<#NAME1>\w[a-zA-Z0-9_]*))|(?:<#INDEX1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE1>[1248])\+(?:<#BASE1>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER1>(\+|\-)?\d+)|\$(?:<#CHARA1>\.)|w\$(?:<#CHARW1>\.)|(?:<#NAME1>\w[a-zA-Z0-9_]*)))\])|((?:<#INTTYPE1>(?:int8|int16|int32|fp32|fp64))\s+((?:<#INTEGER1>(\+|\-)?\d+)|\$(?:<#CHARA1>\.)|w\$(?:<#CHARW1>\.)|(?:<#NAME1>\w[a-zA-Z0-9_]*)))|((?:<#LABEL1>@\w[a-zA-Z0-9_]*)))(\s*,\s*((?:<#REGISTER2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#PTRTYPE2>(?:int8|int16|int32|fp32|fp64))\s+\[((?:<#BASE2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|(?:<#INDEX2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE2>[1248])|(?:<#INDEX2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE2>[1248])\+(?:<#BASE2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#INTEGER2>(\+|\-)?\d+)|\$(?:<#CHARA2>\.)|w\$(?:<#CHARW2>\.)|(?:<#NAME2>\w[a-zA-Z0-9_]*))|(?:<#BASE2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER2>(\+|\-)?\d+)|\$(?:<#CHARA2>\.)|w\$(?:<#CHARW2>\.)|(?:<#NAME2>\w[a-zA-Z0-9_]*))|(?:<#INDEX2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE2>[1248])\+((?:<#INTEGER2>(\+|\-)?\d+)|\$(?:<#CHARA2>\.)|w\$(?:<#CHARW2>\.)|(?:<#NAME2>\w[a-zA-Z0-9_]*))|(?:<#INDEX2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE2>[1248])\+(?:<#BASE2>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER2>(\+|\-)?\d+)|\$(?:<#CHARA2>\.)|w\$(?:<#CHARW2>\.)|(?:<#NAME2>\w[a-zA-Z0-9_]*)))\])|((?:<#INTTYPE2>(?:int8|int16|int32|fp32|fp64))\s+((?:<#INTEGER2>(\+|\-)?\d+)|\$(?:<#CHARA2>\.)|w\$(?:<#CHARW2>\.)|(?:<#NAME2>\w[a-zA-Z0-9_]*)))|((?:<#LABEL2>@\w[a-zA-Z0-9_]*)))(\s*,\s*((?:<#REGISTER3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#PTRTYPE3>(?:int8|int16|int32|fp32|fp64))\s+\[((?:<#BASE3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|(?:<#INDEX3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE3>[1248])|(?:<#INDEX3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE3>[1248])\+(?:<#BASE3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))|((?:<#INTEGER3>(\+|\-)?\d+)|\$(?:<#CHARA3>\.)|w\$(?:<#CHARW3>\.)|(?:<#NAME3>\w[a-zA-Z0-9_]*))|(?:<#BASE3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER3>(\+|\-)?\d+)|\$(?:<#CHARA3>\.)|w\$(?:<#CHARW3>\.)|(?:<#NAME3>\w[a-zA-Z0-9_]*))|(?:<#INDEX3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE3>[1248])\+((?:<#INTEGER3>(\+|\-)?\d+)|\$(?:<#CHARA3>\.)|w\$(?:<#CHARW3>\.)|(?:<#NAME3>\w[a-zA-Z0-9_]*))|(?:<#INDEX3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\*(?:<#SCALE3>[1248])\+(?:<#BASE3>(AL|AH|CL|CH|DL|DH|BL|BH|AX|CX|DX|BX|SI|DI|SP|BP|EAX|ECX|EDX|EBX|ESI|EDI|ESP|EBP|ST0|ST1|ST2|ST3|ST4|ST5|ST6|ST7))\+((?:<#INTEGER3>(\+|\-)?\d+)|\$(?:<#CHARA3>\.)|w\$(?:<#CHARW3>\.)|(?:<#NAME3>\w[a-zA-Z0-9_]*)))\])|((?:<#INTTYPE3>(?:int8|int16|int32|fp32|fp64))\s+((?:<#INTEGER3>(\+|\-)?\d+)|\$(?:<#CHARA3>\.)|w\$(?:<#CHARW3>\.)|(?:<#NAME3>\w[a-zA-Z0-9_]*)))|((?:<#LABEL3>@\w[a-zA-Z0-9_]*))))?)?)?)?
然后就可以将汇编指令编译成机器码了：
1 void RunExecutable(VL_AsmExecutable* Executable)
2 {
3 VPointer Buffer=Executable->GetInstruction();
4 VInt Output=0;
5 __asm
6 {
7 PUSHAD
8 MOV EAX, dword ptr[Buffer]
9 //INT 3
10 CALL EAX
11 MOV dword ptr[Output], EAX
12 POPAD
13 }
14 Output=*(VInt*)Output;
15 GetConsole()->Write(L"结果：EAX="+VUnicodeString(Output)+L"\r\n");
16 }
17
18 void vlmain()
19 {
20 GetConsole()->SetTitle(L"Vczh Library++ 2.0 Assembler");
21 GetConsole()->SetTestMemoryLeaks(true);
22 GetConsole()->SetPauseOnExit(true);
23
24 VUnicodeString Code;
25 VInt Line=0;
26 VUnicodeString Message;
27 {
28 VUnicodeString WorkData=VFileName(GetConsole()->GetAppPath()).MakeAbsolute(L"..\\..\\TestData\\").GetStrW();
29 VL_FileStream CodeStream(WorkData+L"Assembly.txt",VL_FileStream::vomRead);
30 Code=ReadText(&CodeStream);
31 }
32
33 VL_AsmProgram* Program=CompileToAssembly(Code,Line,Message);
34 if(!Program)
35 {
36 GetConsole()->Write(Message);
37 return;
38 }
39
40 VL_AsmCompiled* Compiled=CompileToX86(Program);
41 if(Compiled->Errors.GetCount())
42 {
43 PrintErrors(Compiled);
44 delete Program;
45 delete Compiled;
46 return;
47 }
48
49 VL_AsmExecutable* Executable=LinkX86(Compiled);
50 if(Compiled->Errors.GetCount())
51 {
52 PrintErrors(Compiled);
53 }
54 if(Executable)
55 {
56 RunExecutable(Executable);
57 delete Executable;
58 }
59 delete Program;
60 delete Compiled;
61 }
最后得到了正确的结果：
再次证明了我自己做的正则表达式引擎的稳定及高效。
posted on 2009-02-26 01:27
陈梓瀚(vczh) 阅读(3346)
评论(2) 编辑 收藏 引用 所属分类:
JIT