paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-08-22 16:09:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

* fpc_mul_integer and fpc_mul_longint: fallback directly to the unsigned

Browse Source 
multiplication routine in case overflow checking is not used

git-svn-id: trunk@26524 -
This commit is contained in:
nickysn 2014-01-19 23:06:34 +00:00
parent 5372bdbb43
commit 5c8aa6e5b0
1 changed files with 68 additions and 54 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

122
rtl/inc/generic.inc
View File

@ -1204,39 +1204,46 @@ end;
sign : boolean; sign : boolean;
q1,q2,q3 : word; q1,q2,q3 : word;
begin begin
begin { there's no difference between signed and unsigned multiplication,
sign:=false; when the destination size is equal to the source size and overflow
if f1<0 then checking is off }
begin if not checkoverflow then
{ word(f1)*word(f2) is coded as a call to mulword }
fpc_mul_integer:=integer(word(f1)*word(f2))
else
begin
sign:=false;
if f1<0 then
begin
sign:=not(sign); sign:=not(sign);
q1:=word(-f1); q1:=word(-f1);
end end
else else
q1:=f1; q1:=f1;
if f2<0 then if f2<0 then
begin begin
sign:=not(sign); sign:=not(sign);
q2:=word(-f2); q2:=word(-f2);
end end
else else
q2:=f2; q2:=f2;
{ the q1*q2 is coded as call to mulqword } { the q1*q2 is coded as call to mulword }
q3:=q1*q2; q3:=q1*q2;
if checkoverflow and (q1 <> 0) and (q2 <>0) and if (q1 <> 0) and (q2 <>0) and
((q1>q3) or (q2>q3) or ((q1>q3) or (q2>q3) or
{ the bit 63 can be only set if we have $8000 } { the bit 63 can be only set if we have $8000 }
{ and sign is true } { and sign is true }
(q3 shr 15<>0) and (q3 shr 15<>0) and
((q3<>word(word(1) shl 15)) or not(sign)) ((q3<>word(word(1) shl 15)) or not(sign))
) then ) then
HandleErrorAddrFrameInd(215,get_pc_addr,get_frame); HandleErrorAddrFrameInd(215,get_pc_addr,get_frame);
if sign then if sign then
fpc_mul_integer:=-q3 fpc_mul_integer:=-q3
else else
fpc_mul_integer:=q3; fpc_mul_integer:=q3;
end; end;
end; end;
{$endif FPC_SYSTEM_HAS_MUL_INTEGER} {$endif FPC_SYSTEM_HAS_MUL_INTEGER}
@ -1280,39 +1287,46 @@ end;
sign : boolean; sign : boolean;
q1,q2,q3 : dword; q1,q2,q3 : dword;
begin begin
begin { there's no difference between signed and unsigned multiplication,
sign:=false; when the destination size is equal to the source size and overflow
if f1<0 then checking is off }
begin if not checkoverflow then
{ dword(f1)*dword(f2) is coded as a call to muldword }
fpc_mul_longint:=longint(dword(f1)*dword(f2))
else
begin
sign:=false;
if f1<0 then
begin
sign:=not(sign); sign:=not(sign);
q1:=dword(-f1); q1:=dword(-f1);
end end
else else
q1:=f1; q1:=f1;
if f2<0 then if f2<0 then
begin begin
sign:=not(sign); sign:=not(sign);
q2:=dword(-f2); q2:=dword(-f2);
end end
else else
q2:=f2; q2:=f2;
{ the q1*q2 is coded as call to mulqword } { the q1*q2 is coded as call to muldword }
q3:=q1*q2; q3:=q1*q2;
if checkoverflow and (q1 <> 0) and (q2 <>0) and if (q1 <> 0) and (q2 <>0) and
((q1>q3) or (q2>q3) or ((q1>q3) or (q2>q3) or
{ the bit 31 can be only set if we have $8000 0000 } { the bit 31 can be only set if we have $8000 0000 }
{ and sign is true } { and sign is true }
(q3 shr 15<>0) and (q3 shr 15<>0) and
((q3<>dword(dword(1) shl 31)) or not(sign)) ((q3<>dword(dword(1) shl 31)) or not(sign))
) then ) then
HandleErrorAddrFrameInd(215,get_pc_addr,get_frame); HandleErrorAddrFrameInd(215,get_pc_addr,get_frame);
if sign then if sign then
fpc_mul_longint:=-q3 fpc_mul_longint:=-q3
else else
fpc_mul_longint:=q3; fpc_mul_longint:=q3;
end; end;
end; end;
{$endif FPC_SYSTEM_HAS_MUL_INTEGER} {$endif FPC_SYSTEM_HAS_MUL_INTEGER}