paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-29 10:20:38 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merged revisions 2803 via svnmerge from

Browse Source 
svn+ssh://jonas@svn.freepascal.org/FPC/svn/fpc/trunk

........
r2803 | tom_at_work | 2006-03-07 23:52:03 +0100 (Tue, 07 Mar 2006) | 1 line

* more fixes (to the optimizations) for range check code generation
........

git-svn-id: branches/fixes_2_0@3007 -
This commit is contained in:
Jonas Maebe 2006-03-21 17:04:31 +00:00
parent 139aa14a2b
commit 718adeca6e
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
compiler/cgobj.pas
View File

@ -1668,6 +1668,7 @@ implementation
if (todef.deftype = arraydef) then
todef := tarraydef(todef).rangetype.def;
{ no range check if from and to are equal and are both longint/dword }
{ no range check if from and to are equal and are both longint/dword }
{ (if we have a 32bit processor) or int64/qword, since such }
{ operations can at most cause overflows (JM) }
{ Note that these checks are mostly processor independent, they only }
@ -1680,7 +1681,10 @@ implementation
(hfrom = high(int64))) or
((torddef(fromdef).typ = u64bit) and
(lfrom = low(qword)) and
(hfrom = high(qword)))))) then
(hfrom = high(qword))) or
((torddef(fromdef).typ = scurrency) and
(lfrom = low(int64)) and
(hfrom = high(int64)))))) then
exit;
{$else cpu64bit}
if (fromdef = todef) and
@ -1718,14 +1722,20 @@ implementation
{$endif}
if to_signed then
begin
if (lto = (-(int64(1) << (tosize * 4)))) and
(hto = (int64(1) << (tosize * 4) - 1)) then
{ calculation of the low/high ranges must not overflow 64 bit
otherwise we end up comparing with zero for 64 bit data types on
64 bit processors }
if (lto = (int64(-1) << (tosize * 8 - 1))) and
(hto = (-((int64(-1) << (tosize * 8 - 1))+1))) then
exit
end
else
begin
{ calculation of the low/high ranges must not overflow 64 bit
otherwise we end up having all zeros for 64 bit data types on
64 bit processors }
if (lto = 0) and
(qword(hto) = qword((int64(1) << (tosize * 8)) - 1)) then
(qword(hto) = (qword(-1) >> (64-(tosize * 8))) ) then
exit
end;
{$ifdef overflowon}