paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-16 23:21:57 +02:00
Code Issues Packages Projects Releases Wiki Activity

* fold also pointer additions/subtractions

Browse Source 
git-svn-id: trunk@44199 -
This commit is contained in:
florian 2020-02-16 20:14:28 +00:00
parent 17158c3587
commit 93521ae8e8
1 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
compiler/nadd.pas
View File

@ -701,7 +701,7 @@ implementation
end;
{ Add,Sub,Mul,Or,Xor,Andn with constant 0, 1 or -1? }
if is_constintnode(right) and is_integer(left.resultdef) then
if is_constintnode(right) and (is_integer(left.resultdef) or is_pointer(left.resultdef)) then
begin
if tordconstnode(right).value = 0 then
begin
@ -737,11 +737,11 @@ implementation
end;
end
{ try to fold
op
/ \
op const1
/ \
const2 val
op op
/ \ / \
op const1 or op const1
/ \ / \
const2 val val const2
}
else if (left.nodetype=nodetype) and
{ there might be a mul operation e.g. longint*longint => int64 in this case
@ -776,10 +776,12 @@ implementation
orn,
muln:
begin
hp:=right;
right:=taddnode(left).left;
taddnode(left).left:=hp;
{ keep the order of val+const else pointer operations might cause an error }
hp:=taddnode(left).left;
taddnode(left).left:=right;
left:=left.simplify(false);
right:=left;
left:=hp;
result:=GetCopyAndTypeCheck;
end;
else
@ -790,7 +792,7 @@ implementation
if assigned(result) then
exit;
end;
if is_constintnode(left) and is_integer(right.resultdef) then
if is_constintnode(left) and (is_integer(right.resultdef) or is_pointer(right.resultdef)) then
begin
if tordconstnode(left).value = 0 then
begin