x87的FPU支持很多種浮點運算，其中浮點運算的比較結果不放在EFLAGS里，我們需要人手取出。在比較a和b的時候，C2=0，C3=(a==b)，C0=(a<b)。我們可以將FNSTSW AX指令將浮點標志位復制到AX，然后通過讀取C3、C2和C0（分別位于第14、10、8位）來判斷結果。下面是一個求浮點數組最大值的匯編函數：
1 CONSTANT
2 VARIABLE
3 CODE
4
5 //double __stdcall double_max(double* numbers , int count)
6 @DOUBLE_MAX:
7 //新建堆棧幀
8 PUSH EBP
9 MOV EBP, ESP
10 PUSH EAX //floating status word
11 PUSH EBX //numbers
12 PUSH ECX //looping variable
13 PUSH EDX //count
14 //temp=numbers[0]
15 SUB ESP, int32 8
16 MOV EBX, int32 [EBP+8]
17 FLD fp64 [EBX]
18 FSTP fp64 [ESP]
19 //for(ECX=1;ECX<count;ECX++)
20 MOV ECX, int32 1
21 MOV EDX, int32 [EBP+12]
22 @DOUBLE_MAX_LOOP_BEGIN:
23 CMP ECX, EDX
24 JZ @DOUBLE_MAX_LOOP_END
25 //temp=MAX(temp,numbers[ECX])
26 FLD fp64 [ESP]
27 FCOMP fp64 [ECX*8+EBX]
28 FNSTSW AX
29 TEST AH, int8 1
30 JZ @DOUBLE_MAX_LOOP_SIDEEFFECT
31 FLD fp64 [ECX*8+EBX]
32 FSTP fp64[ESP]
33 @DOUBLE_MAX_LOOP_SIDEEFFECT:
34 INC ECX
35 JMP @DOUBLE_MAX_LOOP_BEGIN
36 @DOUBLE_MAX_LOOP_END:
37 //return temp
38 FLD fp64 [ESP]
39 //銷毀堆棧幀
40 ADD ESP, int32 8
41 POP EDX
42 POP ECX
43 POP EBX
44 POP EAX
45 MOV ESP, EBP
46 POP EBP
47 RET int16 8
我們可以通過一下代碼調用此函數：
1 typedef double(__stdcall*ASM_MAX)(double* Numbers , int Count);
2
3 void RunExecutable(VL_AsmProgram* Program , VL_AsmCompiled* Compiled , VL_AsmExecutable* Executable)
4 {
5 VInt Offset=(VInt)Compiled->LabelOffsets[Program->LabelNames.IndexOf(L"@DOUBLE_MAX")];
6 ASM_MAX Function=(ASM_MAX)((VInt)Executable->GetInstruction()+Offset);
7 double Numbers[]={7,1,12,2,8,3,11,4,9,5,13,6,10};
8 double Max=Function(Numbers,sizeof(Numbers)/sizeof(*Numbers));
9 GetConsole()->Write(L"結果："+VUnicodeString(Max)+L"\r\n");
10 }
得到如下結果：
正確得到結果。
posted on 2009-03-06 04:56
陳梓瀚(vczh) 閱讀(1494)
評論(0) 編輯 收藏 引用 所屬分類:
JIT