---------------------------------------------------------------------------------------------------------------
[BUG/PRB.] VFP 9.0 FIX - ADJUST THE PRECISION OF THE FLOATING-POINT NUMBERS FOR THE DIVISION OPERATOR
January 2024
---------------------------------------------------------------------------------------------------------------
CCB
1. BUG:
There is a test program:
*PROC testdivisionoperator
?STR(4/1000000,16,12) && Displays 0.000004000000
?STR(4/10000000,16,12) && Displays 0.000000000000
WAIT
RETURN
* END OF PROC TESTDIVISIONOPERATOR.
We think STR(4/10000000,16,12) will display 0.000000400000, but:
?STR(4/10000000,16,12) && Displays 0.000000000000
2. CAUSE:
When VFP 9.0 and earlier versions calculate 4/10000000,
it will set the precision of the result float number:
n=3, eps = 0.5*10^(-(n+3)) = 5e-07
4/10000000 = 4e-07 < 5e-07,
So 4/10000000 = 0.
When VFP Advanced calculates 4/10000000,
it will adjust the precision of the result float number to 15 valid digits:
n=15, eps = 0.5*10^(-(n+3)) = 5e-18
So 4/10000000 = 4e-07 = 0.000000400000.
3. RESOLUTION:
We can write some code to fix the BUG.
Fun4680c6 :: ; proc near
sub esp , 08h ;0x004680c6 : 83ec08
push ebx ;0x004680c9 : 53
push ebp ;0x004680ca : 55
push esi ;0x004680cb : 56
mov esi , eax ;0x004680cc : 8bf0
cmp byte ptr [ edi + 16 ] , 0FAh ;0x004680ce : 807f10fa
mov dword ptr [ esp + 16 ] , esi ;0x004680d2 : 89742410
je Label5ca396 ;0x004680d6 : 0f84ba221600
mov ecx , dword ptr [edi] ;0x004680dc : 8b0f
test ecx , ecx ;0x004680de : 85c9
mov dword ptr [ esp + 12 ] , ecx ;0x004680e0 : 894c240c
jnl Label465adf ;0x004680e4 : 0f8df5d9ffff
Label4680ea ::
mov eax , ecx ;0x004680ea : 8bc1
cdq ;0x004680ec : 99
xor eax , edx ;0x004680ed : 33c2
sub eax , edx ;0x004680ef : 2bc2
cmp eax , 07FFFFFFFh ;0x004680f1 : 3dffffff7f
jg Label5ca416 ;0x004680f6 : 0f8f1a231600
cmp ecx , 080000000h ;0x004680fc : 81f900000080
je Label5ca416 ;0x00468102 : 0f840e231600
cmp eax , 07FFFh ;0x00468108 : 3dff7f0000
jg Label5ca3f8 ;0x0046810d : 0f8fe5221600
mov byte ptr [esi] , 0F9h ;0x00468113 : c606f9
mov al , byte ptr [ edi + 17 ] ;0x00468116 : 8a4711
inc esi ;0x00468119 : 46
mov byte ptr [esi] , al ;0x0046811a : 8806
inc esi ;0x0046811c : 46
mov word ptr [esi] , cx ;0x0046811d : 66890e
mov ecx , dword ptr [ esp + 16 ] ;0x00468120 : 8b4c2410
add esi , 02h ;0x00468124 : 83c602
mov eax , esi ;0x00468127 : 8bc6
pop esi ;0x00468129 : 5e
pop ebp ;0x0046812a : 5d
sub eax , ecx ;0x0046812b : 2bc1
pop ebx ;0x0046812d : 5b
add esp , 08h ;0x0046812e : 83c408
ret ;0x00468131 : c3
Label5ca396 ::
movzx eax ,byte ptr [ edi + 18 ] ;0x005ca396 : 0fb64712
add eax , 03h ;0x005ca39a : 83c003
;
; ----------------------------------------------------------------------------------------------------
; VFP 9.0 FIX - ADJUST THE PRECISION OF THE FLOATING-POINT NUMBERS FOR THE DIVISION OPERATOR
; August 2020
; ----------------------------------------------------------------------------------------------------
; CCB
;
; Adjust the precision of the floating-point numbers for the division operator.
;
; 2020/8/29, by ccb
;
cmp dword ptr vfpa_sys9035_data,00h
je Label5ca39d
cmp dword ptr [ esp + 14h ] , offset Label847742 ;; Fun8474bb .. ; proc near
jne Label5ca39d
cmp byte ptr [ edi + 17 ] , 0Fh
jae Label5ca39d
movzx ecx ,byte ptr [ edi + 17 ]
add eax , 0Fh
sub eax , ecx
Label5ca39d ::
cmp eax , 012h ;0x005ca39d : 83f812
mov ebp , eax ;0x005ca3a0 : 8be8
jl Label5ca3a9 ;0x005ca3a2 : 7c05
mov ebp , 012h ;0x005ca3a4 : bd12000000
Label5ca3a9 ::
fld qword ptr [ edi + 8 ] ;0x005ca3a9 : dd4708
lea ebx , dword ptr [ edi + 8 ] ;0x005ca3ac : 8d5f08
sub esp , 08h ;0x005ca3af : 83ec08
fstp qword ptr [ esp ] ;0x005ca3b2 : dd1c24
call _isnan ;0x005ca3b5 : ff150c799100
add esp , 08h ;0x005ca3bb : 83c408
test eax , eax ;0x005ca3be : 85c0
jne Label5ca3d4 ;0x005ca3c0 : 7512
fld qword ptr [ebx] ;0x005ca3c2 : dd03
fabs ;0x005ca3c4 : d9e1
fcomp qword ptr [ 8 * ebp + offset Data922450 ] ;0x005ca3c6 : dc1ced50249200
fstsw ax ;0x005ca3cd : dfe0
test byte ptr ah , 041h ;0x005ca3cf : f6c441
jp Label5ca423 ;0x005ca3d2 : 7a4f
Label5ca3d4 ::
fld qword ptr [ Data91fbc8 ] ;0x005ca3d4 : dd05c8fb9100
jmp Label5ca421 ;0x005ca3da : eb45
Label5ca3dc ::
mov byte ptr [esi] , 0F8h ;0x005ca3dc : c606f8
mov al , byte ptr [ edi + 17 ] ;0x005ca3df : 8a4711
inc esi ;0x005ca3e2 : 46
mov byte ptr [esi] , al ;0x005ca3e3 : 8806
inc esi ;0x005ca3e5 : 46
mov byte ptr [esi] , cl ;0x005ca3e6 : 880e
mov ecx , dword ptr [ esp + 16 ] ;0x005ca3e8 : 8b4c2410
inc esi ;0x005ca3ec : 46
mov eax , esi ;0x005ca3ed : 8bc6
pop esi ;0x005ca3ef : 5e
pop ebp ;0x005ca3f0 : 5d
sub eax , ecx ;0x005ca3f1 : 2bc1
pop ebx ;0x005ca3f3 : 5b
add esp , 08h ;0x005ca3f4 : 83c408
ret ;0x005ca3f7 : c3
Label5ca3f8 ::
mov byte ptr [esi] , 0E9h ;0x005ca3f8 : c606e9
mov dl , byte ptr [ edi + 17 ] ;0x005ca3fb : 8a5711
inc esi ;0x005ca3fe : 46
mov byte ptr [esi] , dl ;0x005ca3ff : 8816
inc esi ;0x005ca401 : 46
mov dword ptr [esi] , ecx ;0x005ca402 : 890e
mov ecx , dword ptr [ esp + 16 ] ;0x005ca404 : 8b4c2410
add esi , 04h ;0x005ca408 : 83c604
mov eax , esi ;0x005ca40b : 8bc6
pop esi ;0x005ca40d : 5e
pop ebp ;0x005ca40e : 5d
sub eax , ecx ;0x005ca40f : 2bc1
pop ebx ;0x005ca411 : 5b
add esp , 08h ;0x005ca412 : 83c408
ret ;0x005ca415 : c3
Label5ca416 ::
fild dword ptr [ esp + 12 ] ;0x005ca416 : db44240c
lea ebx , dword ptr [ edi + 8 ] ;0x005ca41a : 8d5f08
mov byte ptr [ edi + 18 ] , 00h ;0x005ca41d : c6471200
Label5ca421 ::
fstp qword ptr [ebx] ;0x005ca421 : dd1b
Label5ca423 ::
mov byte ptr [esi] , 0FAh ;0x005ca423 : c606fa
mov cl , byte ptr [ edi + 17 ] ;0x005ca426 : 8a4f11
mov byte ptr [ esi + 1 ] , cl ;0x005ca429 : 884e01
mov dl , byte ptr [ edi + 18 ] ;0x005ca42c : 8a5712
inc esi ;0x005ca42f : 46
inc esi ;0x005ca430 : 46
mov byte ptr [esi] , dl ;0x005ca431 : 8816
inc esi ;0x005ca433 : 46
pushd 08h ;0x005ca434 : 6a08
mov edx , ebx ;0x005ca436 : 8bd3
mov ecx , esi ;0x005ca438 : 8bce
call Fun42c19b ;0x005ca43a : e85c1de6ff
mov ecx , dword ptr [ esp + 16 ] ;0x005ca43f : 8b4c2410
add esi , 08h ;0x005ca443 : 83c608
mov byte ptr [esi] , 0CCh ;0x005ca446 : c606cc
inc esi ;0x005ca449 : 46
mov eax , esi ;0x005ca44a : 8bc6
pop esi ;0x005ca44c : 5e
pop ebp ;0x005ca44d : 5d
sub eax , ecx ;0x005ca44e : 2bc1
pop ebx ;0x005ca450 : 5b
add esp , 08h ;0x005ca451 : 83c408
ret ;0x005ca454 : c3
4. APPLIES TO:
VFP 6.0.8167.0
VFP 6.0.8961.0 (SP5)
VFP 7.0.0.9262
VFP 7.0.0.9465 (SP1)
VFP 8.0.0.2521
VFP 8.0.0.3117 (SP1)
VFP 9.0.0.2412
VFP 9.0.0.3504 (SP1)
VFP 9.0.0.4611 (SP2)
VFP 9.0.0.5015 (SP2)
VFP 9.0.0.5411 (SP2)
VFP 9.0.0.5721 (SP2)
VFP 9.0.0.5815 (SP2)
VFP 9.0.0.6303 (SP2)
VFP 9.0.0.6602 (SP2)
VFP 9.0.0.7423 (SP2)
The bug has been fixed in VFP Advanced.
5. REFERENCE WEBSITES:
1, baiyujia.com:
http://www.baiyujia.com
http://www.baiyujia.com/vfpdocuments/f_vfp9fix123.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix23.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix24.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix37.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix38.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix97.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix98.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix255.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix256.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix257.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix258.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix259.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix260.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix303.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix304.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix305.asp
http://www.baiyujia.com/vfpdocuments/f_vfp9fix306.asp
2, mzvfp.com:
http://www.mzvfp.com/read.php?tid=106670
6. OTHER:
For reference only, there is no guarantees.
Any questions or suggestions, please send me an email at ccb2000@163.com.
|