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

Avoid use of getcopy method for i:=i+/i k optimization

Browse Source 
git-svn-id: trunk@35568 -
This commit is contained in:
pierre 2017-03-11 21:41:51 +00:00
parent bb8b8f2eae
commit a7c7319352
1 changed files with 19 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
compiler/nld.pas
View File

@ -551,6 +551,8 @@ implementation
function tassignmentnode.simplify(forinline : boolean) : tnode; function tassignmentnode.simplify(forinline : boolean) : tnode;
var
newinlinenodetype : byte;
begin begin
result:=nil; result:=nil;
{ assignment nodes can perform several floating point } { assignment nodes can perform several floating point }
@ -574,13 +576,13 @@ implementation
not(might_have_sideeffects(tinlinenode(right).left)) then not(might_have_sideeffects(tinlinenode(right).left)) then
begin begin
if tinlinenode(right).inlinenumber=in_succ_x then if tinlinenode(right).inlinenumber=in_succ_x then
result:=cinlinenode.create( newinlinenodetype:=in_inc_x
in_inc_x,false,ccallparanode.create(
left.getcopy,nil))
else else
newinlinenodetype:=in_dec_x;
result:=cinlinenode.createintern( result:=cinlinenode.createintern(
in_dec_x,false,ccallparanode.create( newinlinenodetype,false,ccallparanode.create(
left.getcopy,nil)); left,nil));
left:=nil;
exit; exit;
end; end;
{ replace i:=i+k/i:=i-k by inc/dec(i,k)? } { replace i:=i+k/i:=i-k by inc/dec(i,k)? }
@ -594,13 +596,14 @@ implementation
not(might_have_sideeffects(taddnode(right).left)) then not(might_have_sideeffects(taddnode(right).left)) then
begin begin
if right.nodetype=addn then if right.nodetype=addn then
result:=cinlinenode.create( newinlinenodetype:=in_inc_x
in_inc_x,false,ccallparanode.create(
left.getcopy,ccallparanode.create(taddnode(right).right.getcopy,nil)))
else else
newinlinenodetype:=in_dec_x;
result:=cinlinenode.createintern( result:=cinlinenode.createintern(
in_dec_x,false,ccallparanode.create( newinlinenodetype,false,ccallparanode.create(
left.getcopy,ccallparanode.create(taddnode(right).right.getcopy,nil))); left,ccallparanode.create(taddnode(right).right,nil)));
left:=nil;
taddnode(right).right:=nil;
exit; exit;
end; end;
{ replace i:=k+i by inc(i,k)? } { replace i:=k+i by inc(i,k)? }
@ -613,9 +616,11 @@ implementation
valid_for_var(taddnode(right).right,false) and valid_for_var(taddnode(right).right,false) and
not(might_have_sideeffects(taddnode(right).right)) then not(might_have_sideeffects(taddnode(right).right)) then
begin begin
result:=cinlinenode.create( result:=cinlinenode.createintern(
in_inc_x,false,ccallparanode.create( in_inc_x,false,ccallparanode.create(
left.getcopy,ccallparanode.create(taddnode(right).left.getcopy,nil))); left,ccallparanode.create(taddnode(right).left,nil)));
left:=nil;
taddnode(right).left:=nil;
exit; exit;
end; end;
end; end;